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-3481737-1307577008/watcher-3481737-1307577008 -o /tmp/evaluation-result-3481737-1307577008/solver-3481737-1307577008 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481737-1307577008.opb -seed 754371084 -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.95 1.75 0.94 4/619 18408
/proc/meminfo: memFree=21961752/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=15756 CPUtime=0 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18406 18408 17566 0 -1 4202496 840 0 0 0 0 0 0 0 20 0 1 0 947931375 16134144 723 33554432000 4194304 5683644 140734284936944 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/18408/statm: 3939 723 334 364 0 426 0
[startup+0.047301 s]
/proc/loadavg: 1.95 1.75 0.94 4/619 18408
/proc/meminfo: memFree=21961752/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=29792 CPUtime=0.03 cores=1,3,5,7
/proc/18408/stat : 18408 (python) R 18406 18408 17566 0 -1 4202496 1409 0 0 0 3 0 0 0 17 0 1 0 947931375 30507008 1252 33554432000 4194304 5683644 140734284936944 18446744073709551615 252457726553 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18408/statm: 7448 1252 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.100252 s]
/proc/loadavg: 1.95 1.75 0.94 4/619 18408
/proc/meminfo: memFree=21961752/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/18408/stat : 18408 (python) R 18406 18408 17566 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 947931375 98435072 2483 33554432000 4194304 5683644 140734284936944 18446744073709551615 5177920 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18408/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300274 s]
/proc/loadavg: 1.95 1.75 0.94 4/619 18408
/proc/meminfo: memFree=21961752/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=184248 CPUtime=0.21 cores=1,3,5,7
/proc/18408/stat : 18408 (python) R 18406 18408 17566 0 -1 4202496 6329 931 1 0 16 5 0 0 17 0 1 0 947931375 188669952 4633 33554432000 4194304 5683644 140734284936944 18446744073709551615 252458109018 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18408/statm: 46062 4635 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 184248
[startup+0.700187 s]
/proc/loadavg: 1.95 1.75 0.94 4/619 18408
/proc/meminfo: memFree=21961752/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=290740 CPUtime=0.57 cores=1,3,5,7
/proc/18408/stat : 18408 (python) R 18406 18408 17566 0 -1 4202496 11077 931 1 0 48 9 0 0 17 0 1 0 947931375 297717760 8938 33554432000 4194304 5683644 140734284936944 18446744073709551615 47147415556636 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18408/statm: 72685 8938 1781 364 0 7578 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 290740
[startup+1.50099 s]
/proc/loadavg: 1.95 1.76 0.94 3/620 18413
/proc/meminfo: memFree=21900232/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=303300 CPUtime=1.11 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18406 18408 17566 0 -1 4202496 13750 931 1 0 101 10 0 0 20 0 2 0 947931375 310579200 9663 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18408/statm: 75825 9663 1870 364 0 10712 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 303300
[startup+3.10073 s]
/proc/loadavg: 1.95 1.76 0.94 3/641 18434
/proc/meminfo: memFree=21751052/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=303300 CPUtime=1.11 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18406 18408 17566 0 -1 4202496 13750 931 1 0 101 10 0 0 20 0 2 0 947931375 310579200 9663 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18408/statm: 75825 9663 1870 364 0 10712 0
[pid=18414] ppid=18408 vsize=294080 CPUtime=0 cores=1,3,5,7
/proc/18414/stat : 18414 (python) S 18408 18408 17566 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 947931498 301137920 8143 33554432000 4194304 5683644 140734284936944 18446744073709551615 252458085903 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/18414/statm: 73520 8143 353 364 0 8407 0
[pid=18416] ppid=18414 vsize=8538048 CPUtime=2.72 cores=1,3,5,7
/proc/18416/stat : 18416 (java) S 18414 18416 18416 0 -1 4202496 47703 0 1 0 266 6 0 0 20 0 19 0 947931499 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18416/statm: 2134512 43650 2260 9 0 2125253 0
[pid=18416/tid=18417] ppid=18414 vsize=8538048 CPUtime=1.81 cores=1,3,5,7
/proc/18416/task/18417/stat : 18417 (java) R 18414 18416 18416 0 -1 4202560 32944 0 1 0 177 4 0 0 20 0 19 0 947931499 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 46912505790489 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18416/tid=18418] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 18416 0 -1 4202560 389 0 0 0 0 0 0 0 18 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 18416 0 -1 4202560 1095 0 0 0 0 0 0 0 18 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 18416 0 -1 4202560 1910 0 0 0 0 0 0 0 18 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18425] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18425/stat : 18425 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947931500 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18426] ppid=18414 vsize=8538048 CPUtime=0.01 cores=1,3,5,7
/proc/18416/task/18426/stat : 18426 (java) S 18414 18416 18416 0 -1 4202560 3257 0 0 0 1 0 0 0 16 0 19 0 947931501 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 0 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18427] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18427/stat : 18427 (java) S 18414 18416 18416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947931501 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18428] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18428/stat : 18428 (java) S 18414 18416 18416 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947931501 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18429] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18429/stat : 18429 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931503 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469889457 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18430] ppid=18414 vsize=8538048 CPUtime=0.43 cores=1,3,5,7
/proc/18416/task/18430/stat : 18430 (java) S 18414 18416 18416 0 -1 4202560 3284 0 0 0 43 0 0 0 16 0 19 0 947931503 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18431] ppid=18414 vsize=8538048 CPUtime=0.41 cores=1,3,5,7
/proc/18416/task/18431/stat : 18431 (java) S 18414 18416 18416 0 -1 4202560 3440 0 0 0 41 0 0 0 15 0 19 0 947931503 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18432] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18432/stat : 18432 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931503 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18433] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18433/stat : 18433 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947931503 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18434] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18434/stat : 18434 (java) S 18414 18416 18416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947931557 8742961152 43650 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18408/tid=18415] ppid=18406 vsize=303300 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18415/stat : 18415 (python) S 18406 18408 17566 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 947931499 310579200 9663 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9135428
[startup+6.30114 s]
/proc/loadavg: 1.95 1.76 0.94 3/641 18434
/proc/meminfo: memFree=21666980/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=303300 CPUtime=1.11 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18406 18408 17566 0 -1 4202496 13750 931 1 0 101 10 0 0 20 0 2 0 947931375 310579200 9663 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18408/statm: 75825 9663 1870 364 0 10712 0
[pid=18414] ppid=18408 vsize=294080 CPUtime=0.01 cores=1,3,5,7
/proc/18414/stat : 18414 (python) S 18408 18408 17566 0 -1 4202560 907 0 0 0 0 1 0 0 15 0 1 0 947931498 301137920 8167 33554432000 4194304 5683644 140734284936944 18446744073709551615 252458085903 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/18414/statm: 73520 8167 377 364 0 8407 0
[pid=18416] ppid=18414 vsize=8538048 CPUtime=5.97 cores=1,3,5,7
/proc/18416/stat : 18416 (java) S 18414 18416 18416 0 -1 4202496 60713 0 1 0 590 7 0 0 20 0 19 0 947931499 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18416/statm: 2134512 56645 2260 9 0 2125253 0
[pid=18416/tid=18417] ppid=18414 vsize=8538048 CPUtime=4.95 cores=1,3,5,7
/proc/18416/task/18417/stat : 18417 (java) R 18414 18416 18416 0 -1 4202560 32950 0 1 0 491 4 0 0 25 0 19 0 947931499 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 46912505805766 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18416/tid=18418] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 18416 0 -1 4202560 420 0 0 0 0 0 0 0 15 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 18416 0 -1 4202560 2878 0 0 0 0 0 0 0 15 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 18416 0 -1 4202560 3434 0 0 0 0 0 0 0 15 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 18416 0 -1 4202560 2030 0 0 0 0 0 0 0 15 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 18416 0 -1 4202560 921 0 0 0 0 0 0 0 16 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 18416 0 -1 4202560 714 0 0 0 0 0 0 0 15 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18425] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18425/stat : 18425 (java) S 18414 18416 18416 0 -1 4202560 631 0 0 0 0 0 0 0 15 0 19 0 947931500 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18426] ppid=18414 vsize=8538048 CPUtime=0.05 cores=1,3,5,7
/proc/18416/task/18426/stat : 18426 (java) S 18414 18416 18416 0 -1 4202560 8627 0 0 0 5 0 0 0 16 0 19 0 947931501 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 0 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18427] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18427/stat : 18427 (java) S 18414 18416 18416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947931501 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18428] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18428/stat : 18428 (java) S 18414 18416 18416 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947931501 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18429] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18429/stat : 18429 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931503 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469889457 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18430] ppid=18414 vsize=8538048 CPUtime=0.44 cores=1,3,5,7
/proc/18416/task/18430/stat : 18430 (java) S 18414 18416 18416 0 -1 4202560 3288 0 0 0 44 0 0 0 15 0 19 0 947931503 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18431] ppid=18414 vsize=8538048 CPUtime=0.42 cores=1,3,5,7
/proc/18416/task/18431/stat : 18431 (java) S 18414 18416 18416 0 -1 4202560 3440 0 0 0 42 0 0 0 15 0 19 0 947931503 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18432] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18432/stat : 18432 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931503 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 5 0 0 0
[pid=18416/tid=18433] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18433/stat : 18433 (java) S 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947931503 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18434] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18434/stat : 18434 (java) S 18414 18416 18416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947931557 8742961152 56645 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18408/tid=18415] ppid=18406 vsize=303300 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18415/stat : 18415 (python) S 18406 18408 17566 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 947931499 310579200 9663 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9135428
[startup+12.7009 s]
/proc/loadavg: 1.96 1.77 0.95 3/641 18434
/proc/meminfo: memFree=21604128/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=303300 CPUtime=1.11 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18406 18408 17566 0 -1 4202496 13750 931 1 0 101 10 0 0 20 0 2 0 947931375 310579200 9663 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18408/statm: 75825 9663 1870 364 0 10712 0
[pid=18414] ppid=18408 vsize=294080 CPUtime=0.03 cores=1,3,5,7
/proc/18414/stat : 18414 (python) S 18408 18408 17566 0 -1 4202560 911 0 0 0 1 2 0 0 15 0 1 0 947931498 301137920 8167 33554432000 4194304 5683644 140734284936944 18446744073709551615 252458085903 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/18414/statm: 73520 8167 377 364 0 8407 0
[pid=18416] ppid=18414 vsize=8538048 CPUtime=12.43 cores=1,3,5,7
/proc/18416/stat : 18416 (java) S 18414 18416 18416 0 -1 4202496 66273 0 1 0 1235 8 0 0 20 0 19 0 947931499 8742961152 61684 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18416/statm: 2134512 61684 2260 9 0 2125253 0
[pid=18416/tid=18417] ppid=18414 vsize=8538048 CPUtime=11.24 cores=1,3,5,7
/proc/18416/task/18417/stat : 18417 (java) R 18414 18416 18416 0 -1 4202560 32953 0 1 0 1120 4 0 0 25 0 19 0 947931499 8742961152 61684 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 46912505790733 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18416/tid=18418] ppid=18414 vsize=8538048 CPUtime=0.01 cores=1,3,5,7
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 18416 0 -1 4202560 1540 0 0 0 1 0 0 0 16 0 19 0 947931500 8742961152 61684 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 7 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=8538048 CPUtime=0.01 cores=1,3,5,7
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 18416 0 -1 4202560 2895 0 0 0 1 0 0 0 16 0 19 0 947931500 8742961152 61684 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=8538048 CPUtime=0.01 cores=1,3,5,7
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 18416 0 -1 4202560 5369 0 0 0 1 0 0 0 16 0 19 0 947931500 8742961152 61684 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446604470284458176 0 0 -1 1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=18491/tid=18508] ppid=18489 vsize=8555924 CPUtime=0.66 cores=1,3,5,7
/proc/18491/task/18508/stat : 18508 (java) R 18489 18491 18491 0 -1 4202560 7778 0 0 0 66 0 0 0 18 0 19 0 947959312 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 47615205521840 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18491/tid=18509] ppid=18489 vsize=8555924 CPUtime=0.67 cores=1,3,5,7
/proc/18491/task/18509/stat : 18509 (java) R 18489 18491 18491 0 -1 4202560 7503 0 0 0 67 0 0 0 18 0 19 0 947959313 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 47615207228952 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18491/tid=18510] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18510/stat : 18510 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947959313 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18491/tid=18511] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18511/stat : 18511 (java) R 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947959313 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469882368 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18491/tid=18512] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18512/stat : 18512 (java) S 18489 18491 18491 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 947959367 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469882368 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18408/tid=18415] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18415/stat : 18415 (python) S 18406 18408 17566 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 6 0 947931499 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 7 0 0 0
[pid=18408/tid=18442] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18442/stat : 18442 (python) S 18406 18408 17566 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947936188 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 1 0 0 0
[pid=18408/tid=18453] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18453/stat : 18453 (python) S 18406 18408 17566 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 947945167 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 5 0 0 0
[pid=18408/tid=18459] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18459/stat : 18459 (python) S 18406 18408 17566 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 947954462 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 7 0 0 0
[pid=18408/tid=18490] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18490/stat : 18490 (python) S 18406 18408 17566 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947959308 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 284.17
Current children cumulated vsize (KiB) 19408008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+280.402 s]
/proc/loadavg: 2.03 1.94 1.22 6/674 18512
/proc/meminfo: memFree=20533060/32951124 swapFree=56297244/67111528
[pid=18408] ppid=18406 vsize=344324 CPUtime=1.23 cores=1,3,5,7
/proc/18408/stat : 18408 (python) S 18406 18408 17566 0 -1 4202496 17403 931 1 0 113 10 0 0 20 0 6 0 947931375 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18408/statm: 86081 9688 1879 364 0 20956 0
[pid=18414] ppid=18408 vsize=304324 CPUtime=0.41 cores=1,3,5,7
/proc/18414/stat : 18414 (python) S 18408 18408 17566 0 -1 4202560 1112 0 0 0 19 22 0 0 15 0 2 0 947931498 311627776 8203 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/18414/statm: 76081 8203 408 364 0 10968 0
[pid=18416] ppid=18414 vsize=8538048 CPUtime=91.73 cores=1,3,5,7
/proc/18416/stat : 18416 (java) T 18414 18416 18416 0 -1 4202496 96744 0 1 0 9161 12 0 0 18 0 19 0 947931499 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18416/statm: 2134512 90552 2260 9 0 2125253 0
[pid=18416/tid=18417] ppid=18414 vsize=8538048 CPUtime=89.35 cores=1,3,5,7
/proc/18416/task/18417/stat : 18417 (java) T 18414 18416 18416 0 -1 4202560 32968 0 1 0 8931 4 0 0 25 0 19 0 947931499 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 46912505790641 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18416/tid=18418] ppid=18414 vsize=8538048 CPUtime=0.02 cores=1,3,5,7
/proc/18416/task/18418/stat : 18418 (java) T 18414 18416 18416 0 -1 4202560 2190 0 0 0 2 0 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=8538048 CPUtime=0.08 cores=1,3,5,7
/proc/18416/task/18419/stat : 18419 (java) T 18414 18416 18416 0 -1 4202560 8509 0 0 0 8 0 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=8538048 CPUtime=0.09 cores=1,3,5,7
/proc/18416/task/18420/stat : 18420 (java) T 18414 18416 18416 0 -1 4202560 7588 0 0 0 9 0 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=8538048 CPUtime=0.1 cores=1,3,5,7
/proc/18416/task/18421/stat : 18421 (java) T 18414 18416 18416 0 -1 4202560 5769 0 0 0 10 0 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=8538048 CPUtime=0.15 cores=1,3,5,7
/proc/18416/task/18422/stat : 18422 (java) T 18414 18416 18416 0 -1 4202560 7283 0 0 0 15 0 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=8538048 CPUtime=0.07 cores=1,3,5,7
/proc/18416/task/18423/stat : 18423 (java) T 18414 18416 18416 0 -1 4202560 4953 0 0 0 7 0 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=8538048 CPUtime=0.06 cores=1,3,5,7
/proc/18416/task/18424/stat : 18424 (java) T 18414 18416 18416 0 -1 4202560 5552 0 0 0 5 1 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18425] ppid=18414 vsize=8538048 CPUtime=0.05 cores=1,3,5,7
/proc/18416/task/18425/stat : 18425 (java) T 18414 18416 18416 0 -1 4202560 5053 0 0 0 5 0 0 0 15 0 19 0 947931500 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18416/tid=18426] ppid=18414 vsize=8538048 CPUtime=0.73 cores=1,3,5,7
/proc/18416/task/18426/stat : 18426 (java) T 18414 18416 18416 0 -1 4202560 8692 0 0 0 73 0 0 0 15 0 19 0 947931501 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18416/tid=18427] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18427/stat : 18427 (java) T 18414 18416 18416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947931501 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18428] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18428/stat : 18428 (java) T 18414 18416 18416 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947931501 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18429] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18429/stat : 18429 (java) T 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947931503 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18430] ppid=18414 vsize=8538048 CPUtime=0.47 cores=1,3,5,7
/proc/18416/task/18430/stat : 18430 (java) T 18414 18416 18416 0 -1 4202560 3360 0 0 0 47 0 0 0 15 0 19 0 947931503 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18431] ppid=18414 vsize=8538048 CPUtime=0.43 cores=1,3,5,7
/proc/18416/task/18431/stat : 18431 (java) T 18414 18416 18416 0 -1 4202560 3440 0 0 0 43 0 0 0 15 0 19 0 947931503 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18416/tid=18432] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18432/stat : 18432 (java) T 18414 18416 18416 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947931503 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18433] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18433/stat : 18433 (java) T 18414 18416 18416 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947931503 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18416/tid=18434] ppid=18414 vsize=8538048 CPUtime=0 cores=1,3,5,7
/proc/18416/task/18434/stat : 18434 (java) T 18414 18416 18416 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947931557 8742961152 90552 33554432000 1073741824 1073778376 140735453488320 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18414/tid=18440] ppid=18408 vsize=304324 CPUtime=0 cores=1,3,5,7
/proc/18414/task/18440/stat : 18440 (python) S 18408 18408 17566 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947936185 311627776 8203 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554946 18446604464614238336 0 0 -1 7 0 0 0
[pid=18441] ppid=18408 vsize=304336 CPUtime=0.25 cores=1,3,5,7
/proc/18441/stat : 18441 (python) S 18408 18408 17566 0 -1 4202560 1140 0 0 0 13 12 0 0 16 0 2 0 947936187 311640064 8192 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18441/statm: 76084 8192 397 364 0 10968 0
[pid=18443] ppid=18441 vsize=48748 CPUtime=46.22 cores=1,3,5,7
/proc/18443/stat : 18443 (wbo1.4a) T 18441 18443 18443 0 -1 4202496 14541 0 0 0 4577 45 0 0 25 0 1 0 947936188 49917952 11665 33554432000 134512640 135751879 4286778224 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/18443/statm: 12187 11665 146 303 0 11882 0
[pid=18441/tid=18447] ppid=18408 vsize=304336 CPUtime=0 cores=1,3,5,7
/proc/18441/task/18447/stat : 18447 (python) S 18408 18408 17566 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947940811 311640064 8192 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554946 18446604459653878208 0 0 -1 7 0 0 0
[pid=18452] ppid=18408 vsize=314592 CPUtime=0.38 cores=1,3,5,7
/proc/18452/stat : 18452 (python) S 18408 18408 17566 0 -1 4202560 1144 0 0 0 18 20 0 0 16 0 2 0 947945167 322142208 8196 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18452/statm: 78648 8196 397 364 0 13529 0
[pid=18454] ppid=18452 vsize=75828 CPUtime=92.91 cores=1,3,5,7
/proc/18454/stat : 18454 (clasp-1.3.7-x86) T 18452 18454 18454 0 -1 4202496 19141 0 0 0 9290 1 0 0 25 0 1 0 947945167 77647872 18708 33554432000 134512640 136139019 4293832528 18446744073709551615 134621990 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/18454/statm: 18957 18708 187 398 0 18557 0
[pid=18452/tid=18457] ppid=18408 vsize=314592 CPUtime=0 cores=1,3,5,7
/proc/18452/task/18457/stat : 18457 (python) S 18408 18408 17566 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947954460 322142208 8196 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554946 18446604460040973056 0 0 -1 7 0 0 0
[pid=18458] ppid=18408 vsize=324848 CPUtime=0.2 cores=1,3,5,7
/proc/18458/stat : 18458 (python) S 18408 18408 17566 0 -1 4202560 1131 0 0 0 10 10 0 0 17 0 2 0 947954462 332644352 8200 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/18458/statm: 81212 8200 397 364 0 16090 0
[pid=18460] ppid=18458 vsize=261932 CPUtime=48.42 cores=1,3,5,7
/proc/18460/stat : 18460 (pbct-0.1.2-linu) T 18458 18460 18460 0 -1 4202496 66618 0 0 0 4729 113 0 0 25 0 1 0 947954462 268218368 64271 33554432000 134512640 136422188 4290976912 18446744073709551615 135022550 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/18460/statm: 65483 64271 236 467 0 65014 0
[pid=18458/tid=18488] ppid=18408 vsize=324848 CPUtime=0 cores=1,3,5,7
/proc/18458/task/18488/stat : 18488 (python) S 18408 18408 17566 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947959305 332644352 8200 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554946 18446604466873516096 0 0 -1 5 0 0 0
[pid=18489] ppid=18408 vsize=335104 CPUtime=0 cores=1,3,5,7
/proc/18489/stat : 18489 (python) S 18408 18408 17566 0 -1 4202560 824 0 0 0 0 0 0 0 15 0 1 0 947959308 343146496 8156 33554432000 4194304 5683644 140734284936944 18446744073709551615 252458085958 0 0 16781312 33554946 2695669088700596224 0 0 17 3 0 0 0
/proc/18489/statm: 83776 8156 350 364 0 18651 0
[pid=18491] ppid=18489 vsize=8555924 CPUtime=2.42 cores=1,3,5,7
/proc/18491/stat : 18491 (java) S 18489 18491 18491 0 -1 4202496 49161 0 1 0 238 4 0 0 21 0 19 0 947959308 8761266176 43506 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18491/statm: 2138981 43506 2229 9 0 2129722 0
[pid=18491/tid=18492] ppid=18489 vsize=8555924 CPUtime=1.09 cores=1,3,5,7
/proc/18491/task/18492/stat : 18492 (java) R 18489 18491 18491 0 -1 4202560 32846 0 1 0 106 3 0 0 25 0 19 0 947959309 8761266176 43875 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 46912505873364 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18491/tid=18493] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18493/stat : 18493 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947959309 8761266176 43876 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18491/tid=18494] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947959309 8761266176 43877 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947959309 8761266176 43879 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 3 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 18491 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947959309 8761266176 43880 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 3 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947959309 8761266176 43881 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 3 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947959309 8761266176 43882 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 3 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947959309 8761266176 43883 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 3 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947959309 8761266176 43883 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 3 0 0 0
[pid=18491/tid=18503] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18503/stat : 18503 (java) R 18489 18491 18491 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 947959310 8761266176 43883 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469882368 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=18491/tid=18504] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18504/stat : 18504 (java) S 18489 18491 18491 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 947959310 8761266176 43883 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18491/tid=18505] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18505/stat : 18505 (java) S 18489 18491 18491 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 947959310 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 3 0 0 0
[pid=18491/tid=18507] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18507/stat : 18507 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947959312 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469889457 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18491/tid=18508] ppid=18489 vsize=8555924 CPUtime=0.66 cores=1,3,5,7
/proc/18491/task/18508/stat : 18508 (java) R 18489 18491 18491 0 -1 4202560 7778 0 0 0 66 0 0 0 18 0 19 0 947959312 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 47615205521840 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18491/tid=18509] ppid=18489 vsize=8555924 CPUtime=0.67 cores=1,3,5,7
/proc/18491/task/18509/stat : 18509 (java) R 18489 18491 18491 0 -1 4202560 7503 0 0 0 67 0 0 0 18 0 19 0 947959313 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 47615207228952 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18491/tid=18510] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18510/stat : 18510 (java) S 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947959313 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469881753 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18491/tid=18511] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18511/stat : 18511 (java) R 18489 18491 18491 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947959313 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469882368 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18491/tid=18512] ppid=18489 vsize=8555924 CPUtime=0 cores=1,3,5,7
/proc/18491/task/18512/stat : 18512 (java) S 18489 18491 18491 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 947959367 8761266176 43884 33554432000 1073741824 1073778376 140734155494928 18446744073709551615 252469882368 0 4 0 16800975 18446604454883113920 0 0 -1 7 0 0 0
[pid=18408/tid=18415] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18415/stat : 18415 (python) S 18406 18408 17566 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 6 0 947931499 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 7 0 0 0
[pid=18408/tid=18442] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18442/stat : 18442 (python) S 18406 18408 17566 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947936188 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 1 0 0 0
[pid=18408/tid=18453] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18453/stat : 18453 (python) S 18406 18408 17566 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 947945167 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 5 0 0 0
[pid=18408/tid=18459] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18459/stat : 18459 (python) S 18406 18408 17566 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 947954462 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 7 0 0 0
[pid=18408/tid=18490] ppid=18406 vsize=344324 CPUtime=0 cores=1,3,5,7
/proc/18408/task/18490/stat : 18490 (python) S 18406 18408 17566 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947959308 352587776 9688 33554432000 4194304 5683644 140734284936944 18446744073709551615 252469889457 0 0 16781312 33554434 18446604467597560704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 284.17
Current children cumulated vsize (KiB) 19408008
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18408 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=132827
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 1.24581
# while last known CPU time is 284.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 280.488
CPU time (s): 284.17
CPU user time (s): 281.68
CPU system time (s): 2.49
CPU usage (%): 101.313
Max. virtual memory (cumulated for all children) (KiB): 19408008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13283
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= 18337
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= 1014
involuntary context switches= 23
runsolver used 1.57076 second user time and 3.44747 second system time
The end