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-3481883-1307577077/watcher-3481883-1307577077 -o /tmp/evaluation-result-3481883-1307577077/solver-3481883-1307577077 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481883-1307577077.opb -seed 1685149055 -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.12 1.92 1.10 2/656 20095
/proc/meminfo: memFree=25773804/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=15912 CPUtime=0 cores=1,3,5,7
/proc/20095/stat : 20095 (python) R 20093 20095 19061 0 -1 4202496 946 0 0 0 0 0 0 0 17 0 1 0 869304492 16293888 822 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500687796 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/20095/statm: 3978 827 357 364 0 465 0
[startup+0.115051 s]
/proc/loadavg: 2.12 1.92 1.10 2/656 20095
/proc/meminfo: memFree=25773804/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=94064 CPUtime=0.07 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 2809 0 1 0 5 2 0 0 18 0 1 0 869304492 96321536 2479 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500691712 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/20095/statm: 23516 2479 788 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94064
[startup+0.200883 s]
/proc/loadavg: 2.12 1.92 1.10 2/656 20095
/proc/meminfo: memFree=25773804/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=117900 CPUtime=0.13 cores=1,3,5,7
/proc/20095/stat : 20095 (python) R 20093 20095 19061 0 -1 4202496 4904 929 1 0 9 4 0 0 17 0 1 0 869304492 120729600 3331 33554432000 4194304 5683644 140737389728832 18446744073709551615 47718296338560 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/20095/statm: 29475 3332 916 364 0 2445 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 117900
[startup+0.300845 s]
/proc/loadavg: 2.12 1.92 1.10 2/656 20095
/proc/meminfo: memFree=25773804/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/20095/stat : 20095 (python) R 20093 20095 19061 0 -1 4202496 5358 929 1 0 12 5 0 0 16 0 1 0 869304492 126709760 3745 33554432000 4194304 5683644 140737389728832 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/20095/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700725 s]
/proc/loadavg: 2.12 1.92 1.10 2/656 20095
/proc/meminfo: memFree=25773804/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=273712 CPUtime=0.41 cores=1,3,5,7
/proc/20095/stat : 20095 (python) R 20093 20095 19061 0 -1 4202496 8810 929 1 0 29 12 0 0 15 0 1 0 869304492 280281088 6760 33554432000 4194304 5683644 140737389728832 18446744073709551615 4962698 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/20095/statm: 68428 6760 1720 364 0 5461 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 273712
[startup+1.50059 s]
/proc/loadavg: 2.12 1.92 1.10 4/657 20100
/proc/meminfo: memFree=25735108/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=302916 CPUtime=1.21 cores=1,3,5,7
/proc/20095/stat : 20095 (python) R 20093 20095 19061 0 -1 4202496 17933 929 1 0 108 13 0 0 16 0 1 0 869304492 310185984 12076 33554432000 4194304 5683644 140737389728832 18446744073709551615 47718462312022 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/20095/statm: 75729 12076 1815 364 0 10622 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 302916
[startup+3.10129 s]
/proc/loadavg: 2.12 1.92 1.10 3/657 20100
/proc/meminfo: memFree=25725188/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=316136 CPUtime=1.94 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 19029 929 1 0 181 13 0 0 19 0 2 0 869304492 323723264 12873 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20095/statm: 79034 12873 1870 364 0 13921 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 316136
heavy processes:
[startup+6.30064 s]
/proc/loadavg: 2.11 1.92 1.11 3/664 20107
/proc/meminfo: memFree=25678364/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=316136 CPUtime=1.94 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 19029 929 1 0 181 13 0 0 19 0 2 0 869304492 323723264 12873 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20095/statm: 79034 12873 1870 364 0 13921 0
[pid=20101] ppid=20095 vsize=305892 CPUtime=0.01 cores=1,3,5,7
/proc/20101/stat : 20101 (python) S 20095 20095 19061 0 -1 4202560 961 0 0 0 0 1 0 0 16 0 1 0 869304716 313233408 11379 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500711951 0 0 16781312 33554946 11573495166752751880 0 0 17 7 0 0 0
/proc/20101/statm: 76473 11379 380 364 0 11360 0
[pid=20103] ppid=20101 vsize=12804 CPUtime=4.06 cores=1,3,5,7
/proc/20103/stat : 20103 (wbo1.4a) R 20101 20103 20103 0 -1 4202496 4121 0 0 0 405 1 0 0 25 0 1 0 869304716 13111296 2760 33554432000 134512640 135751879 4288768416 18446744073709551615 135220932 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/20103/statm: 3201 2760 142 303 0 2896 0
[pid=20095/tid=20102] ppid=20093 vsize=316136 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20102/stat : 20102 (python) S 20093 20095 19061 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 869304716 323723264 12873 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 634832
[startup+12.7004 s]
/proc/loadavg: 2.10 1.92 1.11 3/664 20107
/proc/meminfo: memFree=25636852/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=316136 CPUtime=1.94 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 19029 929 1 0 181 13 0 0 19 0 2 0 869304492 323723264 12873 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20095/statm: 79034 12873 1870 364 0 13921 0
[pid=20101] ppid=20095 vsize=305892 CPUtime=0.03 cores=1,3,5,7
/proc/20101/stat : 20101 (python) S 20095 20095 19061 0 -1 4202560 966 0 0 0 1 2 0 0 15 0 1 0 869304716 313233408 11379 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500711951 0 0 16781312 33554946 5623458817330129766 0 0 17 3 0 0 0
/proc/20101/statm: 76473 11379 380 364 0 11360 0
[pid=20103] ppid=20101 vsize=13992 CPUtime=10.46 cores=1,3,5,7
/proc/20103/stat : 20103 (wbo1.4a) R 20101 20103 20103 0 -1 4202496 4428 0 0 0 1045 1 0 0 25 0 1 0 869304716 14327808 3067 33554432000 134512640 135751879 4288768416 18446744073709551615 134541677 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/20103/statm: 3498 3067 142 303 0 3193 0
[pid=20095/tid=20102] ppid=20093 vsize=316136 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20102/stat : 20102 (python) S 20093 20095 19061 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 869304716 323723264 12873 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 636020
[startup+25.5008 s]
/proc/loadavg: 2.08 1.92 1.13 3/664 20107
/proc/meminfo: memFree=25601028/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=316136 CPUtime=1.94 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 19029 929 1 0 181 13 0 0 19 0 2 0 869304492 323723264 12873 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20095/statm: 79034 12873 1870 364 0 13921 0
[pid=20101] ppid=20095 vsize=305892 CPUtime=0.1 cores=1,3,5,7
/proc/20101/stat : 20101 (python) S 20095 20095 19061 0 -1 4202560 977 0 0 0 5 5 0 0 15 0 1 0 869304716 313233408 11379 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373734 0 0 17 7 0 0 0
/proc/20101/statm: 76473 11379 380 364 0 11360 0
[pid=20103] ppid=20101 vsize=18556 CPUtime=23.25 cores=1,3,5,7
/proc/20103/stat : 20103 (wbo1.4a) R 20101 20103 20103 0 -1 4202496 7580 0 0 0 2324 1 0 0 25 0 1 0 869304716 19001344 4203 33554432000 134512640 135751879 4288768416 18446744073709551615 135201629 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/20103/statm: 4639 4203 142 303 0 4334 0
[pid=20095/tid=20102] ppid=20093 vsize=316136 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20102/stat : 20102 (python) S 20093 20095 19061 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 869304716 323723264 12873 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 640584
[startup+51.1017 s]
/proc/loadavg: 2.05 1.93 1.15 3/686 20130
/proc/meminfo: memFree=25391776/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=326392 CPUtime=1.97 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 19821 929 1 0 184 13 0 0 19 0 3 0 869304492 334225408 12880 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20095/statm: 81598 12880 1873 364 0 16482 0
[pid=20101] ppid=20095 vsize=316136 CPUtime=0.28 cores=1,3,5,7
/proc/20101/stat : 20101 (python) S 20095 20095 19061 0 -1 4202560 1182 0 0 0 15 13 0 0 17 0 2 0 869304716 323723264 11415 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20101/statm: 79034 11415 411 364 0 13921 0
[pid=20103] ppid=20101 vsize=25280 CPUtime=47.57 cores=1,3,5,7
/proc/20103/stat : 20103 (wbo1.4a) T 20101 20103 20103 0 -1 4202496 66009 0 0 0 4743 14 0 0 25 0 1 0 869304716 25886720 5823 33554432000 134512640 135751879 4288768416 18446744073709551615 135201644 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/20103/statm: 6320 5823 145 303 0 6015 0
[pid=20101/tid=20110] ppid=20095 vsize=316136 CPUtime=0 cores=1,3,5,7
/proc/20101/task/20110/stat : 20110 (python) S 20095 20095 19061 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869309474 323723264 11415 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554946 18446604470876670912 0 0 -1 7 0 0 0
[pid=20111] ppid=20095 vsize=316148 CPUtime=0 cores=1,3,5,7
/proc/20111/stat : 20111 (python) S 20095 20095 19061 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869309477 323735552 11351 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500712006 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/20111/statm: 79037 11351 348 364 0 13921 0
[pid=20113] ppid=20111 vsize=8539264 CPUtime=2.15 cores=1,3,5,7
/proc/20113/stat : 20113 (java) S 20111 20113 20113 0 -1 4202496 44218 0 1 0 209 6 0 0 20 0 19 0 869309477 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/20113/statm: 2134816 40480 2246 9 0 2125557 0
[pid=20113/tid=20114] ppid=20111 vsize=8539264 CPUtime=1.21 cores=1,3,5,7
/proc/20113/task/20114/stat : 20114 (java) R 20111 20113 20113 0 -1 4202560 35267 0 1 0 117 4 0 0 19 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 46912505878508 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20113/tid=20115] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20115/stat : 20115 (java) S 20111 20113 20113 0 -1 4202560 679 0 0 0 0 0 0 0 16 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20116] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20116/stat : 20116 (java) S 20111 20113 20113 0 -1 4202560 410 0 0 0 0 0 0 0 17 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20117] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20117/stat : 20117 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20118] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20118/stat : 20118 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 1 0 0 0
[pid=20113/tid=20119] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20119/stat : 20119 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 7 0 0 0
[pid=20113/tid=20120] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20120/stat : 20120 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20121] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20121/stat : 20121 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 7 0 0 0
[pid=20113/tid=20122] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20122/stat : 20122 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309478 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20123] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20123/stat : 20123 (java) S 20111 20113 20113 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 19 0 869309479 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512508416 0 0 0 16800975 18446604466691169024 0 0 -1 1 0 0 0
[pid=20113/tid=20124] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20124/stat : 20124 (java) S 20111 20113 20113 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869309480 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20125] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20125/stat : 20125 (java) S 20111 20113 20113 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869309480 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20126] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20126/stat : 20126 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869309482 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512515505 0 4 0 16800975 18446604466691169024 0 0 -1 7 0 0 0
[pid=20113/tid=20127] ppid=20111 vsize=8539264 CPUtime=0.43 cores=1,3,5,7
/proc/20113/task/20127/stat : 20127 (java) S 20111 20113 20113 0 -1 4202560 2994 0 0 0 43 0 0 0 17 0 19 0 869309482 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 3 0 0 0
[pid=20113/tid=20128] ppid=20111 vsize=8539264 CPUtime=0.46 cores=1,3,5,7
/proc/20113/task/20128/stat : 20128 (java) S 20111 20113 20113 0 -1 4202560 3404 0 0 0 46 0 0 0 22 0 19 0 869309482 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20113/tid=20129] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20129/stat : 20129 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869309482 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446604466691169024 0 0 -1 7 0 0 0
[pid=20113/tid=20130] ppid=20111 vsize=8539264 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20130/stat : 20130 (java) S 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869309482 8744206336 40480 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512508416 0 4 0 16800975 18446604466691169024 0 0 -1 5 0 0 0
[pid=20095/tid=20102] ppid=20093 vsize=326392 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20102/stat : 20102 (python) S 20093 20095 19061 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 3 0 869304716 334225408 12880 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 7 0 0 0
[pid=20095/tid=20112] ppid=20093 vsize=326392 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20112/stat : 20112 (python) S 20093 20095 19061 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 3 0 869309477 334225408 12880 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.97
Current children cumulated vsize (KiB) 9523220
[startup+102.301 s]
/proc/loadavg: 2.18 2.00 1.21 3/690 20135
/proc/meminfo: memFree=25112260/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=326392 CPUtime=1.97 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 19821 929 1 0 184 13 0 0 19 0 3 0 869304492 334225408 12880 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
################
# More data... #
################
[pid=20113/tid=20125] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20125/stat : 20125 (java) T 20111 20113 20113 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869309480 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20126] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20126/stat : 20126 (java) T 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20113/tid=20127] ppid=20111 vsize=8537452 CPUtime=0.58 cores=1,3,5,7
/proc/20113/task/20127/stat : 20127 (java) T 20111 20113 20113 0 -1 4202560 3032 0 0 0 58 0 0 0 15 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20113/tid=20128] ppid=20111 vsize=8537452 CPUtime=0.54 cores=1,3,5,7
/proc/20113/task/20128/stat : 20128 (java) T 20111 20113 20113 0 -1 4202560 3650 0 0 0 54 0 0 0 15 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20129] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20129/stat : 20129 (java) T 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20113/tid=20130] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20130/stat : 20130 (java) T 20111 20113 20113 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20131] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20131/stat : 20131 (java) T 20111 20113 20113 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869309561 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20111/tid=20161] ppid=20095 vsize=316148 CPUtime=0 cores=1,3,5,7
/proc/20111/task/20161/stat : 20161 (python) S 20095 20095 19061 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869318650 323735552 11400 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554946 18446604469807461312 0 0 -1 7 0 0 0
[pid=20162] ppid=20095 vsize=326404 CPUtime=0.08 cores=1,3,5,7
/proc/20162/stat : 20162 (python) S 20095 20095 19061 0 -1 4202560 924 0 0 0 4 4 0 0 15 0 1 0 869318652 334237696 11379 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500712006 0 0 16781312 33554946 5623753486446373734 0 0 17 7 0 0 0
/proc/20162/statm: 81601 11379 372 364 0 16482 0
[pid=20164] ppid=20162 vsize=251048 CPUtime=20.69 cores=1,3,5,7
/proc/20164/stat : 20164 (clasp-1.3.7-x86) R 20162 20164 20164 0 -1 4202496 63169 0 0 0 2061 8 0 0 25 0 1 0 869318652 257073152 62456 33554432000 134512640 136139019 4286628080 18446744073709551615 134632417 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/20164/statm: 62762 62456 187 398 0 62362 0
[pid=20095/tid=20102] ppid=20093 vsize=336648 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20102/stat : 20102 (python) S 20093 20095 19061 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 4 0 869304716 344727552 12886 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 7 0 0 0
[pid=20095/tid=20112] ppid=20093 vsize=336648 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20112/stat : 20112 (python) S 20093 20095 19061 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 4 0 869309477 344727552 12886 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 3 0 0 0
[pid=20095/tid=20163] ppid=20093 vsize=336648 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20163/stat : 20163 (python) S 20093 20095 19061 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 4 0 869318652 344727552 12886 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 164.48
Current children cumulated vsize (KiB) 10109116
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+188.101 s]
/proc/loadavg: 2.10 2.02 1.29 6/722 20239
/proc/meminfo: memFree=22603400/32950928 swapFree=26914392/67111528
[pid=20095] ppid=20093 vsize=346904 CPUtime=2.02 cores=1,3,5,7
/proc/20095/stat : 20095 (python) S 20093 20095 19061 0 -1 4202496 21583 929 1 0 188 14 0 0 20 0 5 0 869304492 355229696 12892 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/20095/statm: 86726 12892 1877 364 0 21604 0
[pid=20101] ppid=20095 vsize=316136 CPUtime=0.28 cores=1,3,5,7
/proc/20101/stat : 20101 (python) S 20095 20095 19061 0 -1 4202560 1182 0 0 0 15 13 0 0 17 0 2 0 869304716 323723264 11415 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20101/statm: 79034 11415 411 364 0 13921 0
[pid=20103] ppid=20101 vsize=25280 CPUtime=47.57 cores=1,3,5,7
/proc/20103/stat : 20103 (wbo1.4a) T 20101 20103 20103 0 -1 4202496 66009 0 0 0 4743 14 0 0 25 0 1 0 869304716 25886720 5823 33554432000 134512640 135751879 4288768416 18446744073709551615 135201644 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/20103/statm: 6320 5823 145 303 0 6015 0
[pid=20101/tid=20110] ppid=20095 vsize=316136 CPUtime=0 cores=1,3,5,7
/proc/20101/task/20110/stat : 20110 (python) S 20095 20095 19061 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869309474 323723264 11415 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554946 18446604470876670912 0 0 -1 7 0 0 0
[pid=20111] ppid=20095 vsize=316148 CPUtime=0.44 cores=1,3,5,7
/proc/20111/stat : 20111 (python) S 20095 20095 19061 0 -1 4202560 1130 0 0 0 19 25 0 0 16 0 2 0 869309477 323735552 11400 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20111/statm: 79037 11400 396 364 0 13921 0
[pid=20113] ppid=20111 vsize=8537452 CPUtime=93.43 cores=1,3,5,7
/proc/20113/stat : 20113 (java) T 20111 20113 20113 0 -1 4202496 123096 0 1 0 9327 16 0 0 18 0 19 0 869309477 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/20113/statm: 2134363 106092 2258 9 0 2125104 0
[pid=20113/tid=20114] ppid=20111 vsize=8537452 CPUtime=90.57 cores=1,3,5,7
/proc/20113/task/20114/stat : 20114 (java) T 20111 20113 20113 0 -1 4202560 35290 0 1 0 9052 5 0 0 25 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 46912505893498 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20113/tid=20115] ppid=20111 vsize=8537452 CPUtime=0.09 cores=1,3,5,7
/proc/20113/task/20115/stat : 20115 (java) T 20111 20113 20113 0 -1 4202560 6436 0 0 0 8 1 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20116] ppid=20111 vsize=8537452 CPUtime=0.11 cores=1,3,5,7
/proc/20113/task/20116/stat : 20116 (java) T 20111 20113 20113 0 -1 4202560 9267 0 0 0 11 0 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20113/tid=20117] ppid=20111 vsize=8537452 CPUtime=0.05 cores=1,3,5,7
/proc/20113/task/20117/stat : 20117 (java) T 20111 20113 20113 0 -1 4202560 6876 0 0 0 5 0 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20113/tid=20118] ppid=20111 vsize=8537452 CPUtime=0.04 cores=1,3,5,7
/proc/20113/task/20118/stat : 20118 (java) T 20111 20113 20113 0 -1 4202560 1471 0 0 0 4 0 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20113/tid=20119] ppid=20111 vsize=8537452 CPUtime=0.15 cores=1,3,5,7
/proc/20113/task/20119/stat : 20119 (java) T 20111 20113 20113 0 -1 4202560 15268 0 0 0 13 2 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20113/tid=20120] ppid=20111 vsize=8537452 CPUtime=0.1 cores=1,3,5,7
/proc/20113/task/20120/stat : 20120 (java) T 20111 20113 20113 0 -1 4202560 9975 0 0 0 9 1 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20113/tid=20121] ppid=20111 vsize=8537452 CPUtime=0.14 cores=1,3,5,7
/proc/20113/task/20121/stat : 20121 (java) T 20111 20113 20113 0 -1 4202560 16983 0 0 0 13 1 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20122] ppid=20111 vsize=8537452 CPUtime=0.1 cores=1,3,5,7
/proc/20113/task/20122/stat : 20122 (java) T 20111 20113 20113 0 -1 4202560 5969 0 0 0 10 0 0 0 15 0 19 0 869309478 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20123] ppid=20111 vsize=8537452 CPUtime=0.83 cores=1,3,5,7
/proc/20113/task/20123/stat : 20123 (java) T 20111 20113 20113 0 -1 4202560 7486 0 0 0 83 0 0 0 15 0 19 0 869309479 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20113/tid=20124] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20124/stat : 20124 (java) T 20111 20113 20113 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869309480 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20125] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20125/stat : 20125 (java) T 20111 20113 20113 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869309480 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20126] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20126/stat : 20126 (java) T 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20113/tid=20127] ppid=20111 vsize=8537452 CPUtime=0.58 cores=1,3,5,7
/proc/20113/task/20127/stat : 20127 (java) T 20111 20113 20113 0 -1 4202560 3032 0 0 0 58 0 0 0 15 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20113/tid=20128] ppid=20111 vsize=8537452 CPUtime=0.54 cores=1,3,5,7
/proc/20113/task/20128/stat : 20128 (java) T 20111 20113 20113 0 -1 4202560 3650 0 0 0 54 0 0 0 15 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20129] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20129/stat : 20129 (java) T 20111 20113 20113 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20113/tid=20130] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20130/stat : 20130 (java) T 20111 20113 20113 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869309482 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20113/tid=20131] ppid=20111 vsize=8537452 CPUtime=0 cores=1,3,5,7
/proc/20113/task/20131/stat : 20131 (java) T 20111 20113 20113 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869309561 8742350848 106092 33554432000 1073741824 1073778376 140734296828368 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20111/tid=20161] ppid=20095 vsize=316148 CPUtime=0 cores=1,3,5,7
/proc/20111/task/20161/stat : 20161 (python) S 20095 20095 19061 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869318650 323735552 11400 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554946 18446604469807461312 0 0 -1 7 0 0 0
[pid=20162] ppid=20095 vsize=326404 CPUtime=0.21 cores=1,3,5,7
/proc/20162/stat : 20162 (python) S 20095 20095 19061 0 -1 4202560 1100 0 0 0 10 11 0 0 16 0 2 0 869318652 334237696 11404 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20162/statm: 81601 11404 396 364 0 16482 0
[pid=20164] ppid=20162 vsize=253860 CPUtime=46.33 cores=1,3,5,7
/proc/20164/stat : 20164 (clasp-1.3.7-x86) T 20162 20164 20164 0 -1 4202496 63886 0 0 0 4625 8 0 0 25 0 1 0 869318652 259952640 63173 33554432000 134512640 136139019 4286628080 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/20164/statm: 63465 63173 187 398 0 63065 0
[pid=20162/tid=20219] ppid=20095 vsize=326404 CPUtime=0 cores=1,3,5,7
/proc/20162/task/20219/stat : 20219 (python) S 20095 20095 19061 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869323287 334237696 11404 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554946 18446604462103554048 0 0 -1 7 0 0 0
[pid=20220] ppid=20095 vsize=336660 CPUtime=0 cores=1,3,5,7
/proc/20220/stat : 20220 (python) S 20095 20095 19061 0 -1 4202560 792 0 0 0 0 0 0 0 19 0 1 0 869323289 344739840 11359 33554432000 4194304 5683644 140737389728832 18446744073709551615 254500712006 0 0 16781312 33554946 2856769519517433856 0 0 17 7 0 0 0
/proc/20220/statm: 84165 11359 348 364 0 19043 0
[pid=20222] ppid=20220 vsize=8532248 CPUtime=0.21 cores=1,3,5,7
/proc/20222/stat : 20222 (java) S 20220 20222 20222 0 -1 4202496 6150 0 1 0 20 1 0 0 20 0 18 0 869323290 8737021952 5520 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20222/statm: 2133062 5520 2162 9 0 2123803 0
[pid=20222/tid=20223] ppid=20220 vsize=8532248 CPUtime=0.15 cores=1,3,5,7
/proc/20222/task/20223/stat : 20223 (java) R 20220 20222 20222 0 -1 4202560 3723 0 1 0 15 0 0 0 25 0 18 0 869323290 8737021952 5561 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 47956856613715 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20222/tid=20224] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20224/stat : 20224 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869323291 8737021952 5561 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20225] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20225/stat : 20225 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869323291 8737021952 5561 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20226] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20226/stat : 20226 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869323291 8737021952 5562 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20227] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20227/stat : 20227 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323291 8737021952 5562 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20228] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20228/stat : 20228 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323291 8737021952 5562 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20229] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20229/stat : 20229 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323291 8737021952 5562 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20230] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20230/stat : 20230 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323291 8737021952 5562 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20231] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20231/stat : 20231 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323291 8737021952 5563 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20232] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20232/stat : 20232 (java) S 20220 20222 20222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869323292 8737021952 5563 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512508416 0 0 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20233] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20233/stat : 20233 (java) S 20220 20222 20222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869323292 8737021952 5563 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20234] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20234/stat : 20234 (java) S 20220 20222 20222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869323292 8737021952 5563 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20235] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20235/stat : 20235 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323294 8737021952 5563 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512515505 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20236] ppid=20220 vsize=8532248 CPUtime=0.05 cores=1,3,5,7
/proc/20222/task/20236/stat : 20236 (java) R 20220 20222 20222 0 -1 4202560 579 0 0 0 5 0 0 0 17 0 18 0 869323294 8737021952 5564 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 47956851777664 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20222/tid=20237] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20237/stat : 20237 (java) R 20220 20222 20222 0 -1 4202560 498 0 0 0 0 0 0 0 17 0 18 0 869323294 8737021952 5564 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20222/tid=20238] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20238/stat : 20238 (java) S 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869323294 8737021952 5564 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512507801 0 4 0 16800975 18446604462456343360 0 0 -1 5 0 0 0
[pid=20222/tid=20239] ppid=20220 vsize=8532248 CPUtime=0 cores=1,3,5,7
/proc/20222/task/20239/stat : 20239 (java) R 20220 20222 20222 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869323294 8737021952 5564 33554432000 1073741824 1073778376 140735052400752 18446744073709551615 254512508416 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20095/tid=20102] ppid=20093 vsize=346904 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20102/stat : 20102 (python) S 20093 20095 19061 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 5 0 869304716 355229696 12892 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 7 0 0 0
[pid=20095/tid=20112] ppid=20093 vsize=346904 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20112/stat : 20112 (python) S 20093 20095 19061 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869309477 355229696 12892 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 3 0 0 0
[pid=20095/tid=20163] ppid=20093 vsize=346904 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20163/stat : 20163 (python) S 20093 20095 19061 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869318652 355229696 12892 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 1 0 0 0
[pid=20095/tid=20221] ppid=20093 vsize=346904 CPUtime=0 cores=1,3,5,7
/proc/20095/task/20221/stat : 20221 (python) S 20093 20095 19061 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 869323290 355229696 12892 33554432000 4194304 5683644 140737389728832 18446744073709551615 254512515505 0 0 16781312 33554434 18446604467166160704 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 190.49
Current children cumulated vsize (KiB) 18991092
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 20095 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=890712
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=144977
# CPU time returned by wait4() is 2.03569
# while last known CPU time is 190.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 188.182
CPU time (s): 190.49
CPU user time (s): 189.47
CPU system time (s): 1.02
CPU usage (%): 101.227
Max. virtual memory (cumulated for all children) (KiB): 18991092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.89071
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22513
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= 2866
involuntary context switches= 20
runsolver used 1.21182 second user time and 2.45063 second system time
The end