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-3481750-1307576957/watcher-3481750-1307576957 -o /tmp/evaluation-result-3481750-1307576957/solver-3481750-1307576957 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481750-1307576957.opb -seed 1967492517 -budget 1800
running on 4 cores: 1,3,5,7
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: 2.00 1.78 0.96 2/613 2908
/proc/meminfo: memFree=26432712/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/2908/stat : 2908 (python) R 2906 2908 2544 0 -1 4202496 808 0 0 0 0 0 0 0 19 0 1 0 869294493 15753216 693 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814239888 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2908/statm: 3846 694 333 364 0 333 0
[startup+0.095097 s]
/proc/loadavg: 2.00 1.78 0.96 2/613 2908
/proc/meminfo: memFree=26432712/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/2908/stat : 2908 (python) R 2906 2908 2544 0 -1 4202496 2584 0 0 0 4 1 0 0 17 0 1 0 869294493 87408640 2309 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814238208 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2908/statm: 21340 2309 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.101027 s]
/proc/loadavg: 2.00 1.78 0.96 2/613 2908
/proc/meminfo: memFree=26432712/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=87832 CPUtime=0.06 cores=1,3,5,7
/proc/2908/stat : 2908 (python) R 2906 2908 2544 0 -1 4202496 2690 0 0 0 5 1 0 0 17 0 1 0 869294493 89939968 2405 33554432000 4194304 5683644 140733927036464 18446744073709551615 4681517 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2908/statm: 21958 2405 733 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87832
[startup+0.301067 s]
/proc/loadavg: 2.00 1.78 0.96 2/613 2908
/proc/meminfo: memFree=26432712/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/2908/stat : 2908 (python) R 2906 2908 2544 0 -1 4202496 5358 934 1 0 13 4 0 0 16 0 1 0 869294493 126713856 3744 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814236165 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/2908/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700928 s]
/proc/loadavg: 2.00 1.78 0.96 2/613 2908
/proc/meminfo: memFree=26432712/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=285632 CPUtime=0.42 cores=1,3,5,7
/proc/2908/stat : 2908 (python) R 2906 2908 2544 0 -1 4202496 9884 934 1 0 33 9 0 0 15 0 1 0 869294493 292487168 7745 33554432000 4194304 5683644 140733927036464 18446744073709551615 251813601030 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2908/statm: 71408 7745 1781 364 0 6301 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 285632
[startup+1.50079 s]
/proc/loadavg: 2.00 1.78 0.96 3/614 2913
/proc/meminfo: memFree=26395628/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=301060 CPUtime=1.22 cores=1,3,5,7
/proc/2908/stat : 2908 (python) R 2906 2908 2544 0 -1 4202496 16986 934 1 0 113 9 0 0 16 0 1 0 869294493 308285440 11612 33554432000 4194304 5683644 140733927036464 18446744073709551615 251817648809 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/2908/statm: 75265 11612 1816 364 0 10158 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 301060
[startup+3.10153 s]
/proc/loadavg: 2.32 1.85 0.98 3/634 2936
/proc/meminfo: memFree=26228004/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=313040 CPUtime=1.7 cores=1,3,5,7
/proc/2908/stat : 2908 (python) S 2906 2908 2544 0 -1 4202496 17701 934 1 0 161 9 0 0 19 0 2 0 869294493 320552960 12098 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2908/statm: 78260 12098 1870 364 0 13147 0
[pid=2915] ppid=2908 vsize=302796 CPUtime=0 cores=1,3,5,7
/proc/2915/stat : 2915 (python) S 2908 2908 2544 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 869294692 310063104 10575 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814260239 0 0 16781312 33554946 2461587564272812032 0 0 17 5 0 0 0
/proc/2915/statm: 75699 10575 351 364 0 10586 0
[pid=2917] ppid=2915 vsize=8539584 CPUtime=1.69 cores=1,3,5,7
/proc/2917/stat : 2917 (java) S 2915 2917 2917 0 -1 4202496 44332 0 1 0 162 7 0 0 18 0 19 0 869294692 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2917/statm: 2134896 40995 2242 9 0 2125637 0
[pid=2917/tid=2918] ppid=2915 vsize=8539584 CPUtime=0.91 cores=1,3,5,7
/proc/2917/task/2918/stat : 2918 (java) R 2915 2917 2917 0 -1 4202560 35270 0 1 0 86 5 0 0 25 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=2917/tid=2919] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2919/stat : 2919 (java) S 2915 2917 2917 0 -1 4202560 296 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2920] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2920/stat : 2920 (java) S 2915 2917 2917 0 -1 4202560 370 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2917/tid=2921] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2921/stat : 2921 (java) S 2915 2917 2917 0 -1 4202560 182 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 3 0 0 0
[pid=2917/tid=2922] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2922/stat : 2922 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2925] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2925/stat : 2925 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2926] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2926/stat : 2926 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2927] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2927/stat : 2927 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2928] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2928/stat : 2928 (java) S 2915 2917 2917 0 -1 4202560 230 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 1 0 0 0
[pid=2917/tid=2929] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2929/stat : 2929 (java) S 2915 2917 2917 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 19 0 869294711 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 0 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2917/tid=2930] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2930/stat : 2930 (java) S 2915 2917 2917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869294712 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2931] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2931/stat : 2931 (java) S 2915 2917 2917 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869294712 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2932] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2932/stat : 2932 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869294714 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826063793 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2933] ppid=2915 vsize=8539584 CPUtime=0.36 cores=1,3,5,7
/proc/2917/task/2933/stat : 2933 (java) R 2915 2917 2917 0 -1 4202560 3988 0 0 0 36 0 0 0 22 0 19 0 869294714 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 47129657782770 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2917/tid=2934] ppid=2915 vsize=8539584 CPUtime=0.37 cores=1,3,5,7
/proc/2917/task/2934/stat : 2934 (java) R 2915 2917 2917 0 -1 4202560 2605 0 0 0 37 0 0 0 22 0 19 0 869294714 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 47129659186928 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2917/tid=2935] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2935/stat : 2935 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869294714 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2936] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2936/stat : 2936 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869294714 8744534016 40995 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 4 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2908/tid=2916] ppid=2906 vsize=313040 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2916/stat : 2916 (python) S 2906 2908 2544 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 869294692 320552960 12098 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 9155420
[startup+6.32198 s]
/proc/loadavg: 2.32 1.85 0.98 3/635 2937
/proc/meminfo: memFree=26144896/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=313040 CPUtime=1.7 cores=1,3,5,7
/proc/2908/stat : 2908 (python) S 2906 2908 2544 0 -1 4202496 17701 934 1 0 161 9 0 0 19 0 2 0 869294493 320552960 12098 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2908/statm: 78260 12098 1870 364 0 13147 0
[pid=2915] ppid=2908 vsize=302796 CPUtime=0.02 cores=1,3,5,7
/proc/2915/stat : 2915 (python) S 2908 2908 2544 0 -1 4202560 898 0 0 0 1 1 0 0 15 0 1 0 869294692 310063104 10599 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814260239 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/2915/statm: 75699 10599 375 364 0 10586 0
[pid=2917] ppid=2915 vsize=8539584 CPUtime=5.28 cores=1,3,5,7
/proc/2917/stat : 2917 (java) S 2915 2917 2917 0 -1 4202496 64938 0 1 0 518 10 0 0 18 0 19 0 869294692 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2917/statm: 2134896 60883 2258 9 0 2125637 0
[pid=2917/tid=2918] ppid=2915 vsize=8539584 CPUtime=4.04 cores=1,3,5,7
/proc/2917/task/2918/stat : 2918 (java) R 2915 2917 2917 0 -1 4202560 35286 0 1 0 399 5 0 0 25 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 46912505836892 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2917/tid=2919] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2919/stat : 2919 (java) S 2915 2917 2917 0 -1 4202560 1180 0 0 0 0 0 0 0 15 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 1 0 0 0
[pid=2917/tid=2920] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2920/stat : 2920 (java) S 2915 2917 2917 0 -1 4202560 370 0 0 0 0 0 0 0 15 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 1 0 0 0
[pid=2917/tid=2921] ppid=2915 vsize=8539584 CPUtime=0.01 cores=1,3,5,7
/proc/2917/task/2921/stat : 2921 (java) S 2915 2917 2917 0 -1 4202560 2932 0 0 0 1 0 0 0 15 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 3 0 0 0
[pid=2917/tid=2922] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2922/stat : 2922 (java) S 2915 2917 2917 0 -1 4202560 2826 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 1 0 0 0
[pid=2917/tid=2925] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2925/stat : 2925 (java) S 2915 2917 2917 0 -1 4202560 2040 0 0 0 0 0 0 0 15 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 1 0 0 0
[pid=2917/tid=2926] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2926/stat : 2926 (java) S 2915 2917 2917 0 -1 4202560 1051 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2927] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2927/stat : 2927 (java) S 2915 2917 2917 0 -1 4202560 1063 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2928] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2928/stat : 2928 (java) S 2915 2917 2917 0 -1 4202560 2131 0 0 0 0 0 0 0 16 0 19 0 869294710 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 1 0 0 0
[pid=2917/tid=2929] ppid=2915 vsize=8539584 CPUtime=0.05 cores=1,3,5,7
/proc/2917/task/2929/stat : 2929 (java) S 2915 2917 2917 0 -1 4202560 8014 0 0 0 5 0 0 0 15 0 19 0 869294711 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 0 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2917/tid=2930] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2930/stat : 2930 (java) S 2915 2917 2917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869294712 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2931] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2931/stat : 2931 (java) S 2915 2917 2917 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869294712 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2932] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2932/stat : 2932 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869294714 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826063793 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2933] ppid=2915 vsize=8539584 CPUtime=0.49 cores=1,3,5,7
/proc/2917/task/2933/stat : 2933 (java) S 2915 2917 2917 0 -1 4202560 4021 0 0 0 49 0 0 0 15 0 19 0 869294714 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2934] ppid=2915 vsize=8539584 CPUtime=0.58 cores=1,3,5,7
/proc/2917/task/2934/stat : 2934 (java) S 2915 2917 2917 0 -1 4202560 2645 0 0 0 58 0 0 0 16 0 19 0 869294714 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 3 0 0 0
[pid=2917/tid=2935] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2935/stat : 2935 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869294714 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2936] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2936/stat : 2936 (java) S 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869294714 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 4 0 16800975 18446604459449496896 0 0 -1 1 0 0 0
[pid=2917/tid=2937] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2937/stat : 2937 (java) S 2915 2917 2917 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869294787 8744534016 60883 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 4 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2908/tid=2916] ppid=2906 vsize=313040 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2916/stat : 2916 (python) S 2906 2908 2544 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 869294692 320552960 12098 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9155420
[startup+12.7009 s]
/proc/loadavg: 2.29 1.85 0.99 3/635 2937
/proc/meminfo: memFree=26100568/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=313040 CPUtime=1.7 cores=1,3,5,7
/proc/2908/stat : 2908 (python) S 2906 2908 2544 0 -1 4202496 17701 934 1 0 161 9 0 0 19 0 2 0 869294493 320552960 12098 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2908/statm: 78260 12098 1870 364 0 13147 0
[pid=2915] ppid=2908 vsize=302796 CPUtime=0.05 cores=1,3,5,7
/proc/2915/stat : 2915 (python) S 2908 2908 2544 0 -1 4202560 990 0 0 0 3 2 0 0 15 0 1 0 869294692 310063104 10604 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814260239 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/2915/statm: 75699 10604 380 364 0 10586 0
[pid=2917] ppid=2915 vsize=8539584 CPUtime=11.77 cores=1,3,5,7
/proc/2917/stat : 2917 (java) S 2915 2917 2917 0 -1 4202496 76367 0 1 0 1166 11 0 0 18 0 19 0 869294692 8744534016 69729 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2917/statm: 2134896 69729 2258 9 0 2125637 0
[pid=2917/tid=2918] ppid=2915 vsize=8539584 CPUtime=10.28 cores=1,3,5,7
/proc/2917/task/2918/stat : 2918 (java) R 2915 2917 2917 0 -1 4202560 35288 0 1 0 1023 5 0 0 25 0 19 0 869294710 8744534016 69729 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 46912505905403 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2917/tid=2919] ppid=2915 vsize=8539584 CPUtime=0.01 cores=1,3,5,7
/proc/2917/task/2919/stat : 2919 (java) S 2915 2917 2917 0 -1 4202560 2131 0 0 0 1 0 0 0 15 0 19 0 869294710 8744534016 69729 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2917/tid=2920] ppid=2915 vsize=8539584 CPUtime=0.01 cores=1,3,5,7
/proc/2917/task/2920/stat : 2920 (java) S 2915 2917 2917 0 -1 4202560 2649 0 0 0 1 0 0 0 15 0 19 0 869294710 8744534016 69729 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 5 0 0 0
[pid=2917/tid=2921] ppid=2915 vsize=8539584 CPUtime=0.03 cores=1,3,5,7
/proc/2917/task/2921/stat : 2921 (java) S 2915 2917 2917 0 -1 4202560 5322 0 0 0 3 0 0 0 16 0 19 0 869294710 8744534016 69729 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2917/tid=2922] ppid=2915 vsize=8539584 CPUtime=0.01 cores=1,3,5,7
/proc/2917/task/2922/stat : 2922 (java) S 2915 2917 2917 0 -1 4202560 4954 0 0 0 1 0 0 0 15 0 19 0 869294710 8744534016 69729 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446604459449496896 0 0 -1 7 0 0 0
[pid=2917/tid=2925] ppid=2915 vsize=8539584 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/2941/statm: 78263 10625 396 364 0 13147 0
[pid=2943] ppid=2941 vsize=28508 CPUtime=47.41 cores=1,3,5,7
/proc/2943/stat : 2943 (wbo1.4a) T 2941 2943 2943 0 -1 4202496 143978 0 0 0 4711 30 0 0 25 0 1 0 869299603 29192192 6630 33554432000 134512640 135751879 4289207776 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/2943/statm: 7127 6630 146 303 0 6822 0
[pid=2941/tid=2945] ppid=2908 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/2941/task/2945/stat : 2945 (python) S 2908 2908 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869304345 320565248 10625 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554946 18446604470492749888 0 0 -1 3 0 0 0
[pid=2947] ppid=2908 vsize=323308 CPUtime=0.38 cores=1,3,5,7
/proc/2947/stat : 2947 (python) S 2908 2908 2544 0 -1 4202560 986 0 0 0 19 19 0 0 15 0 1 0 869308639 331067392 10604 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814260294 0 0 16781312 33554946 5623753486446373661 0 0 17 7 0 0 0
/proc/2947/statm: 80827 10604 372 364 0 15708 0
[pid=2949] ppid=2947 vsize=204404 CPUtime=80.82 cores=1,3,5,7
/proc/2949/stat : 2949 (clasp-1.3.7-x86) R 2947 2949 2949 0 -1 4202496 51521 0 0 0 8074 8 0 0 25 0 1 0 869308640 209309696 50835 33554432000 134512640 136139019 4290946848 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2949/statm: 51101 50835 187 398 0 50701 0
[pid=2908/tid=2916] ppid=2906 vsize=333552 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2916/stat : 2916 (python) S 2906 2908 2544 0 -1 4202560 31 934 0 0 0 0 0 0 18 0 4 0 869294692 341557248 12111 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
[pid=2908/tid=2942] ppid=2906 vsize=333552 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2942/stat : 2942 (python) S 2906 2908 2544 0 -1 4202560 23 934 0 0 0 0 0 0 20 0 4 0 869299603 341557248 12111 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 1 0 0 0
[pid=2908/tid=2948] ppid=2906 vsize=333552 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2948/stat : 2948 (python) S 2906 2908 2544 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 4 0 869308640 341557248 12111 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 224.86
Current children cumulated vsize (KiB) 10055448
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+281.202 s]
/proc/loadavg: 2.11 1.99 1.26 6/668 2980
/proc/meminfo: memFree=24889928/32950928 swapFree=41528364/67111528
[pid=2908] ppid=2906 vsize=354064 CPUtime=1.83 cores=1,3,5,7
/proc/2908/stat : 2908 (python) S 2906 2908 2544 0 -1 4202496 21510 934 1 0 172 11 0 0 20 0 6 0 869294493 362561536 12123 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/2908/statm: 88516 12123 1879 364 0 23391 0
[pid=2915] ppid=2908 vsize=313040 CPUtime=0.48 cores=1,3,5,7
/proc/2915/stat : 2915 (python) S 2908 2908 2544 0 -1 4202560 1164 0 0 0 24 24 0 0 15 0 2 0 869294692 320552960 10641 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2915/statm: 78260 10641 412 364 0 13147 0
[pid=2917] ppid=2915 vsize=8539584 CPUtime=93.69 cores=1,3,5,7
/proc/2917/stat : 2917 (java) T 2915 2917 2917 0 -1 4202496 132923 0 1 0 9350 19 0 0 18 0 19 0 869294692 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2917/statm: 2134896 112240 2258 9 0 2125637 0
[pid=2917/tid=2918] ppid=2915 vsize=8539584 CPUtime=90.45 cores=1,3,5,7
/proc/2917/task/2918/stat : 2918 (java) T 2915 2917 2917 0 -1 4202560 35303 0 1 0 9040 5 0 0 25 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 46912505905383 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2917/tid=2919] ppid=2915 vsize=8539584 CPUtime=0.16 cores=1,3,5,7
/proc/2917/task/2919/stat : 2919 (java) T 2915 2917 2917 0 -1 4202560 12526 0 0 0 15 1 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2917/tid=2920] ppid=2915 vsize=8539584 CPUtime=0.11 cores=1,3,5,7
/proc/2917/task/2920/stat : 2920 (java) T 2915 2917 2917 0 -1 4202560 7574 0 0 0 11 0 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2917/tid=2921] ppid=2915 vsize=8539584 CPUtime=0.14 cores=1,3,5,7
/proc/2917/task/2921/stat : 2921 (java) T 2915 2917 2917 0 -1 4202560 10868 0 0 0 13 1 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2917/tid=2922] ppid=2915 vsize=8539584 CPUtime=0.11 cores=1,3,5,7
/proc/2917/task/2922/stat : 2922 (java) T 2915 2917 2917 0 -1 4202560 13006 0 0 0 10 1 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2917/tid=2925] ppid=2915 vsize=8539584 CPUtime=0.12 cores=1,3,5,7
/proc/2917/task/2925/stat : 2925 (java) T 2915 2917 2917 0 -1 4202560 11235 0 0 0 11 1 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2917/tid=2926] ppid=2915 vsize=8539584 CPUtime=0.13 cores=1,3,5,7
/proc/2917/task/2926/stat : 2926 (java) T 2915 2917 2917 0 -1 4202560 9018 0 0 0 12 1 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2917/tid=2927] ppid=2915 vsize=8539584 CPUtime=0.13 cores=1,3,5,7
/proc/2917/task/2927/stat : 2927 (java) T 2915 2917 2917 0 -1 4202560 6587 0 0 0 12 1 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2928] ppid=2915 vsize=8539584 CPUtime=0.11 cores=1,3,5,7
/proc/2917/task/2928/stat : 2928 (java) T 2915 2917 2917 0 -1 4202560 10209 0 0 0 10 1 0 0 15 0 19 0 869294710 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2929] ppid=2915 vsize=8539584 CPUtime=1 cores=1,3,5,7
/proc/2917/task/2929/stat : 2929 (java) T 2915 2917 2917 0 -1 4202560 8536 0 0 0 100 0 0 0 15 0 19 0 869294711 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2917/tid=2930] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2930/stat : 2930 (java) T 2915 2917 2917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869294712 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2931] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2931/stat : 2931 (java) T 2915 2917 2917 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869294712 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2932] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2932/stat : 2932 (java) T 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869294714 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2933] ppid=2915 vsize=8539584 CPUtime=0.49 cores=1,3,5,7
/proc/2917/task/2933/stat : 2933 (java) T 2915 2917 2917 0 -1 4202560 4022 0 0 0 49 0 0 0 15 0 19 0 869294714 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2934] ppid=2915 vsize=8539584 CPUtime=0.61 cores=1,3,5,7
/proc/2917/task/2934/stat : 2934 (java) T 2915 2917 2917 0 -1 4202560 2654 0 0 0 61 0 0 0 15 0 19 0 869294714 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2917/tid=2935] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2935/stat : 2935 (java) T 2915 2917 2917 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869294714 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2936] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2936/stat : 2936 (java) T 2915 2917 2917 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869294714 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2917/tid=2937] ppid=2915 vsize=8539584 CPUtime=0 cores=1,3,5,7
/proc/2917/task/2937/stat : 2937 (java) T 2915 2917 2917 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869294787 8744534016 112240 33554432000 1073741824 1073778376 140734418547344 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2915/tid=2940] ppid=2908 vsize=313040 CPUtime=0 cores=1,3,5,7
/proc/2915/task/2940/stat : 2940 (python) S 2908 2908 2544 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869299600 320552960 10641 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554946 18446604455906848896 0 0 -1 3 0 0 0
[pid=2941] ppid=2908 vsize=313052 CPUtime=0.3 cores=1,3,5,7
/proc/2941/stat : 2941 (python) S 2908 2908 2544 0 -1 4202560 1123 0 0 0 17 13 0 0 16 0 2 0 869299603 320565248 10625 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2941/statm: 78263 10625 396 364 0 13147 0
[pid=2943] ppid=2941 vsize=28508 CPUtime=47.41 cores=1,3,5,7
/proc/2943/stat : 2943 (wbo1.4a) T 2941 2943 2943 0 -1 4202496 143978 0 0 0 4711 30 0 0 25 0 1 0 869299603 29192192 6630 33554432000 134512640 135751879 4289207776 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/2943/statm: 7127 6630 146 303 0 6822 0
[pid=2941/tid=2945] ppid=2908 vsize=313052 CPUtime=0 cores=1,3,5,7
/proc/2941/task/2945/stat : 2945 (python) S 2908 2908 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869304345 320565248 10625 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554946 18446604470492749888 0 0 -1 3 0 0 0
[pid=2947] ppid=2908 vsize=323308 CPUtime=0.45 cores=1,3,5,7
/proc/2947/stat : 2947 (python) S 2908 2908 2544 0 -1 4202560 1144 0 0 0 22 23 0 0 16 0 2 0 869308639 331067392 10629 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2947/statm: 80827 10629 396 364 0 15708 0
[pid=2949] ppid=2947 vsize=204404 CPUtime=91.95 cores=1,3,5,7
/proc/2949/stat : 2949 (clasp-1.3.7-x86) T 2947 2949 2949 0 -1 4202496 51521 0 0 0 9187 8 0 0 25 0 1 0 869308640 209309696 50835 33554432000 134512640 136139019 4290946848 18446744073709551615 134876511 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/2949/statm: 51101 50835 187 398 0 50701 0
[pid=2947/tid=2954] ppid=2908 vsize=323308 CPUtime=0 cores=1,3,5,7
/proc/2947/task/2954/stat : 2954 (python) S 2908 2908 2544 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869317837 331067392 10629 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554946 18446604458404038464 0 0 -1 7 0 0 0
[pid=2955] ppid=2908 vsize=333564 CPUtime=0.23 cores=1,3,5,7
/proc/2955/stat : 2955 (python) S 2908 2908 2544 0 -1 4202560 1124 0 0 0 11 12 0 0 17 0 2 0 869317839 341569536 10633 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2955/statm: 83391 10633 396 364 0 18269 0
[pid=2957] ppid=2955 vsize=493560 CPUtime=47.52 cores=1,3,5,7
/proc/2957/stat : 2957 (pbct-0.1.2-linu) T 2955 2957 2957 0 -1 4202496 125269 0 0 0 4685 67 0 0 25 0 1 0 869317839 505405440 121216 33554432000 134512640 136422188 4290429328 18446744073709551615 134860008 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/2957/statm: 123390 121216 236 467 0 122921 0
[pid=2955/tid=2960] ppid=2908 vsize=333564 CPUtime=0 cores=1,3,5,7
/proc/2955/task/2960/stat : 2960 (python) S 2908 2908 2544 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869322593 341569536 10633 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554946 18446604462967285952 0 0 -1 7 0 0 0
[pid=2961] ppid=2908 vsize=343820 CPUtime=0 cores=1,3,5,7
/proc/2961/stat : 2961 (python) S 2908 2908 2544 0 -1 4202560 808 0 0 0 0 0 0 0 19 0 1 0 869322595 352071680 10588 33554432000 4194304 5683644 140733927036464 18446744073709551615 251814260294 0 0 16781312 33554946 2574130701158842368 0 0 17 7 0 0 0
/proc/2961/statm: 85955 10588 348 364 0 20830 0
[pid=2963] ppid=2961 vsize=8533956 CPUtime=0.29 cores=1,3,5,7
/proc/2963/stat : 2963 (java) S 2961 2963 2963 0 -1 4202496 6770 0 1 0 28 1 0 0 20 0 18 0 869322596 8738770944 6106 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2963/statm: 2133489 6107 2179 9 0 2124230 0
[pid=2963/tid=2964] ppid=2961 vsize=8533956 CPUtime=0.19 cores=1,3,5,7
/proc/2963/task/2964/stat : 2964 (java) R 2961 2963 2963 0 -1 4202560 4203 0 1 0 19 0 0 0 25 0 18 0 869322597 8738770944 6229 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 46912505547241 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2963/tid=2965] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2965/stat : 2965 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869322597 8738770944 6229 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2963/tid=2966] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2966/stat : 2966 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869322597 8738770944 6229 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2963/tid=2967] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2967/stat : 2967 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869322597 8738770944 6230 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2963/tid=2968] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2968/stat : 2968 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322597 8738770944 6230 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 7 0 0 0
[pid=2963/tid=2969] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2969/stat : 2969 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322597 8738770944 6230 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 1 0 0 0
[pid=2963/tid=2970] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2970/stat : 2970 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322597 8738770944 6230 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 7 0 0 0
[pid=2963/tid=2971] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2971/stat : 2971 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322597 8738770944 6230 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 7 0 0 0
[pid=2963/tid=2972] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2972/stat : 2972 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322597 8738770944 6230 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 1 0 0 0
[pid=2963/tid=2973] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2973/stat : 2973 (java) S 2961 2963 2963 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869322598 8738770944 6231 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056704 0 0 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2963/tid=2974] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2974/stat : 2974 (java) S 2961 2963 2963 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869322599 8738770944 6231 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2963/tid=2975] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2975/stat : 2975 (java) S 2961 2963 2963 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869322599 8738770944 6231 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2963/tid=2976] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2976/stat : 2976 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322601 8738770944 6231 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826063793 0 4 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2963/tid=2977] ppid=2961 vsize=8533956 CPUtime=0.04 cores=1,3,5,7
/proc/2963/task/2977/stat : 2977 (java) R 2961 2963 2963 0 -1 4202560 450 0 0 0 4 0 0 0 25 0 18 0 869322601 8738770944 6231 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 47966120904256 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2963/tid=2978] ppid=2961 vsize=8533956 CPUtime=0.06 cores=1,3,5,7
/proc/2963/task/2978/stat : 2978 (java) R 2961 2963 2963 0 -1 4202560 844 0 0 0 6 0 0 0 25 0 18 0 869322601 8738770944 6231 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2963/tid=2979] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2979/stat : 2979 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322601 8738770944 6232 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056089 0 4 0 16800975 18446604456555993792 0 0 -1 1 0 0 0
[pid=2963/tid=2980] ppid=2961 vsize=8533956 CPUtime=0 cores=1,3,5,7
/proc/2963/task/2980/stat : 2980 (java) S 2961 2963 2963 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869322601 8738770944 6232 33554432000 1073741824 1073778376 140736832291776 18446744073709551615 251826056704 0 4 0 16800975 18446604456555993792 0 0 -1 5 0 0 0
[pid=2908/tid=2916] ppid=2906 vsize=354064 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2916/stat : 2916 (python) S 2906 2908 2544 0 -1 4202560 31 934 0 0 0 0 0 0 18 0 6 0 869294692 362561536 12123 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
[pid=2908/tid=2942] ppid=2906 vsize=354064 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2942/stat : 2942 (python) S 2906 2908 2544 0 -1 4202560 23 934 0 0 0 0 0 0 20 0 6 0 869299603 362561536 12123 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 1 0 0 0
[pid=2908/tid=2948] ppid=2906 vsize=354064 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2948/stat : 2948 (python) S 2906 2908 2544 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 6 0 869308640 362561536 12123 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 1 0 0 0
[pid=2908/tid=2956] ppid=2906 vsize=354064 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2956/stat : 2956 (python) S 2906 2908 2544 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 6 0 869317839 362561536 12123 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
[pid=2908/tid=2962] ppid=2906 vsize=354064 CPUtime=0 cores=1,3,5,7
/proc/2908/task/2962/stat : 2962 (python) S 2906 2908 2544 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 6 0 869322596 362561536 12123 33554432000 4194304 5683644 140733927036464 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.15
Current children cumulated vsize (KiB) 19780860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2908 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=728737
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=114982
# CPU time returned by wait4() is 1.84372
# while last known CPU time is 284.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 281.289
CPU time (s): 284.15
CPU user time (s): 282.07
CPU system time (s): 2.08
CPU usage (%): 101.017
Max. virtual memory (cumulated for all children) (KiB): 19781172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.72874
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22447
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2873
involuntary context switches= 27
runsolver used 1.9907 second user time and 3.98839 second system time
The end