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-3481783-1307576353/watcher-3481783-1307576353 -o /tmp/evaluation-result-3481783-1307576353/solver-3481783-1307576353 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481783-1307576353.opb -seed 1525658409 -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: 0.00 0.00 0.00 1/517 19099
/proc/meminfo: memFree=31913212/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 617 0 0 0 0 0 0 0 22 0 1 0 869232299 15441920 513 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/19099/statm: 3770 513 300 364 0 257 0
[startup+0.084897 s]
/proc/loadavg: 0.00 0.00 0.00 1/517 19099
/proc/meminfo: memFree=31913212/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 796 0 0 0 0 0 0 0 22 0 1 0 869232299 15753216 682 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/19099/statm: 3846 682 322 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.100887 s]
/proc/loadavg: 0.00 0.00 0.00 1/517 19099
/proc/meminfo: memFree=31913212/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 812 0 0 0 0 0 0 0 22 0 1 0 869232299 15753216 697 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/19099/statm: 3846 697 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.300866 s]
/proc/loadavg: 0.00 0.00 0.00 1/517 19099
/proc/meminfo: memFree=31913212/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 1259 0 1 0 1 1 0 0 17 0 1 0 869232299 19341312 1113 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/19099/statm: 4722 1113 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.700763 s]
/proc/loadavg: 0.00 0.00 0.00 1/517 19099
/proc/meminfo: memFree=31913212/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=23208 CPUtime=0.03 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 1329 0 3 0 2 1 0 0 16 0 1 0 869232299 23764992 1179 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 2
/proc/19099/statm: 5802 1179 432 364 0 729 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23208
[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 1/518 19100
/proc/meminfo: memFree=31907084/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=30116 CPUtime=0.05 cores=1,3,5,7
/proc/19099/stat : 19099 (python) D 19097 19099 19061 0 -1 4202496 1506 0 5 0 3 2 0 0 16 0 1 0 869232299 30838784 1348 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500687717 0 0 16781312 2 0 0 0 17 3 0 0 5
/proc/19099/statm: 7529 1348 443 364 0 899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30116
[startup+3.1002 s]
/proc/loadavg: 0.08 0.02 0.01 1/518 19100
/proc/meminfo: memFree=31902568/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=38904 CPUtime=0.07 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 1657 0 8 0 4 3 0 0 16 0 1 0 869232299 39837696 1491 33554432000 4194304 5683644 140734830632992 18446744073709551615 254495768199 0 2147483391 16781312 2 18446744071699945619 0 0 17 7 0 0 36
/proc/19099/statm: 9726 1491 455 364 0 1026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38904
heavy processes:
[startup+6.30065 s]
/proc/loadavg: 0.08 0.02 0.01 2/518 19101
/proc/meminfo: memFree=31891364/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=89940 CPUtime=0.12 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 2701 0 18 0 6 6 0 0 16 0 1 0 869232299 92098560 2428 33554432000 4194304 5683644 140734830632992 18446744073709551615 254495768199 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 52
/proc/19099/statm: 22485 2428 750 364 0 1627 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 89940
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.15 0.03 0.01 1/518 19109
/proc/meminfo: memFree=31889428/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=111984 CPUtime=0.2 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 4658 922 27 9 11 9 0 0 15 0 1 0 869232299 114671616 3134 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500687796 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 113
/proc/19099/statm: 27996 3134 901 364 0 2175 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 111984
heavy processes:
[startup+25.5008 s]
/proc/loadavg: 0.20 0.05 0.01 1/518 19109
/proc/meminfo: memFree=31880828/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=123884 CPUtime=0.32 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 5364 922 32 9 18 14 0 0 16 0 1 0 869232299 126857216 3765 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500687877 0 2147483391 16781312 2 18446744071699945619 0 0 17 7 0 0 338
/proc/19099/statm: 30971 3765 987 364 0 2803 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 123884
heavy processes:
[startup+51.1007 s]
/proc/loadavg: 0.51 0.12 0.04 3/521 19113
/proc/meminfo: memFree=31562412/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=523544 CPUtime=13.29 cores=1,3,5,7
/proc/19099/stat : 19099 (python) R 19097 19099 19061 0 -1 4202496 102129 922 105 9 1293 36 0 0 25 0 1 0 869232299 536109056 67234 33554432000 4194304 5683644 140734830632992 18446744073709551615 46969238692141 0 0 16781312 33554434 0 0 0 17 1 0 0 764
/proc/19099/statm: 130886 67234 1816 364 0 65779 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 523544
heavy processes:
[startup+102.3 s]
/proc/loadavg: 1.40 0.44 0.15 3/528 19121
/proc/meminfo: memFree=31273672/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=541948 CPUtime=16.85 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 104453 922 105 9 1649 36 0 0 25 0 2 0 869232299 554954752 69328 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 764
/proc/19099/statm: 135487 69328 1872 364 0 70374 0
[pid=19114] ppid=19099 vsize=531704 CPUtime=0.18 cores=1,3,5,7
/proc/19114/stat : 19114 (python) S 19099 19099 19061 0 -1 4202560 916 0 0 0 6 12 0 0 15 0 1 0 869237766 544464896 67827 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373559 0 0 17 7 0 0 0
/proc/19114/statm: 132926 67827 375 364 0 67813 0
[pid=19116] ppid=19114 vsize=271408 CPUtime=47.6 cores=1,3,5,7
/proc/19116/stat : 19116 (clasp-1.3.7-x86) R 19114 19116 19116 0 -1 4202496 86920 0 0 0 4744 16 0 0 25 0 1 0 869237767 277921792 67514 33554432000 134512640 136139019 4289099696 18446744073709551615 134639528 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/19116/statm: 67852 67514 187 398 0 67452 0
[pid=19099/tid=19115] ppid=19097 vsize=541948 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19115/stat : 19115 (python) S 19097 19099 19061 0 -1 4202560 28 922 0 9 0 0 0 0 25 0 2 0 869237767 554954752 69328 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 64.63
Current children cumulated vsize (KiB) 1345060
heavy processes:
[startup+162.301 s]
/proc/loadavg: 1.87 0.75 0.27 3/557 19152
/proc/meminfo: memFree=29360332/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=562460 CPUtime=16.92 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 106129 922 105 9 1654 38 0 0 19 0 4 0 869232299 575959040 69341 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 764
/proc/19099/statm: 140615 69341 1877 364 0 75496 0
[pid=19114] ppid=19099 vsize=541948 CPUtime=0.2 cores=1,3,5,7
/proc/19114/stat : 19114 (python) S 19099 19099 19061 0 -1 4202560 1080 0 0 0 7 13 0 0 16 0 2 0 869237766 554954752 67863 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19114/statm: 135487 67863 406 364 0 70374 0
[pid=19116] ppid=19114 vsize=271408 CPUtime=48.6 cores=1,3,5,7
/proc/19116/stat : 19116 (clasp-1.3.7-x86) T 19114 19116 19116 0 -1 4202496 86920 0 0 0 4844 16 0 0 25 0 1 0 869237767 277921792 67514 33554432000 134512640 136139019 4289099696 18446744073709551615 134639528 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/19116/statm: 67852 67514 187 398 0 67452 0
[pid=19114/tid=19122] ppid=19099 vsize=541948 CPUtime=0 cores=1,3,5,7
/proc/19114/task/19122/stat : 19122 (python) S 19099 19099 19061 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869242630 554954752 67863 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466224678912 0 0 -1 7 0 0 0
[pid=19123] ppid=19099 vsize=541960 CPUtime=0.23 cores=1,3,5,7
/proc/19123/stat : 19123 (python) S 19099 19099 19061 0 -1 4202560 1120 0 0 0 10 13 0 0 17 0 2 0 869242632 554967040 67853 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/19123/statm: 135490 67853 396 364 0 70374 0
[pid=19125] ppid=19123 vsize=457396 CPUtime=50.64 cores=1,3,5,7
/proc/19125/stat : 19125 (wbo1.4a) T 19123 19125 19125 0 -1 4202496 124380 0 0 0 5013 51 0 0 25 0 1 0 869242633 468373504 111357 33554432000 134512640 135751879 4293519248 18446744073709551615 134616532 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/19125/statm: 114349 111357 143 303 0 114044 0
[pid=19123/tid=19132] ppid=19099 vsize=541960 CPUtime=0 cores=1,3,5,7
/proc/19123/task/19132/stat : 19132 (python) S 19099 19099 19061 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869247698 554967040 67853 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554946 18446604471143856000 0 0 -1 1 0 0 0
[pid=19133] ppid=19099 vsize=552216 CPUtime=0.01 cores=1,3,5,7
/proc/19133/stat : 19133 (python) S 19099 19099 19061 0 -1 4202560 942 0 0 0 0 1 0 0 15 0 1 0 869247700 565469184 67831 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500712006 0 0 16781312 33554946 4220752997019287552 0 0 17 7 0 0 0
/proc/19133/statm: 138054 67831 371 364 0 72935 0
[pid=19135] ppid=19133 vsize=8540112 CPUtime=11.44 cores=1,3,5,7
/proc/19135/stat : 19135 (java) S 19133 19135 19135 0 -1 4202496 391828 0 115 0 1095 49 0 0 17 0 19 0 869247701 8745074688 384439 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8
/proc/19135/statm: 2135028 384440 2250 9 0 2125769 0
[pid=19135/tid=19136] ppid=19133 vsize=8540112 CPUtime=6.27 cores=1,3,5,7
/proc/19135/task/19136/stat : 19136 (java) R 19133 19135 19135 0 -1 4202560 192003 0 58 0 602 25 0 0 17 0 19 0 869247713 8745074688 384441 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 46912505608834 0 4 0 16800975 0 0 0 -1 1 0 0 23
[pid=19135/tid=19137] ppid=19133 vsize=8540112 CPUtime=0.66 cores=1,3,5,7
/proc/19135/task/19137/stat : 19137 (java) S 19133 19135 19135 0 -1 4202560 38291 0 0 0 61 5 0 0 16 0 19 0 869247716 8745074688 384444 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19138] ppid=19133 vsize=8540112 CPUtime=0.52 cores=1,3,5,7
/proc/19135/task/19138/stat : 19138 (java) S 19133 19135 19135 0 -1 4202560 29270 0 0 0 49 3 0 0 16 0 19 0 869247716 8745074688 384445 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 5 0 0 0
[pid=19135/tid=19139] ppid=19133 vsize=8540112 CPUtime=0.47 cores=1,3,5,7
/proc/19135/task/19139/stat : 19139 (java) S 19133 19135 19135 0 -1 4202560 29005 0 0 0 45 2 0 0 16 0 19 0 869247716 8745074688 384447 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 1 0 0 0
[pid=19135/tid=19140] ppid=19133 vsize=8540112 CPUtime=0.18 cores=1,3,5,7
/proc/19135/task/19140/stat : 19140 (java) S 19133 19135 19135 0 -1 4202560 13788 0 0 0 17 1 0 0 16 0 19 0 869247716 8745074688 384449 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 5 0 0 0
[pid=19135/tid=19141] ppid=19133 vsize=8540112 CPUtime=0.23 cores=1,3,5,7
/proc/19135/task/19141/stat : 19141 (java) S 19133 19135 19135 0 -1 4202560 15751 0 0 0 21 2 0 0 16 0 19 0 869247716 8745074688 384450 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19142] ppid=19133 vsize=8540112 CPUtime=0.29 cores=1,3,5,7
/proc/19135/task/19142/stat : 19142 (java) S 19133 19135 19135 0 -1 4202560 19059 0 0 0 27 2 0 0 16 0 19 0 869247716 8745074688 384452 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19143] ppid=19133 vsize=8540112 CPUtime=0.21 cores=1,3,5,7
/proc/19135/task/19143/stat : 19143 (java) S 19133 19135 19135 0 -1 4202560 14206 0 0 0 20 1 0 0 16 0 19 0 869247716 8745074688 384454 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 3 0 0 0
[pid=19135/tid=19144] ppid=19133 vsize=8540112 CPUtime=0.42 cores=1,3,5,7
/proc/19135/task/19144/stat : 19144 (java) S 19133 19135 19135 0 -1 4202560 24934 0 0 0 40 2 0 0 16 0 19 0 869247716 8745074688 384456 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19145] ppid=19133 vsize=8540112 CPUtime=0.71 cores=1,3,5,7
/proc/19135/task/19145/stat : 19145 (java) S 19133 19135 19135 0 -1 4202560 4123 0 0 0 71 0 0 0 15 0 19 0 869247719 8745074688 384457 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512508416 0 0 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19146] ppid=19133 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19146/stat : 19146 (java) S 19133 19135 19135 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869247721 8745074688 384459 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19147] ppid=19133 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19147/stat : 19147 (java) S 19133 19135 19135 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 869247721 8745074688 384460 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19148] ppid=19133 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19148/stat : 19148 (java) S 19133 19135 19135 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869247726 8745074688 384462 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512515505 0 4 0 16800975 18446604467314241920 0 0 -1 7 0 0 0
[pid=19135/tid=19149] ppid=19133 vsize=8540112 CPUtime=0.81 cores=1,3,5,7
/proc/19135/task/19149/stat : 19149 (java) S 19133 19135 19135 0 -1 4202560 6329 0 0 0 81 0 0 0 15 0 19 0 869247726 8745074688 384463 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 3 0 0 0
[pid=19135/tid=19150] ppid=19133 vsize=8540112 CPUtime=0.55 cores=1,3,5,7
/proc/19135/task/19150/stat : 19150 (java) S 19133 19135 19135 0 -1 4202560 3735 0 1 0 55 0 0 0 15 0 19 0 869247727 8745074688 384465 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446604467314241920 0 0 -1 5 0 0 0
[pid=19135/tid=19151] ppid=19133 vsize=8540112 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=19135/tid=19144] ppid=19133 vsize=8541008 CPUtime=1.2 cores=1,3,5,7
/proc/19135/task/19144/stat : 19144 (java) T 19133 19135 19135 0 -1 4202560 70819 0 0 0 112 8 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19145] ppid=19133 vsize=8541008 CPUtime=3.27 cores=1,3,5,7
/proc/19135/task/19145/stat : 19145 (java) T 19133 19135 19135 0 -1 4202560 32566 0 0 0 324 3 0 0 15 0 19 0 869247719 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19146] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19146/stat : 19146 (java) T 19133 19135 19135 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869247721 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19147] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19147/stat : 19147 (java) T 19133 19135 19135 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869247721 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19148] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19148/stat : 19148 (java) T 19133 19135 19135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869247726 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19149] ppid=19133 vsize=8541008 CPUtime=1.31 cores=1,3,5,7
/proc/19135/task/19149/stat : 19149 (java) T 19133 19135 19135 0 -1 4202560 6476 0 0 0 131 0 0 0 15 0 19 0 869247726 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19135/tid=19150] ppid=19133 vsize=8541008 CPUtime=0.95 cores=1,3,5,7
/proc/19135/task/19150/stat : 19150 (java) T 19133 19135 19135 0 -1 4202560 5299 0 1 0 95 0 0 0 15 0 19 0 869247727 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19151] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19151/stat : 19151 (java) T 19133 19135 19135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869247727 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19152] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19152/stat : 19152 (java) T 19133 19135 19135 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869247727 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19153] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19153/stat : 19153 (java) T 19133 19135 19135 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869248477 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19133/tid=19159] ppid=19099 vsize=552216 CPUtime=0 cores=1,3,5,7
/proc/19133/task/19159/stat : 19159 (python) S 19099 19099 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869251859 565469184 67857 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554946 18446604467652650112 0 0 -1 5 0 0 0
[pid=19099/tid=19115] ppid=19097 vsize=562460 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19115/stat : 19115 (python) S 19097 19099 19061 0 -1 4202560 33 922 0 9 0 0 0 0 18 0 4 0 869237767 575959040 69341 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 1 0 0 0
[pid=19099/tid=19124] ppid=19097 vsize=562460 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19124/stat : 19124 (python) S 19097 19099 19061 0 -1 4202560 31 922 0 9 0 0 0 0 20 0 4 0 869242633 575959040 69341 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 1 0 0 0
[pid=19099/tid=19134] ppid=19097 vsize=562460 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19134/stat : 19134 (python) S 19097 19099 19061 0 -1 4202560 31 922 0 9 0 0 0 0 20 0 4 0 869247701 575959040 69341 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 192.98
Current children cumulated vsize (KiB) 11468980
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+241.901 s]
/proc/loadavg: 2.10 1.08 0.43 4/605 19202
/proc/meminfo: memFree=27021996/32950928 swapFree=26914392/67111528
[pid=19099] ppid=19097 vsize=572716 CPUtime=16.97 cores=1,3,5,7
/proc/19099/stat : 19099 (python) S 19097 19099 19061 0 -1 4202496 107134 922 105 9 1658 39 0 0 20 0 5 0 869232299 586461184 69347 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 764
/proc/19099/statm: 143179 69347 1879 364 0 78057 0
[pid=19114] ppid=19099 vsize=541948 CPUtime=0.43 cores=1,3,5,7
/proc/19114/stat : 19114 (python) S 19099 19099 19061 0 -1 4202560 1113 0 0 0 18 25 0 0 15 0 2 0 869237766 554954752 67864 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/19114/statm: 135487 67864 407 364 0 70374 0
[pid=19116] ppid=19114 vsize=271992 CPUtime=93.83 cores=1,3,5,7
/proc/19116/stat : 19116 (clasp-1.3.7-x86) T 19114 19116 19116 0 -1 4202496 87080 0 0 0 9367 16 0 0 25 0 1 0 869237767 278519808 67674 33554432000 134512640 136139019 4289099696 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/19116/statm: 67998 67674 187 398 0 67598 0
[pid=19114/tid=19122] ppid=19099 vsize=541948 CPUtime=0 cores=1,3,5,7
/proc/19114/task/19122/stat : 19122 (python) S 19099 19099 19061 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869242630 554954752 67864 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466224678912 0 0 -1 7 0 0 0
[pid=19123] ppid=19099 vsize=541960 CPUtime=0.23 cores=1,3,5,7
/proc/19123/stat : 19123 (python) S 19099 19099 19061 0 -1 4202560 1120 0 0 0 10 13 0 0 17 0 2 0 869242632 554967040 67853 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/19123/statm: 135490 67853 396 364 0 70374 0
[pid=19125] ppid=19123 vsize=457396 CPUtime=50.64 cores=1,3,5,7
/proc/19125/stat : 19125 (wbo1.4a) T 19123 19125 19125 0 -1 4202496 124380 0 0 0 5013 51 0 0 25 0 1 0 869242633 468373504 111357 33554432000 134512640 135751879 4293519248 18446744073709551615 134616532 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/19125/statm: 114349 111357 143 303 0 114044 0
[pid=19123/tid=19132] ppid=19099 vsize=541960 CPUtime=0 cores=1,3,5,7
/proc/19123/task/19132/stat : 19132 (python) S 19099 19099 19061 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869247698 554967040 67853 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554946 18446604471143856000 0 0 -1 1 0 0 0
[pid=19133] ppid=19099 vsize=552216 CPUtime=0.19 cores=1,3,5,7
/proc/19133/stat : 19133 (python) S 19099 19099 19061 0 -1 4202560 1120 0 0 0 8 11 0 0 16 0 2 0 869247700 565469184 67857 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/19133/statm: 138054 67857 396 364 0 72935 0
[pid=19135] ppid=19133 vsize=8541008 CPUtime=49.35 cores=1,3,5,7
/proc/19135/stat : 19135 (java) T 19133 19135 19135 0 -1 4202496 821577 0 115 0 4836 99 0 0 15 0 19 0 869247701 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8
/proc/19135/statm: 2135252 812158 2259 9 0 2125993 0
[pid=19135/tid=19136] ppid=19133 vsize=8541008 CPUtime=35.62 cores=1,3,5,7
/proc/19135/task/19136/stat : 19136 (java) T 19133 19135 19135 0 -1 4202560 287148 0 58 0 3527 35 0 0 25 0 19 0 869247713 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 46912506294410 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 23
[pid=19135/tid=19137] ppid=19133 vsize=8541008 CPUtime=1.31 cores=1,3,5,7
/proc/19135/task/19137/stat : 19137 (java) T 19133 19135 19135 0 -1 4202560 76173 0 0 0 123 8 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19138] ppid=19133 vsize=8541008 CPUtime=1.16 cores=1,3,5,7
/proc/19135/task/19138/stat : 19138 (java) T 19133 19135 19135 0 -1 4202560 67935 0 0 0 107 9 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19135/tid=19139] ppid=19133 vsize=8541008 CPUtime=1.09 cores=1,3,5,7
/proc/19135/task/19139/stat : 19139 (java) T 19133 19135 19135 0 -1 4202560 70071 0 0 0 102 7 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19135/tid=19140] ppid=19133 vsize=8541008 CPUtime=0.76 cores=1,3,5,7
/proc/19135/task/19140/stat : 19140 (java) T 19133 19135 19135 0 -1 4202560 55091 0 0 0 70 6 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19135/tid=19141] ppid=19133 vsize=8541008 CPUtime=0.84 cores=1,3,5,7
/proc/19135/task/19141/stat : 19141 (java) T 19133 19135 19135 0 -1 4202560 45811 0 0 0 79 5 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19142] ppid=19133 vsize=8541008 CPUtime=0.98 cores=1,3,5,7
/proc/19135/task/19142/stat : 19142 (java) T 19133 19135 19135 0 -1 4202560 61737 0 0 0 92 6 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19135/tid=19143] ppid=19133 vsize=8541008 CPUtime=0.71 cores=1,3,5,7
/proc/19135/task/19143/stat : 19143 (java) T 19133 19135 19135 0 -1 4202560 41112 0 0 0 68 3 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19144] ppid=19133 vsize=8541008 CPUtime=1.2 cores=1,3,5,7
/proc/19135/task/19144/stat : 19144 (java) T 19133 19135 19135 0 -1 4202560 70819 0 0 0 112 8 0 0 15 0 19 0 869247716 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19145] ppid=19133 vsize=8541008 CPUtime=3.27 cores=1,3,5,7
/proc/19135/task/19145/stat : 19145 (java) T 19133 19135 19135 0 -1 4202560 32566 0 0 0 324 3 0 0 15 0 19 0 869247719 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19146] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19146/stat : 19146 (java) T 19133 19135 19135 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869247721 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19147] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19147/stat : 19147 (java) T 19133 19135 19135 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869247721 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19148] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19148/stat : 19148 (java) T 19133 19135 19135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869247726 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19149] ppid=19133 vsize=8541008 CPUtime=1.31 cores=1,3,5,7
/proc/19135/task/19149/stat : 19149 (java) T 19133 19135 19135 0 -1 4202560 6476 0 0 0 131 0 0 0 15 0 19 0 869247726 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19135/tid=19150] ppid=19133 vsize=8541008 CPUtime=0.95 cores=1,3,5,7
/proc/19135/task/19150/stat : 19150 (java) T 19133 19135 19135 0 -1 4202560 5299 0 1 0 95 0 0 0 15 0 19 0 869247727 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19151] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19151/stat : 19151 (java) T 19133 19135 19135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869247727 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19135/tid=19152] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19152/stat : 19152 (java) T 19133 19135 19135 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869247727 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19135/tid=19153] ppid=19133 vsize=8541008 CPUtime=0 cores=1,3,5,7
/proc/19135/task/19153/stat : 19153 (java) T 19133 19135 19135 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869248477 8745992192 812158 33554432000 1073741824 1073778376 140736865903648 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19133/tid=19159] ppid=19099 vsize=552216 CPUtime=0 cores=1,3,5,7
/proc/19133/task/19159/stat : 19159 (python) S 19099 19099 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869251859 565469184 67857 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554946 18446604467652650112 0 0 -1 5 0 0 0
[pid=19183] ppid=19099 vsize=562472 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (python) S 19099 19099 19061 0 -1 4202560 824 0 0 0 0 0 0 0 18 0 1 0 869256386 575971328 67812 33554432000 4194304 5683644 140734830632992 18446744073709551615 254500712006 0 0 16781312 33554946 2786593447572668416 0 0 17 3 0 0 0
/proc/19183/statm: 140618 67812 348 364 0 75496 0
[pid=19185] ppid=19183 vsize=8540384 CPUtime=1.91 cores=1,3,5,7
/proc/19185/stat : 19185 (java) S 19183 19185 19185 0 -1 4202496 71865 0 1 0 182 9 0 0 20 0 18 0 869256387 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/19185/statm: 2135096 68779 2224 9 0 2125837 0
[pid=19185/tid=19186] ppid=19183 vsize=8540384 CPUtime=0.93 cores=1,3,5,7
/proc/19185/task/19186/stat : 19186 (java) R 19183 19185 19185 0 -1 4202560 35202 0 1 0 89 4 0 0 17 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 46912505523142 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19185/tid=19187] ppid=19183 vsize=8540384 CPUtime=0.07 cores=1,3,5,7
/proc/19185/task/19187/stat : 19187 (java) S 19183 19185 19185 0 -1 4202560 7322 0 0 0 7 0 0 0 16 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 3 0 0 0
[pid=19185/tid=19188] ppid=19183 vsize=8540384 CPUtime=0.05 cores=1,3,5,7
/proc/19185/task/19188/stat : 19188 (java) S 19183 19185 19185 0 -1 4202560 3695 0 0 0 5 0 0 0 16 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 5 0 0 0
[pid=19185/tid=19189] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19189/stat : 19189 (java) S 19183 19185 19185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 5 0 0 0
[pid=19185/tid=19190] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19190/stat : 19190 (java) S 19183 19185 19185 0 -1 4202560 1291 0 0 0 0 0 0 0 15 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 5 0 0 0
[pid=19185/tid=19191] ppid=19183 vsize=8540384 CPUtime=0.07 cores=1,3,5,7
/proc/19185/task/19191/stat : 19191 (java) S 19183 19185 19185 0 -1 4202560 6219 0 0 0 7 0 0 0 16 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 1 0 0 0
[pid=19185/tid=19192] ppid=19183 vsize=8540384 CPUtime=0.01 cores=1,3,5,7
/proc/19185/task/19192/stat : 19192 (java) S 19183 19185 19185 0 -1 4202560 2165 0 0 0 1 0 0 0 15 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 7 0 0 0
[pid=19185/tid=19193] ppid=19183 vsize=8540384 CPUtime=0.03 cores=1,3,5,7
/proc/19185/task/19193/stat : 19193 (java) S 19183 19185 19185 0 -1 4202560 2860 0 0 0 3 0 0 0 15 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 7 0 0 0
[pid=19185/tid=19194] ppid=19183 vsize=8540384 CPUtime=0.04 cores=1,3,5,7
/proc/19185/task/19194/stat : 19194 (java) S 19183 19185 19185 0 -1 4202560 5032 0 0 0 4 0 0 0 16 0 18 0 869256389 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 7 0 0 0
[pid=19185/tid=19195] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19195/stat : 19195 (java) S 19183 19185 19185 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 869256390 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512508416 0 0 0 16800975 18446604467652651008 0 0 -1 1 0 0 0
[pid=19185/tid=19196] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19196/stat : 19196 (java) S 19183 19185 19185 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 18 0 869256391 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 7 0 0 0
[pid=19185/tid=19197] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19197/stat : 19197 (java) S 19183 19185 19185 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 869256391 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 5 0 0 0
[pid=19185/tid=19198] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19198/stat : 19198 (java) S 19183 19185 19185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256393 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512515505 0 4 0 16800975 18446604467652651008 0 0 -1 7 0 0 0
[pid=19185/tid=19199] ppid=19183 vsize=8540384 CPUtime=0.34 cores=1,3,5,7
/proc/19185/task/19199/stat : 19199 (java) S 19183 19185 19185 0 -1 4202560 2415 0 0 0 34 0 0 0 25 0 18 0 869256393 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 1 0 0 0
[pid=19185/tid=19200] ppid=19183 vsize=8540384 CPUtime=0.27 cores=1,3,5,7
/proc/19185/task/19200/stat : 19200 (java) S 19183 19185 19185 0 -1 4202560 4206 0 0 0 27 0 0 0 23 0 18 0 869256393 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 5 0 0 0
[pid=19185/tid=19201] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19201/stat : 19201 (java) S 19183 19185 19185 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256393 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512507801 0 4 0 16800975 18446604467652651008 0 0 -1 7 0 0 0
[pid=19185/tid=19202] ppid=19183 vsize=8540384 CPUtime=0 cores=1,3,5,7
/proc/19185/task/19202/stat : 19202 (java) S 19183 19185 19185 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869256393 8745353216 68779 33554432000 1073741824 1073778376 140735595076944 18446744073709551615 254512508416 0 4 0 16800975 18446604467652651008 0 0 -1 1 0 0 0
[pid=19099/tid=19115] ppid=19097 vsize=572716 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19115/stat : 19115 (python) S 19097 19099 19061 0 -1 4202560 33 922 0 9 0 0 0 0 18 0 5 0 869237767 586461184 69347 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 1 0 0 0
[pid=19099/tid=19124] ppid=19097 vsize=572716 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19124/stat : 19124 (python) S 19097 19099 19061 0 -1 4202560 31 922 0 9 0 0 0 0 20 0 5 0 869242633 586461184 69347 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 1 0 0 0
[pid=19099/tid=19134] ppid=19097 vsize=572716 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19134/stat : 19134 (python) S 19097 19099 19061 0 -1 4202560 31 922 0 9 0 0 0 0 20 0 5 0 869247701 586461184 69347 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 3 0 0 0
[pid=19099/tid=19184] ppid=19097 vsize=572716 CPUtime=0 cores=1,3,5,7
/proc/19099/task/19184/stat : 19184 (python) S 19097 19099 19061 0 -1 4202560 30 922 0 9 0 0 0 0 20 0 5 0 869256387 586461184 69347 33554432000 4194304 5683644 140734830632992 18446744073709551615 254512515505 0 0 16781312 33554434 18446604457361913664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 213.55
Current children cumulated vsize (KiB) 20582092
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 19099 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=586478
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=405938
# CPU time returned by wait4() is 16.9924
# while last known CPU time is 213.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 241.992
CPU time (s): 213.55
CPU user time (s): 210.92
CPU system time (s): 2.63
CPU usage (%): 88.2466
Max. virtual memory (cumulated for all children) (KiB): 20582092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5865
system time used= 0.405938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108058
page faults= 114
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15592
involuntary context switches= 133
runsolver used 1.57476 second user time and 3.57646 second system time
The end