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-3482216-1307578752/watcher-3482216-1307578752 -o /tmp/evaluation-result-3482216-1307578752/solver-3482216-1307578752 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482216-1307578752.opb -seed 1522333372 -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: 2.03 2.06 1.87 2/708 5509
/proc/meminfo: memFree=14568660/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/5509/stat : 5509 (python) R 5507 5509 4191 0 -1 4202496 893 0 0 0 0 0 0 0 17 0 1 0 869473020 16150528 774 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905391813 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5509/statm: 3943 774 343 364 0 430 0
[startup+0.114635 s]
/proc/loadavg: 2.03 2.06 1.87 2/708 5509
/proc/meminfo: memFree=14568660/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/5509/stat : 5509 (python) R 5507 5509 4191 0 -1 4202496 3169 930 1 0 7 1 0 0 18 0 1 0 869473020 98430976 2483 33554432000 4194304 5683644 140735130950704 18446744073709551615 5178064 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5509/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200611 s]
/proc/loadavg: 2.03 2.06 1.87 2/708 5509
/proc/meminfo: memFree=14568660/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/5509/stat : 5509 (python) R 5507 5509 4191 0 -1 4202496 5357 930 1 0 11 3 0 0 17 0 1 0 869473020 126709760 3744 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905726981 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5509/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300562 s]
/proc/loadavg: 2.03 2.06 1.87 2/708 5509
/proc/meminfo: memFree=14568660/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=182076 CPUtime=0.22 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 6279 930 1 0 16 6 0 0 17 0 1 0 869473020 186445824 4585 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/5509/statm: 45519 4585 1246 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 182076
[startup+0.70052 s]
/proc/loadavg: 2.03 2.06 1.87 2/708 5509
/proc/meminfo: memFree=14568660/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=297608 CPUtime=0.58 cores=1,3,5,7
/proc/5509/stat : 5509 (python) R 5507 5509 4191 0 -1 4202496 12859 930 1 0 49 9 0 0 17 0 1 0 869473020 304750592 10721 33554432000 4194304 5683644 140735130950704 18446744073709551615 47223680620151 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5509/statm: 74402 10721 1781 364 0 9295 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 297608
[startup+1.50037 s]
/proc/loadavg: 1.94 2.04 1.87 3/709 5514
/proc/meminfo: memFree=14515324/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=328048 CPUtime=1.38 cores=1,3,5,7
/proc/5509/stat : 5509 (python) R 5507 5509 4191 0 -1 4202496 20183 930 1 0 128 10 0 0 18 0 1 0 869473020 335921152 18045 33554432000 4194304 5683644 140735130950704 18446744073709551615 4539658 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5509/statm: 82012 18045 1781 364 0 16905 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 328048
[startup+3.1011 s]
/proc/loadavg: 1.94 2.04 1.87 3/709 5514
/proc/meminfo: memFree=14485640/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=336476 CPUtime=2.98 cores=1,3,5,7
/proc/5509/stat : 5509 (python) R 5507 5509 4191 0 -1 4202496 31440 930 1 0 287 11 0 0 21 0 1 0 869473020 344551424 20467 33554432000 4194304 5683644 140735130950704 18446744073709551615 47223521395383 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/5509/statm: 84119 20467 1816 364 0 19012 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 336476
[startup+6.30051 s]
/proc/loadavg: 1.95 2.04 1.87 3/712 5517
/proc/meminfo: memFree=14449332/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=350404 CPUtime=4.08 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 32639 930 1 0 397 11 0 0 25 0 2 0 869473020 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5509/statm: 87601 21440 1870 364 0 22488 0
[pid=5515] ppid=5509 vsize=340160 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (python) S 5509 5509 4191 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 869473440 348323840 19917 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905751055 0 0 16781312 33554946 4294934792 0 0 17 5 0 0 0
/proc/5515/statm: 85040 19917 351 364 0 19927 0
[pid=5517] ppid=5515 vsize=42328 CPUtime=2.07 cores=1,3,5,7
/proc/5517/stat : 5517 (wbo1.4a) R 5515 5517 5517 0 -1 4202496 13806 0 0 0 206 1 0 0 25 0 1 0 869473441 43343872 9518 33554432000 134512640 135751879 4293153792 18446744073709551615 134611204 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5517/statm: 10582 9518 146 303 0 10277 0
[pid=5509/tid=5516] ppid=5507 vsize=350404 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (python) S 5507 5509 4191 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869473441 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 732892
[startup+12.7003 s]
/proc/loadavg: 1.95 2.04 1.87 3/712 5517
/proc/meminfo: memFree=14439548/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=350404 CPUtime=4.08 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 32639 930 1 0 397 11 0 0 25 0 2 0 869473020 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5509/statm: 87601 21440 1870 364 0 22488 0
[pid=5515] ppid=5509 vsize=340160 CPUtime=0.04 cores=1,3,5,7
/proc/5515/stat : 5515 (python) S 5509 5509 4191 0 -1 4202560 893 0 0 0 2 2 0 0 15 0 1 0 869473440 348323840 19941 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905751055 0 0 16781312 33554946 5623753486446373619 0 0 17 7 0 0 0
/proc/5515/statm: 85040 19941 375 364 0 19927 0
[pid=5517] ppid=5515 vsize=50044 CPUtime=8.47 cores=1,3,5,7
/proc/5517/stat : 5517 (wbo1.4a) R 5515 5517 5517 0 -1 4202496 15754 0 0 0 839 8 0 0 25 0 1 0 869473441 51245056 11466 33554432000 134512640 135751879 4293153792 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5517/statm: 12511 11466 146 303 0 12206 0
[pid=5509/tid=5516] ppid=5507 vsize=350404 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (python) S 5507 5509 4191 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869473441 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 740608
[startup+25.501 s]
/proc/loadavg: 1.96 2.04 1.87 3/712 5517
/proc/meminfo: memFree=14418636/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=350404 CPUtime=4.08 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 32639 930 1 0 397 11 0 0 25 0 2 0 869473020 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5509/statm: 87601 21440 1870 364 0 22488 0
[pid=5515] ppid=5509 vsize=340160 CPUtime=0.08 cores=1,3,5,7
/proc/5515/stat : 5515 (python) S 5509 5509 4191 0 -1 4202560 897 0 0 0 4 4 0 0 15 0 1 0 869473440 348323840 19941 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905751055 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/5515/statm: 85040 19941 375 364 0 19927 0
[pid=5517] ppid=5515 vsize=67948 CPUtime=21.28 cores=1,3,5,7
/proc/5517/stat : 5517 (wbo1.4a) R 5515 5517 5517 0 -1 4202496 20204 0 0 0 2114 14 0 0 25 0 1 0 869473441 69578752 15916 33554432000 134512640 135751879 4293153792 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5517/statm: 16987 15916 146 303 0 16682 0
[pid=5509/tid=5516] ppid=5507 vsize=350404 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (python) S 5507 5509 4191 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869473441 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 758512
[startup+51.1004 s]
/proc/loadavg: 1.97 2.03 1.87 3/712 5518
/proc/meminfo: memFree=14390320/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=350404 CPUtime=4.08 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 32639 930 1 0 397 11 0 0 25 0 2 0 869473020 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5509/statm: 87601 21440 1870 364 0 22488 0
[pid=5515] ppid=5509 vsize=340160 CPUtime=0.2 cores=1,3,5,7
/proc/5515/stat : 5515 (python) S 5509 5509 4191 0 -1 4202560 911 0 0 0 11 9 0 0 15 0 1 0 869473440 348323840 19941 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905751055 0 0 16781312 33554946 5623753486446373619 0 0 17 7 0 0 0
/proc/5515/statm: 85040 19941 375 364 0 19927 0
[pid=5517] ppid=5515 vsize=100848 CPUtime=46.88 cores=1,3,5,7
/proc/5517/stat : 5517 (wbo1.4a) R 5515 5517 5517 0 -1 4202496 28425 0 0 0 4663 25 0 0 25 0 1 0 869473441 103268352 24137 33554432000 134512640 135751879 4293153792 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5517/statm: 25212 24137 146 303 0 24907 0
[pid=5509/tid=5516] ppid=5507 vsize=350404 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (python) S 5507 5509 4191 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869473441 358813696 21440 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 791412
[startup+102.301 s]
/proc/loadavg: 1.99 2.02 1.88 3/716 5523
/proc/meminfo: memFree=13355824/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=360660 CPUtime=4.1 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 33515 930 1 0 399 11 0 0 20 0 3 0 869473020 369315840 21447 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5509/statm: 90165 21447 1873 364 0 25049 0
[pid=5515] ppid=5509 vsize=350404 CPUtime=0.22 cores=1,3,5,7
/proc/5515/stat : 5515 (python) S 5509 5509 4191 0 -1 4202560 1072 0 0 0 12 10 0 0 17 0 2 0 869473440 358813696 19977 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5515/statm: 87601 19977 406 364 0 22488 0
[pid=5517] ppid=5515 vsize=101112 CPUtime=47.23 cores=1,3,5,7
/proc/5517/stat : 5517 (wbo1.4a) T 5515 5517 5517 0 -1 4202496 28515 0 0 0 4698 25 0 0 25 0 1 0 869473441 103538688 24227 33554432000 134512640 135751879 4293153792 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5517/statm: 25278 24227 146 303 0 24973 0
[pid=5515/tid=5519] ppid=5509 vsize=350404 CPUtime=0 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (python) S 5509 5509 4191 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869478166 358813696 19977 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461058284480 0 0 -1 7 0 0 0
[pid=5520] ppid=5509 vsize=350416 CPUtime=0.23 cores=1,3,5,7
/proc/5520/stat : 5520 (python) S 5509 5509 4191 0 -1 4202560 948 0 0 0 11 12 0 0 15 0 1 0 869478168 358825984 19942 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905751110 0 0 16781312 33554946 5623311482772007667 0 0 17 1 0 0 0
/proc/5520/statm: 87604 19942 372 364 0 22488 0
[pid=5522] ppid=5520 vsize=1063156 CPUtime=50.76 cores=1,3,5,7
/proc/5522/stat : 5522 (scip-2.0.1.linu) R 5520 5522 5522 0 -1 4202496 265685 0 0 0 4912 164 0 0 25 0 1 0 869478168 1088671744 257787 33554432000 4194304 13684479 140734064304416 18446744073709551615 4508566 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5522/statm: 265789 257787 693 2317 0 263467 0
[pid=5509/tid=5516] ppid=5507 vsize=360660 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (python) S 5507 5509 4191 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 3 0 869473441 369315840 21447 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 5 0 0 0
[pid=5509/tid=5521] ppid=5507 vsize=360660 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (python) S 5507 5509 4191 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 869478168 369315840 21447 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.54
Current children cumulated vsize (KiB) 2225748
[startup+162.301 s]
/proc/loadavg: 2.08 2.05 1.89 3/742 5551
/proc/meminfo: memFree=10468532/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=381172 CPUtime=4.16 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 35305 930 1 0 404 12 0 0 20 0 5 0 869473020 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5509/statm: 95293 21459 1877 364 0 30171 0
[pid=5515] ppid=5509 vsize=350404 CPUtime=0.22 cores=1,3,5,7
/proc/5515/stat : 5515 (python) S 5509 5509 4191 0 -1 4202560 1072 0 0 0 12 10 0 0 17 0 2 0 869473440 358813696 19977 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5515/statm: 87601 19977 406 364 0 22488 0
[pid=5517] ppid=5515 vsize=101112 CPUtime=47.23 cores=1,3,5,7
/proc/5517/stat : 5517 (wbo1.4a) T 5515 5517 5517 0 -1 4202496 28515 0 0 0 4698 25 0 0 25 0 1 0 869473441 103538688 24227 33554432000 134512640 135751879 4293153792 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5517/statm: 25278 24227 146 303 0 24973 0
[pid=5515/tid=5519] ppid=5509 vsize=350404 CPUtime=0 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (python) S 5509 5509 4191 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869478166 358813696 19977 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461058284480 0 0 -1 7 0 0 0
[pid=5520] ppid=5509 vsize=350416 CPUtime=0.25 cores=1,3,5,7
/proc/5520/stat : 5520 (python) S 5509 5509 4191 0 -1 4202560 1111 0 0 0 12 13 0 0 17 0 2 0 869478168 358825984 19967 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5520/statm: 87604 19967 396 364 0 22488 0
[pid=5522] ppid=5520 vsize=1064884 CPUtime=52.25 cores=1,3,5,7
/proc/5522/stat : 5522 (scip-2.0.1.linu) T 5520 5522 5522 0 -1 4202496 266234 0 0 0 5061 164 0 0 25 0 1 0 869478168 1090441216 258336 33554432000 4194304 13684479 140734064304416 18446744073709551615 5110631 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/5522/statm: 266221 258336 693 2317 0 263899 0
[pid=5520/tid=5524] ppid=5509 vsize=350416 CPUtime=0 cores=1,3,5,7
/proc/5520/task/5524/stat : 5524 (python) S 5509 5509 4191 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869483401 358825984 19967 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604469977269376 0 0 -1 1 0 0 0
[pid=5525] ppid=5509 vsize=360672 CPUtime=0.23 cores=1,3,5,7
################
# More data... #
################
[pid=5520] ppid=5509 vsize=350416 CPUtime=0.25 cores=1,3,5,7
/proc/5520/stat : 5520 (python) S 5509 5509 4191 0 -1 4202560 1111 0 0 0 12 13 0 0 17 0 2 0 869478168 358825984 19967 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5520/statm: 87604 19967 396 364 0 22488 0
[pid=5522] ppid=5520 vsize=1064884 CPUtime=52.25 cores=1,3,5,7
/proc/5522/stat : 5522 (scip-2.0.1.linu) T 5520 5522 5522 0 -1 4202496 266234 0 0 0 5061 164 0 0 25 0 1 0 869478168 1090441216 258336 33554432000 4194304 13684479 140734064304416 18446744073709551615 5110631 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/5522/statm: 266221 258336 693 2317 0 263899 0
[pid=5520/tid=5524] ppid=5509 vsize=350416 CPUtime=0 cores=1,3,5,7
/proc/5520/task/5524/stat : 5524 (python) S 5509 5509 4191 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869483401 358825984 19967 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604469977269376 0 0 -1 1 0 0 0
[pid=5525] ppid=5509 vsize=360672 CPUtime=0.23 cores=1,3,5,7
/proc/5525/stat : 5525 (python) S 5509 5509 4191 0 -1 4202560 1100 0 0 0 11 12 0 0 17 0 2 0 869483404 369328128 19971 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5525/statm: 90168 19971 396 364 0 25049 0
[pid=5527] ppid=5525 vsize=8605016 CPUtime=49.26 cores=1,3,5,7
/proc/5527/stat : 5527 (java) T 5525 5527 5527 0 -1 4202496 723319 0 1 0 4845 81 0 0 18 0 19 0 869483404 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5527/statm: 2151254 704736 2246 9 0 2141995 0
[pid=5527/tid=5528] ppid=5525 vsize=8605016 CPUtime=46.04 cores=1,3,5,7
/proc/5527/task/5528/stat : 5528 (java) T 5525 5527 5527 0 -1 4202560 628542 0 1 0 4537 67 0 0 25 0 19 0 869483405 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 46912505803071 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5529] ppid=5525 vsize=8605016 CPUtime=0.14 cores=1,3,5,7
/proc/5527/task/5529/stat : 5529 (java) T 5525 5527 5527 0 -1 4202560 10059 0 0 0 13 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5530] ppid=5525 vsize=8605016 CPUtime=0.08 cores=1,3,5,7
/proc/5527/task/5530/stat : 5530 (java) T 5525 5527 5527 0 -1 4202560 6503 0 0 0 8 0 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5531] ppid=5525 vsize=8605016 CPUtime=0.12 cores=1,3,5,7
/proc/5527/task/5531/stat : 5531 (java) T 5525 5527 5527 0 -1 4202560 7727 0 0 0 11 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5532] ppid=5525 vsize=8605016 CPUtime=0.14 cores=1,3,5,7
/proc/5527/task/5532/stat : 5532 (java) T 5525 5527 5527 0 -1 4202560 11049 0 0 0 13 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5533] ppid=5525 vsize=8605016 CPUtime=0.2 cores=1,3,5,7
/proc/5527/task/5533/stat : 5533 (java) T 5525 5527 5527 0 -1 4202560 13565 0 0 0 19 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5534] ppid=5525 vsize=8605016 CPUtime=0.21 cores=1,3,5,7
/proc/5527/task/5534/stat : 5534 (java) T 5525 5527 5527 0 -1 4202560 15193 0 0 0 19 2 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5535] ppid=5525 vsize=8605016 CPUtime=0.13 cores=1,3,5,7
/proc/5527/task/5535/stat : 5535 (java) T 5525 5527 5527 0 -1 4202560 8616 0 0 0 12 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5527/tid=5536] ppid=5525 vsize=8605016 CPUtime=0.12 cores=1,3,5,7
/proc/5527/task/5536/stat : 5536 (java) T 5525 5527 5527 0 -1 4202560 8985 0 0 0 12 0 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5537] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5537/stat : 5537 (java) T 5525 5527 5527 0 -1 4202560 1272 0 0 0 0 0 0 0 15 0 19 0 869483407 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5538] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5538/stat : 5538 (java) T 5525 5527 5527 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869483407 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5539] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5539/stat : 5539 (java) T 5525 5527 5527 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869483407 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5540] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5540/stat : 5540 (java) T 5525 5527 5527 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5541] ppid=5525 vsize=8605016 CPUtime=1.08 cores=1,3,5,7
/proc/5527/task/5541/stat : 5541 (java) T 5525 5527 5527 0 -1 4202560 5910 0 0 0 108 0 0 0 15 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5527/tid=5542] ppid=5525 vsize=8605016 CPUtime=0.87 cores=1,3,5,7
/proc/5527/task/5542/stat : 5542 (java) T 5525 5527 5527 0 -1 4202560 4506 0 0 0 87 0 0 0 15 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5543] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5543/stat : 5543 (java) T 5525 5527 5527 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5544] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5544/stat : 5544 (java) T 5525 5527 5527 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5545] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5545/stat : 5545 (java) T 5525 5527 5527 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869483569 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5525/tid=5548] ppid=5509 vsize=360672 CPUtime=0 cores=1,3,5,7
/proc/5525/task/5548/stat : 5548 (python) S 5509 5509 4191 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869488050 369328128 19971 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461182603584 0 0 -1 7 0 0 0
[pid=5549] ppid=5509 vsize=370928 CPUtime=7.71 cores=1,3,5,7
/proc/5549/stat : 5549 (python) S 5509 5509 4191 0 -1 4202560 1064 0 0 0 364 407 0 0 16 0 1 0 869488053 379830272 19951 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905751110 0 0 16781312 33554946 5623606151888251635 0 0 17 5 0 0 0
/proc/5549/statm: 92732 19951 373 364 0 27610 0
[pid=5551] ppid=5549 vsize=1189472 CPUtime=1638.71 cores=1,3,5,7
/proc/5551/stat : 5551 (bsolo_pb10) R 5549 5551 5551 0 -1 4202496 19540133 0 0 0 161690 2181 0 0 25 0 1 0 869488053 1218019328 294800 33554432000 134512640 137138936 4289589952 18446744073709551615 134542233 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/5551/statm: 297368 294800 192 642 0 296724 0
[pid=5509/tid=5516] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (python) S 5507 5509 4191 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 5 0 869473441 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 5 0 0 0
[pid=5509/tid=5521] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (python) S 5507 5509 4191 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 869478168 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 1 0 0 0
[pid=5509/tid=5526] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5526/stat : 5526 (python) S 5507 5509 4191 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 869483404 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 1 0 0 0
[pid=5509/tid=5550] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5550/stat : 5550 (python) S 5507 5509 4191 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869488053 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12774076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789 s]
/proc/loadavg: 1.00 1.04 1.32 2/730 5612
/proc/meminfo: memFree=9723820/32951124 swapFree=56930356/67111528
[pid=5509] ppid=5507 vsize=381172 CPUtime=4.16 cores=1,3,5,7
/proc/5509/stat : 5509 (python) S 5507 5509 4191 0 -1 4202496 35305 930 1 0 404 12 0 0 20 0 5 0 869473020 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5509/statm: 95293 21459 1877 364 0 30171 0
[pid=5515] ppid=5509 vsize=350404 CPUtime=0.22 cores=1,3,5,7
/proc/5515/stat : 5515 (python) S 5509 5509 4191 0 -1 4202560 1072 0 0 0 12 10 0 0 17 0 2 0 869473440 358813696 19977 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5515/statm: 87601 19977 406 364 0 22488 0
[pid=5517] ppid=5515 vsize=101112 CPUtime=47.23 cores=1,3,5,7
/proc/5517/stat : 5517 (wbo1.4a) T 5515 5517 5517 0 -1 4202496 28515 0 0 0 4698 25 0 0 25 0 1 0 869473441 103538688 24227 33554432000 134512640 135751879 4293153792 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5517/statm: 25278 24227 146 303 0 24973 0
[pid=5515/tid=5519] ppid=5509 vsize=350404 CPUtime=0 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (python) S 5509 5509 4191 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869478166 358813696 19977 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461058284480 0 0 -1 7 0 0 0
[pid=5520] ppid=5509 vsize=350416 CPUtime=0.25 cores=1,3,5,7
/proc/5520/stat : 5520 (python) S 5509 5509 4191 0 -1 4202560 1111 0 0 0 12 13 0 0 17 0 2 0 869478168 358825984 19967 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5520/statm: 87604 19967 396 364 0 22488 0
[pid=5522] ppid=5520 vsize=1064884 CPUtime=52.25 cores=1,3,5,7
/proc/5522/stat : 5522 (scip-2.0.1.linu) T 5520 5522 5522 0 -1 4202496 266234 0 0 0 5061 164 0 0 25 0 1 0 869478168 1090441216 258336 33554432000 4194304 13684479 140734064304416 18446744073709551615 5110631 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/5522/statm: 266221 258336 693 2317 0 263899 0
[pid=5520/tid=5524] ppid=5509 vsize=350416 CPUtime=0 cores=1,3,5,7
/proc/5520/task/5524/stat : 5524 (python) S 5509 5509 4191 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869483401 358825984 19967 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604469977269376 0 0 -1 1 0 0 0
[pid=5525] ppid=5509 vsize=360672 CPUtime=0.23 cores=1,3,5,7
/proc/5525/stat : 5525 (python) S 5509 5509 4191 0 -1 4202560 1100 0 0 0 11 12 0 0 17 0 2 0 869483404 369328128 19971 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5525/statm: 90168 19971 396 364 0 25049 0
[pid=5527] ppid=5525 vsize=8605016 CPUtime=49.26 cores=1,3,5,7
/proc/5527/stat : 5527 (java) T 5525 5527 5527 0 -1 4202496 723319 0 1 0 4845 81 0 0 18 0 19 0 869483404 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5527/statm: 2151254 704736 2246 9 0 2141995 0
[pid=5527/tid=5528] ppid=5525 vsize=8605016 CPUtime=46.04 cores=1,3,5,7
/proc/5527/task/5528/stat : 5528 (java) T 5525 5527 5527 0 -1 4202560 628542 0 1 0 4537 67 0 0 25 0 19 0 869483405 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 46912505803071 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5529] ppid=5525 vsize=8605016 CPUtime=0.14 cores=1,3,5,7
/proc/5527/task/5529/stat : 5529 (java) T 5525 5527 5527 0 -1 4202560 10059 0 0 0 13 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5530] ppid=5525 vsize=8605016 CPUtime=0.08 cores=1,3,5,7
/proc/5527/task/5530/stat : 5530 (java) T 5525 5527 5527 0 -1 4202560 6503 0 0 0 8 0 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5531] ppid=5525 vsize=8605016 CPUtime=0.12 cores=1,3,5,7
/proc/5527/task/5531/stat : 5531 (java) T 5525 5527 5527 0 -1 4202560 7727 0 0 0 11 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5532] ppid=5525 vsize=8605016 CPUtime=0.14 cores=1,3,5,7
/proc/5527/task/5532/stat : 5532 (java) T 5525 5527 5527 0 -1 4202560 11049 0 0 0 13 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5533] ppid=5525 vsize=8605016 CPUtime=0.2 cores=1,3,5,7
/proc/5527/task/5533/stat : 5533 (java) T 5525 5527 5527 0 -1 4202560 13565 0 0 0 19 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5534] ppid=5525 vsize=8605016 CPUtime=0.21 cores=1,3,5,7
/proc/5527/task/5534/stat : 5534 (java) T 5525 5527 5527 0 -1 4202560 15193 0 0 0 19 2 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5535] ppid=5525 vsize=8605016 CPUtime=0.13 cores=1,3,5,7
/proc/5527/task/5535/stat : 5535 (java) T 5525 5527 5527 0 -1 4202560 8616 0 0 0 12 1 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5527/tid=5536] ppid=5525 vsize=8605016 CPUtime=0.12 cores=1,3,5,7
/proc/5527/task/5536/stat : 5536 (java) T 5525 5527 5527 0 -1 4202560 8985 0 0 0 12 0 0 0 15 0 19 0 869483406 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5537] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5537/stat : 5537 (java) T 5525 5527 5527 0 -1 4202560 1272 0 0 0 0 0 0 0 15 0 19 0 869483407 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5538] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5538/stat : 5538 (java) T 5525 5527 5527 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869483407 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5539] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5539/stat : 5539 (java) T 5525 5527 5527 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869483407 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5540] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5540/stat : 5540 (java) T 5525 5527 5527 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5541] ppid=5525 vsize=8605016 CPUtime=1.08 cores=1,3,5,7
/proc/5527/task/5541/stat : 5541 (java) T 5525 5527 5527 0 -1 4202560 5910 0 0 0 108 0 0 0 15 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5527/tid=5542] ppid=5525 vsize=8605016 CPUtime=0.87 cores=1,3,5,7
/proc/5527/task/5542/stat : 5542 (java) T 5525 5527 5527 0 -1 4202560 4506 0 0 0 87 0 0 0 15 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5543] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5543/stat : 5543 (java) T 5525 5527 5527 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5527/tid=5544] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5544/stat : 5544 (java) T 5525 5527 5527 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869483410 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5527/tid=5545] ppid=5525 vsize=8605016 CPUtime=0 cores=1,3,5,7
/proc/5527/task/5545/stat : 5545 (java) T 5525 5527 5527 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869483569 8811536384 704736 33554432000 1073741824 1073778376 140735471354544 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5525/tid=5548] ppid=5509 vsize=360672 CPUtime=0 cores=1,3,5,7
/proc/5525/task/5548/stat : 5548 (python) S 5509 5509 4191 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869488050 369328128 19971 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554946 18446604461182603584 0 0 -1 7 0 0 0
[pid=5549] ppid=5509 vsize=370928 CPUtime=7.71 cores=1,3,5,7
/proc/5549/stat : 5549 (python) S 5509 5509 4191 0 -1 4202560 1064 0 0 0 364 407 0 0 16 0 1 0 869488053 379830272 19951 33554432000 4194304 5683644 140735130950704 18446744073709551615 218905751110 0 0 16781312 33554946 5623606151888251635 0 0 17 5 0 0 0
/proc/5549/statm: 92732 19951 373 364 0 27610 0
[pid=5551] ppid=5549 vsize=1189472 CPUtime=1638.71 cores=1,3,5,7
/proc/5551/stat : 5551 (bsolo_pb10) R 5549 5551 5551 0 -1 4202496 19540133 0 0 0 161690 2181 0 0 25 0 1 0 869488053 1218019328 294800 33554432000 134512640 137138936 4289589952 18446744073709551615 134542233 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/5551/statm: 297368 294800 192 642 0 296724 0
[pid=5509/tid=5516] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (python) S 5507 5509 4191 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 5 0 869473441 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 5 0 0 0
[pid=5509/tid=5521] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (python) S 5507 5509 4191 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 869478168 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 1 0 0 0
[pid=5509/tid=5526] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5526/stat : 5526 (python) S 5507 5509 4191 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 869483404 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 1 0 0 0
[pid=5509/tid=5550] ppid=5507 vsize=381172 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5550/stat : 5550 (python) S 5507 5509 4191 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869488053 390320128 21459 33554432000 4194304 5683644 140735130950704 18446744073709551615 218917554609 0 0 16781312 33554434 18446604470123190080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12774076
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5509 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=46384
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=130980
# CPU time returned by wait4() is 4.17736
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.06
CPU time (s): 1800.02
CPU user time (s): 1770.97
CPU system time (s): 29.05
CPU usage (%): 100.613
Max. virtual memory (cumulated for all children) (KiB): 12774248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.04638
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36237
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= 1005
involuntary context switches= 19
runsolver used 14.0349 second user time and 36.1475 second system time
The end