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-3482457-1307576357/watcher-3482457-1307576357 -o /tmp/evaluation-result-3482457-1307576357/solver-3482457-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482457-1307576357.opb -seed 611056974 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (runsolver) D 28711 28717 28679 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 869236913 12079104 54 33554432000 4194304 5432328 140736552923392 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/28717/statm: 2949 54 34 303 0 2643 0
[startup+0.069093 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=1964 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (python) D 28711 28717 28679 0 -1 4194304 65 0 1 0 0 0 0 0 17 0 1 0 869236913 2011136 19 33554432000 4194304 5683644 140734880964176 18446744073709551615 210199652128 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 0
/proc/28717/statm: 491 19 13 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.101104 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=6240 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (python) D 28711 28717 28679 0 -1 4194304 96 0 3 0 0 0 0 0 17 0 1 0 869236913 6389760 51 33554432000 4194304 5683644 140734880964176 18446744073709551615 210199723655 0 0 4096 0 0 0 0 17 1 0 0 2
/proc/28717/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.301087 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (python) D 28711 28717 28679 0 -1 4202496 609 0 7 0 0 0 0 0 16 0 1 0 869236913 15441920 512 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204645376 0 0 16781312 2 0 0 0 17 7 0 0 7
/proc/28717/statm: 3770 512 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.701024 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 720 0 7 0 0 0 0 0 15 0 1 0 869236913 15548416 616 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 12
/proc/28717/statm: 3796 616 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50088 s]
/proc/loadavg: 0.61 0.14 0.05 1/490 28719
/proc/meminfo: memFree=27356828/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 888 0 7 0 0 0 0 0 15 0 1 0 869236913 16150528 776 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 20
/proc/28717/statm: 3943 776 343 364 0 430 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15772
[startup+3.10056 s]
/proc/loadavg: 0.61 0.14 0.05 2/490 28719
/proc/meminfo: memFree=27350384/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=16392 CPUtime=0.02 cores=1,3,5,7
/proc/28717/stat : 28717 (python) D 28711 28717 28679 0 -1 4202496 1116 0 7 0 1 1 0 0 16 0 1 0 869236913 16785408 989 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204645376 0 0 16781312 2 0 0 0 17 7 0 0 52
/proc/28717/statm: 4098 989 413 364 0 585 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16392
heavy processes:
[startup+6.30102 s]
/proc/loadavg: 0.64 0.16 0.05 2/490 28719
/proc/meminfo: memFree=27349660/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=50008 CPUtime=0.12 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 1957 0 18 0 4 8 0 0 15 0 1 0 869236913 51208192 1736 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 103
/proc/28717/statm: 12502 1736 480 364 0 1202 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 50008
heavy processes:
[startup+12.701 s]
/proc/loadavg: 0.67 0.17 0.06 2/490 28727
/proc/meminfo: memFree=27309044/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=190664 CPUtime=0.48 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 6483 922 71 9 20 28 0 0 16 0 1 0 869236913 195239936 4846 33554432000 4194304 5683644 140734880964176 18446744073709551615 210199723588 0 2147483391 16781312 2 18446744071699953811 0 0 17 7 0 0 278
/proc/28717/statm: 47666 4846 1400 364 0 3676 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 190664
heavy processes:
[startup+25.5008 s]
/proc/loadavg: 0.89 0.24 0.08 3/496 28769
/proc/meminfo: memFree=27224372/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=293436 CPUtime=0.78 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 9589 922 109 9 38 40 0 0 17 0 2 0 869236913 300478464 7205 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 390
/proc/28717/statm: 73359 7205 1870 364 0 8246 0
[pid=28729] ppid=28717 vsize=283192 CPUtime=0.03 cores=1,3,5,7
/proc/28729/stat : 28729 (python) S 28717 28717 28679 0 -1 4202560 983 0 0 0 1 2 0 0 15 0 1 0 869238550 289988608 5712 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204667407 0 0 16781312 33554946 5623753486446373594 0 0 17 7 0 0 0
/proc/28729/statm: 70798 5712 381 364 0 5685 0
[pid=28732] ppid=28729 vsize=48928 CPUtime=9.12 cores=1,3,5,7
/proc/28732/stat : 28732 (scip-2.0.1.linu) R 28729 28732 28732 0 -1 4202496 11417 0 0 0 885 27 0 0 25 0 1 0 869238550 50102272 9983 33554432000 4194304 13684479 140736067510032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28732/statm: 12232 9983 819 2317 0 9910 0
[pid=28717/tid=28731] ppid=28711 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28731/stat : 28731 (python) S 28711 28717 28679 0 -1 4202560 24 922 0 9 0 0 0 0 18 0 2 0 869238550 300478464 7205 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (KiB) 625556
heavy processes:
[startup+51.1005 s]
/proc/loadavg: 1.43 0.42 0.14 3/496 28874
/proc/meminfo: memFree=27223508/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=293436 CPUtime=0.78 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 9589 922 109 9 38 40 0 0 17 0 2 0 869236913 300478464 7205 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 390
/proc/28717/statm: 73359 7205 1870 364 0 8246 0
[pid=28729] ppid=28717 vsize=283192 CPUtime=0.15 cores=1,3,5,7
/proc/28729/stat : 28729 (python) S 28717 28717 28679 0 -1 4202560 1003 0 0 0 7 8 0 0 15 0 1 0 869238550 289988608 5712 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204667407 0 0 16781312 33554946 2632614003813122048 0 0 17 7 0 0 0
/proc/28729/statm: 70798 5712 381 364 0 5685 0
[pid=28732] ppid=28729 vsize=48928 CPUtime=34.73 cores=1,3,5,7
/proc/28732/stat : 28732 (scip-2.0.1.linu) R 28729 28732 28732 0 -1 4202496 11419 0 0 0 3335 138 0 0 18 0 1 0 869238550 50102272 9985 33554432000 4194304 13684479 140736067510032 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28732/statm: 12232 9985 821 2317 0 9910 0
[pid=28717/tid=28731] ppid=28711 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28731/stat : 28731 (python) S 28711 28717 28679 0 -1 4202560 24 922 0 9 0 0 0 0 18 0 2 0 869238550 300478464 7205 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 35.66
Current children cumulated vsize (KiB) 625556
heavy processes:
[startup+102.318 s]
/proc/loadavg: 1.74 0.66 0.24 3/500 28985
/proc/meminfo: memFree=27219724/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=304120 CPUtime=0.8 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 10463 922 109 9 40 40 0 0 20 0 3 0 869236913 311418880 7328 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 390
/proc/28717/statm: 76030 7328 1873 364 0 10914 0
[pid=28729] ppid=28717 vsize=293436 CPUtime=0.23 cores=1,3,5,7
/proc/28729/stat : 28729 (python) S 28717 28717 28679 0 -1 4202560 1146 0 0 0 11 12 0 0 17 0 2 0 869238550 300478464 5748 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/28729/statm: 73359 5748 412 364 0 8246 0
[pid=28732] ppid=28729 vsize=48928 CPUtime=50.43 cores=1,3,5,7
/proc/28732/stat : 28732 (scip-2.0.1.linu) T 28729 28732 28732 0 -1 4202496 11419 0 0 0 4823 220 0 0 18 0 1 0 869238550 50102272 9985 33554432000 4194304 13684479 140736067510032 18446744073709551615 7390780 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28732/statm: 12232 9985 821 2317 0 9910 0
[pid=28729/tid=28946] ppid=28717 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/28729/task/28946/stat : 28946 (python) S 28717 28717 28679 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 869243594 300478464 5748 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 3 0 0 0
[pid=28947] ppid=28717 vsize=293876 CPUtime=0.12 cores=1,3,5,7
/proc/28947/stat : 28947 (python) S 28717 28717 28679 0 -1 4202560 943 0 0 0 6 6 0 0 18 0 1 0 869243597 300929024 5824 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204667462 0 0 16781312 33554946 5623458817330129626 0 0 17 3 0 0 0
/proc/28947/statm: 73469 5824 373 364 0 8353 0
[pid=28949] ppid=28947 vsize=3224 CPUtime=35.47 cores=1,3,5,7
/proc/28949/stat : 28949 (clasp-1.3.7-x86) R 28947 28949 28949 0 -1 4202496 819 0 0 0 3547 0 0 0 25 0 1 0 869243597 3301376 555 33554432000 134512640 136139019 4287654080 18446744073709551615 134832159 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/28949/statm: 806 555 184 398 0 406 0
[pid=28717/tid=28731] ppid=28711 vsize=304120 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28731/stat : 28731 (python) S 28711 28717 28679 0 -1 4202560 24 922 0 9 0 0 0 0 18 0 3 0 869238550 311418880 7328 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
[pid=28717/tid=28948] ppid=28711 vsize=304120 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28948/stat : 28948 (python) S 28711 28717 28679 0 -1 4202560 29 922 0 9 0 0 0 0 20 0 3 0 869243597 311418880 7328 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 87.05
Current children cumulated vsize (KiB) 943584
[startup+162.301 s]
/proc/loadavg: 1.99 0.93 0.35 3/505 29134
/proc/meminfo: memFree=26950084/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=314580 CPUtime=0.86 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 12012 922 109 9 45 41 0 0 18 0 4 0 869236913 322129920 7369 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 390
/proc/28717/statm: 78645 7369 1875 364 0 13526 0
[pid=28729] ppid=28717 vsize=293436 CPUtime=0.23 cores=1,3,5,7
/proc/28729/stat : 28729 (python) S 28717 28717 28679 0 -1 4202560 1146 0 0 0 11 12 0 0 17 0 2 0 869238550 300478464 5748 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/28729/statm: 73359 5748 412 364 0 8246 0
[pid=28732] ppid=28729 vsize=48928 CPUtime=50.43 cores=1,3,5,7
/proc/28732/stat : 28732 (scip-2.0.1.linu) T 28729 28732 28732 0 -1 4202496 11419 0 0 0 4823 220 0 0 18 0 1 0 869238550 50102272 9985 33554432000 4194304 13684479 140736067510032 18446744073709551615 7390780 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28732/statm: 12232 9985 821 2317 0 9910 0
[pid=28729/tid=28946] ppid=28717 vsize=293436 CPUtime=0 cores=1,3,5,7
/proc/28729/task/28946/stat : 28946 (python) S 28717 28717 28679 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 869243594 300478464 5748 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 3 0 0 0
[pid=28947] ppid=28717 vsize=293876 CPUtime=0.18 cores=1,3,5,7
/proc/28947/stat : 28947 (python) S 28717 28717 28679 0 -1 4202560 1113 0 0 0 9 9 0 0 19 0 2 0 869243597 300929024 5849 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/28947/statm: 73469 5849 397 364 0 8353 0
[pid=28949] ppid=28947 vsize=3404 CPUtime=48.18 cores=1,3,5,7
/proc/28949/stat : 28949 (clasp-1.3.7-x86) T 28947 28949 28949 0 -1 4202496 857 0 0 0 4818 0 0 0 25 0 1 0 869243597 3485696 593 33554432000 134512640 136139019 4287654080 18446744073709551615 134876961 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/28949/statm: 851 593 184 398 0 451 0
[pid=28947/tid=28986] ppid=28717 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/28947/task/28986/stat : 28986 (python) S 28717 28717 28679 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 869248416 300929024 5849 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604457031800832 0 0 -1 3 0 0 0
[pid=28987] ppid=28717 vsize=304004 CPUtime=0.19 cores=1,3,5,7
/proc/28987/stat : 28987 (python) S 28717 28717 28679 0 -1 4202560 1106 0 0 0 9 10 0 0 15 0 2 0 869248419 311300096 5809 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204667462 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28987/statm: 76001 5809 397 364 0 10882 0
[pid=28989] ppid=28987 vsize=54664 CPUtime=47.21 cores=1,3,5,7
/proc/28989/stat : 28989 (scip-2.0.1.linu) R 28987 28989 28989 0 -1 4202496 16984 0 0 0 4680 41 0 0 21 0 1 0 869248419 55975936 10913 33554432000 4194304 15243407 140736102794000 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28989/statm: 13666 10913 946 2698 0 10961 0
[pid=28987/tid=29134] ppid=28717 vsize=304004 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29134/stat : 29134 (python) S 28717 28717 28679 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869253023 311300096 5809 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604457031799040 0 0 -1 7 0 0 0
[pid=28717/tid=28731] ppid=28711 vsize=314580 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28731/stat : 28731 (python) S 28711 28717 28679 0 -1 4202560 24 922 0 9 0 0 0 0 18 0 4 0 869238550 322129920 7369 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
[pid=28717/tid=28948] ppid=28711 vsize=314580 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28948/stat : 28948 (python) S 28711 28717 28679 0 -1 4202560 29 922 0 9 0 0 0 0 20 0 4 0 869243597 322129920 7369 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=28717/tid=28988] ppid=28711 vsize=365660 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28988/stat : 28988 (python) S 28711 28717 28679 0 -1 4202560 34 922 0 9 0 0 0 0 15 0 9 0 869248419 374435840 7349 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
[pid=28717/tid=29143] ppid=28711 vsize=365660 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29143/stat : 29143 (python) S 28711 28717 28679 0 -1 4202560 27 922 0 9 0 0 0 0 20 0 9 0 869262412 374435840 7349 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
[pid=28717/tid=29166] ppid=28711 vsize=365660 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29166/stat : 29166 (python) S 28711 28717 28679 0 -1 4202560 32 922 0 9 0 0 0 0 20 0 9 0 869286093 374435840 7349 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 3 0 0 0
[pid=28717/tid=29187] ppid=28711 vsize=365660 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29187/stat : 29187 (python) S 28711 28717 28679 0 -1 4202560 30 922 0 9 0 0 0 0 20 0 9 0 869334445 374435840 7349 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 3 0 0 0
[pid=28717/tid=29210] ppid=28711 vsize=365660 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29210/stat : 29210 (python) S 28711 28717 28679 0 -1 4202560 27 922 0 9 0 0 0 0 20 0 9 0 869339297 374435840 7349 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 5 0 0 0
[pid=28717/tid=29337] ppid=28711 vsize=365660 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29337/stat : 29337 (python) S 28711 28717 28679 0 -1 4202560 28 922 0 9 0 0 0 0 20 0 9 0 869406503 374435840 7349 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1776.83
Current children cumulated vsize (KiB) 11816676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.4 s]
/proc/loadavg: 2.12 2.03 1.71 5/591 29349
/proc/meminfo: memFree=20216408/32951124 swapFree=63649284/67111528
[pid=28717] ppid=28711 vsize=376316 CPUtime=1.13 cores=1,3,5,7
/proc/28717/stat : 28717 (python) S 28711 28717 28679 0 -1 4202496 17275 922 109 9 71 42 0 0 19 0 10 0 869236913 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 390
/proc/28717/statm: 94079 7455 1887 364 0 28942 0
[pid=28729] ppid=28717 vsize=294480 CPUtime=5.84 cores=1,3,5,7
/proc/28729/stat : 28729 (python) S 28717 28717 28679 0 -1 4202560 1369 0 0 0 289 295 0 0 15 0 2 0 869238550 301547520 5891 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28729/statm: 73620 5891 415 364 0 8507 0
[pid=28732] ppid=28729 vsize=53632 CPUtime=1112.25 cores=1,3,5,7
/proc/28732/stat : 28732 (scip-2.0.1.linu) T 28729 28732 28732 0 -1 4202496 12635 0 0 0 105278 5947 0 0 18 0 1 0 869238550 54919168 11201 33554432000 4194304 13684479 140736067510032 18446744073709551615 7410397 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28732/statm: 13408 11201 821 2317 0 11086 0
[pid=28729/tid=28946] ppid=28717 vsize=294480 CPUtime=0 cores=1,3,5,7
/proc/28729/task/28946/stat : 28946 (python) S 28717 28717 28679 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 2 0 869243594 301547520 5891 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 3 0 0 0
[pid=28947] ppid=28717 vsize=293876 CPUtime=0.92 cores=1,3,5,7
/proc/28947/stat : 28947 (python) S 28717 28717 28679 0 -1 4202560 1190 0 0 0 45 47 0 0 18 0 2 0 869243597 300929024 5849 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/28947/statm: 73469 5849 397 364 0 8353 0
[pid=28949] ppid=28947 vsize=4104 CPUtime=229.9 cores=1,3,5,7
/proc/28949/stat : 28949 (clasp-1.3.7-x86) T 28947 28949 28949 0 -1 4202496 1040 0 0 0 22990 0 0 0 25 0 1 0 869243597 4202496 776 33554432000 134512640 136139019 4287654080 18446744073709551615 134828656 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/28949/statm: 1026 776 184 398 0 626 0
[pid=28947/tid=28986] ppid=28717 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/28947/task/28986/stat : 28986 (python) S 28717 28717 28679 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 2 0 869248416 300929024 5849 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604457031800832 0 0 -1 3 0 0 0
[pid=28987] ppid=28717 vsize=304004 CPUtime=0.66 cores=1,3,5,7
/proc/28987/stat : 28987 (python) S 28717 28717 28679 0 -1 4202560 1156 0 0 0 33 33 0 0 15 0 2 0 869248419 311300096 5809 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28987/statm: 76001 5809 397 364 0 10882 0
[pid=28989] ppid=28987 vsize=54664 CPUtime=139.84 cores=1,3,5,7
/proc/28989/stat : 28989 (scip-2.0.1.linu) T 28987 28989 28989 0 -1 4202496 17096 0 0 0 13848 136 0 0 18 0 1 0 869248419 55975936 11025 33554432000 4194304 15243407 140736102794000 18446744073709551615 8113519 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28989/statm: 13666 11025 946 2698 0 10961 0
[pid=28987/tid=29134] ppid=28717 vsize=304004 CPUtime=0 cores=1,3,5,7
/proc/28987/task/29134/stat : 29134 (python) S 28717 28717 28679 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869253023 311300096 5809 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604457031799040 0 0 -1 7 0 0 0
[pid=29142] ppid=28717 vsize=314592 CPUtime=0.22 cores=1,3,5,7
/proc/29142/stat : 29142 (python) S 28717 28717 28679 0 -1 4202560 1155 0 0 0 9 13 0 0 17 0 2 0 869262412 322142208 5912 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29142/statm: 78648 5912 397 364 0 13526 0
[pid=29144] ppid=29142 vsize=21384 CPUtime=53.22 cores=1,3,5,7
/proc/29144/stat : 29144 (pbct-0.1.2-linu) T 29142 29144 29144 0 -1 4202496 5204 0 0 0 4858 464 0 0 25 0 1 0 869262412 21897216 4927 33554432000 134512640 136422188 4286583984 18446744073709551615 134864012 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/29144/statm: 5346 4927 214 467 0 4877 0
[pid=29142/tid=29150] ppid=28717 vsize=314592 CPUtime=0 cores=1,3,5,7
/proc/29142/task/29150/stat : 29150 (python) S 28717 28717 28679 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869267735 322142208 5912 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604458414014528 0 0 -1 7 0 0 0
[pid=29165] ppid=28717 vsize=324848 CPUtime=0.2 cores=1,3,5,7
/proc/29165/stat : 29165 (python) S 28717 28717 28679 0 -1 4202560 1152 0 0 0 8 12 0 0 17 0 2 0 869286093 332644352 5922 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29165/statm: 81212 5922 397 364 0 16087 0
[pid=29167] ppid=29165 vsize=41012 CPUtime=48.22 cores=1,3,5,7
/proc/29167/stat : 29167 (bsolo_pb10) T 29165 29167 29167 0 -1 4202496 8103 0 0 0 4819 3 0 0 25 0 1 0 869286093 41996288 7820 33554432000 134512640 137138936 4289601472 18446744073709551615 134542525 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/29167/statm: 10253 7820 192 642 0 9609 0
[pid=29165/tid=29169] ppid=28717 vsize=324848 CPUtime=0 cores=1,3,5,7
/proc/29165/task/29169/stat : 29169 (python) S 28717 28717 28679 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869290916 332644352 5922 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604458414016320 0 0 -1 7 0 0 0
[pid=29186] ppid=28717 vsize=334660 CPUtime=0.2 cores=1,3,5,7
/proc/29186/stat : 29186 (python) S 28717 28717 28679 0 -1 4202560 1140 0 0 0 10 10 0 0 17 0 2 0 869334445 342691840 5821 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29186/statm: 83665 5821 397 364 0 18537 0
[pid=29188] ppid=29186 vsize=8551876 CPUtime=50.13 cores=1,3,5,7
/proc/29188/stat : 29188 (java) T 29186 29188 29188 0 -1 4202496 290240 0 1 0 4981 32 0 0 18 0 19 0 869334445 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/29188/statm: 2137969 259443 2234 9 0 2128710 0
[pid=29188/tid=29189] ppid=29186 vsize=8551876 CPUtime=48.09 cores=1,3,5,7
/proc/29188/task/29189/stat : 29189 (java) T 29186 29188 29188 0 -1 4202560 247871 0 1 0 4784 25 0 0 25 0 19 0 869334446 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 46912505661391 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 8
[pid=29188/tid=29190] ppid=29186 vsize=8551876 CPUtime=0.05 cores=1,3,5,7
/proc/29188/task/29190/stat : 29190 (java) T 29186 29188 29188 0 -1 4202560 3953 0 0 0 5 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29188/tid=29191] ppid=29186 vsize=8551876 CPUtime=0.05 cores=1,3,5,7
/proc/29188/task/29191/stat : 29191 (java) T 29186 29188 29188 0 -1 4202560 3672 0 0 0 5 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29188/tid=29192] ppid=29186 vsize=8551876 CPUtime=0.02 cores=1,3,5,7
/proc/29188/task/29192/stat : 29192 (java) T 29186 29188 29188 0 -1 4202560 2033 0 0 0 2 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29188/tid=29193] ppid=29186 vsize=8551876 CPUtime=0.05 cores=1,3,5,7
/proc/29188/task/29193/stat : 29193 (java) T 29186 29188 29188 0 -1 4202560 3342 0 0 0 5 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29188/tid=29194] ppid=29186 vsize=8551876 CPUtime=0.03 cores=1,3,5,7
/proc/29188/task/29194/stat : 29194 (java) T 29186 29188 29188 0 -1 4202560 2576 0 0 0 3 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29188/tid=29195] ppid=29186 vsize=8551876 CPUtime=0.07 cores=1,3,5,7
/proc/29188/task/29195/stat : 29195 (java) T 29186 29188 29188 0 -1 4202560 4474 0 0 0 7 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29188/tid=29196] ppid=29186 vsize=8551876 CPUtime=0.04 cores=1,3,5,7
/proc/29188/task/29196/stat : 29196 (java) T 29186 29188 29188 0 -1 4202560 2593 0 0 0 4 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29188/tid=29197] ppid=29186 vsize=8551876 CPUtime=0.08 cores=1,3,5,7
/proc/29188/task/29197/stat : 29197 (java) T 29186 29188 29188 0 -1 4202560 6648 0 0 0 8 0 0 0 15 0 19 0 869334447 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29188/tid=29198] ppid=29186 vsize=8551876 CPUtime=0 cores=1,3,5,7
/proc/29188/task/29198/stat : 29198 (java) T 29186 29188 29188 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 19 0 869334448 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463872 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29188/tid=29199] ppid=29186 vsize=8551876 CPUtime=0 cores=1,3,5,7
/proc/29188/task/29199/stat : 29199 (java) T 29186 29188 29188 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869334448 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29188/tid=29200] ppid=29186 vsize=8551876 CPUtime=0 cores=1,3,5,7
/proc/29188/task/29200/stat : 29200 (java) T 29186 29188 29188 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869334448 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 4
[pid=29188/tid=29201] ppid=29186 vsize=8551876 CPUtime=0 cores=1,3,5,7
/proc/29188/task/29201/stat : 29201 (java) T 29186 29188 29188 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869334450 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216470961 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29188/tid=29202] ppid=29186 vsize=8551876 CPUtime=0.71 cores=1,3,5,7
/proc/29188/task/29202/stat : 29202 (java) T 29186 29188 29188 0 -1 4202560 4968 0 0 0 71 0 0 0 15 0 19 0 869334450 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29188/tid=29203] ppid=29186 vsize=8551876 CPUtime=0.8 cores=1,3,5,7
/proc/29188/task/29203/stat : 29203 (java) T 29186 29188 29188 0 -1 4202560 6265 0 0 0 80 0 0 0 15 0 19 0 869334450 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29188/tid=29204] ppid=29186 vsize=8551876 CPUtime=0 cores=1,3,5,7
/proc/29188/task/29204/stat : 29204 (java) T 29186 29188 29188 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869334450 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29188/tid=29205] ppid=29186 vsize=8551876 CPUtime=0 cores=1,3,5,7
/proc/29188/task/29205/stat : 29205 (java) T 29186 29188 29188 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869334450 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463872 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29188/tid=29206] ppid=29186 vsize=8551876 CPUtime=0 cores=1,3,5,7
/proc/29188/task/29206/stat : 29206 (java) T 29186 29188 29188 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869334476 8757121024 259443 33554432000 1073741824 1073778376 140733997654352 18446744073709551615 210216463872 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29186/tid=29208] ppid=28717 vsize=334660 CPUtime=0 cores=1,3,5,7
/proc/29186/task/29208/stat : 29208 (python) S 28717 28717 28679 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869339296 342691840 5821 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604466347991168 0 0 -1 7 0 0 0
[pid=29209] ppid=28717 vsize=345508 CPUtime=0.39 cores=1,3,5,7
/proc/29209/stat : 29209 (python) S 28717 28717 28679 0 -1 4202560 1154 0 0 0 20 19 0 0 19 0 2 0 869339297 353800192 5941 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29209/statm: 86377 5941 397 364 0 21246 0
[pid=29211] ppid=29209 vsize=45276 CPUtime=92.4 cores=1,3,5,7
/proc/29211/stat : 29211 (bsolo_pb10) T 29209 29211 29211 0 -1 4202496 9175 0 0 0 9226 14 0 0 25 0 1 0 869339297 46362624 8890 33554432000 134512640 137138936 4291307408 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/29211/statm: 11319 8890 191 642 0 10675 0
[pid=29209/tid=29215] ppid=28717 vsize=345508 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29215/stat : 29215 (python) S 28717 28717 28679 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869348538 353800192 5941 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604465089484736 0 0 -1 7 0 0 0
[pid=29336] ppid=28717 vsize=355764 CPUtime=0.23 cores=1,3,5,7
/proc/29336/stat : 29336 (python) S 28717 28717 28679 0 -1 4202560 1199 0 0 0 11 12 0 0 17 0 2 0 869406503 364302336 5951 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29336/statm: 88941 5951 403 364 0 23807 0
[pid=29338] ppid=29336 vsize=111336 CPUtime=50.78 cores=1,3,5,7
/proc/29338/stat : 29338 (wbo1.4a) T 29336 29338 29338 0 -1 4202496 27577 0 0 0 5040 38 0 0 25 0 1 0 869406504 114008064 27302 33554432000 134512640 135751879 4292099136 18446744073709551615 134517428 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/29338/statm: 27834 27302 143 303 0 27529 0
[pid=29336/tid=29344] ppid=28717 vsize=355764 CPUtime=0 cores=1,3,5,7
/proc/29336/task/29344/stat : 29344 (python) S 28717 28717 28679 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869411582 364302336 5951 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554946 18446604462137447424 0 0 -1 7 0 0 0
[pid=29347] ppid=28717 vsize=366072 CPUtime=0.06 cores=1,3,5,7
/proc/29347/stat : 29347 (python) S 28717 28717 28679 0 -1 4202560 1019 0 0 0 3 3 0 0 18 0 1 0 869416109 374857728 5943 33554432000 4194304 5683644 140734880964176 18446744073709551615 210204667462 0 0 16781312 33554946 5623753486446373594 0 0 17 7 0 0 0
/proc/29347/statm: 91518 5943 379 364 0 26381 0
[pid=29349] ppid=29347 vsize=64536 CPUtime=13.45 cores=1,3,5,7
/proc/29349/stat : 29349 (minion) R 29347 29349 29349 0 -1 4202496 9149 0 0 0 1344 1 0 0 25 0 1 0 869416109 66084864 8875 33554432000 134512640 165565024 4294402432 18446744073709551615 142424548 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/29349/statm: 16134 8875 346 7582 0 8549 0
[pid=28717/tid=28731] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28731/stat : 28731 (python) S 28711 28717 28679 0 -1 4202560 41 922 0 9 0 0 0 0 18 0 10 0 869238550 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 5 0 0 0
[pid=28717/tid=28948] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28948/stat : 28948 (python) S 28711 28717 28679 0 -1 4202560 38 922 0 9 0 0 0 0 15 0 10 0 869243597 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
[pid=28717/tid=28988] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/28988/stat : 28988 (python) S 28711 28717 28679 0 -1 4202560 34 922 0 9 0 0 0 0 15 0 10 0 869248419 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
[pid=28717/tid=29143] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29143/stat : 29143 (python) S 28711 28717 28679 0 -1 4202560 27 922 0 9 0 0 0 0 20 0 10 0 869262412 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 7 0 0 0
[pid=28717/tid=29166] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29166/stat : 29166 (python) S 28711 28717 28679 0 -1 4202560 32 922 0 9 0 0 0 0 20 0 10 0 869286093 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 3 0 0 0
[pid=28717/tid=29187] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29187/stat : 29187 (python) S 28711 28717 28679 0 -1 4202560 30 922 0 9 0 0 0 0 20 0 10 0 869334445 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 3 0 0 0
[pid=28717/tid=29210] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29210/stat : 29210 (python) S 28711 28717 28679 0 -1 4202560 27 922 0 9 0 0 0 0 20 0 10 0 869339297 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 5 0 0 0
[pid=28717/tid=29337] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29337/stat : 29337 (python) S 28711 28717 28679 0 -1 4202560 28 922 0 9 0 0 0 0 20 0 10 0 869406503 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 1 0 0 0
[pid=28717/tid=29348] ppid=28711 vsize=376316 CPUtime=0 cores=1,3,5,7
/proc/28717/task/29348/stat : 29348 (python) S 28711 28717 28679 0 -1 4202560 27 922 0 9 0 0 0 0 20 0 10 0 869416109 385347584 7455 33554432000 4194304 5683644 140734880964176 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458690622528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 12257940
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 28717 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=185819
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=915860
# CPU time returned by wait4() is 2.10168
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1805.48
CPU time (s): 1800.04
CPU user time (s): 1728.83
CPU system time (s): 71.21
CPU usage (%): 99.6987
Max. virtual memory (cumulated for all children) (KiB): 12257940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.18582
system time used= 0.91586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20013
page faults= 118
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18683
involuntary context switches= 101
runsolver used 11.5792 second user time and 26.6989 second system time
The end