runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482365-1307576638/watcher-3482365-1307576638 -o /tmp/evaluation-result-3482365-1307576638/solver-3482365-1307576638 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482365-1307576638.opb -seed 202694231 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.63 2.71 1.13 3/510 16918
/proc/meminfo: memFree=28372040/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/16918/stat : 16918 (python) S 16916 16918 16517 0 -1 4202496 943 0 0 0 0 0 0 0 17 0 1 0 869263498 16289792 820 33554432000 4194304 5683644 140734815639600 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/16918/statm: 3977 820 357 364 0 464 0
[startup+0.099976 s]
/proc/loadavg: 4.63 2.71 1.13 3/510 16918
/proc/meminfo: memFree=28372040/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=94064 CPUtime=0.06 cores=0,2,4,6
/proc/16918/stat : 16918 (python) S 16916 16918 16517 0 -1 4202496 2796 0 1 0 5 1 0 0 17 0 1 0 869263498 96321536 2468 33554432000 4194304 5683644 140734815639600 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/16918/statm: 23516 2468 788 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.101216 s]
/proc/loadavg: 4.63 2.71 1.13 3/510 16918
/proc/meminfo: memFree=28372040/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=94060 CPUtime=0.06 cores=0,2,4,6
/proc/16918/stat : 16918 (python) R 16916 16918 16517 0 -1 4202496 2941 467 1 0 5 1 0 0 18 0 1 0 869263498 96317440 2478 33554432000 4194304 5683644 140734815639600 18446744073709551615 210646804913 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16918/statm: 23515 2478 788 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94060
[startup+0.301184 s]
/proc/loadavg: 4.63 2.71 1.13 3/510 16918
/proc/meminfo: memFree=28372040/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/16918/stat : 16918 (python) S 16916 16918 16517 0 -1 4202496 5355 932 1 0 11 4 0 0 16 0 1 0 869263498 126709760 3742 33554432000 4194304 5683644 140734815639600 18446744073709551615 210647142405 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/16918/statm: 30935 3742 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.701102 s]
/proc/loadavg: 4.63 2.71 1.13 3/510 16918
/proc/meminfo: memFree=28372040/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=245460 CPUtime=0.36 cores=0,2,4,6
/proc/16918/stat : 16918 (python) R 16916 16918 16517 0 -1 4202496 7871 932 1 0 25 11 0 0 15 0 1 0 869263498 251351040 6034 33554432000 4194304 5683644 140734815639600 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16918/statm: 61365 6035 1605 364 0 4890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 245460
[startup+1.50099 s]
/proc/loadavg: 4.63 2.71 1.13 3/512 16924
/proc/meminfo: memFree=28345604/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=291420 CPUtime=1.14 cores=0,2,4,6
/proc/16918/stat : 16918 (python) R 16916 16918 16517 0 -1 4202496 14554 1433 1 0 78 14 22 0 18 0 1 0 869263498 298414080 9198 33554432000 4194304 5683644 140734815639600 18446744073709551615 210650555049 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/16918/statm: 72855 9198 1816 364 0 7748 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 291420
Solver just ended. Dumping a history of the last processes samples
[startup+2.3008 s]
/proc/loadavg: 4.63 2.71 1.13 5/531 16944
/proc/meminfo: memFree=28317616/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=302460 CPUtime=1.48 cores=0,2,4,6
/proc/16918/stat : 16918 (python) S 16916 16918 16517 0 -1 4202496 15456 1433 1 0 112 14 22 0 20 0 2 0 869263498 309719040 9457 33554432000 4194304 5683644 140734815639600 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16918/statm: 75615 9457 1873 364 0 10502 0
[pid=16925] ppid=16918 vsize=292216 CPUtime=0 cores=0,2,4,6
/proc/16925/stat : 16925 (python) S 16918 16918 16517 0 -1 4202560 715 0 0 0 0 0 0 0 17 0 1 0 869263682 299229184 7898 33554432000 4194304 5683644 140734815639600 18446744073709551615 210647166479 0 0 16781312 33554946 8217277017213600003 0 0 17 6 0 0 0
/proc/16925/statm: 73054 7898 318 364 0 7941 0
[pid=16927] ppid=16925 vsize=8546000 CPUtime=0.86 cores=0,2,4,6
/proc/16927/stat : 16927 (java) S 16925 16927 16927 0 -1 4202496 17209 0 1 0 83 3 0 0 17 0 18 0 869263683 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16927/statm: 2136500 13856 2217 9 0 2127241 0
[pid=16927/tid=16928] ppid=16925 vsize=8546000 CPUtime=0.42 cores=0,2,4,6
/proc/16927/task/16928/stat : 16928 (java) R 16925 16927 16927 0 -1 4202560 6793 0 1 0 41 1 0 0 18 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 46912505328172 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16927/tid=16929] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16929/stat : 16929 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16930] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16930/stat : 16930 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16931] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16931/stat : 16931 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16932] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16932/stat : 16932 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16933] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16933/stat : 16933 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16934] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16934/stat : 16934 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16935] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16935/stat : 16935 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16936] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16936/stat : 16936 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869263684 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16937] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16937/stat : 16937 (java) S 16925 16927 16927 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869263685 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962944 0 0 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16938] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16938/stat : 16938 (java) S 16925 16927 16927 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869263686 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16939] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16939/stat : 16939 (java) S 16925 16927 16927 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869263686 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16940] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16940/stat : 16940 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869263688 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658970033 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16941] ppid=16925 vsize=8546000 CPUtime=0.17 cores=0,2,4,6
/proc/16927/task/16941/stat : 16941 (java) R 16925 16927 16927 0 -1 4202560 4764 0 0 0 17 0 0 0 16 0 18 0 869263688 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 47443985840216 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16927/tid=16942] ppid=16925 vsize=8546000 CPUtime=0.24 cores=0,2,4,6
/proc/16927/task/16942/stat : 16942 (java) R 16925 16927 16927 0 -1 4202560 4271 0 0 0 23 1 0 0 17 0 18 0 869263688 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 47443989735888 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16927/tid=16943] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16943/stat : 16943 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869263688 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16944] ppid=16925 vsize=8546000 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16944/stat : 16944 (java) R 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869263688 8751104000 13856 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962944 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16918/tid=16926] ppid=16916 vsize=302460 CPUtime=0.22 cores=0,2,4,6
/proc/16918/task/16926/stat : 16926 (python) S 16916 16918 16517 0 -1 4202560 28 1433 0 0 0 0 22 0 20 0 2 0 869263683 309719040 9457 33554432000 4194304 5683644 140734815639600 18446744073709551615 210658970033 0 0 16781312 33554434 18446604451991467008 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9140676
[startup+2.70173 s]
/proc/loadavg: 4.63 2.71 1.13 5/531 16944
/proc/meminfo: memFree=28317616/32951132 swapFree=57925100/67111528
[pid=16918] ppid=16916 vsize=302460 CPUtime=1.48 cores=0,2,4,6
/proc/16918/stat : 16918 (python) S 16916 16918 16517 0 -1 4202496 15456 1433 1 0 112 14 22 0 20 0 2 0 869263498 309719040 9457 33554432000 4194304 5683644 140734815639600 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16918/statm: 75615 9457 1873 364 0 10502 0
[pid=16925] ppid=16918 vsize=292216 CPUtime=0 cores=0,2,4,6
/proc/16925/stat : 16925 (python) S 16918 16918 16517 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 1 0 869263682 299229184 7898 33554432000 4194304 5683644 140734815639600 18446744073709551615 210647166479 0 0 16781312 33554946 8217277017213600003 0 0 17 6 0 0 0
/proc/16925/statm: 73054 7898 318 364 0 7941 0
[pid=16927] ppid=16925 vsize=8547028 CPUtime=2 cores=0,2,4,6
/proc/16927/stat : 16927 (java) S 16925 16927 16927 0 -1 4202496 29308 0 1 0 195 5 0 0 17 0 19 0 869263683 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16927/statm: 2136757 25435 2224 9 0 2127498 0
[pid=16927/tid=16928] ppid=16925 vsize=8547028 CPUtime=0.81 cores=0,2,4,6
/proc/16927/task/16928/stat : 16928 (java) R 16925 16927 16927 0 -1 4202560 18027 0 1 0 79 2 0 0 19 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 46912506041820 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16927/tid=16929] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16929/stat : 16929 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16930] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16930/stat : 16930 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16931] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16931/stat : 16931 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16932] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16932/stat : 16932 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16933] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16933/stat : 16933 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16934] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16934/stat : 16934 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16935] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16935/stat : 16935 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16936] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16936/stat : 16936 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869263684 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16937] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16937/stat : 16937 (java) S 16925 16927 16927 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869263685 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962944 0 0 0 16800975 18446604446558475200 0 0 -1 0 0 0 0
[pid=16927/tid=16938] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16938/stat : 16938 (java) S 16925 16927 16927 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869263686 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16939] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16939/stat : 16939 (java) S 16925 16927 16927 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869263686 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16940] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16940/stat : 16940 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869263688 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658970033 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16941] ppid=16925 vsize=8547028 CPUtime=0.54 cores=0,2,4,6
/proc/16927/task/16941/stat : 16941 (java) R 16925 16927 16927 0 -1 4202560 4970 0 0 0 54 0 0 0 16 0 19 0 869263688 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 47443987051894 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16927/tid=16942] ppid=16925 vsize=8547028 CPUtime=0.62 cores=0,2,4,6
/proc/16927/task/16942/stat : 16942 (java) S 16925 16927 16927 0 -1 4202560 4923 0 0 0 61 1 0 0 17 0 19 0 869263688 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16943] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16943/stat : 16943 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869263688 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962329 0 4 0 16800975 18446604446558475200 0 0 -1 4 0 0 0
[pid=16927/tid=16944] ppid=16925 vsize=8547028 CPUtime=0 cores=0,2,4,6
/proc/16927/task/16944/stat : 16944 (java) S 16925 16927 16927 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869263688 8752156672 25435 33554432000 1073741824 1073778376 140736028388800 18446744073709551615 210658962944 0 4 0 16800975 18446604446558475200 0 0 -1 2 0 0 0
[pid=16918/tid=16926] ppid=16916 vsize=302460 CPUtime=0.22 cores=0,2,4,6
/proc/16918/task/16926/stat : 16926 (python) S 16916 16918 16517 0 -1 4202560 28 1433 0 0 0 0 22 0 20 0 2 0 869263683 309719040 9457 33554432000 4194304 5683644 140734815639600 18446744073709551615 210658970033 0 0 16781312 33554434 18446604451991467008 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 9141704
Child status: 0
Real time (s): 2.76701
CPU time (s): 3.59845
CPU user time (s): 3.37349
CPU system time (s): 0.224965
CPU usage (%): 130.049
Max. virtual memory (cumulated for all children) (KiB): 9141704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.37349
system time used= 0.224965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53083
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14113
involuntary context switches= 109
runsolver used 0.017997 second user time and 0.037994 second system time
The end