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-3482456-1307576357/watcher-3482456-1307576357 -o /tmp/evaluation-result-3482456-1307576357/solver-3482456-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482456-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.79 0.18 0.06 4/497 16556
/proc/meminfo: memFree=28549608/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/16556/stat : 16556 (runsolver) S 16550 16556 16517 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869238558 12079104 54 33554432000 4194304 5432328 140734129963568 18446744073709551615 5055479 0 2147483391 4096 24578 0 0 0 17 1 0 0 0
/proc/16556/statm: 2949 54 34 303 0 2643 0
[startup+0.109986 s]
/proc/loadavg: 0.79 0.18 0.06 4/497 16556
/proc/meminfo: memFree=28549608/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=14644 CPUtime=0.09 cores=1,3,5,7
/proc/16556/stat : 16556 (python) R 16550 16556 16517 0 -1 4202496 422 0 0 0 4 5 0 0 19 0 1 0 869238558 14995456 333 33554432000 4194304 5683644 140736723003808 18446744073709551615 4570798 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16556/statm: 3661 333 217 364 0 148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14644
[startup+0.200969 s]
/proc/loadavg: 0.79 0.18 0.06 4/497 16556
/proc/meminfo: memFree=28549608/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=15080 CPUtime=0.14 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 649 0 0 0 8 6 0 0 19 0 1 0 869238558 15441920 545 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/16556/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 15080
[startup+0.300956 s]
/proc/loadavg: 0.79 0.18 0.06 4/497 16556
/proc/meminfo: memFree=28549608/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=15380 CPUtime=0.14 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 810 0 0 0 8 6 0 0 18 0 1 0 869238558 15749120 696 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/16556/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 15380
[startup+0.700888 s]
/proc/loadavg: 0.79 0.18 0.06 4/497 16556
/proc/meminfo: memFree=28549608/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=21128 CPUtime=0.18 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 1313 0 2 0 11 7 0 0 15 0 1 0 869238558 21635072 1166 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 1
/proc/16556/statm: 5282 1166 428 364 0 729 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 21128
[startup+1.50078 s]
/proc/loadavg: 0.79 0.18 0.06 3/499 16558
/proc/meminfo: memFree=28538456/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=58880 CPUtime=0.24 cores=1,3,5,7
/proc/16556/stat : 16556 (python) D 16550 16556 16517 0 -1 4202496 2105 0 10 0 13 11 0 0 16 0 1 0 869238558 60293120 1869 33554432000 4194304 5683644 140736723003808 18446744073709551615 210642222727 0 0 16781312 2 18446744071696489144 0 0 17 7 0 0 5
/proc/16556/statm: 14720 1869 508 364 0 1309 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 58880
[startup+3.10051 s]
/proc/loadavg: 0.79 0.18 0.06 2/499 16558
/proc/meminfo: memFree=28532588/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=58880 CPUtime=0.24 cores=1,3,5,7
/proc/16556/stat : 16556 (python) D 16550 16556 16517 0 -1 4202496 2105 0 10 0 13 11 0 0 16 0 1 0 869238558 60293120 1869 33554432000 4194304 5683644 140736723003808 18446744073709551615 210642222727 0 0 16781312 2 18446744071696489144 0 0 17 7 0 0 5
/proc/16556/statm: 14720 1869 508 364 0 1309 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 58880
heavy processes:
[startup+6.30097 s]
/proc/loadavg: 1.04 0.24 0.08 2/499 16558
/proc/meminfo: memFree=28532596/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=58880 CPUtime=0.24 cores=1,3,5,7
/proc/16556/stat : 16556 (python) D 16550 16556 16517 0 -1 4202496 2105 0 10 0 13 11 0 0 16 0 1 0 869238558 60293120 1869 33554432000 4194304 5683644 140736723003808 18446744073709551615 210642222727 0 0 16781312 2 18446744071696489144 0 0 17 7 0 0 5
/proc/16556/statm: 14720 1869 508 364 0 1309 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 58880
heavy processes:
[startup+12.7009 s]
/proc/loadavg: 1.36 0.32 0.10 3/501 16560
/proc/meminfo: memFree=28526424/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=94064 CPUtime=0.6 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 2786 0 11 0 34 26 0 0 16 0 1 0 869238558 96321536 2468 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 81
/proc/16556/statm: 23516 2468 788 364 0 1627 0
[pid=16560] ppid=16556 vsize=8700 CPUtime=0.02 cores=1,3,5,7
/proc/16560/stat : 16560 (sh) S 16556 16556 16517 0 -1 4202496 306 0 0 0 0 2 0 0 18 0 1 0 869239766 8908800 245 33554432000 4194304 4922060 140733327047888 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/16560/statm: 2175 245 206 178 0 68 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 102764
heavy processes:
[startup+25.5007 s]
/proc/loadavg: 2.53 0.63 0.21 3/505 16572
/proc/meminfo: memFree=28420916/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=293416 CPUtime=1.78 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 9637 925 70 8 128 40 3 7 18 0 2 0 869238558 300457984 7214 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 481
/proc/16556/statm: 73354 7214 1870 364 0 8241 0
[pid=16570] ppid=16556 vsize=283172 CPUtime=0 cores=1,3,5,7
/proc/16570/stat : 16570 (python) S 16556 16556 16517 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 869240943 289968128 5692 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647166479 0 0 16781312 33554946 2891814034586206208 0 0 17 7 0 0 0
/proc/16570/statm: 70793 5692 352 364 0 5680 0
[pid=16572] ppid=16570 vsize=28248 CPUtime=1.65 cores=1,3,5,7
/proc/16572/stat : 16572 (scip-2.0.1.linu) R 16570 16572 16572 0 -1 4202496 5511 0 0 0 146 19 0 0 24 0 1 0 869240943 28925952 4853 33554432000 4194304 13684479 140733563423920 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16572/statm: 7062 4853 765 2317 0 4740 0
[pid=16556/tid=16571] ppid=16550 vsize=293416 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16571/stat : 16571 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 18 0 2 0 869240943 300457984 7214 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 604836
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 3.15 0.93 0.32 3/505 16572
/proc/meminfo: memFree=28385856/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=293416 CPUtime=1.78 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 9637 925 70 8 128 40 3 7 18 0 2 0 869238558 300457984 7214 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 481
/proc/16556/statm: 73354 7214 1870 364 0 8241 0
[pid=16570] ppid=16556 vsize=283172 CPUtime=3.1 cores=1,3,5,7
/proc/16570/stat : 16570 (python) R 16556 16556 16517 0 -1 4202560 988 0 0 0 159 151 0 0 16 0 1 0 869240943 289968128 5721 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647144448 0 0 16781312 33554946 0 0 0 17 1 0 0 0
/proc/16570/statm: 70793 5721 381 364 0 5680 0
[pid=16572] ppid=16570 vsize=60988 CPUtime=27.24 cores=1,3,5,7
/proc/16572/stat : 16572 (scip-2.0.1.linu) R 16570 16572 16572 0 -1 4202496 14501 0 0 0 2624 100 0 0 25 0 1 0 869240943 62451712 13036 33554432000 4194304 13684479 140733563423920 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16572/statm: 15247 13036 820 2317 0 12925 0
[pid=16556/tid=16571] ppid=16550 vsize=293416 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16571/stat : 16571 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 18 0 2 0 869240943 300457984 7214 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 32.12
Current children cumulated vsize (KiB) 637576
heavy processes:
[startup+102.301 s]
/proc/loadavg: 3.56 1.37 0.50 3/509 16648
/proc/meminfo: memFree=28402280/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=304120 CPUtime=1.8 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 10520 925 70 8 130 40 3 7 20 0 3 0 869238558 311418880 7328 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 481
/proc/16556/statm: 76030 7328 1873 364 0 10914 0
[pid=16570] ppid=16556 vsize=293416 CPUtime=4.19 cores=1,3,5,7
/proc/16570/stat : 16570 (python) S 16556 16556 16517 0 -1 4202560 1147 0 0 0 212 207 0 0 17 0 2 0 869240943 300457984 5757 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/16570/statm: 73354 5757 412 364 0 8241 0
[pid=16572] ppid=16570 vsize=60988 CPUtime=48.77 cores=1,3,5,7
/proc/16572/stat : 16572 (scip-2.0.1.linu) T 16570 16572 16572 0 -1 4202496 14503 0 0 0 4648 229 0 0 18 0 1 0 869240943 62451712 13038 33554432000 4194304 13684479 140733563423920 18446744073709551615 7127087 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/16572/statm: 15247 13038 821 2317 0 12925 0
[pid=16570/tid=16610] ppid=16556 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/16570/task/16610/stat : 16610 (python) S 16556 16556 16517 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869245822 300457984 5757 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604463668687168 0 0 -1 1 0 0 0
[pid=16611] ppid=16556 vsize=293876 CPUtime=0.11 cores=1,3,5,7
/proc/16611/stat : 16611 (python) S 16556 16556 16517 0 -1 4202560 939 0 0 0 5 6 0 0 18 0 1 0 869245824 300929024 5824 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647166534 0 0 16781312 33554946 5623753486446373740 0 0 17 7 0 0 0
/proc/16611/statm: 73469 5824 373 364 0 8353 0
[pid=16613] ppid=16611 vsize=3512 CPUtime=29.63 cores=1,3,5,7
/proc/16613/stat : 16613 (clasp-1.3.7-x86) R 16611 16613 16613 0 -1 4202496 903 0 0 0 2963 0 0 0 25 0 1 0 869245825 3596288 637 33554432000 134512640 136139019 4286952400 18446744073709551615 134876516 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/16613/statm: 878 637 184 398 0 478 0
[pid=16556/tid=16571] ppid=16550 vsize=304120 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16571/stat : 16571 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 18 0 3 0 869240943 311418880 7328 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 7 0 0 0
[pid=16556/tid=16612] ppid=16550 vsize=304120 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16612/stat : 16612 (python) S 16550 16556 16517 0 -1 4202560 33 925 0 8 0 0 3 7 20 0 3 0 869245824 311418880 7328 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 84.5
Current children cumulated vsize (KiB) 955912
[startup+162.301 s]
/proc/loadavg: 4.31 2.00 0.77 2/508 16690
/proc/meminfo: memFree=28373216/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=314048 CPUtime=1.82 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 11417 925 70 8 132 40 3 7 20 0 4 0 869238558 321585152 7252 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 481
/proc/16556/statm: 78512 7252 1875 364 0 13393 0
[pid=16570] ppid=16556 vsize=293416 CPUtime=4.19 cores=1,3,5,7
/proc/16570/stat : 16570 (python) S 16556 16556 16517 0 -1 4202560 1147 0 0 0 212 207 0 0 17 0 2 0 869240943 300457984 5757 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/16570/statm: 73354 5757 412 364 0 8241 0
[pid=16572] ppid=16570 vsize=60988 CPUtime=48.77 cores=1,3,5,7
/proc/16572/stat : 16572 (scip-2.0.1.linu) T 16570 16572 16572 0 -1 4202496 14503 0 0 0 4648 229 0 0 18 0 1 0 869240943 62451712 13038 33554432000 4194304 13684479 140733563423920 18446744073709551615 7127087 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/16572/statm: 15247 13038 821 2317 0 12925 0
[pid=16570/tid=16610] ppid=16556 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/16570/task/16610/stat : 16610 (python) S 16556 16556 16517 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869245822 300457984 5757 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604463668687168 0 0 -1 1 0 0 0
[pid=16611] ppid=16556 vsize=293876 CPUtime=0.2 cores=1,3,5,7
/proc/16611/stat : 16611 (python) S 16556 16556 16517 0 -1 4202560 1115 0 0 0 9 11 0 0 19 0 2 0 869245824 300929024 5849 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16611/statm: 73469 5849 397 364 0 8353 0
[pid=16613] ppid=16611 vsize=3780 CPUtime=46.21 cores=1,3,5,7
/proc/16613/stat : 16613 (clasp-1.3.7-x86) T 16611 16613 16613 0 -1 4202496 971 0 0 0 4621 0 0 0 25 0 1 0 869245825 3870720 705 33554432000 134512640 136139019 4286952400 18446744073709551615 134608323 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/16613/statm: 945 705 184 398 0 545 0
[pid=16611/tid=16649] ppid=16556 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/16611/task/16649/stat : 16649 (python) S 16556 16556 16517 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 869250446 300929024 5849 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604456545362944 0 0 -1 7 0 0 0
[pid=16650] ppid=16556 vsize=303804 CPUtime=0.18 cores=1,3,5,7
/proc/16650/stat : 16650 (python) S 16556 16556 16517 0 -1 4202560 930 0 0 0 10 8 0 0 15 0 1 0 869250449 311095296 5746 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647166534 0 0 16781312 33554946 5623753486446373740 0 0 17 7 0 0 0
/proc/16650/statm: 75951 5746 373 364 0 10832 0
[pid=16652] ppid=16650 vsize=60208 CPUtime=43.38 cores=1,3,5,7
/proc/16652/stat : 16652 (scip-2.0.1.linu) R 16650 16652 16652 0 -1 4202496 17162 0 0 0 4313 25 0 0 25 0 1 0 869250449 61652992 12195 33554432000 4194304 15243407 140736994762144 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16652/statm: 15052 12195 945 2698 0 12347 0
[pid=16556/tid=16571] ppid=16550 vsize=314048 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16571/stat : 16571 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 18 0 4 0 869240943 321585152 7252 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 7 0 0 0
[pid=16556/tid=16612] ppid=16550 vsize=314048 CPUtime=0.1 cores=1,3,5,7
################
# More data... #
################
/proc/17257/stat : 17257 (pbct-0.1.2-linu) T 17255 17257 17257 0 -1 4202496 5823 0 0 0 4939 384 0 0 25 0 1 0 869406992 24473600 5542 33554432000 134512640 136422188 4293056624 18446744073709551615 135006609 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/17257/statm: 5975 5542 214 467 0 5506 0
[pid=17255/tid=17260] ppid=16556 vsize=355872 CPUtime=0 cores=1,3,5,7
/proc/17255/task/17260/stat : 17260 (python) S 16556 16556 16517 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869412316 364412928 5978 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604461859279232 0 0 -1 3 0 0 0
[pid=16556/tid=16571] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16571/stat : 16571 (python) S 16550 16556 16517 0 -1 4202560 43 925 0 8 0 0 3 7 18 0 9 0 869240943 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 1 0 0 0
[pid=16556/tid=16612] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16612/stat : 16612 (python) S 16550 16556 16517 0 -1 4202560 43 925 0 8 0 0 3 7 18 0 9 0 869245824 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 5 0 0 0
[pid=16556/tid=16651] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16651/stat : 16651 (python) S 16550 16556 16517 0 -1 4202560 33 925 0 8 0 0 3 7 18 0 9 0 869250449 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 5 0 0 0
[pid=16556/tid=16984] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16984/stat : 16984 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 20 0 9 0 869264357 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 3 0 0 0
[pid=16556/tid=17148] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17148/stat : 17148 (python) S 16550 16556 16517 0 -1 4202560 32 925 0 8 0 0 3 7 20 0 9 0 869288196 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 3 0 0 0
[pid=16556/tid=17196] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17196/stat : 17196 (python) S 16550 16556 16517 0 -1 4202560 29 925 0 8 0 0 3 7 20 0 9 0 869335677 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 3 0 0 0
[pid=16556/tid=17218] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17218/stat : 17218 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 20 0 9 0 869340526 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 5 0 0 0
[pid=16556/tid=17256] ppid=16550 vsize=366116 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17256/stat : 17256 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 20 0 9 0 869406991 374902784 7463 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1774.63
Current children cumulated vsize (KiB) 11857104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.6 s]
/proc/loadavg: 2.03 2.05 1.91 4/595 17262
/proc/meminfo: memFree=26020568/32951132 swapFree=57925100/67111528
[pid=16556] ppid=16550 vsize=365528 CPUtime=2.05 cores=1,3,5,7
/proc/16556/stat : 16556 (python) S 16550 16556 16517 0 -1 4202496 16758 925 70 8 153 42 3 7 18 0 9 0 869238558 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 481
/proc/16556/statm: 91382 7348 1885 364 0 26248 0
[pid=16570] ppid=16556 vsize=293880 CPUtime=9.89 cores=1,3,5,7
/proc/16570/stat : 16570 (python) S 16556 16556 16517 0 -1 4202560 1358 0 0 0 497 492 0 0 15 0 2 0 869240943 300933120 5868 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16570/statm: 73470 5868 415 364 0 8357 0
[pid=16572] ppid=16570 vsize=62632 CPUtime=1096.98 cores=1,3,5,7
/proc/16572/stat : 16572 (scip-2.0.1.linu) T 16570 16572 16572 0 -1 4202496 14823 0 0 0 105185 4513 0 0 18 0 1 0 869240943 64135168 13358 33554432000 4194304 13684479 140733563423920 18446744073709551615 7454160 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16572/statm: 15658 13358 821 2317 0 13336 0
[pid=16570/tid=16610] ppid=16556 vsize=293880 CPUtime=0 cores=1,3,5,7
/proc/16570/task/16610/stat : 16610 (python) S 16556 16556 16517 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869245822 300933120 5868 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604463668687168 0 0 -1 1 0 0 0
[pid=16611] ppid=16556 vsize=293876 CPUtime=1.09 cores=1,3,5,7
/proc/16611/stat : 16611 (python) S 16556 16556 16517 0 -1 4202560 1193 0 0 0 49 60 0 0 18 0 2 0 869245824 300929024 5849 33554432000 4194304 5683644 140736723003808 18446744073709551615 210647166534 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16611/statm: 73469 5849 397 364 0 8353 0
[pid=16613] ppid=16611 vsize=4732 CPUtime=252.21 cores=1,3,5,7
/proc/16613/stat : 16613 (clasp-1.3.7-x86) R 16611 16613 16613 0 -1 4202496 1206 0 0 0 25186 35 0 0 25 0 1 0 869245825 4845568 940 33554432000 134512640 136139019 4286952400 18446744073709551615 134831160 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/16613/statm: 1183 940 184 398 0 783 0
[pid=16611/tid=16649] ppid=16556 vsize=293876 CPUtime=0 cores=1,3,5,7
/proc/16611/task/16649/stat : 16649 (python) S 16556 16556 16517 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 2 0 869250446 300929024 5849 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604456545362944 0 0 -1 7 0 0 0
[pid=16650] ppid=16556 vsize=303804 CPUtime=0.68 cores=1,3,5,7
/proc/16650/stat : 16650 (python) S 16556 16556 16517 0 -1 4202560 1147 0 0 0 35 33 0 0 15 0 2 0 869250449 311095296 5771 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16650/statm: 75951 5771 397 364 0 10832 0
[pid=16652] ppid=16650 vsize=60208 CPUtime=140.57 cores=1,3,5,7
/proc/16652/stat : 16652 (scip-2.0.1.linu) T 16650 16652 16652 0 -1 4202496 17367 0 0 0 13896 161 0 0 25 0 1 0 869250449 61652992 12400 33554432000 4194304 15243407 140736994762144 18446744073709551615 8113495 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/16652/statm: 15052 12400 946 2698 0 12347 0
[pid=16650/tid=16691] ppid=16556 vsize=303804 CPUtime=0 cores=1,3,5,7
/proc/16650/task/16691/stat : 16691 (python) S 16556 16556 16517 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869255125 311095296 5771 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604454836302080 0 0 -1 7 0 0 0
[pid=16983] ppid=16556 vsize=314564 CPUtime=0.22 cores=1,3,5,7
/proc/16983/stat : 16983 (python) S 16556 16556 16517 0 -1 4202560 1147 0 0 0 11 11 0 0 16 0 2 0 869264357 322113536 5904 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16983/statm: 78641 5904 397 364 0 13519 0
[pid=16985] ppid=16983 vsize=119916 CPUtime=50.16 cores=1,3,5,7
/proc/16985/stat : 16985 (wbo1.4a) T 16983 16985 16985 0 -1 4202496 29769 0 0 0 4978 38 0 0 25 0 1 0 869264357 122793984 29491 33554432000 134512640 135751879 4293306704 18446744073709551615 134517424 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/16985/statm: 29979 29491 143 303 0 29674 0
[pid=16983/tid=17042] ppid=16556 vsize=314564 CPUtime=0 cores=1,3,5,7
/proc/16983/task/17042/stat : 17042 (python) S 16556 16556 16517 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869269379 322113536 5904 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604463552259968 0 0 -1 3 0 0 0
[pid=17147] ppid=16556 vsize=324972 CPUtime=0.2 cores=1,3,5,7
/proc/17147/stat : 17147 (python) S 16556 16556 16517 0 -1 4202560 1147 0 0 0 9 11 0 0 19 0 2 0 869288196 332771328 5927 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17147/statm: 81243 5927 397 364 0 16118 0
[pid=17149] ppid=17147 vsize=45788 CPUtime=48.16 cores=1,3,5,7
/proc/17149/stat : 17149 (bsolo_pb10) T 17147 17149 17149 0 -1 4202496 9306 0 0 0 4813 3 0 0 25 0 1 0 869288197 46886912 9021 33554432000 134512640 137138936 4286959472 18446744073709551615 134542497 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/17149/statm: 11447 9021 192 642 0 10803 0
[pid=17147/tid=17152] ppid=16556 vsize=324972 CPUtime=0 cores=1,3,5,7
/proc/17147/task/17152/stat : 17152 (python) S 16556 16556 16517 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869293019 332771328 5927 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604462843982976 0 0 -1 5 0 0 0
[pid=17195] ppid=16556 vsize=335228 CPUtime=0.21 cores=1,3,5,7
/proc/17195/stat : 17195 (python) S 16556 16556 16517 0 -1 4202560 1131 0 0 0 10 11 0 0 17 0 2 0 869335677 343273472 5931 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17195/statm: 83807 5931 397 364 0 18679 0
[pid=17197] ppid=17195 vsize=8546668 CPUtime=50.37 cores=1,3,5,7
/proc/17197/stat : 17197 (java) T 17195 17197 17197 0 -1 4202496 300500 0 1 0 5002 35 0 0 15 0 19 0 869335678 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/17197/statm: 2136667 286815 2234 9 0 2127408 0
[pid=17197/tid=17198] ppid=17195 vsize=8546668 CPUtime=48.21 cores=1,3,5,7
/proc/17197/task/17198/stat : 17198 (java) T 17195 17197 17197 0 -1 4202560 245105 0 1 0 4793 28 0 0 25 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 46912505666248 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17197/tid=17199] ppid=17195 vsize=8546668 CPUtime=0.04 cores=1,3,5,7
/proc/17197/task/17199/stat : 17199 (java) T 17195 17197 17197 0 -1 4202560 3913 0 0 0 4 0 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=8546668 CPUtime=0.07 cores=1,3,5,7
/proc/17197/task/17200/stat : 17200 (java) T 17195 17197 17197 0 -1 4202560 5662 0 0 0 7 0 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=8546668 CPUtime=0.06 cores=1,3,5,7
/proc/17197/task/17201/stat : 17201 (java) T 17195 17197 17197 0 -1 4202560 5827 0 0 0 6 0 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=8546668 CPUtime=0.05 cores=1,3,5,7
/proc/17197/task/17202/stat : 17202 (java) T 17195 17197 17197 0 -1 4202560 3851 0 0 0 5 0 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=8546668 CPUtime=0.09 cores=1,3,5,7
/proc/17197/task/17203/stat : 17203 (java) T 17195 17197 17197 0 -1 4202560 8145 0 0 0 9 0 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=8546668 CPUtime=0.05 cores=1,3,5,7
/proc/17197/task/17204/stat : 17204 (java) T 17195 17197 17197 0 -1 4202560 4585 0 0 0 5 0 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=8546668 CPUtime=0.07 cores=1,3,5,7
/proc/17197/task/17205/stat : 17205 (java) T 17195 17197 17197 0 -1 4202560 5892 0 0 0 6 1 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17197/tid=17206] ppid=17195 vsize=8546668 CPUtime=0.04 cores=1,3,5,7
/proc/17197/task/17206/stat : 17206 (java) T 17195 17197 17197 0 -1 4202560 3711 0 0 0 4 0 0 0 15 0 19 0 869335679 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17197/tid=17207] ppid=17195 vsize=8546668 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17207/stat : 17207 (java) T 17195 17197 17197 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 19 0 869335680 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962944 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17197/tid=17208] ppid=17195 vsize=8546668 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17208/stat : 17208 (java) T 17195 17197 17197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869335681 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17197/tid=17209] ppid=17195 vsize=8546668 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17209/stat : 17209 (java) T 17195 17197 17197 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869335681 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17197/tid=17210] ppid=17195 vsize=8546668 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17210/stat : 17210 (java) T 17195 17197 17197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869335683 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658970033 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17197/tid=17211] ppid=17195 vsize=8546668 CPUtime=0.72 cores=1,3,5,7
/proc/17197/task/17211/stat : 17211 (java) T 17195 17197 17197 0 -1 4202560 5924 0 0 0 72 0 0 0 15 0 19 0 869335683 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17197/tid=17212] ppid=17195 vsize=8546668 CPUtime=0.84 cores=1,3,5,7
/proc/17197/task/17212/stat : 17212 (java) T 17195 17197 17197 0 -1 4202560 5748 0 0 0 84 0 0 0 15 0 19 0 869335683 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17197/tid=17213] ppid=17195 vsize=8546668 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17213/stat : 17213 (java) T 17195 17197 17197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869335683 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17197/tid=17214] ppid=17195 vsize=8546668 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17214/stat : 17214 (java) T 17195 17197 17197 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869335683 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17197/tid=17215] ppid=17195 vsize=8546668 CPUtime=0 cores=1,3,5,7
/proc/17197/task/17215/stat : 17215 (java) T 17195 17197 17197 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869335704 8751788032 286815 33554432000 1073741824 1073778376 140734328379104 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17195/tid=17216] ppid=16556 vsize=335228 CPUtime=0 cores=1,3,5,7
/proc/17195/task/17216/stat : 17216 (python) S 16556 16556 16517 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869340524 343273472 5931 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604462112572608 0 0 -1 7 0 0 0
[pid=17217] ppid=16556 vsize=345484 CPUtime=0.41 cores=1,3,5,7
/proc/17217/stat : 17217 (python) S 16556 16556 16517 0 -1 4202560 1162 0 0 0 19 22 0 0 19 0 2 0 869340526 353775616 5944 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17217/statm: 86371 5944 397 364 0 21240 0
[pid=17219] ppid=17217 vsize=59464 CPUtime=93.4 cores=1,3,5,7
/proc/17219/stat : 17219 (bsolo_pb10) T 17217 17219 17219 0 -1 4202496 12718 0 0 0 9325 15 0 0 25 0 1 0 869340526 60891136 12432 33554432000 134512640 137138936 4286847472 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/17219/statm: 14866 12432 191 642 0 14222 0
[pid=17217/tid=17222] ppid=16556 vsize=345484 CPUtime=0 cores=1,3,5,7
/proc/17217/task/17222/stat : 17222 (python) S 16556 16556 16517 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869349868 353775616 5944 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604465067202752 0 0 -1 7 0 0 0
[pid=17255] ppid=16556 vsize=355872 CPUtime=0.24 cores=1,3,5,7
/proc/17255/stat : 17255 (python) S 16556 16556 16517 0 -1 4202560 1199 0 0 0 11 13 0 0 19 0 2 0 869406991 364412928 5978 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17255/statm: 88968 5978 403 364 0 23834 0
[pid=17257] ppid=17255 vsize=23900 CPUtime=53.23 cores=1,3,5,7
/proc/17257/stat : 17257 (pbct-0.1.2-linu) T 17255 17257 17257 0 -1 4202496 5823 0 0 0 4939 384 0 0 25 0 1 0 869406992 24473600 5542 33554432000 134512640 136422188 4293056624 18446744073709551615 135006609 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/17257/statm: 5975 5542 214 467 0 5506 0
[pid=17255/tid=17260] ppid=16556 vsize=355872 CPUtime=0 cores=1,3,5,7
/proc/17255/task/17260/stat : 17260 (python) S 16556 16556 16517 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869412316 364412928 5978 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554946 18446604461859279232 0 0 -1 3 0 0 0
[pid=16556/tid=16571] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16571/stat : 16571 (python) S 16550 16556 16517 0 -1 4202560 43 925 0 8 0 0 3 7 18 0 9 0 869240943 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 1 0 0 0
[pid=16556/tid=16612] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16612/stat : 16612 (python) S 16550 16556 16517 0 -1 4202560 48 925 0 8 0 0 3 7 18 0 9 0 869245824 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 5 0 0 0
[pid=16556/tid=16651] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16651/stat : 16651 (python) S 16550 16556 16517 0 -1 4202560 33 925 0 8 0 0 3 7 18 0 9 0 869250449 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 5 0 0 0
[pid=16556/tid=16984] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/16984/stat : 16984 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 20 0 9 0 869264357 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 3 0 0 0
[pid=16556/tid=17148] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17148/stat : 17148 (python) S 16550 16556 16517 0 -1 4202560 32 925 0 8 0 0 3 7 20 0 9 0 869288196 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 3 0 0 0
[pid=16556/tid=17196] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17196/stat : 17196 (python) S 16550 16556 16517 0 -1 4202560 29 925 0 8 0 0 3 7 20 0 9 0 869335677 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 3 0 0 0
[pid=16556/tid=17218] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17218/stat : 17218 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 20 0 9 0 869340526 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 5 0 0 0
[pid=16556/tid=17256] ppid=16550 vsize=365528 CPUtime=0.1 cores=1,3,5,7
/proc/16556/task/17256/stat : 17256 (python) S 16550 16556 16517 0 -1 4202560 27 925 0 8 0 0 3 7 20 0 9 0 869406991 374300672 7348 33554432000 4194304 5683644 140736723003808 18446744073709551615 210658970033 0 0 16781312 33554434 18446604469935028160 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11856516
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 16556 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=615754
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=502923
# CPU time returned by wait4() is 2.11868
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1807.69
CPU time (s): 1800.07
CPU user time (s): 1741.21
CPU system time (s): 58.86
CPU usage (%): 99.5782
Max. virtual memory (cumulated for all children) (KiB): 11857108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61575
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17902
page faults= 78
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9922
involuntary context switches= 217
runsolver used 12.0792 second user time and 26.9519 second system time
The end