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-3482332-1307576541/watcher-3482332-1307576541 -o /tmp/evaluation-result-3482332-1307576541/solver-3482332-1307576541 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482332-1307576541.opb -seed 628164766 -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.74 0.61 0.21 2/498 16033
/proc/meminfo: memFree=30965664/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/16033/stat : 16033 (python) R 16031 16033 15018 0 -1 4202496 1006 0 0 0 0 0 0 0 17 0 1 0 869255148 16633856 880 33554432000 4194304 5683644 140735997546848 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16033/statm: 4061 885 372 364 0 548 0
[startup+0.0255001 s]
/proc/loadavg: 1.74 0.61 0.21 2/498 16033
/proc/meminfo: memFree=30965664/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=16536 CPUtime=0.01 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 1185 0 0 0 1 0 0 0 17 0 1 0 869255148 16932864 1046 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613108736 0 2147483391 16781312 2 0 0 0 17 7 0 0 0
/proc/16033/statm: 4134 1050 417 364 0 621 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16536
[startup+0.100483 s]
/proc/loadavg: 1.74 0.61 0.21 2/498 16033
/proc/meminfo: memFree=30965664/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=94068 CPUtime=0.07 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 2796 0 1 0 5 2 0 0 17 0 1 0 869255148 96325632 2469 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613110528 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/16033/statm: 23517 2469 788 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94068
[startup+0.300807 s]
/proc/loadavg: 1.74 0.61 0.21 2/498 16033
/proc/meminfo: memFree=30965664/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 5357 932 1 0 11 5 0 0 17 0 1 0 869255148 126709760 3744 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16033/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700403 s]
/proc/loadavg: 1.74 0.61 0.21 2/498 16033
/proc/meminfo: memFree=30965664/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=293436 CPUtime=0.46 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 10771 1327 1 0 34 11 1 0 19 0 2 0 869255148 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 73359 7228 1871 364 0 8246 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293436
[startup+1.64123 s]
/proc/loadavg: 1.74 0.61 0.21 2/498 16033
/proc/meminfo: memFree=30965664/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=293436 CPUtime=0.46 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 10771 1327 1 0 34 11 1 0 19 0 2 0 869255148 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 73359 7228 1871 364 0 8246 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293436
[startup+3.10098 s]
/proc/loadavg: 1.74 0.61 0.21 2/498 16063
/proc/meminfo: memFree=30950280/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=293436 CPUtime=0.46 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 10771 1327 1 0 34 11 1 0 19 0 2 0 869255148 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 73359 7228 1871 364 0 8246 0
[pid=16045] ppid=16033 vsize=283192 CPUtime=0 cores=1,3,5,7
/proc/16045/stat : 16045 (python) S 16033 16033 15018 0 -1 4202560 693 0 0 0 0 0 0 0 18 0 1 0 869255212 289988608 5672 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613130767 0 0 16781312 33554946 17466377901036241158 0 0 17 7 0 0 0
/proc/16045/statm: 70798 5672 319 364 0 5685 0
[pid=16047] ppid=16045 vsize=2520 CPUtime=2.45 cores=1,3,5,7
/proc/16047/stat : 16047 (clasp-1.3.7-x86) R 16045 16047 16047 0 -1 4202496 648 0 0 0 245 0 0 0 25 0 1 0 869255213 2580480 386 33554432000 134512640 136139019 4290339376 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/16047/statm: 630 386 183 398 0 230 0
[pid=16033/tid=16046] ppid=16031 vsize=293436 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16046/stat : 16046 (python) S 16031 16033 15018 0 -1 4202560 27 1327 0 0 0 0 1 0 19 0 2 0 869255213 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 579148
[startup+6.31942 s]
/proc/loadavg: 2.00 0.68 0.24 2/502 16078
/proc/meminfo: memFree=30941256/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=293436 CPUtime=0.46 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 10771 1327 1 0 34 11 1 0 19 0 2 0 869255148 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 73359 7228 1871 364 0 8246 0
[pid=16045] ppid=16033 vsize=283192 CPUtime=0.01 cores=1,3,5,7
/proc/16045/stat : 16045 (python) S 16033 16033 15018 0 -1 4202560 848 0 0 0 0 1 0 0 18 0 1 0 869255212 289988608 5696 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613130767 0 0 16781312 33554946 17466370341893800198 0 0 17 7 0 0 0
/proc/16045/statm: 70798 5696 343 364 0 5685 0
[pid=16047] ppid=16045 vsize=2632 CPUtime=5.67 cores=1,3,5,7
/proc/16047/stat : 16047 (clasp-1.3.7-x86) R 16045 16047 16047 0 -1 4202496 672 0 0 0 567 0 0 0 25 0 1 0 869255213 2695168 410 33554432000 134512640 136139019 4290339376 18446744073709551615 134598484 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/16047/statm: 658 410 183 398 0 258 0
[pid=16033/tid=16046] ppid=16031 vsize=293436 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16046/stat : 16046 (python) S 16031 16033 15018 0 -1 4202560 27 1327 0 0 0 0 1 0 19 0 2 0 869255213 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 579260
[startup+12.7003 s]
/proc/loadavg: 2.00 0.70 0.25 3/505 16118
/proc/meminfo: memFree=30919672/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=293436 CPUtime=0.46 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 10771 1327 1 0 34 11 1 0 19 0 2 0 869255148 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 73359 7228 1871 364 0 8246 0
[pid=16045] ppid=16033 vsize=283192 CPUtime=0.03 cores=1,3,5,7
/proc/16045/stat : 16045 (python) S 16033 16033 15018 0 -1 4202560 851 0 0 0 1 2 0 0 18 0 1 0 869255212 289988608 5696 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373560 0 0 17 7 0 0 0
/proc/16045/statm: 70798 5696 343 364 0 5685 0
[pid=16047] ppid=16045 vsize=2896 CPUtime=12.04 cores=1,3,5,7
/proc/16047/stat : 16047 (clasp-1.3.7-x86) R 16045 16047 16047 0 -1 4202496 720 0 0 0 1204 0 0 0 25 0 1 0 869255213 2965504 458 33554432000 134512640 136139019 4290339376 18446744073709551615 134876030 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/16047/statm: 724 458 183 398 0 324 0
[pid=16033/tid=16046] ppid=16031 vsize=293436 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16046/stat : 16046 (python) S 16031 16033 15018 0 -1 4202560 27 1327 0 0 0 0 1 0 19 0 2 0 869255213 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 579524
[startup+25.501 s]
/proc/loadavg: 2.00 0.77 0.28 3/505 16118
/proc/meminfo: memFree=30922380/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=293436 CPUtime=0.46 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 10771 1327 1 0 34 11 1 0 19 0 2 0 869255148 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 73359 7228 1871 364 0 8246 0
[pid=16045] ppid=16033 vsize=283192 CPUtime=0.09 cores=1,3,5,7
/proc/16045/stat : 16045 (python) S 16033 16033 15018 0 -1 4202560 856 0 0 0 4 5 0 0 18 0 1 0 869255212 289988608 5696 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613130767 0 0 16781312 33554946 5623753486446373560 0 0 17 7 0 0 0
/proc/16045/statm: 70798 5696 343 364 0 5685 0
[pid=16047] ppid=16045 vsize=3028 CPUtime=24.84 cores=1,3,5,7
/proc/16047/stat : 16047 (clasp-1.3.7-x86) R 16045 16047 16047 0 -1 4202496 761 0 0 0 2484 0 0 0 25 0 1 0 869255213 3100672 499 33554432000 134512640 136139019 4290339376 18446744073709551615 134832496 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/16047/statm: 757 499 183 398 0 357 0
[pid=16033/tid=16046] ppid=16031 vsize=293436 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16046/stat : 16046 (python) S 16031 16033 15018 0 -1 4202560 27 1327 0 0 0 0 1 0 19 0 2 0 869255213 300478464 7228 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 579656
[startup+51.1005 s]
/proc/loadavg: 2.29 0.93 0.34 3/509 16123
/proc/meminfo: memFree=30879004/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=304200 CPUtime=0.48 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 11693 1327 1 0 36 11 1 0 19 0 3 0 869255148 311500800 7349 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 76050 7349 1874 364 0 10934 0
[pid=16045] ppid=16033 vsize=293436 CPUtime=0.19 cores=1,3,5,7
/proc/16045/stat : 16045 (python) S 16033 16033 15018 0 -1 4202560 1139 0 0 0 8 11 0 0 19 0 2 0 869255212 300478464 5769 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16045/statm: 73359 5769 411 364 0 8246 0
[pid=16047] ppid=16045 vsize=3152 CPUtime=47.18 cores=1,3,5,7
/proc/16047/stat : 16047 (clasp-1.3.7-x86) T 16045 16047 16047 0 -1 4202496 782 0 0 0 4718 0 0 0 25 0 1 0 869255213 3227648 520 33554432000 134512640 136139019 4290339376 18446744073709551615 134883423 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/16047/statm: 788 520 183 398 0 388 0
[pid=16045/tid=16120] ppid=16033 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/16045/task/16120/stat : 16120 (python) S 16033 16033 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869259932 300478464 5769 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604463060332928 0 0 -1 7 0 0 0
[pid=16121] ppid=16033 vsize=293956 CPUtime=0 cores=1,3,5,7
/proc/16121/stat : 16121 (python) S 16033 16033 15018 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 1 0 869259934 301010944 5791 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613130822 0 0 16781312 33554946 996967101740613632 0 0 17 5 0 0 0
/proc/16121/statm: 73489 5791 320 364 0 8373 0
[pid=16123] ppid=16121 vsize=52164 CPUtime=3.22 cores=1,3,5,7
/proc/16123/stat : 16123 (scip-2.0.1.linu) R 16121 16123 16123 0 -1 4202496 12822 0 0 0 302 20 0 0 25 0 1 0 869259935 53415936 10567 33554432000 4194304 13684479 140736667772064 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16123/statm: 13041 10567 840 2317 0 10719 0
[pid=16033/tid=16046] ppid=16031 vsize=304200 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16046/stat : 16046 (python) S 16031 16033 15018 0 -1 4202560 27 1327 0 0 0 0 1 0 19 0 3 0 869255213 311500800 7349 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
[pid=16033/tid=16122] ppid=16031 vsize=304200 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16122/stat : 16122 (python) S 16031 16033 15018 0 -1 4202560 30 1327 0 0 0 0 1 0 20 0 3 0 869259935 311500800 7349 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 946908
[startup+102.301 s]
/proc/loadavg: 2.12 1.09 0.43 3/517 16133
/proc/meminfo: memFree=30761716/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=314152 CPUtime=0.5 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 12647 1327 1 0 38 11 1 0 19 0 4 0 869255148 321691648 7279 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16033/statm: 78538 7279 1876 364 0 13419 0
[pid=16045] ppid=16033 vsize=293436 CPUtime=0.19 cores=1,3,5,7
/proc/16045/stat : 16045 (python) S 16033 16033 15018 0 -1 4202560 1139 0 0 0 8 11 0 0 19 0 2 0 869255212 300478464 5769 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16045/statm: 73359 5769 411 364 0 8246 0
[pid=16047] ppid=16045 vsize=3152 CPUtime=47.18 cores=1,3,5,7
/proc/16047/stat : 16047 (clasp-1.3.7-x86) T 16045 16047 16047 0 -1 4202496 782 0 0 0 4718 0 0 0 25 0 1 0 869255213 3227648 520 33554432000 134512640 136139019 4290339376 18446744073709551615 134883423 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/16047/statm: 788 520 183 398 0 388 0
[pid=16045/tid=16120] ppid=16033 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/16045/task/16120/stat : 16120 (python) S 16033 16033 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869259932 300478464 5769 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604463060332928 0 0 -1 7 0 0 0
[pid=16121] ppid=16033 vsize=293956 CPUtime=0.27 cores=1,3,5,7
/proc/16121/stat : 16121 (python) S 16033 16033 15018 0 -1 4202560 1138 0 0 0 14 13 0 0 16 0 2 0 869259934 301010944 5863 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/16121/statm: 73489 5863 391 364 0 8373 0
[pid=16123] ppid=16121 vsize=52164 CPUtime=52.07 cores=1,3,5,7
/proc/16123/stat : 16123 (scip-2.0.1.linu) T 16121 16123 16123 0 -1 4202496 12825 0 0 0 4889 318 0 0 25 0 1 0 869259935 53415936 10570 33554432000 4194304 13684479 140736667772064 18446744073709551615 4936721 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/16123/statm: 13041 10570 842 2317 0 10719 0
[pid=16121/tid=16129] ppid=16033 vsize=293956 CPUtime=0 cores=1,3,5,7
/proc/16121/task/16129/stat : 16129 (python) S 16033 16033 15018 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869265152 301010944 5863 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604454798267328 0 0 -1 5 0 0 0
[pid=16130] ppid=16033 vsize=303908 CPUtime=0 cores=1,3,5,7
/proc/16130/stat : 16130 (python) S 16033 16033 15018 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 869265154 311201792 5719 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613130822 0 0 16781312 33554946 1623751363081011200 0 0 17 5 0 0 0
/proc/16130/statm: 75977 5719 320 364 0 10858 0
[pid=16132] ppid=16130 vsize=57388 CPUtime=2.22 cores=1,3,5,7
/proc/16132/stat : 16132 (scip-2.0.1.linu) R 16130 16132 16132 0 -1 4202496 14065 0 0 0 207 15 0 0 20 0 1 0 869265154 58765312 11353 33554432000 4194304 15243407 140733387226048 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16132/statm: 14347 11353 963 2698 0 11642 0
[pid=16033/tid=16046] ppid=16031 vsize=314152 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16046/stat : 16046 (python) S 16031 16033 15018 0 -1 4202560 27 1327 0 0 0 0 1 0 19 0 4 0 869255213 321691648 7279 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
[pid=16033/tid=16122] ppid=16031 vsize=314152 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16122/stat : 16122 (python) S 16031 16033 15018 0 -1 4202560 30 1327 0 0 0 0 1 0 20 0 4 0 869259935 321691648 7279 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=16033/tid=16279] ppid=16031 vsize=376412 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16279/stat : 16279 (python) S 16031 16033 15018 0 -1 4202560 28 1327 0 0 0 0 1 0 20 0 10 0 869428788 385445888 7480 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1792.34
Current children cumulated vsize (KiB) 12222912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790 s]
/proc/loadavg: 2.13 2.07 1.78 3/613 16286
/proc/meminfo: memFree=28155640/32951124 swapFree=53876552/67111528
[pid=16033] ppid=16031 vsize=386668 CPUtime=0.85 cores=1,3,5,7
/proc/16033/stat : 16033 (python) S 16031 16033 15018 0 -1 4202496 19258 1327 1 0 70 14 1 0 20 0 11 0 869255148 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16033/statm: 96667 7486 1890 364 0 31527 0
[pid=16045] ppid=16033 vsize=293436 CPUtime=0.98 cores=1,3,5,7
/proc/16045/stat : 16045 (python) S 16033 16033 15018 0 -1 4202560 1214 0 0 0 42 56 0 0 18 0 2 0 869255212 300478464 5770 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16045/statm: 73359 5770 412 364 0 8246 0
[pid=16047] ppid=16045 vsize=3660 CPUtime=232.99 cores=1,3,5,7
/proc/16047/stat : 16047 (clasp-1.3.7-x86) T 16045 16047 16047 0 -1 4202496 920 0 0 0 23299 0 0 0 25 0 1 0 869255213 3747840 658 33554432000 134512640 136139019 4290339376 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/16047/statm: 915 658 183 398 0 515 0
[pid=16045/tid=16120] ppid=16033 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/16045/task/16120/stat : 16120 (python) S 16033 16033 15018 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869259932 300478464 5770 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604463060332928 0 0 -1 7 0 0 0
[pid=16121] ppid=16033 vsize=294240 CPUtime=5.99 cores=1,3,5,7
/proc/16121/stat : 16121 (python) S 16033 16033 15018 0 -1 4202560 1426 0 0 0 291 308 0 0 16 0 2 0 869259934 301301760 5926 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16121/statm: 73560 5926 393 364 0 8444 0
[pid=16123] ppid=16121 vsize=68348 CPUtime=1119.61 cores=1,3,5,7
/proc/16123/stat : 16123 (scip-2.0.1.linu) T 16121 16123 16123 0 -1 4202496 17295 0 0 0 105257 6704 0 0 18 0 1 0 869259935 69988352 15040 33554432000 4194304 13684479 140736667772064 18446744073709551615 11065488 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/16123/statm: 17087 15040 1022 2317 0 14765 0
[pid=16121/tid=16129] ppid=16033 vsize=294240 CPUtime=0 cores=1,3,5,7
/proc/16121/task/16129/stat : 16129 (python) S 16033 16033 15018 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869265152 301301760 5926 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604454798267328 0 0 -1 5 0 0 0
[pid=16130] ppid=16033 vsize=303908 CPUtime=0.47 cores=1,3,5,7
/proc/16130/stat : 16130 (python) S 16033 16033 15018 0 -1 4202560 1147 0 0 0 24 23 0 0 15 0 2 0 869265154 311201792 5791 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/16130/statm: 75977 5791 391 364 0 10858 0
[pid=16132] ppid=16130 vsize=42840 CPUtime=95.01 cores=1,3,5,7
/proc/16132/stat : 16132 (scip-2.0.1.linu) T 16130 16132 16132 0 -1 4202496 20529 0 0 0 9416 85 0 0 25 0 1 0 869265154 43868160 8198 33554432000 4194304 15243407 140733387226048 18446744073709551615 8112870 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/16132/statm: 10710 8198 966 2698 0 8005 0
[pid=16130/tid=16139] ppid=16033 vsize=303908 CPUtime=0 cores=1,3,5,7
/proc/16130/task/16139/stat : 16139 (python) S 16033 16033 15018 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869270094 311201792 5791 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604464775940160 0 0 -1 7 0 0 0
[pid=16142] ppid=16033 vsize=314612 CPUtime=0.23 cores=1,3,5,7
/proc/16142/stat : 16142 (python) S 16033 16033 15018 0 -1 4202560 1104 0 0 0 10 13 0 0 19 0 2 0 869274718 322162688 5910 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16142/statm: 78653 5910 391 364 0 13531 0
[pid=16144] ppid=16142 vsize=27324 CPUtime=52.22 cores=1,3,5,7
/proc/16144/stat : 16144 (pbct-0.1.2-linu) T 16142 16144 16144 0 -1 4202496 6666 0 0 0 4800 422 0 0 25 0 1 0 869274718 27979776 6366 33554432000 134512640 136422188 4287571360 18446744073709551615 135006664 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/16144/statm: 6831 6366 213 467 0 6362 0
[pid=16142/tid=16150] ppid=16033 vsize=314612 CPUtime=0 cores=1,3,5,7
/proc/16142/task/16150/stat : 16150 (python) S 16033 16033 15018 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869279942 322162688 5910 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604456466030720 0 0 -1 7 0 0 0
[pid=16151] ppid=16033 vsize=324868 CPUtime=0.2 cores=1,3,5,7
/proc/16151/stat : 16151 (python) S 16033 16033 15018 0 -1 4202560 1134 0 0 0 10 10 0 0 19 0 2 0 869279954 332664832 5914 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16151/statm: 81217 5914 391 364 0 16092 0
[pid=16153] ppid=16151 vsize=64688 CPUtime=48.23 cores=1,3,5,7
/proc/16153/stat : 16153 (minion) T 16151 16153 16153 0 -1 4202496 9198 0 0 0 4822 1 0 0 25 0 1 0 869279954 66240512 8926 33554432000 134512640 165565024 4286604320 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/16153/statm: 16172 8926 359 7582 0 8587 0
[pid=16151/tid=16177] ppid=16033 vsize=324868 CPUtime=0 cores=1,3,5,7
/proc/16151/task/16177/stat : 16177 (python) S 16033 16033 15018 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869284778 332664832 5914 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604454563473408 0 0 -1 3 0 0 0
[pid=16184] ppid=16033 vsize=335260 CPUtime=0.21 cores=1,3,5,7
/proc/16184/stat : 16184 (python) S 16033 16033 15018 0 -1 4202560 1136 0 0 0 9 12 0 0 17 0 2 0 869303312 343306240 5933 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16184/statm: 83815 5933 391 364 0 18687 0
[pid=16186] ppid=16184 vsize=8545252 CPUtime=48.99 cores=1,3,5,7
/proc/16186/stat : 16186 (java) T 16184 16186 16186 0 -1 4202496 293132 0 1 0 4866 33 0 0 15 0 19 0 869303312 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/16186/statm: 2136313 254635 2248 9 0 2127054 0
[pid=16186/tid=16187] ppid=16184 vsize=8545252 CPUtime=46.79 cores=1,3,5,7
/proc/16186/task/16187/stat : 16187 (java) T 16184 16186 16186 0 -1 4202560 251342 0 1 0 4652 27 0 0 25 0 19 0 869303313 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 46912505630812 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16186/tid=16188] ppid=16184 vsize=8545252 CPUtime=0.05 cores=1,3,5,7
/proc/16186/task/16188/stat : 16188 (java) T 16184 16186 16186 0 -1 4202560 2696 0 0 0 5 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16186/tid=16189] ppid=16184 vsize=8545252 CPUtime=0.05 cores=1,3,5,7
/proc/16186/task/16189/stat : 16189 (java) T 16184 16186 16186 0 -1 4202560 3252 0 0 0 5 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16186/tid=16190] ppid=16184 vsize=8545252 CPUtime=0.07 cores=1,3,5,7
/proc/16186/task/16190/stat : 16190 (java) T 16184 16186 16186 0 -1 4202560 4145 0 0 0 7 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16186/tid=16191] ppid=16184 vsize=8545252 CPUtime=0.08 cores=1,3,5,7
/proc/16186/task/16191/stat : 16191 (java) T 16184 16186 16186 0 -1 4202560 5381 0 0 0 8 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16186/tid=16192] ppid=16184 vsize=8545252 CPUtime=0.05 cores=1,3,5,7
/proc/16186/task/16192/stat : 16192 (java) T 16184 16186 16186 0 -1 4202560 1927 0 0 0 5 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16186/tid=16193] ppid=16184 vsize=8545252 CPUtime=0.06 cores=1,3,5,7
/proc/16186/task/16193/stat : 16193 (java) T 16184 16186 16186 0 -1 4202560 3303 0 0 0 6 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16186/tid=16194] ppid=16184 vsize=8545252 CPUtime=0.03 cores=1,3,5,7
/proc/16186/task/16194/stat : 16194 (java) T 16184 16186 16186 0 -1 4202560 2238 0 0 0 3 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16186/tid=16195] ppid=16184 vsize=8545252 CPUtime=0.03 cores=1,3,5,7
/proc/16186/task/16195/stat : 16195 (java) T 16184 16186 16186 0 -1 4202560 1693 0 0 0 3 0 0 0 15 0 19 0 869303314 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16186/tid=16196] ppid=16184 vsize=8545252 CPUtime=0.07 cores=1,3,5,7
/proc/16186/task/16196/stat : 16196 (java) T 16184 16186 16186 0 -1 4202560 609 0 0 0 7 0 0 0 15 0 19 0 869303315 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624927232 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16186/tid=16197] ppid=16184 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/16186/task/16197/stat : 16197 (java) T 16184 16186 16186 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869303316 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16186/tid=16198] ppid=16184 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/16186/task/16198/stat : 16198 (java) T 16184 16186 16186 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869303316 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16186/tid=16199] ppid=16184 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/16186/task/16199/stat : 16199 (java) T 16184 16186 16186 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869303318 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624934321 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16186/tid=16200] ppid=16184 vsize=8545252 CPUtime=0.78 cores=1,3,5,7
/proc/16186/task/16200/stat : 16200 (java) T 16184 16186 16186 0 -1 4202560 5620 0 0 0 78 0 0 0 15 0 19 0 869303318 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16186/tid=16201] ppid=16184 vsize=8545252 CPUtime=0.79 cores=1,3,5,7
/proc/16186/task/16201/stat : 16201 (java) T 16184 16186 16186 0 -1 4202560 9527 0 0 0 79 0 0 0 15 0 19 0 869303318 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16186/tid=16202] ppid=16184 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/16186/task/16202/stat : 16202 (java) T 16184 16186 16186 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869303318 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16186/tid=16203] ppid=16184 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/16186/task/16203/stat : 16203 (java) T 16184 16186 16186 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869303318 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624927232 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16186/tid=16204] ppid=16184 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/16186/task/16204/stat : 16204 (java) T 16184 16186 16186 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869303335 8750338048 254635 33554432000 1073741824 1073778376 140734830996240 18446744073709551615 270624927232 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16184/tid=16209] ppid=16033 vsize=335260 CPUtime=0 cores=1,3,5,7
/proc/16184/task/16209/stat : 16209 (python) S 16033 16033 15018 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869308023 343306240 5933 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604469307565376 0 0 -1 7 0 0 0
[pid=16212] ppid=16033 vsize=345516 CPUtime=0.21 cores=1,3,5,7
/proc/16212/stat : 16212 (python) S 16033 16033 15018 0 -1 4202560 1174 0 0 0 10 11 0 0 19 0 2 0 869312712 353808384 5954 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16212/statm: 86379 5954 391 364 0 21248 0
[pid=16214] ppid=16212 vsize=58440 CPUtime=48.27 cores=1,3,5,7
/proc/16214/stat : 16214 (bsolo_pb10) T 16212 16214 16214 0 -1 4202496 12449 0 0 0 4821 6 0 0 25 0 1 0 869312712 59842560 12162 33554432000 134512640 137138936 4286955040 18446744073709551615 134542295 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/16214/statm: 14610 12162 192 642 0 13966 0
[pid=16212/tid=16216] ppid=16033 vsize=345516 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16216/stat : 16216 (python) S 16033 16033 15018 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869317540 353808384 5954 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604464863488704 0 0 -1 1 0 0 0
[pid=16232] ppid=16033 vsize=355772 CPUtime=0.41 cores=1,3,5,7
/proc/16232/stat : 16232 (python) S 16033 16033 15018 0 -1 4202560 1225 0 0 0 20 21 0 0 19 0 2 0 869361162 364310528 5968 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16232/statm: 88943 5968 397 364 0 23809 0
[pid=16234] ppid=16232 vsize=61424 CPUtime=91.48 cores=1,3,5,7
/proc/16234/stat : 16234 (bsolo_pb10) T 16232 16234 16234 0 -1 4202496 13329 0 0 0 9131 17 0 0 25 0 1 0 869361162 62898176 12926 33554432000 134512640 137138936 4287806224 18446744073709551615 134601123 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/16234/statm: 15356 12926 190 642 0 14712 0
[pid=16232/tid=16252] ppid=16033 vsize=355772 CPUtime=0 cores=1,3,5,7
/proc/16232/task/16252/stat : 16252 (python) S 16033 16033 15018 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869370311 364310528 5968 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604464041959488 0 0 -1 7 0 0 0
[pid=16278] ppid=16033 vsize=366168 CPUtime=0.21 cores=1,3,5,7
/proc/16278/stat : 16278 (python) S 16033 16033 15018 0 -1 4202560 1184 0 0 0 10 11 0 0 19 0 2 0 869428788 374956032 5986 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16278/statm: 91542 5986 397 364 0 26405 0
[pid=16280] ppid=16278 vsize=42204 CPUtime=47.2 cores=1,3,5,7
/proc/16280/stat : 16280 (bsolo_pb10) T 16278 16280 16280 0 -1 4202496 8472 0 0 0 4701 19 0 0 25 0 1 0 869428788 43216896 8117 33554432000 134512640 137138936 4288206704 18446744073709551615 136501664 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/16280/statm: 10551 8117 192 642 0 9907 0
[pid=16278/tid=16282] ppid=16033 vsize=366168 CPUtime=0 cores=1,3,5,7
/proc/16278/task/16282/stat : 16282 (python) S 16033 16033 15018 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869433517 374956032 5986 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554946 18446604469672573056 0 0 -1 7 0 0 0
[pid=16283] ppid=16033 vsize=376424 CPUtime=0.01 cores=1,3,5,7
/proc/16283/stat : 16283 (python) S 16033 16033 15018 0 -1 4202560 951 0 0 0 1 0 0 0 15 0 1 0 869433518 385458176 5936 33554432000 4194304 5683644 140735997546848 18446744073709551615 270613130822 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/16283/statm: 94106 5936 344 364 0 28966 0
[pid=16285] ppid=16283 vsize=27400 CPUtime=6.31 cores=1,3,5,7
/proc/16285/stat : 16285 (wbo1.4a) R 16283 16285 16285 0 -1 4202496 6623 0 0 0 618 13 0 0 25 0 1 0 869433518 28057600 6346 33554432000 134512640 135751879 4292214288 18446744073709551615 134602472 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/16285/statm: 6850 6346 143 303 0 6545 0
[pid=16033/tid=16046] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16046/stat : 16046 (python) S 16031 16033 15018 0 -1 4202560 36 1327 0 0 0 0 1 0 18 0 11 0 869255213 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
[pid=16033/tid=16122] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16122/stat : 16122 (python) S 16031 16033 15018 0 -1 4202560 51 1327 0 0 0 0 1 0 18 0 11 0 869259935 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 1 0 0 0
[pid=16033/tid=16131] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16131/stat : 16131 (python) S 16031 16033 15018 0 -1 4202560 34 1327 0 0 0 0 1 0 18 0 11 0 869265154 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
[pid=16033/tid=16143] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16143/stat : 16143 (python) S 16031 16033 15018 0 -1 4202560 28 1327 0 0 0 0 1 0 20 0 11 0 869274718 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
[pid=16033/tid=16152] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16152/stat : 16152 (python) S 16031 16033 15018 0 -1 4202560 31 1327 0 0 0 0 1 0 20 0 11 0 869279954 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 7 0 0 0
[pid=16033/tid=16185] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16185/stat : 16185 (python) S 16031 16033 15018 0 -1 4202560 29 1327 0 0 0 0 1 0 20 0 11 0 869303312 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 3 0 0 0
[pid=16033/tid=16213] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16213/stat : 16213 (python) S 16031 16033 15018 0 -1 4202560 32 1327 0 0 0 0 1 0 20 0 11 0 869312712 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 7 0 0 0
[pid=16033/tid=16233] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16233/stat : 16233 (python) S 16031 16033 15018 0 -1 4202560 29 1327 0 0 0 0 1 0 20 0 11 0 869361162 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 5 0 0 0
[pid=16033/tid=16279] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16279/stat : 16279 (python) S 16031 16033 15018 0 -1 4202560 28 1327 0 0 0 0 1 0 20 0 11 0 869428788 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 7 0 0 0
[pid=16033/tid=16284] ppid=16031 vsize=386668 CPUtime=0.01 cores=1,3,5,7
/proc/16033/task/16284/stat : 16284 (python) S 16031 16033 15018 0 -1 4202560 30 1327 0 0 0 0 1 0 20 0 11 0 869433518 395948032 7486 33554432000 4194304 5683644 140735997546848 18446744073709551615 270624934321 0 0 16781312 33554434 18446604454563472512 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 12638452
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 16033 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=725889
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=143978
# CPU time returned by wait4() is 0.869867
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.09
CPU time (s): 1800.08
CPU user time (s): 1722.29
CPU system time (s): 77.79
CPU usage (%): 100.558
Max. virtual memory (cumulated for all children) (KiB): 12638452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.725889
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21151
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= 2432
involuntary context switches= 36
runsolver used 13.092 second user time and 30.4714 second system time
The end