runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: runsolver -s SIGUSR1 -M 1124 -C 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/real/412959c6-e965-11de-8ebf-00163e6585dd.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/real/412959c6-e965-11de-8ebf-00163e6585dd.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/real/412959c6-e965-11de-8ebf-00163e6585dd.cudf.result -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.83 1.73 1.36 2/59 19167 /proc/meminfo: memFree=477344/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9168 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 119855836 9388032 325 18446744073709551615 4194304 5129932 140735727826880 140735727824552 140658397546272 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2292 325 275 229 0 52 0 [startup+0.122596 s] /proc/loadavg: 1.83 1.73 1.36 2/59 19167 /proc/meminfo: memFree=477344/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+0.200282 s] /proc/loadavg: 1.83 1.73 1.36 2/59 19167 /proc/meminfo: memFree=477344/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+0.3003 s] /proc/loadavg: 1.83 1.73 1.36 2/59 19167 /proc/meminfo: memFree=477344/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+0.700221 s] /proc/loadavg: 1.83 1.73 1.36 2/59 19167 /proc/meminfo: memFree=477344/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+1.50054 s] /proc/loadavg: 1.83 1.73 1.36 4/70 19179 /proc/meminfo: memFree=361308/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 [pid=19170] ppid=19167 vsize=1050896 CPUtime=1.46 /proc/19170/stat : 19170 (java) S 19167 19167 1750 0 -1 4202496 42899 0 0 0 126 20 0 0 20 0 10 0 119855837 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 140737211075312 139684506119797 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19170/statm: 262724 37852 2341 9 0 250074 0 [pid=19170/tid=19171] ppid=19167 vsize=1050896 CPUtime=0.61 /proc/19170/task/19171/stat : 19171 (java) R 19167 19167 1750 0 -1 4202560 21512 0 0 0 51 10 0 0 20 0 10 0 119855837 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684512645824 139684410570711 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 [pid=19170/tid=19172] ppid=19167 vsize=1050896 CPUtime=0 /proc/19170/task/19172/stat : 19172 (java) S 19167 19167 1750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 119855839 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684405292160 139684506134091 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19173] ppid=19167 vsize=1050896 CPUtime=0 /proc/19170/task/19173/stat : 19173 (java) S 19167 19167 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119855839 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684404238352 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19174] ppid=19167 vsize=1050896 CPUtime=0 /proc/19170/task/19174/stat : 19174 (java) S 19167 19167 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119855839 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684403185568 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19175] ppid=19167 vsize=1050896 CPUtime=0 /proc/19170/task/19175/stat : 19175 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119855842 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684402134000 139684506141728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19176] ppid=19167 vsize=1050896 CPUtime=0.4 /proc/19170/task/19176/stat : 19176 (java) R 19167 19167 1750 0 -1 4202560 9718 0 0 0 36 4 0 0 20 0 10 0 119855842 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684401081104 139684492279842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19177] ppid=19167 vsize=1050896 CPUtime=0.42 /proc/19170/task/19177/stat : 19177 (java) R 19167 19167 1750 0 -1 4202560 10379 0 0 0 38 4 0 0 20 0 10 0 119855842 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684400014056 139684491791495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19178] ppid=19167 vsize=1050896 CPUtime=0 /proc/19170/task/19178/stat : 19178 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119855842 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684398976208 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19179] ppid=19167 vsize=1050896 CPUtime=0 /proc/19170/task/19179/stat : 19179 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119855842 1076117504 37852 18446744073709551615 4194304 4228012 140737211084288 139684397923712 139684506134091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 1060068 [startup+3.10072 s] /proc/loadavg: 1.83 1.73 1.36 2/70 19179 /proc/meminfo: memFree=190188/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 [pid=19170] ppid=19167 vsize=1052952 CPUtime=2.79 /proc/19170/stat : 19170 (java) S 19167 19167 1750 0 -1 4202496 91413 0 0 0 249 30 0 0 20 0 11 0 119855837 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 140737211075312 139684506119797 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19170/statm: 263238 86031 2372 9 0 250588 0 [pid=19170/tid=19171] ppid=19167 vsize=1052952 CPUtime=1.43 /proc/19170/task/19171/stat : 19171 (java) S 19167 19167 1750 0 -1 4202560 47737 0 0 0 126 17 0 0 20 0 11 0 119855837 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684512654256 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 [pid=19170/tid=19172] ppid=19167 vsize=1052952 CPUtime=0.32 /proc/19170/task/19172/stat : 19172 (java) S 19167 19167 1750 0 -1 4202560 21881 0 0 0 28 4 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684405292160 139684506134091 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19173] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19173/stat : 19173 (java) S 19167 19167 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684404238352 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19174] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19174/stat : 19174 (java) S 19167 19167 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684403185568 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19175] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19175/stat : 19175 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684402134000 139684506141728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19176] ppid=19167 vsize=1052952 CPUtime=0.48 /proc/19170/task/19176/stat : 19176 (java) S 19167 19167 1750 0 -1 4202560 9735 0 0 0 44 4 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684401081360 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19177] ppid=19167 vsize=1052952 CPUtime=0.53 /proc/19170/task/19177/stat : 19177 (java) S 19167 19167 1750 0 -1 4202560 10757 0 0 0 49 4 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684400028688 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19178] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19178/stat : 19178 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684398976208 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19179] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19179/stat : 19179 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684397923712 139684506134091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.79 Current children cumulated vsize (KiB) 1062124 Solver just ended. Dumping a history of the last processes samples [startup+3.20088 s] /proc/loadavg: 1.83 1.73 1.36 2/70 19179 /proc/meminfo: memFree=190188/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 [pid=19170] ppid=19167 vsize=1052952 CPUtime=2.79 /proc/19170/stat : 19170 (java) S 19167 19167 1750 0 -1 4202496 91413 0 0 0 249 30 0 0 20 0 11 0 119855837 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 140737211075312 139684506119797 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19170/statm: 263238 86031 2372 9 0 250588 0 [pid=19170/tid=19171] ppid=19167 vsize=1052952 CPUtime=1.43 /proc/19170/task/19171/stat : 19171 (java) S 19167 19167 1750 0 -1 4202560 47737 0 0 0 126 17 0 0 20 0 11 0 119855837 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684512654256 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 [pid=19170/tid=19172] ppid=19167 vsize=1052952 CPUtime=0.32 /proc/19170/task/19172/stat : 19172 (java) S 19167 19167 1750 0 -1 4202560 21881 0 0 0 28 4 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684405292160 139684506134091 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19173] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19173/stat : 19173 (java) S 19167 19167 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684404238352 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19174] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19174/stat : 19174 (java) S 19167 19167 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684403185568 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19175] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19175/stat : 19175 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684402134000 139684506141728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19176] ppid=19167 vsize=1052952 CPUtime=0.48 /proc/19170/task/19176/stat : 19176 (java) S 19167 19167 1750 0 -1 4202560 9735 0 0 0 44 4 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684401081360 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19177] ppid=19167 vsize=1052952 CPUtime=0.53 /proc/19170/task/19177/stat : 19177 (java) S 19167 19167 1750 0 -1 4202560 10757 0 0 0 49 4 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684400028688 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19178] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19178/stat : 19178 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684398976208 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19179] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19179/stat : 19179 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684397923712 139684506134091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.79 Current children cumulated vsize (KiB) 1062124 [startup+3.30071 s] /proc/loadavg: 1.83 1.73 1.36 1/71 19181 /proc/meminfo: memFree=130660/1022884 swapFree=0/0 [pid=19167] ppid=19166 vsize=9172 CPUtime=0 /proc/19167/stat : 19167 (p2cudf-full-1.1) S 19166 19167 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 119855836 9392128 331 18446744073709551615 4194304 5129932 140735727826880 140735727825024 140658397402206 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/19167/statm: 2293 331 280 229 0 53 0 [pid=19170] ppid=19167 vsize=1052952 CPUtime=2.79 /proc/19170/stat : 19170 (java) S 19167 19167 1750 0 -1 4202496 91413 0 0 0 249 30 0 0 20 0 11 0 119855837 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 140737211075312 139684506119797 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/19170/statm: 263238 86031 2372 9 0 250588 0 [pid=19170/tid=19171] ppid=19167 vsize=1052952 CPUtime=1.43 /proc/19170/task/19171/stat : 19171 (java) S 19167 19167 1750 0 -1 4202560 47737 0 0 0 126 17 0 0 20 0 11 0 119855837 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684512654256 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 [pid=19170/tid=19172] ppid=19167 vsize=1052952 CPUtime=0.32 /proc/19170/task/19172/stat : 19172 (java) S 19167 19167 1750 0 -1 4202560 21881 0 0 0 28 4 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684405292160 139684506134091 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19173] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19173/stat : 19173 (java) S 19167 19167 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684404238352 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19174] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19174/stat : 19174 (java) S 19167 19167 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119855839 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684403185568 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19175] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19175/stat : 19175 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684402134000 139684506141728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19176] ppid=19167 vsize=1052952 CPUtime=0.48 /proc/19170/task/19176/stat : 19176 (java) S 19167 19167 1750 0 -1 4202560 9735 0 0 0 44 4 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684401081360 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19177] ppid=19167 vsize=1052952 CPUtime=0.53 /proc/19170/task/19177/stat : 19177 (java) S 19167 19167 1750 0 -1 4202560 10757 0 0 0 49 4 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684400028688 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19178] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19178/stat : 19178 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684398976208 139684506133204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19179] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19179/stat : 19179 (java) S 19167 19167 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119855842 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684397923712 139684506134091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19170/tid=19181] ppid=19167 vsize=1052952 CPUtime=0 /proc/19170/task/19181/stat : 19181 (java) S 19167 19167 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119856122 1078222848 86031 18446744073709551615 4194304 4228012 140737211084288 139684395673776 139684506134091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.79 Current children cumulated vsize (KiB) 1062124 Child status: 0 Real time (s): 3.39295 CPU time (s): 2.83618 CPU user time (s): 2.51216 CPU system time (s): 0.32402 CPU usage (%): 83.5902 Max. virtual memory (cumulated for all children) (KiB): 1063604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.51216 system time used= 0.32402 maximum resident set size= 344156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92188 page faults= 0 swaps= 0 block input operations= 21432 block output operations= 80 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 398 involuntary context switches= 862 runsolver used 0.016001 second user time and 0.016001 second system time The end