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-3482388-1307576811/watcher-3482388-1307576811 -o /tmp/evaluation-result-3482388-1307576811/solver-3482388-1307576811 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482388-1307576811.opb -seed 1238398134 -budget 1800
running on 4 cores: 0,2,4,6
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: 3.88 2.93 1.46 2/449 4292
/proc/meminfo: memFree=18618260/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 727 0 0 0 0 0 0 0 20 0 1 0 869280770 15548416 616 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/4292/statm: 3796 616 322 364 0 283 0
[startup+0.06675 s]
/proc/loadavg: 3.88 2.93 1.46 2/449 4292
/proc/meminfo: memFree=18618260/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=32180 CPUtime=0.03 cores=0,2,4,6
/proc/4292/stat : 4292 (python) R 4290 4292 3617 0 -1 4202496 1519 0 0 0 3 0 0 0 17 0 1 0 869280770 32952320 1355 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664806400 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4292/statm: 8045 1355 445 364 0 900 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32180
[startup+0.100752 s]
/proc/loadavg: 3.88 2.93 1.46 2/449 4292
/proc/meminfo: memFree=18618260/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=85624 CPUtime=0.05 cores=0,2,4,6
/proc/4292/stat : 4292 (python) R 4290 4292 3617 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 869280770 87678976 2382 33554432000 4194304 5683644 140734069697360 18446744073709551615 4915426 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4292/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.300758 s]
/proc/loadavg: 3.88 2.93 1.46 2/449 4292
/proc/meminfo: memFree=18618260/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=123744 CPUtime=0.15 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 5358 929 1 0 12 3 0 0 17 0 1 0 869280770 126713856 3744 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664804357 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/4292/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700662 s]
/proc/loadavg: 3.88 2.93 1.46 2/449 4292
/proc/meminfo: memFree=18618260/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=282844 CPUtime=0.38 cores=0,2,4,6
/proc/4292/stat : 4292 (python) R 4290 4292 3617 0 -1 4202496 9845 1326 1 0 32 6 0 0 16 0 1 0 869280770 289632256 7082 33554432000 4194304 5683644 140734069697360 18446744073709551615 274668217013 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/4292/statm: 70711 7082 1817 364 0 5604 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282844
[startup+1.50055 s]
/proc/loadavg: 3.88 2.93 1.46 3/453 4301
/proc/meminfo: memFree=18592160/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=293404 CPUtime=0.41 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 10725 1326 1 0 35 6 0 0 18 0 2 0 869280770 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4292/statm: 73351 7192 1863 364 0 8238 0
[pid=4299] ppid=4292 vsize=283160 CPUtime=0 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 673 0 0 0 0 0 0 0 18 0 1 0 869280844 289955840 5641 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828431 0 0 16781312 33554946 3399428170531700994 0 0 17 4 0 0 0
/proc/4299/statm: 70790 5641 316 364 0 5677 0
[pid=4301] ppid=4299 vsize=2504 CPUtime=0.76 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) R 4299 4301 4301 0 -1 4202496 620 0 0 0 76 0 0 0 21 0 1 0 869280844 2564096 359 33554432000 134512640 136139019 4291863888 18446744073709551615 134640605 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4301/statm: 626 359 183 398 0 226 0
[pid=4292/tid=4300] ppid=4290 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4300/stat : 4300 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 18 0 2 0 869280844 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 579068
[startup+3.10127 s]
/proc/loadavg: 3.88 2.93 1.46 3/453 4301
/proc/meminfo: memFree=18591156/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=293404 CPUtime=0.41 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 10725 1326 1 0 35 6 0 0 18 0 2 0 869280770 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4292/statm: 73351 7192 1863 364 0 8238 0
[pid=4299] ppid=4292 vsize=283160 CPUtime=0 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 696 0 0 0 0 0 0 0 18 0 1 0 869280844 289955840 5644 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828431 0 0 16781312 33554946 9761785258725835010 0 0 17 4 0 0 0
/proc/4299/statm: 70790 5644 319 364 0 5677 0
[pid=4301] ppid=4299 vsize=2504 CPUtime=2.36 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) R 4299 4301 4301 0 -1 4202496 628 0 0 0 236 0 0 0 25 0 1 0 869280844 2564096 367 33554432000 134512640 136139019 4291863888 18446744073709551615 134875841 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4301/statm: 626 367 183 398 0 226 0
[pid=4292/tid=4300] ppid=4290 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4300/stat : 4300 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 18 0 2 0 869280844 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 579068
[startup+11.4638 s]
/proc/loadavg: 4.21 3.03 1.50 3/453 4302
/proc/meminfo: memFree=18587788/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=293404 CPUtime=0.41 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 10725 1326 1 0 35 6 0 0 18 0 2 0 869280770 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4292/statm: 73351 7192 1863 364 0 8238 0
[pid=4299] ppid=4292 vsize=283160 CPUtime=0.03 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 847 0 0 0 1 2 0 0 18 0 1 0 869280844 289955840 5668 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949396 0 0 17 6 0 0 0
/proc/4299/statm: 70790 5668 343 364 0 5677 0
[pid=4301] ppid=4299 vsize=2760 CPUtime=10.73 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) R 4299 4301 4301 0 -1 4202496 689 0 0 0 1073 0 0 0 25 0 1 0 869280844 2826240 428 33554432000 134512640 136139019 4291863888 18446744073709551615 134831272 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4301/statm: 690 428 183 398 0 290 0
[pid=4292/tid=4300] ppid=4290 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4300/stat : 4300 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 18 0 2 0 869280844 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 579324
[startup+12.7006 s]
/proc/loadavg: 4.21 3.03 1.50 3/453 4302
/proc/meminfo: memFree=18587672/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=293404 CPUtime=0.41 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 10725 1326 1 0 35 6 0 0 18 0 2 0 869280770 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4292/statm: 73351 7192 1863 364 0 8238 0
[pid=4299] ppid=4292 vsize=283160 CPUtime=0.03 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 847 0 0 0 1 2 0 0 18 0 1 0 869280844 289955840 5668 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949396 0 0 17 6 0 0 0
/proc/4299/statm: 70790 5668 343 364 0 5677 0
[pid=4301] ppid=4299 vsize=2760 CPUtime=11.96 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) R 4299 4301 4301 0 -1 4202496 703 0 0 0 1196 0 0 0 25 0 1 0 869280844 2826240 442 33554432000 134512640 136139019 4291863888 18446744073709551615 134608184 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4301/statm: 690 442 183 398 0 290 0
[pid=4292/tid=4300] ppid=4290 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4300/stat : 4300 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 18 0 2 0 869280844 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 579324
[startup+25.5003 s]
/proc/loadavg: 4.38 3.13 1.56 3/453 4303
/proc/meminfo: memFree=18588456/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=293404 CPUtime=0.41 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 10725 1326 1 0 35 6 0 0 18 0 2 0 869280770 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4292/statm: 73351 7192 1863 364 0 8238 0
[pid=4299] ppid=4292 vsize=283160 CPUtime=0.08 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 852 0 0 0 4 4 0 0 18 0 1 0 869280844 289955840 5668 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949396 0 0 17 6 0 0 0
/proc/4299/statm: 70790 5668 343 364 0 5677 0
[pid=4301] ppid=4299 vsize=2992 CPUtime=24.76 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) R 4299 4301 4301 0 -1 4202496 757 0 0 0 2476 0 0 0 25 0 1 0 869280844 3063808 496 33554432000 134512640 136139019 4291863888 18446744073709551615 134828746 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4301/statm: 748 496 183 398 0 348 0
[pid=4292/tid=4300] ppid=4290 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4300/stat : 4300 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 18 0 2 0 869280844 300445696 7192 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 579556
[startup+51.1169 s]
/proc/loadavg: 3.68 3.07 1.58 3/461 4311
/proc/meminfo: memFree=18519572/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=304124 CPUtime=0.44 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 11621 1326 1 0 37 7 0 0 20 0 3 0 869280770 311422976 7329 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4292/statm: 76031 7329 1874 364 0 10915 0
[pid=4299] ppid=4292 vsize=293404 CPUtime=0.16 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 1133 0 0 0 8 8 0 0 19 0 2 0 869280844 300445696 5741 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4299/statm: 73351 5741 411 364 0 8238 0
[pid=4301] ppid=4299 vsize=3100 CPUtime=48.15 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) T 4299 4301 4301 0 -1 4202496 786 0 0 0 4815 0 0 0 25 0 1 0 869280844 3174400 525 33554432000 134512640 136139019 4291863888 18446744073709551615 134634755 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/4301/statm: 775 525 183 398 0 375 0
[pid=4299/tid=4308] ppid=4292 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4299/task/4308/stat : 4308 (python) S 4292 4292 3617 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869285660 300445696 5741 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604447205489600 0 0 -1 4 0 0 0
[pid=4309] ppid=4292 vsize=293880 CPUtime=0 cores=0,2,4,6
/proc/4309/stat : 4309 (python) S 4292 4292 3617 0 -1 4202560 776 0 0 0 0 0 0 0 18 0 1 0 869285663 300933120 5771 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828486 0 0 16781312 33554946 3642956170584391680 0 0 17 4 0 0 0
/proc/4309/statm: 73470 5771 320 364 0 8354 0
[pid=4311] ppid=4309 vsize=38692 CPUtime=2.18 cores=0,2,4,6
/proc/4311/stat : 4311 (scip-2.0.1.linu) R 4309 4311 4311 0 -1 4202496 10479 0 0 0 210 8 0 0 21 0 1 0 869285663 39620608 7564 33554432000 4194304 13684479 140736173954432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4311/statm: 9673 7564 838 2317 0 7351 0
[pid=4292/tid=4300] ppid=4290 vsize=304124 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4300/stat : 4300 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 18 0 3 0 869280844 311422976 7329 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
[pid=4292/tid=4310] ppid=4290 vsize=304124 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4310/stat : 4310 (python) S 4290 4292 3617 0 -1 4202560 32 1326 0 0 0 0 0 0 20 0 3 0 869285663 311422976 7329 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 933200
[startup+102.301 s]
/proc/loadavg: 2.73 2.90 1.60 3/466 4318
/proc/meminfo: memFree=18474164/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=314048 CPUtime=0.47 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 12540 1326 1 0 40 7 0 0 20 0 4 0 869280770 321585152 7266 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4292/statm: 78512 7266 1876 364 0 13393 0
[pid=4299] ppid=4292 vsize=293404 CPUtime=0.16 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 1133 0 0 0 8 8 0 0 19 0 2 0 869280844 300445696 5741 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4299/statm: 73351 5741 411 364 0 8238 0
[pid=4301] ppid=4299 vsize=3100 CPUtime=48.15 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) T 4299 4301 4301 0 -1 4202496 786 0 0 0 4815 0 0 0 25 0 1 0 869280844 3174400 525 33554432000 134512640 136139019 4291863888 18446744073709551615 134634755 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/4301/statm: 775 525 183 398 0 375 0
[pid=4299/tid=4308] ppid=4292 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4299/task/4308/stat : 4308 (python) S 4292 4292 3617 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869285660 300445696 5741 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604447205489600 0 0 -1 4 0 0 0
[pid=4309] ppid=4292 vsize=293880 CPUtime=0.21 cores=0,2,4,6
/proc/4309/stat : 4309 (python) S 4292 4292 3617 0 -1 4202560 1134 0 0 0 11 10 0 0 16 0 2 0 869285663 300933120 5843 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4309/statm: 73470 5843 391 364 0 8354 0
[pid=4311] ppid=4309 vsize=50364 CPUtime=48.06 cores=0,2,4,6
/proc/4311/stat : 4311 (scip-2.0.1.linu) T 4309 4311 4311 0 -1 4202496 13296 0 0 0 4726 80 0 0 25 0 1 0 869285663 51572736 10378 33554432000 4194304 13684479 140736173954432 18446744073709551615 7390852 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/4311/statm: 12591 10378 842 2317 0 10269 0
[pid=4309/tid=4315] ppid=4292 vsize=293880 CPUtime=0 cores=0,2,4,6
/proc/4309/task/4315/stat : 4315 (python) S 4292 4292 3617 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869290476 300933120 5843 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604448628371904 0 0 -1 6 0 0 0
[pid=4316] ppid=4292 vsize=303804 CPUtime=0.02 cores=0,2,4,6
/proc/4316/stat : 4316 (python) S 4292 4292 3617 0 -1 4202560 901 0 0 0 1 1 0 0 15 0 1 0 869290478 311095296 5729 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828486 0 0 16781312 33554946 1102047758719615234 0 0 17 2 0 0 0
################
# More data... #
################
[pid=4292/tid=4418] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4418/stat : 4418 (python) S 4290 4292 3617 0 -1 4202560 27 1326 0 0 0 0 0 0 20 0 11 0 869383830 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 2 0 0 0
[pid=4292/tid=4490] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4490/stat : 4490 (python) S 4290 4292 3617 0 -1 4202560 29 1326 0 0 0 0 0 0 20 0 11 0 869449118 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 0 0 0 0
[pid=4292/tid=4498] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4498/stat : 4498 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 20 0 11 0 869453846 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 12772516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.1 s]
/proc/loadavg: 2.85 2.37 2.08 3/535 4509
/proc/meminfo: memFree=11145228/32951132 swapFree=65929880/67111528
[pid=4292] ppid=4290 vsize=386580 CPUtime=0.8 cores=0,2,4,6
/proc/4292/stat : 4292 (python) S 4290 4292 3617 0 -1 4202496 19431 1326 1 0 72 8 0 0 20 0 11 0 869280770 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4292/statm: 96645 7489 1890 364 0 31505 0
[pid=4299] ppid=4292 vsize=293404 CPUtime=0.86 cores=0,2,4,6
/proc/4299/stat : 4299 (python) S 4292 4292 3617 0 -1 4202560 1203 0 0 0 43 43 0 0 18 0 2 0 869280844 300445696 5742 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4299/statm: 73351 5742 412 364 0 8238 0
[pid=4301] ppid=4299 vsize=3632 CPUtime=231.89 cores=0,2,4,6
/proc/4301/stat : 4301 (clasp-1.3.7-x86) T 4299 4301 4301 0 -1 4202496 920 0 0 0 23189 0 0 0 25 0 1 0 869280844 3719168 659 33554432000 134512640 136139019 4291863888 18446744073709551615 134598352 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/4301/statm: 908 659 183 398 0 508 0
[pid=4299/tid=4308] ppid=4292 vsize=293404 CPUtime=0 cores=0,2,4,6
/proc/4299/task/4308/stat : 4308 (python) S 4292 4292 3617 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869285660 300445696 5742 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604447205489600 0 0 -1 4 0 0 0
[pid=4309] ppid=4292 vsize=294128 CPUtime=5 cores=0,2,4,6
/proc/4309/stat : 4309 (python) S 4292 4292 3617 0 -1 4202560 1409 0 0 0 257 243 0 0 15 0 2 0 869285663 301187072 5902 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4309/statm: 73532 5902 393 364 0 8416 0
[pid=4311] ppid=4309 vsize=65932 CPUtime=1069.15 cores=0,2,4,6
/proc/4311/stat : 4311 (scip-2.0.1.linu) T 4309 4311 4311 0 -1 4202496 17397 0 0 0 105267 1648 0 0 18 0 1 0 869285663 67514368 14479 33554432000 4194304 13684479 140736173954432 18446744073709551615 7268354 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4311/statm: 16483 14479 1022 2317 0 14161 0
[pid=4309/tid=4315] ppid=4292 vsize=294128 CPUtime=0 cores=0,2,4,6
/proc/4309/task/4315/stat : 4315 (python) S 4292 4292 3617 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869290476 301187072 5902 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604448628371904 0 0 -1 6 0 0 0
[pid=4316] ppid=4292 vsize=303804 CPUtime=0.41 cores=0,2,4,6
/proc/4316/stat : 4316 (python) S 4292 4292 3617 0 -1 4202560 1136 0 0 0 22 19 0 0 15 0 2 0 869290478 311095296 5778 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4316/statm: 75951 5778 391 364 0 10832 0
[pid=4318] ppid=4316 vsize=45200 CPUtime=93.55 cores=0,2,4,6
/proc/4318/stat : 4318 (scip-2.0.1.linu) T 4316 4318 4318 0 -1 4202496 22447 0 0 0 9295 60 0 0 25 0 1 0 869290478 46284800 8646 33554432000 4194304 15243407 140733705913968 18446744073709551615 7337215 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4318/statm: 11300 8646 966 2698 0 8595 0
[pid=4316/tid=4319] ppid=4292 vsize=303804 CPUtime=0 cores=0,2,4,6
/proc/4316/task/4319/stat : 4319 (python) S 4292 4292 3617 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869295247 311095296 5778 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604448474788800 0 0 -1 6 0 0 0
[pid=4322] ppid=4292 vsize=314720 CPUtime=0.17 cores=0,2,4,6
/proc/4322/stat : 4322 (python) S 4292 4292 3617 0 -1 4202560 1105 0 0 0 9 8 0 0 17 0 2 0 869299769 322273280 5917 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4322/statm: 78680 5917 391 364 0 13558 0
[pid=4324] ppid=4322 vsize=27016 CPUtime=48.17 cores=0,2,4,6
/proc/4324/stat : 4324 (pbct-0.1.2-linu) T 4322 4324 4324 0 -1 4202496 6604 0 0 0 4669 148 0 0 25 0 1 0 869299770 27664384 6273 33554432000 134512640 136422188 4290006736 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/4324/statm: 6754 6273 213 467 0 6285 0
[pid=4322/tid=4326] ppid=4292 vsize=314720 CPUtime=0 cores=0,2,4,6
/proc/4322/task/4326/stat : 4326 (python) S 4292 4292 3617 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869304588 322273280 5917 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604445026443712 0 0 -1 6 0 0 0
[pid=4327] ppid=4292 vsize=324976 CPUtime=0.17 cores=0,2,4,6
/proc/4327/stat : 4327 (python) S 4292 4292 3617 0 -1 4202560 1141 0 0 0 8 9 0 0 19 0 2 0 869304599 332775424 5921 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4327/statm: 81244 5921 391 364 0 16119 0
[pid=4329] ppid=4327 vsize=64680 CPUtime=48.2 cores=0,2,4,6
/proc/4329/stat : 4329 (minion) T 4327 4329 4329 0 -1 4202496 9190 0 0 0 4819 1 0 0 25 0 1 0 869304599 66232320 8918 33554432000 134512640 165565024 4288882864 18446744073709551615 142424584 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/4329/statm: 16170 8918 359 7582 0 8585 0
[pid=4327/tid=4352] ppid=4292 vsize=324976 CPUtime=0 cores=0,2,4,6
/proc/4327/task/4352/stat : 4352 (python) S 4292 4292 3617 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869309420 332775424 5921 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604449992220736 0 0 -1 6 0 0 0
[pid=4364] ppid=4292 vsize=335232 CPUtime=0.18 cores=0,2,4,6
/proc/4364/stat : 4364 (python) S 4292 4292 3617 0 -1 4202560 1120 0 0 0 9 9 0 0 17 0 2 0 869327873 343277568 5931 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4364/statm: 83808 5931 391 364 0 18680 0
[pid=4366] ppid=4364 vsize=8546580 CPUtime=50.27 cores=0,2,4,6
/proc/4366/stat : 4366 (java) T 4364 4366 4366 0 -1 4202496 173888 0 1 0 5002 25 0 0 18 0 19 0 869327873 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4366/statm: 2136645 153757 2248 9 0 2127386 0
[pid=4366/tid=4367] ppid=4364 vsize=8546580 CPUtime=47.86 cores=0,2,4,6
/proc/4366/task/4367/stat : 4367 (java) T 4364 4366 4366 0 -1 4202560 126641 0 1 0 4770 16 0 0 25 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 46912505632298 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4366/tid=4368] ppid=4364 vsize=8546580 CPUtime=0.11 cores=0,2,4,6
/proc/4366/task/4368/stat : 4368 (java) T 4364 4366 4366 0 -1 4202560 5015 0 0 0 11 0 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4366/tid=4369] ppid=4364 vsize=8546580 CPUtime=0.07 cores=0,2,4,6
/proc/4366/task/4369/stat : 4369 (java) T 4364 4366 4366 0 -1 4202560 3217 0 0 0 7 0 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4366/tid=4370] ppid=4364 vsize=8546580 CPUtime=0.07 cores=0,2,4,6
/proc/4366/task/4370/stat : 4370 (java) T 4364 4366 4366 0 -1 4202560 3210 0 0 0 7 0 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4366/tid=4371] ppid=4364 vsize=8546580 CPUtime=0.09 cores=0,2,4,6
/proc/4366/task/4371/stat : 4371 (java) T 4364 4366 4366 0 -1 4202560 4955 0 0 0 8 1 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4366/tid=4372] ppid=4364 vsize=8546580 CPUtime=0.09 cores=0,2,4,6
/proc/4366/task/4372/stat : 4372 (java) T 4364 4366 4366 0 -1 4202560 4203 0 0 0 9 0 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4366/tid=4373] ppid=4364 vsize=8546580 CPUtime=0.06 cores=0,2,4,6
/proc/4366/task/4373/stat : 4373 (java) T 4364 4366 4366 0 -1 4202560 3060 0 0 0 6 0 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4366/tid=4374] ppid=4364 vsize=8546580 CPUtime=0.09 cores=0,2,4,6
/proc/4366/task/4374/stat : 4374 (java) T 4364 4366 4366 0 -1 4202560 3600 0 0 0 9 0 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4366/tid=4375] ppid=4364 vsize=8546580 CPUtime=0.09 cores=0,2,4,6
/proc/4366/task/4375/stat : 4375 (java) T 4364 4366 4366 0 -1 4202560 4110 0 0 0 9 0 0 0 15 0 19 0 869327875 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4366/tid=4376] ppid=4364 vsize=8546580 CPUtime=0.09 cores=0,2,4,6
/proc/4366/task/4376/stat : 4376 (java) T 4364 4366 4366 0 -1 4202560 753 0 0 0 8 1 0 0 15 0 19 0 869327876 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624896 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4366/tid=4377] ppid=4364 vsize=8546580 CPUtime=0 cores=0,2,4,6
/proc/4366/task/4377/stat : 4377 (java) T 4364 4366 4366 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869327877 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4366/tid=4378] ppid=4364 vsize=8546580 CPUtime=0 cores=0,2,4,6
/proc/4366/task/4378/stat : 4378 (java) T 4364 4366 4366 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869327877 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4366/tid=4379] ppid=4364 vsize=8546580 CPUtime=0 cores=0,2,4,6
/proc/4366/task/4379/stat : 4379 (java) T 4364 4366 4366 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327879 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676631985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4366/tid=4380] ppid=4364 vsize=8546580 CPUtime=0.69 cores=0,2,4,6
/proc/4366/task/4380/stat : 4380 (java) T 4364 4366 4366 0 -1 4202560 4911 0 0 0 69 0 0 0 15 0 19 0 869327879 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4366/tid=4381] ppid=4364 vsize=8546580 CPUtime=0.84 cores=0,2,4,6
/proc/4366/task/4381/stat : 4381 (java) T 4364 4366 4366 0 -1 4202560 8818 0 0 0 83 1 0 0 15 0 19 0 869327879 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4366/tid=4382] ppid=4364 vsize=8546580 CPUtime=0 cores=0,2,4,6
/proc/4366/task/4382/stat : 4382 (java) T 4364 4366 4366 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327879 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4366/tid=4383] ppid=4364 vsize=8546580 CPUtime=0 cores=0,2,4,6
/proc/4366/task/4383/stat : 4383 (java) T 4364 4366 4366 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869327879 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624896 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4366/tid=4384] ppid=4364 vsize=8546580 CPUtime=0 cores=0,2,4,6
/proc/4366/task/4384/stat : 4384 (java) T 4364 4366 4366 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869327896 8751697920 153757 33554432000 1073741824 1073778376 140737226550848 18446744073709551615 274676624896 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4364/tid=4385] ppid=4292 vsize=335232 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4385/stat : 4385 (python) S 4292 4292 3617 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869332706 343277568 5931 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604450818959296 0 0 -1 4 0 0 0
[pid=4388] ppid=4292 vsize=344848 CPUtime=0.18 cores=0,2,4,6
/proc/4388/stat : 4388 (python) S 4292 4292 3617 0 -1 4202560 1168 0 0 0 10 8 0 0 19 0 2 0 869337498 353124352 5801 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4388/statm: 86212 5801 391 364 0 21081 0
[pid=4390] ppid=4388 vsize=52988 CPUtime=47.23 cores=0,2,4,6
/proc/4390/stat : 4390 (bsolo_pb10) T 4388 4390 4390 0 -1 4202496 11109 0 0 0 4719 4 0 0 25 0 1 0 869337498 54259712 10819 33554432000 134512640 137138936 4286783648 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/4390/statm: 13247 10819 192 642 0 12603 0
[pid=4388/tid=4392] ppid=4292 vsize=344848 CPUtime=0 cores=0,2,4,6
/proc/4388/task/4392/stat : 4392 (python) S 4292 4292 3617 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869342223 353124352 5801 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604451048551616 0 0 -1 6 0 0 0
[pid=4417] ppid=4292 vsize=356176 CPUtime=0.38 cores=0,2,4,6
/proc/4417/stat : 4417 (python) S 4292 4292 3617 0 -1 4202560 1222 0 0 0 19 19 0 0 19 0 2 0 869383830 364724224 6047 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4417/statm: 89044 6047 397 364 0 23910 0
[pid=4419] ppid=4417 vsize=60732 CPUtime=95.43 cores=0,2,4,6
/proc/4419/stat : 4419 (bsolo_pb10) T 4417 4419 4419 0 -1 4202496 13125 0 0 0 9530 13 0 0 25 0 1 0 869383830 62189568 12725 33554432000 134512640 137138936 4287837216 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/4419/statm: 15183 12725 190 642 0 14539 0
[pid=4417/tid=4422] ppid=4292 vsize=356176 CPUtime=0 cores=0,2,4,6
/proc/4417/task/4422/stat : 4422 (python) S 4292 4292 3617 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869393376 364724224 6047 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604441826052864 0 0 -1 6 0 0 0
[pid=4489] ppid=4292 vsize=366080 CPUtime=0.19 cores=0,2,4,6
/proc/4489/stat : 4489 (python) S 4292 4292 3617 0 -1 4202560 1179 0 0 0 10 9 0 0 19 0 2 0 869449118 374865920 5963 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4489/statm: 91520 5963 397 364 0 26383 0
[pid=4491] ppid=4489 vsize=41272 CPUtime=47.24 cores=0,2,4,6
/proc/4491/stat : 4491 (bsolo_pb10) T 4489 4491 4491 0 -1 4202496 8244 0 0 0 4715 9 0 0 25 0 1 0 869449118 42262528 7886 33554432000 134512640 137138936 4289666928 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/4491/statm: 10318 7886 192 642 0 9674 0
[pid=4489/tid=4496] ppid=4292 vsize=366080 CPUtime=0 cores=0,2,4,6
/proc/4489/task/4496/stat : 4496 (python) S 4292 4292 3617 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869453844 374865920 5963 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554946 18446604452802200512 0 0 -1 6 0 0 0
[pid=4497] ppid=4292 vsize=376336 CPUtime=0.22 cores=0,2,4,6
/proc/4497/stat : 4497 (python) S 4292 4292 3617 0 -1 4202560 974 0 0 0 11 11 0 0 15 0 1 0 869453845 385368064 5939 33554432000 4194304 5683644 140734069697360 18446744073709551615 274664828486 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/4497/statm: 94084 5939 344 364 0 28944 0
[pid=4499] ppid=4497 vsize=168200 CPUtime=60.34 cores=0,2,4,6
/proc/4499/stat : 4499 (wbo1.4a) R 4497 4499 4499 0 -1 4202496 41813 0 0 0 5985 49 0 0 25 0 1 0 869453846 172236800 41532 33554432000 134512640 135751879 4289028448 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4499/statm: 42050 41532 143 303 0 41745 0
[pid=4292/tid=4300] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4300/stat : 4300 (python) S 4290 4292 3617 0 -1 4202560 35 1326 0 0 0 0 0 0 18 0 11 0 869280844 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
[pid=4292/tid=4310] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4310/stat : 4310 (python) S 4290 4292 3617 0 -1 4202560 50 1326 0 0 0 0 0 0 18 0 11 0 869285663 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
[pid=4292/tid=4317] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4317/stat : 4317 (python) S 4290 4292 3617 0 -1 4202560 35 1326 0 0 0 0 0 0 18 0 11 0 869290478 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 2 0 0 0
[pid=4292/tid=4323] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4323/stat : 4323 (python) S 4290 4292 3617 0 -1 4202560 28 1326 0 0 0 0 0 0 20 0 11 0 869299769 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 2 0 0 0
[pid=4292/tid=4328] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4328/stat : 4328 (python) S 4290 4292 3617 0 -1 4202560 31 1326 0 0 0 0 0 0 20 0 11 0 869304599 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 4 0 0 0
[pid=4292/tid=4365] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4365/stat : 4365 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 20 0 11 0 869327873 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
[pid=4292/tid=4389] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4389/stat : 4389 (python) S 4290 4292 3617 0 -1 4202560 31 1326 0 0 0 0 0 0 20 0 11 0 869337498 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 2 0 0 0
[pid=4292/tid=4418] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4418/stat : 4418 (python) S 4290 4292 3617 0 -1 4202560 27 1326 0 0 0 0 0 0 20 0 11 0 869383830 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 2 0 0 0
[pid=4292/tid=4490] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4490/stat : 4490 (python) S 4290 4292 3617 0 -1 4202560 29 1326 0 0 0 0 0 0 20 0 11 0 869449118 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 0 0 0 0
[pid=4292/tid=4498] ppid=4290 vsize=386580 CPUtime=0 cores=0,2,4,6
/proc/4292/task/4498/stat : 4498 (python) S 4290 4292 3617 0 -1 4202560 26 1326 0 0 0 0 0 0 20 0 11 0 869453846 395857920 7489 33554432000 4194304 5683644 140734069697360 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442942486464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 12772516
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4292 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=738887
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=93985
# CPU time returned by wait4() is 0.832872
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.18
CPU time (s): 1800.03
CPU user time (s): 1776.6
CPU system time (s): 23.43
CPU usage (%): 100.494
Max. virtual memory (cumulated for all children) (KiB): 12772516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.738887
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20765
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= 3171
involuntary context switches= 37
runsolver used 13.398 second user time and 26.616 second system time
The end