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-3481774-1307577054/watcher-3481774-1307577054 -o /tmp/evaluation-result-3481774-1307577054/solver-3481774-1307577054 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481774-1307577054.opb -seed 1880312419 -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: 1.94 1.76 0.97 2/536 27341
/proc/meminfo: memFree=21543604/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/27341/stat : 27341 (python) R 27339 27341 26377 0 -1 4202496 1041 0 0 0 0 0 0 0 18 0 1 0 869308210 16629760 912 33554432000 4194304 5683644 140735362826848 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27341/statm: 4060 912 380 364 0 547 0
[startup+0.111219 s]
/proc/loadavg: 1.94 1.76 0.97 2/536 27341
/proc/meminfo: memFree=21543604/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/27341/stat : 27341 (python) R 27339 27341 26377 0 -1 4202496 3170 927 1 0 7 1 0 0 18 0 1 0 869308210 98435072 2484 33554432000 4194304 5683644 140735362826848 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27341/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.201146 s]
/proc/loadavg: 1.94 1.76 0.97 2/536 27341
/proc/meminfo: memFree=21543604/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/27341/stat : 27341 (python) R 27339 27341 26377 0 -1 4202496 5358 927 1 0 11 3 0 0 17 0 1 0 869308210 126709760 3744 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370953221 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27341/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.301155 s]
/proc/loadavg: 1.94 1.76 0.97 2/536 27341
/proc/meminfo: memFree=21543604/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=184600 CPUtime=0.22 cores=1,3,5,7
/proc/27341/stat : 27341 (python) R 27339 27341 26377 0 -1 4202496 6369 927 1 0 17 5 0 0 17 0 1 0 869308210 189030400 4666 33554432000 4194304 5683644 140735362826848 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27341/statm: 46150 4668 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184600
[startup+0.701054 s]
/proc/loadavg: 1.94 1.76 0.97 2/536 27341
/proc/meminfo: memFree=21543604/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=292140 CPUtime=0.58 cores=1,3,5,7
/proc/27341/stat : 27341 (python) R 27339 27341 26377 0 -1 4202496 11425 927 1 0 50 8 0 0 17 0 1 0 869308210 299151360 9287 33554432000 4194304 5683644 140735362826848 18446744073709551615 4603005 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27341/statm: 73035 9288 1781 364 0 7928 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 292140
[startup+1.50091 s]
/proc/loadavg: 1.94 1.76 0.97 4/537 27346
/proc/meminfo: memFree=21500568/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=303976 CPUtime=1.38 cores=1,3,5,7
/proc/27341/stat : 27341 (python) R 27339 27341 26377 0 -1 4202496 18231 927 1 0 129 9 0 0 18 0 1 0 869308210 311271424 12342 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370612405 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/27341/statm: 75994 12342 1816 364 0 10887 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 303976
[startup+3.10063 s]
/proc/loadavg: 2.11 1.80 0.99 3/540 27349
/proc/meminfo: memFree=21482504/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=316228 CPUtime=1.85 cores=1,3,5,7
/proc/27341/stat : 27341 (python) S 27339 27341 26377 0 -1 4202496 19082 927 1 0 175 10 0 0 20 0 2 0 869308210 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27341/statm: 79057 12896 1870 364 0 13944 0
[pid=27347] ppid=27341 vsize=305984 CPUtime=0 cores=1,3,5,7
/proc/27347/stat : 27347 (python) S 27341 27341 26377 0 -1 4202560 807 0 0 0 0 0 0 0 18 0 1 0 869308406 313327616 11379 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370977295 0 0 16781312 33554946 4508719541919908100 0 0 17 5 0 0 0
/proc/27347/statm: 76496 11379 357 364 0 11383 0
[pid=27349] ppid=27347 vsize=12572 CPUtime=1.13 cores=1,3,5,7
/proc/27349/stat : 27349 (wbo1.4a) R 27347 27349 27349 0 -1 4202496 4063 0 0 0 113 0 0 0 19 0 1 0 869308406 12873728 2692 33554432000 134512640 135751879 4291025936 18446744073709551615 134638053 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/27349/statm: 3143 2692 142 303 0 2838 0
[pid=27341/tid=27348] ppid=27339 vsize=316228 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27348/stat : 27348 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 2 0 869308406 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 634784
[startup+6.30107 s]
/proc/loadavg: 2.11 1.80 0.99 3/540 27349
/proc/meminfo: memFree=21483992/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=316228 CPUtime=1.85 cores=1,3,5,7
/proc/27341/stat : 27341 (python) S 27339 27341 26377 0 -1 4202496 19082 927 1 0 175 10 0 0 20 0 2 0 869308210 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27341/statm: 79057 12896 1870 364 0 13944 0
[pid=27347] ppid=27341 vsize=305984 CPUtime=0.01 cores=1,3,5,7
/proc/27347/stat : 27347 (python) S 27341 27341 26377 0 -1 4202560 958 0 0 0 0 1 0 0 18 0 1 0 869308406 313327616 11402 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370977295 0 0 16781312 33554946 4482110879491391748 0 0 17 5 0 0 0
/proc/27347/statm: 76496 11402 380 364 0 11383 0
[pid=27349] ppid=27347 vsize=12968 CPUtime=4.32 cores=1,3,5,7
/proc/27349/stat : 27349 (wbo1.4a) R 27347 27349 27349 0 -1 4202496 4181 0 0 0 432 0 0 0 25 0 1 0 869308406 13279232 2810 33554432000 134512640 135751879 4291025936 18446744073709551615 135201629 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/27349/statm: 3242 2810 142 303 0 2937 0
[pid=27341/tid=27348] ppid=27339 vsize=316228 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27348/stat : 27348 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 2 0 869308406 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 635180
[startup+12.701 s]
/proc/loadavg: 2.10 1.80 0.99 3/540 27349
/proc/meminfo: memFree=21457484/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=316228 CPUtime=1.85 cores=1,3,5,7
/proc/27341/stat : 27341 (python) S 27339 27341 26377 0 -1 4202496 19082 927 1 0 175 10 0 0 20 0 2 0 869308210 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27341/statm: 79057 12896 1870 364 0 13944 0
[pid=27347] ppid=27341 vsize=305984 CPUtime=0.03 cores=1,3,5,7
/proc/27347/stat : 27347 (python) S 27341 27341 26377 0 -1 4202560 961 0 0 0 1 2 0 0 18 0 1 0 869308406 313327616 11402 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370977295 0 0 16781312 33554946 5623606151888251641 0 0 17 5 0 0 0
/proc/27347/statm: 76496 11402 380 364 0 11383 0
[pid=27349] ppid=27347 vsize=14156 CPUtime=10.71 cores=1,3,5,7
/proc/27349/stat : 27349 (wbo1.4a) R 27347 27349 27349 0 -1 4202496 4482 0 0 0 1071 0 0 0 25 0 1 0 869308406 14495744 3111 33554432000 134512640 135751879 4291025936 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/27349/statm: 3539 3111 142 303 0 3234 0
[pid=27341/tid=27348] ppid=27339 vsize=316228 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27348/stat : 27348 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 2 0 869308406 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 636368
[startup+25.5007 s]
/proc/loadavg: 2.08 1.81 1.01 3/544 27353
/proc/meminfo: memFree=21424396/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=316228 CPUtime=1.85 cores=1,3,5,7
/proc/27341/stat : 27341 (python) S 27339 27341 26377 0 -1 4202496 19082 927 1 0 175 10 0 0 20 0 2 0 869308210 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27341/statm: 79057 12896 1870 364 0 13944 0
[pid=27347] ppid=27341 vsize=305984 CPUtime=0.08 cores=1,3,5,7
/proc/27347/stat : 27347 (python) S 27341 27341 26377 0 -1 4202560 966 0 0 0 3 5 0 0 15 0 1 0 869308406 313327616 11402 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370977295 0 0 16781312 33554946 5623606151888251641 0 0 17 5 0 0 0
/proc/27347/statm: 76496 11402 380 364 0 11383 0
[pid=27349] ppid=27347 vsize=18292 CPUtime=23.5 cores=1,3,5,7
/proc/27349/stat : 27349 (wbo1.4a) R 27347 27349 27349 0 -1 4202496 15868 0 0 0 2349 1 0 0 25 0 1 0 869308406 18731008 4102 33554432000 134512640 135751879 4291025936 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/27349/statm: 4573 4102 142 303 0 4268 0
[pid=27341/tid=27348] ppid=27339 vsize=316228 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27348/stat : 27348 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 2 0 869308406 323817472 12896 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 640504
[startup+51.1011 s]
/proc/loadavg: 2.05 1.83 1.03 3/565 27375
/proc/meminfo: memFree=21251636/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=326484 CPUtime=1.87 cores=1,3,5,7
/proc/27341/stat : 27341 (python) S 27339 27341 26377 0 -1 4202496 19866 927 1 0 177 10 0 0 20 0 3 0 869308210 334319616 12903 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27341/statm: 81621 12903 1873 364 0 16505 0
[pid=27347] ppid=27341 vsize=316228 CPUtime=0.21 cores=1,3,5,7
/proc/27347/stat : 27347 (python) S 27341 27341 26377 0 -1 4202560 1195 0 0 0 9 12 0 0 17 0 2 0 869308406 323817472 11438 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27347/statm: 79057 11438 411 364 0 13944 0
[pid=27349] ppid=27347 vsize=25508 CPUtime=47.85 cores=1,3,5,7
/proc/27349/stat : 27349 (wbo1.4a) T 27347 27349 27349 0 -1 4202496 76858 0 0 0 4771 14 0 0 25 0 1 0 869308406 26120192 5938 33554432000 134512640 135751879 4291025936 18446744073709551615 135221589 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/27349/statm: 6377 5938 145 303 0 6072 0
[pid=27347/tid=27355] ppid=27341 vsize=316228 CPUtime=0 cores=1,3,5,7
/proc/27347/task/27355/stat : 27355 (python) S 27341 27341 26377 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869313196 323817472 11438 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455521926080 0 0 -1 7 0 0 0
[pid=27356] ppid=27341 vsize=316240 CPUtime=0 cores=1,3,5,7
/proc/27356/stat : 27356 (python) S 27341 27341 26377 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 869313199 323829760 11374 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370977350 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/27356/statm: 79060 11374 348 364 0 13944 0
[pid=27358] ppid=27356 vsize=8538088 CPUtime=2.1 cores=1,3,5,7
/proc/27358/stat : 27358 (java) S 27356 27358 27358 0 -1 4202496 44535 0 1 0 205 5 0 0 20 0 19 0 869313199 8743002112 40810 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27358/statm: 2134522 40810 2245 9 0 2125263 0
[pid=27358/tid=27359] ppid=27356 vsize=8538088 CPUtime=1.17 cores=1,3,5,7
/proc/27358/task/27359/stat : 27359 (java) R 27356 27358 27358 0 -1 4202560 35242 0 1 0 113 4 0 0 19 0 19 0 869313200 8743002112 40810 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 46912505845772 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27358/tid=27360] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27360/stat : 27360 (java) S 27356 27358 27358 0 -1 4202560 348 0 0 0 0 0 0 0 16 0 19 0 869313201 8743002112 40810 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27361] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27361/stat : 27361 (java) S 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869313201 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 1 0 0 0
[pid=27358/tid=27362] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27362/stat : 27362 (java) S 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869313201 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 7 0 0 0
[pid=27358/tid=27363] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27363/stat : 27363 (java) S 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869313201 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27364] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27364/stat : 27364 (java) S 27356 27358 27358 0 -1 4202560 238 0 0 0 0 0 0 0 16 0 19 0 869313201 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 1 0 0 0
[pid=27358/tid=27365] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27365/stat : 27365 (java) S 27356 27358 27358 0 -1 4202560 294 0 0 0 0 0 0 0 16 0 19 0 869313201 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 7 0 0 0
[pid=27358/tid=27366] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27366/stat : 27366 (java) S 27356 27358 27358 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 869313201 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 1 0 0 0
[pid=27358/tid=27367] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27367/stat : 27367 (java) S 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869313201 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27368] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27368/stat : 27368 (java) S 27356 27358 27358 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 869313202 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773760 0 0 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27369] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27369/stat : 27369 (java) S 27356 27358 27358 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869313202 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27370] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27370/stat : 27370 (java) S 27356 27358 27358 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 869313202 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27371] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27371/stat : 27371 (java) S 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869313204 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382780849 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27372] ppid=27356 vsize=8538088 CPUtime=0.42 cores=1,3,5,7
/proc/27358/task/27372/stat : 27372 (java) S 27356 27358 27358 0 -1 4202560 4103 0 0 0 42 0 0 0 15 0 19 0 869313204 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27373] ppid=27356 vsize=8538088 CPUtime=0.46 cores=1,3,5,7
/proc/27358/task/27373/stat : 27373 (java) S 27356 27358 27358 0 -1 4202560 2636 0 0 0 46 0 0 0 15 0 19 0 869313204 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 7 0 0 0
[pid=27358/tid=27374] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27374/stat : 27374 (java) S 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869313205 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446604465320084480 0 0 -1 5 0 0 0
[pid=27358/tid=27375] ppid=27356 vsize=8538088 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27375/stat : 27375 (java) S 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869313205 8743002112 40811 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773760 0 4 0 16800975 18446604465320084480 0 0 -1 3 0 0 0
[pid=27341/tid=27348] ppid=27339 vsize=326484 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27348/stat : 27348 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 3 0 869308406 334319616 12903 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 7 0 0 0
[pid=27341/tid=27357] ppid=27339 vsize=326484 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27357/stat : 27357 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 3 0 869313199 334319616 12903 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 52.03
################
# More data... #
################
[pid=27358/tid=27370] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27370/stat : 27370 (java) T 27356 27358 27358 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869313202 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27371] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27371/stat : 27371 (java) T 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869313204 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27372] ppid=27356 vsize=8535448 CPUtime=0.52 cores=1,3,5,7
/proc/27358/task/27372/stat : 27372 (java) T 27356 27358 27358 0 -1 4202560 4120 0 0 0 52 0 0 0 15 0 19 0 869313204 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27373] ppid=27356 vsize=8535448 CPUtime=0.54 cores=1,3,5,7
/proc/27358/task/27373/stat : 27373 (java) T 27356 27358 27358 0 -1 4202560 2655 0 0 0 54 0 0 0 15 0 19 0 869313204 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27374] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27374/stat : 27374 (java) T 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869313205 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27375] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27375/stat : 27375 (java) T 27356 27358 27358 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869313205 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27358/tid=27376] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27376/stat : 27376 (java) T 27356 27358 27358 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869313283 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27356/tid=27383] ppid=27341 vsize=316240 CPUtime=0 cores=1,3,5,7
/proc/27356/task/27383/stat : 27383 (python) S 27341 27341 26377 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869322376 323829760 11423 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468773305216 0 0 -1 7 0 0 0
[pid=27384] ppid=27341 vsize=326496 CPUtime=0.06 cores=1,3,5,7
/proc/27384/stat : 27384 (python) S 27341 27341 26377 0 -1 4202560 935 0 0 0 3 3 0 0 15 0 1 0 869322379 334331904 11402 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370977350 0 0 16781312 33554946 5623606151888251641 0 0 17 5 0 0 0
/proc/27384/statm: 81624 11402 372 364 0 16505 0
[pid=27386] ppid=27384 vsize=253656 CPUtime=20.58 cores=1,3,5,7
/proc/27386/stat : 27386 (clasp-1.3.7-x86) R 27384 27386 27386 0 -1 4202496 63829 0 0 0 2049 9 0 0 25 0 1 0 869322379 259743744 63109 33554432000 134512640 136139019 4290250944 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/27386/statm: 63414 63109 187 398 0 63014 0
[pid=27341/tid=27348] ppid=27339 vsize=336740 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27348/stat : 27348 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 4 0 869308406 344821760 12909 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 7 0 0 0
[pid=27341/tid=27357] ppid=27339 vsize=336740 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27357/stat : 27357 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 4 0 869313199 344821760 12909 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 5 0 0 0
[pid=27341/tid=27385] ppid=27339 vsize=336740 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27385/stat : 27385 (python) S 27339 27341 26377 0 -1 4202560 30 927 0 0 0 0 0 0 20 0 4 0 869322379 344821760 12909 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 164.23
Current children cumulated vsize (KiB) 10110316
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+190.301 s]
/proc/loadavg: 2.07 1.91 1.17 3/595 27409
/proc/meminfo: memFree=20343184/32951124 swapFree=49244124/67111528
[pid=27341] ppid=27339 vsize=346996 CPUtime=1.92 cores=1,3,5,7
/proc/27341/stat : 27341 (python) S 27339 27341 26377 0 -1 4202496 21587 927 1 0 182 10 0 0 19 0 5 0 869308210 355323904 12915 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27341/statm: 86749 12915 1877 364 0 21627 0
[pid=27347] ppid=27341 vsize=316228 CPUtime=0.21 cores=1,3,5,7
/proc/27347/stat : 27347 (python) S 27341 27341 26377 0 -1 4202560 1195 0 0 0 9 12 0 0 17 0 2 0 869308406 323817472 11438 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27347/statm: 79057 11438 411 364 0 13944 0
[pid=27349] ppid=27347 vsize=25508 CPUtime=47.85 cores=1,3,5,7
/proc/27349/stat : 27349 (wbo1.4a) T 27347 27349 27349 0 -1 4202496 76858 0 0 0 4771 14 0 0 25 0 1 0 869308406 26120192 5938 33554432000 134512640 135751879 4291025936 18446744073709551615 135221589 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/27349/statm: 6377 5938 145 303 0 6072 0
[pid=27347/tid=27355] ppid=27341 vsize=316228 CPUtime=0 cores=1,3,5,7
/proc/27347/task/27355/stat : 27355 (python) S 27341 27341 26377 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869313196 323817472 11438 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455521926080 0 0 -1 7 0 0 0
[pid=27356] ppid=27341 vsize=316240 CPUtime=0.33 cores=1,3,5,7
/proc/27356/stat : 27356 (python) S 27341 27341 26377 0 -1 4202560 1131 0 0 0 15 18 0 0 17 0 2 0 869313199 323829760 11423 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27356/statm: 79060 11423 396 364 0 13944 0
[pid=27358] ppid=27356 vsize=8535448 CPUtime=93.31 cores=1,3,5,7
/proc/27358/stat : 27358 (java) T 27356 27358 27358 0 -1 4202496 125439 0 1 0 9316 15 0 0 18 0 19 0 869313199 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27358/statm: 2133862 108256 2257 9 0 2124603 0
[pid=27358/tid=27359] ppid=27356 vsize=8535448 CPUtime=90.6 cores=1,3,5,7
/proc/27358/task/27359/stat : 27359 (java) T 27356 27358 27358 0 -1 4202560 35265 0 1 0 9056 4 0 0 25 0 19 0 869313200 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 46912505888634 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27360] ppid=27356 vsize=8535448 CPUtime=0.11 cores=1,3,5,7
/proc/27358/task/27360/stat : 27360 (java) T 27356 27358 27358 0 -1 4202560 6132 0 0 0 11 0 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27358/tid=27361] ppid=27356 vsize=8535448 CPUtime=0.1 cores=1,3,5,7
/proc/27358/task/27361/stat : 27361 (java) T 27356 27358 27358 0 -1 4202560 9175 0 0 0 10 0 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27362] ppid=27356 vsize=8535448 CPUtime=0.05 cores=1,3,5,7
/proc/27358/task/27362/stat : 27362 (java) T 27356 27358 27358 0 -1 4202560 4615 0 0 0 5 0 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27363] ppid=27356 vsize=8535448 CPUtime=0.06 cores=1,3,5,7
/proc/27358/task/27363/stat : 27363 (java) T 27356 27358 27358 0 -1 4202560 8679 0 0 0 6 0 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27364] ppid=27356 vsize=8535448 CPUtime=0.1 cores=1,3,5,7
/proc/27358/task/27364/stat : 27364 (java) T 27356 27358 27358 0 -1 4202560 13892 0 0 0 9 1 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27365] ppid=27356 vsize=8535448 CPUtime=0.12 cores=1,3,5,7
/proc/27358/task/27365/stat : 27365 (java) T 27356 27358 27358 0 -1 4202560 17516 0 0 0 11 1 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27358/tid=27366] ppid=27356 vsize=8535448 CPUtime=0.07 cores=1,3,5,7
/proc/27358/task/27366/stat : 27366 (java) T 27356 27358 27358 0 -1 4202560 7532 0 0 0 7 0 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27367] ppid=27356 vsize=8535448 CPUtime=0.09 cores=1,3,5,7
/proc/27358/task/27367/stat : 27367 (java) T 27356 27358 27358 0 -1 4202560 5898 0 0 0 8 1 0 0 15 0 19 0 869313201 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27358/tid=27368] ppid=27356 vsize=8535448 CPUtime=0.83 cores=1,3,5,7
/proc/27358/task/27368/stat : 27368 (java) T 27356 27358 27358 0 -1 4202560 8565 0 0 0 82 1 0 0 15 0 19 0 869313202 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27369] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27369/stat : 27369 (java) T 27356 27358 27358 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869313202 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27370] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27370/stat : 27370 (java) T 27356 27358 27358 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869313202 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27371] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27371/stat : 27371 (java) T 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869313204 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27372] ppid=27356 vsize=8535448 CPUtime=0.52 cores=1,3,5,7
/proc/27358/task/27372/stat : 27372 (java) T 27356 27358 27358 0 -1 4202560 4120 0 0 0 52 0 0 0 15 0 19 0 869313204 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27373] ppid=27356 vsize=8535448 CPUtime=0.54 cores=1,3,5,7
/proc/27358/task/27373/stat : 27373 (java) T 27356 27358 27358 0 -1 4202560 2655 0 0 0 54 0 0 0 15 0 19 0 869313204 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27374] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27374/stat : 27374 (java) T 27356 27358 27358 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869313205 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27358/tid=27375] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27375/stat : 27375 (java) T 27356 27358 27358 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869313205 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27358/tid=27376] ppid=27356 vsize=8535448 CPUtime=0 cores=1,3,5,7
/proc/27358/task/27376/stat : 27376 (java) T 27356 27358 27358 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869313283 8740298752 108256 33554432000 1073741824 1073778376 140734817431392 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27356/tid=27383] ppid=27341 vsize=316240 CPUtime=0 cores=1,3,5,7
/proc/27356/task/27383/stat : 27383 (python) S 27341 27341 26377 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869322376 323829760 11423 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468773305216 0 0 -1 7 0 0 0
[pid=27384] ppid=27341 vsize=326496 CPUtime=0.16 cores=1,3,5,7
/proc/27384/stat : 27384 (python) S 27341 27341 26377 0 -1 4202560 1108 0 0 0 8 8 0 0 16 0 2 0 869322379 334331904 11427 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/27384/statm: 81624 11427 396 364 0 16505 0
[pid=27386] ppid=27384 vsize=255664 CPUtime=47.81 cores=1,3,5,7
/proc/27386/stat : 27386 (clasp-1.3.7-x86) T 27384 27386 27386 0 -1 4202496 64341 0 0 0 4772 9 0 0 25 0 1 0 869322379 261799936 63621 33554432000 134512640 136139019 4290250944 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/27386/statm: 63916 63621 187 398 0 63516 0
[pid=27384/tid=27389] ppid=27341 vsize=326496 CPUtime=0 cores=1,3,5,7
/proc/27384/task/27389/stat : 27389 (python) S 27341 27341 26377 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869327166 334331904 11427 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554946 18446604454331168576 0 0 -1 5 0 0 0
[pid=27390] ppid=27341 vsize=336752 CPUtime=0 cores=1,3,5,7
/proc/27390/stat : 27390 (python) S 27341 27341 26377 0 -1 4202560 819 0 0 0 0 0 0 0 18 0 1 0 869327168 344834048 11382 33554432000 4194304 5683644 140735362826848 18446744073709551615 218370977350 0 0 16781312 33554946 2939913978924498944 0 0 17 5 0 0 0
/proc/27390/statm: 84188 11382 348 364 0 19066 0
[pid=27392] ppid=27390 vsize=8539312 CPUtime=1.19 cores=1,3,5,7
/proc/27392/stat : 27392 (java) S 27390 27392 27392 0 -1 4202496 41664 0 1 0 114 5 0 0 20 0 18 0 869327168 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27392/statm: 2134828 40316 2222 9 0 2125569 0
[pid=27392/tid=27393] ppid=27390 vsize=8539312 CPUtime=0.71 cores=1,3,5,7
/proc/27392/task/27393/stat : 27393 (java) R 27390 27392 27392 0 -1 4202560 35216 0 1 0 67 4 0 0 25 0 18 0 869327169 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 46912505609233 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27392/tid=27394] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27394/stat : 27394 (java) S 27390 27392 27392 0 -1 4202560 312 0 0 0 0 0 0 0 16 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 1 0 0 0
[pid=27392/tid=27395] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27395/stat : 27395 (java) S 27390 27392 27392 0 -1 4202560 411 0 0 0 0 0 0 0 17 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27396] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27396/stat : 27396 (java) S 27390 27392 27392 0 -1 4202560 367 0 0 0 0 0 0 0 18 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 7 0 0 0
[pid=27392/tid=27397] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27397/stat : 27397 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27398] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27398/stat : 27398 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27399] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27399/stat : 27399 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27400] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27400/stat : 27400 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27401] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27401/stat : 27401 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869327170 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27402] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27402/stat : 27402 (java) S 27390 27392 27392 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 18 0 869327171 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773760 0 0 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27403] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27403/stat : 27403 (java) S 27390 27392 27392 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 869327172 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27404] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27404/stat : 27404 (java) S 27390 27392 27392 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 869327172 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27405] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27405/stat : 27405 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869327174 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382780849 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27406] ppid=27390 vsize=8539312 CPUtime=0.19 cores=1,3,5,7
/proc/27392/task/27406/stat : 27406 (java) S 27390 27392 27392 0 -1 4202560 1855 0 0 0 19 0 0 0 25 0 18 0 869327174 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 1 0 0 0
[pid=27392/tid=27407] ppid=27390 vsize=8539312 CPUtime=0.26 cores=1,3,5,7
/proc/27392/task/27407/stat : 27407 (java) S 27390 27392 27392 0 -1 4202560 2043 0 0 0 26 0 0 0 25 0 18 0 869327174 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27408] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27408/stat : 27408 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869327174 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773145 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27392/tid=27409] ppid=27390 vsize=8539312 CPUtime=0 cores=1,3,5,7
/proc/27392/task/27409/stat : 27409 (java) S 27390 27392 27392 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869327174 8744255488 40316 33554432000 1073741824 1073778376 140736574253968 18446744073709551615 218382773760 0 4 0 16800975 18446604460727258112 0 0 -1 5 0 0 0
[pid=27341/tid=27348] ppid=27339 vsize=346996 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27348/stat : 27348 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 5 0 869308406 355323904 12915 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 7 0 0 0
[pid=27341/tid=27357] ppid=27339 vsize=346996 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27357/stat : 27357 (python) S 27339 27341 26377 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 5 0 869313199 355323904 12915 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 5 0 0 0
[pid=27341/tid=27385] ppid=27339 vsize=346996 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27385/stat : 27385 (python) S 27339 27341 26377 0 -1 4202560 30 927 0 0 0 0 0 0 20 0 5 0 869322379 355323904 12915 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 5 0 0 0
[pid=27341/tid=27391] ppid=27339 vsize=346996 CPUtime=0 cores=1,3,5,7
/proc/27341/task/27391/stat : 27391 (python) S 27339 27341 26377 0 -1 4202560 30 927 0 0 0 0 0 0 20 0 5 0 869327168 355323904 12915 33554432000 4194304 5683644 140735362826848 18446744073709551615 218382780849 0 0 16781312 33554434 18446604464301889344 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 192.78
Current children cumulated vsize (KiB) 18998644
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 27341 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=824722
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 1.9377
# while last known CPU time is 192.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 190.372
CPU time (s): 192.78
CPU user time (s): 191.87
CPU system time (s): 0.91
CPU usage (%): 101.265
Max. virtual memory (cumulated for all children) (KiB): 18998644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.82472
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22515
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= 1006
involuntary context switches= 19
runsolver used 0.762884 second user time and 1.90271 second system time
The end