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-3482229-1307578729/watcher-3482229-1307578729 -o /tmp/evaluation-result-3482229-1307578729/solver-3482229-1307578729 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482229-1307578729.opb -seed 685542973 -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: 2.10 2.10 1.91 2/866 20711
/proc/meminfo: memFree=5321184/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/20711/stat : 20711 (python) R 20709 20711 17436 0 -1 4202496 1064 0 0 0 0 0 0 0 24 0 1 0 869472657 16633856 935 33554432000 4194304 5683644 140736997170416 18446744073709551615 208079926219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20711/statm: 4061 935 381 364 0 548 0
[startup+0.0520809 s]
/proc/loadavg: 2.10 2.10 1.91 2/866 20711
/proc/meminfo: memFree=5321184/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=30120 CPUtime=0.03 cores=0,2,4,6
/proc/20711/stat : 20711 (python) R 20709 20711 17436 0 -1 4202496 1512 0 0 0 3 0 0 0 24 0 1 0 869472657 30842880 1349 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080230400 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20711/statm: 7530 1349 443 364 0 900 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30120
[startup+0.101074 s]
/proc/loadavg: 2.10 2.10 1.91 2/866 20711
/proc/meminfo: memFree=5321184/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/20711/stat : 20711 (python) R 20709 20711 17436 0 -1 4202496 3170 928 1 0 6 1 0 0 18 0 1 0 869472657 98435072 2484 33554432000 4194304 5683644 140736997170416 18446744073709551615 5168691 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20711/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301035 s]
/proc/loadavg: 2.10 2.10 1.91 2/866 20711
/proc/meminfo: memFree=5321184/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=202996 CPUtime=0.19 cores=0,2,4,6
/proc/20711/stat : 20711 (python) R 20709 20711 17436 0 -1 4202496 6689 928 1 0 16 3 0 0 17 0 1 0 869472657 207867904 4972 33554432000 4194304 5683644 140736997170416 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20711/statm: 50749 4972 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 202996
[startup+0.700907 s]
/proc/loadavg: 2.10 2.10 1.91 2/866 20711
/proc/meminfo: memFree=5321184/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=261392 CPUtime=0.29 cores=0,2,4,6
/proc/20711/stat : 20711 (python) D 20709 20711 17436 0 -1 4202496 8254 928 1 0 24 5 0 0 17 0 1 0 869472657 267665408 6351 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080238135 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/20711/statm: 65348 6351 1677 364 0 5064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 261392
[startup+1.63373 s]
/proc/loadavg: 2.10 2.10 1.91 2/866 20711
/proc/meminfo: memFree=5321184/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=313752 CPUtime=0.99 cores=0,2,4,6
/proc/20711/stat : 20711 (python) R 20709 20711 17436 0 -1 4202496 16791 928 1 0 92 7 0 0 18 0 1 0 869472657 321282048 14653 33554432000 4194304 5683644 140736997170416 18446744073709551615 47122785018971 0 0 16781312 2 0 0 0 17 0 0 0 50
/proc/20711/statm: 78438 14653 1781 364 0 13331 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 313752
[startup+3.10057 s]
/proc/loadavg: 2.10 2.10 1.91 3/867 20716
/proc/meminfo: memFree=5245212/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=336500 CPUtime=2.45 cores=0,2,4,6
/proc/20711/stat : 20711 (python) R 20709 20711 17436 0 -1 4202496 31784 928 1 0 236 9 0 0 20 0 1 0 869472657 344576000 20472 33554432000 4194304 5683644 140736997170416 18446744073709551615 47122625827393 0 0 16781312 33554434 0 0 0 17 0 0 0 50
/proc/20711/statm: 84125 20472 1815 364 0 19018 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 336500
heavy processes:
[startup+6.32084 s]
/proc/loadavg: 2.09 2.09 1.91 3/870 20719
/proc/meminfo: memFree=5188716/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=352520 CPUtime=4.31 cores=0,2,4,6
/proc/20711/stat : 20711 (python) S 20709 20711 17436 0 -1 4202496 33497 928 1 0 421 10 0 0 25 0 2 0 869472657 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 50
/proc/20711/statm: 88130 21961 1862 364 0 23017 0
[pid=20717] ppid=20711 vsize=342276 CPUtime=0 cores=0,2,4,6
/proc/20717/stat : 20717 (python) S 20711 20711 17436 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 869473151 350490624 20446 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080252431 0 0 16781312 33554946 4233254083449815296 0 0 17 0 0 0 0
/proc/20717/statm: 85569 20446 351 364 0 20456 0
[pid=20719] ppid=20717 vsize=53604 CPUtime=1.36 cores=0,2,4,6
/proc/20719/stat : 20719 (wbo1.4a) R 20717 20719 20719 0 -1 4202496 21007 0 0 0 134 2 0 0 25 0 1 0 869473152 54890496 12523 33554432000 134512640 135751879 4292723200 18446744073709551615 135221385 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/20719/statm: 13401 12523 143 303 0 13096 0
[pid=20711/tid=20718] ppid=20709 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20718/stat : 20718 (python) S 20709 20711 17436 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869473152 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 748400
[startup+12.7007 s]
/proc/loadavg: 2.09 2.09 1.91 3/870 20719
/proc/meminfo: memFree=5176408/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=352520 CPUtime=4.31 cores=0,2,4,6
/proc/20711/stat : 20711 (python) S 20709 20711 17436 0 -1 4202496 33497 928 1 0 421 10 0 0 25 0 2 0 869472657 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 50
/proc/20711/statm: 88130 21961 1862 364 0 23017 0
[pid=20717] ppid=20711 vsize=342276 CPUtime=0.04 cores=0,2,4,6
/proc/20717/stat : 20717 (python) S 20711 20711 17436 0 -1 4202560 905 0 0 0 2 2 0 0 15 0 1 0 869473151 350490624 20470 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080252431 0 0 16781312 33554946 4294934784 0 0 17 4 0 0 0
/proc/20717/statm: 85569 20470 375 364 0 20456 0
[pid=20719] ppid=20717 vsize=65344 CPUtime=7.74 cores=0,2,4,6
/proc/20719/stat : 20719 (wbo1.4a) R 20717 20719 20719 0 -1 4202496 46043 0 0 0 766 8 0 0 25 0 1 0 869473152 66912256 15417 33554432000 134512640 135751879 4292723200 18446744073709551615 134616876 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/20719/statm: 16336 15417 146 303 0 16031 0
[pid=20711/tid=20718] ppid=20709 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20718/stat : 20718 (python) S 20709 20711 17436 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869473152 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 760140
[startup+25.5013 s]
/proc/loadavg: 2.07 2.09 1.91 3/870 20720
/proc/meminfo: memFree=5169920/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=352520 CPUtime=4.31 cores=0,2,4,6
/proc/20711/stat : 20711 (python) S 20709 20711 17436 0 -1 4202496 33497 928 1 0 421 10 0 0 25 0 2 0 869472657 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 50
/proc/20711/statm: 88130 21961 1862 364 0 23017 0
[pid=20717] ppid=20711 vsize=342276 CPUtime=0.1 cores=0,2,4,6
/proc/20717/stat : 20717 (python) S 20711 20711 17436 0 -1 4202560 910 0 0 0 5 5 0 0 15 0 1 0 869473151 350490624 20470 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080252431 0 0 16781312 33554946 4294934784 0 0 17 4 0 0 0
/proc/20717/statm: 85569 20470 375 364 0 20456 0
[pid=20719] ppid=20717 vsize=72528 CPUtime=20.54 cores=0,2,4,6
/proc/20719/stat : 20719 (wbo1.4a) R 20717 20719 20719 0 -1 4202496 55757 0 0 0 2039 15 0 0 25 0 1 0 869473152 74268672 17205 33554432000 134512640 135751879 4292723200 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/20719/statm: 18132 17205 146 303 0 17827 0
[pid=20711/tid=20718] ppid=20709 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20718/stat : 20718 (python) S 20709 20711 17436 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869473152 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 767324
[startup+51.1003 s]
/proc/loadavg: 2.04 2.08 1.91 3/870 20720
/proc/meminfo: memFree=5161572/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=352520 CPUtime=4.31 cores=0,2,4,6
/proc/20711/stat : 20711 (python) S 20709 20711 17436 0 -1 4202496 33497 928 1 0 421 10 0 0 25 0 2 0 869472657 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 50
/proc/20711/statm: 88130 21961 1862 364 0 23017 0
[pid=20717] ppid=20711 vsize=342276 CPUtime=0.23 cores=0,2,4,6
/proc/20717/stat : 20717 (python) S 20711 20711 17436 0 -1 4202560 925 0 0 0 12 11 0 0 15 0 1 0 869473151 350490624 20470 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080252431 0 0 16781312 33554946 4294934784 0 0 17 6 0 0 0
/proc/20717/statm: 85569 20470 375 364 0 20456 0
[pid=20719] ppid=20717 vsize=83668 CPUtime=46.12 cores=0,2,4,6
/proc/20719/stat : 20719 (wbo1.4a) R 20717 20719 20719 0 -1 4202496 62539 0 0 0 4589 23 0 0 25 0 1 0 869473152 85676032 19990 33554432000 134512640 135751879 4292723200 18446744073709551615 134611210 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/20719/statm: 20917 19990 146 303 0 20612 0
[pid=20711/tid=20718] ppid=20709 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20718/stat : 20718 (python) S 20709 20711 17436 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869473152 360980480 21961 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 778464
[startup+102.302 s]
/proc/loadavg: 2.02 2.06 1.91 4/896 20748
/proc/meminfo: memFree=3841220/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=373032 CPUtime=4.36 cores=0,2,4,6
/proc/20711/stat : 20711 (python) S 20709 20711 17436 0 -1 4202496 35252 928 1 0 426 10 0 0 20 0 4 0 869472657 381984768 21982 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 50
/proc/20711/statm: 93258 21982 1875 364 0 28139 0
[pid=20717] ppid=20711 vsize=352520 CPUtime=0.25 cores=0,2,4,6
/proc/20717/stat : 20717 (python) S 20711 20711 17436 0 -1 4202560 1085 0 0 0 13 12 0 0 17 0 2 0 869473151 360980480 20506 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20717/statm: 88130 20506 406 364 0 23017 0
[pid=20719] ppid=20717 vsize=83668 CPUtime=47.27 cores=0,2,4,6
/proc/20719/stat : 20719 (wbo1.4a) T 20717 20719 20719 0 -1 4202496 62539 0 0 0 4703 24 0 0 25 0 1 0 869473152 85676032 19990 33554432000 134512640 135751879 4292723200 18446744073709551615 134516976 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/20719/statm: 20917 19990 146 303 0 20612 0
[pid=20717/tid=20722] ppid=20711 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/20717/task/20722/stat : 20722 (python) S 20711 20711 17436 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869477882 360980480 20506 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554946 18446604437074933568 0 0 -1 6 0 0 0
[pid=20723] ppid=20711 vsize=352532 CPUtime=0.23 cores=0,2,4,6
/proc/20723/stat : 20723 (python) S 20711 20711 17436 0 -1 4202560 1106 0 0 0 11 12 0 0 17 0 2 0 869477884 360992768 20496 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20723/statm: 88133 20496 396 364 0 23017 0
[pid=20725] ppid=20723 vsize=994340 CPUtime=47.06 cores=0,2,4,6
/proc/20725/stat : 20725 (scip-2.0.1.linu) T 20723 20725 20725 0 -1 4202496 245242 0 0 0 4604 102 0 0 25 0 1 0 869477885 1018204160 241149 33554432000 4194304 13684479 140733224262160 18446744073709551615 5688591 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20725/statm: 248585 241149 711 2317 0 246263 0
[pid=20723/tid=20727] ppid=20711 vsize=352532 CPUtime=0 cores=0,2,4,6
/proc/20723/task/20727/stat : 20727 (python) S 20711 20711 17436 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869482592 360992768 20496 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554946 18446604441208661184 0 0 -1 6 0 0 0
[pid=20728] ppid=20711 vsize=362788 CPUtime=0 cores=0,2,4,6
/proc/20728/stat : 20728 (python) S 20711 20711 17436 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869482595 371494912 20451 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080252486 0 0 16781312 33554946 2943720385100644352 0 0 17 4 0 0 0
/proc/20728/statm: 90697 20451 348 364 0 25578 0
[pid=20730] ppid=20728 vsize=8545068 CPUtime=4.58 cores=0,2,4,6
/proc/20730/stat : 20730 (java) S 20728 20730 20730 0 -1 4202496 100432 0 1 0 440 18 0 0 20 0 19 0 869482595 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20730/statm: 2136267 93014 2242 9 0 2127008 0
[pid=20730/tid=20731] ppid=20728 vsize=8545068 CPUtime=2.75 cores=0,2,4,6
/proc/20730/task/20731/stat : 20731 (java) R 20728 20730 20730 0 -1 4202560 64553 0 1 0 264 11 0 0 25 0 19 0 869482596 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 46912505793343 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20730/tid=20732] ppid=20728 vsize=8545068 CPUtime=0.09 cores=0,2,4,6
/proc/20730/task/20732/stat : 20732 (java) S 20728 20730 20730 0 -1 4202560 5259 0 0 0 9 0 0 0 16 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 6 0 0 0
[pid=20730/tid=20733] ppid=20728 vsize=8545068 CPUtime=0.04 cores=0,2,4,6
/proc/20730/task/20733/stat : 20733 (java) S 20728 20730 20730 0 -1 4202560 2953 0 0 0 4 0 0 0 16 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 0 0 0 0
[pid=20730/tid=20734] ppid=20728 vsize=8545068 CPUtime=0.04 cores=0,2,4,6
/proc/20730/task/20734/stat : 20734 (java) S 20728 20730 20730 0 -1 4202560 3025 0 0 0 4 0 0 0 16 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 4 0 0 0
[pid=20730/tid=20735] ppid=20728 vsize=8545068 CPUtime=0.04 cores=0,2,4,6
/proc/20730/task/20735/stat : 20735 (java) S 20728 20730 20730 0 -1 4202560 2304 0 0 0 4 0 0 0 15 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 0 0 0 0
[pid=20730/tid=20736] ppid=20728 vsize=8545068 CPUtime=0.02 cores=0,2,4,6
/proc/20730/task/20736/stat : 20736 (java) S 20728 20730 20730 0 -1 4202560 1909 0 0 0 2 0 0 0 15 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 0 0 0 0
[pid=20730/tid=20737] ppid=20728 vsize=8545068 CPUtime=0.03 cores=0,2,4,6
/proc/20730/task/20737/stat : 20737 (java) S 20728 20730 20730 0 -1 4202560 2372 0 0 0 3 0 0 0 16 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 6 0 0 0
[pid=20730/tid=20738] ppid=20728 vsize=8545068 CPUtime=0.07 cores=0,2,4,6
/proc/20730/task/20738/stat : 20738 (java) S 20728 20730 20730 0 -1 4202560 4639 0 0 0 6 1 0 0 15 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 4 0 0 0
[pid=20730/tid=20739] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20739/stat : 20739 (java) S 20728 20730 20730 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869482597 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446604453608552320 0 0 -1 0 0 0 0
[pid=20730/tid=20740] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20740/stat : 20740 (java) S 20728 20730 20730 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 869482598 8750149632 93014 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048896 0 0 0 16800975 18446604453608552320 0 0 -1 6 0 0 0
[pid=20730/tid=20741] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=20760/tid=20772] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20772/stat : 20772 (java) S 20758 20760 20760 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 869497043 8743153664 44246 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20773] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20773/stat : 20773 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869497045 8743153664 44248 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092055985 0 4 0 16800975 18446604453683193920 0 0 -1 6 0 0 0
[pid=20760/tid=20774] ppid=20758 vsize=8538236 CPUtime=0.23 cores=0,2,4,6
/proc/20760/task/20774/stat : 20774 (java) S 20758 20760 20760 0 -1 4202560 2673 0 0 0 23 0 0 0 15 0 18 0 869497045 8743153664 44249 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 4 0 0 0
[pid=20760/tid=20775] ppid=20758 vsize=8538236 CPUtime=0.26 cores=0,2,4,6
/proc/20760/task/20775/stat : 20775 (java) S 20758 20760 20760 0 -1 4202560 2052 0 0 0 26 0 0 0 16 0 18 0 869497045 8743153664 44251 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 6 0 0 0
[pid=20760/tid=20776] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20776/stat : 20776 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869497045 8743153664 44252 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 6 0 0 0
[pid=20760/tid=20777] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20777/stat : 20777 (java) R 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869497045 8743153664 44253 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048896 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20711/tid=20718] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20718/stat : 20718 (python) S 20709 20711 17436 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 6 0 869473152 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
[pid=20711/tid=20724] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20724/stat : 20724 (python) S 20709 20711 17436 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 869477885 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
[pid=20711/tid=20729] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20729/stat : 20729 (python) S 20709 20711 17436 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 869482595 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 6 0 0 0
[pid=20711/tid=20752] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20752/stat : 20752 (python) S 20709 20711 17436 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 6 0 869487408 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
[pid=20711/tid=20759] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20759/stat : 20759 (python) S 20709 20711 17436 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 869497039 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 248.59
Current children cumulated vsize (KiB) 20491404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+244.901 s]
/proc/loadavg: 2.18 2.08 1.93 6/921 20777
/proc/meminfo: memFree=1146204/32950928 swapFree=38525204/67111528
[pid=20711] ppid=20709 vsize=393544 CPUtime=4.42 cores=0,2,4,6
/proc/20711/stat : 20711 (python) S 20709 20711 17436 0 -1 4202496 37066 928 1 0 431 11 0 0 20 0 6 0 869472657 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 50
/proc/20711/statm: 98386 21994 1879 364 0 33261 0
[pid=20717] ppid=20711 vsize=352520 CPUtime=0.25 cores=0,2,4,6
/proc/20717/stat : 20717 (python) S 20711 20711 17436 0 -1 4202560 1085 0 0 0 13 12 0 0 17 0 2 0 869473151 360980480 20506 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20717/statm: 88130 20506 406 364 0 23017 0
[pid=20719] ppid=20717 vsize=83668 CPUtime=47.27 cores=0,2,4,6
/proc/20719/stat : 20719 (wbo1.4a) T 20717 20719 20719 0 -1 4202496 62539 0 0 0 4703 24 0 0 25 0 1 0 869473152 85676032 19990 33554432000 134512640 135751879 4292723200 18446744073709551615 134516976 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/20719/statm: 20917 19990 146 303 0 20612 0
[pid=20717/tid=20722] ppid=20711 vsize=352520 CPUtime=0 cores=0,2,4,6
/proc/20717/task/20722/stat : 20722 (python) S 20711 20711 17436 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869477882 360980480 20506 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554946 18446604437074933568 0 0 -1 6 0 0 0
[pid=20723] ppid=20711 vsize=352532 CPUtime=0.23 cores=0,2,4,6
/proc/20723/stat : 20723 (python) S 20711 20711 17436 0 -1 4202560 1106 0 0 0 11 12 0 0 17 0 2 0 869477884 360992768 20496 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20723/statm: 88133 20496 396 364 0 23017 0
[pid=20725] ppid=20723 vsize=994340 CPUtime=47.06 cores=0,2,4,6
/proc/20725/stat : 20725 (scip-2.0.1.linu) T 20723 20725 20725 0 -1 4202496 245242 0 0 0 4604 102 0 0 25 0 1 0 869477885 1018204160 241149 33554432000 4194304 13684479 140733224262160 18446744073709551615 5688591 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20725/statm: 248585 241149 711 2317 0 246263 0
[pid=20723/tid=20727] ppid=20711 vsize=352532 CPUtime=0 cores=0,2,4,6
/proc/20723/task/20727/stat : 20727 (python) S 20711 20711 17436 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869482592 360992768 20496 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554946 18446604441208661184 0 0 -1 6 0 0 0
[pid=20728] ppid=20711 vsize=428324 CPUtime=0.23 cores=0,2,4,6
/proc/20728/stat : 20728 (python) S 20711 20711 17436 0 -1 4202560 1097 0 0 0 11 12 0 0 17 0 2 0 869482595 438603776 20502 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/20728/statm: 107081 20502 396 364 0 41962 0
[pid=20730] ppid=20728 vsize=8545068 CPUtime=50.76 cores=0,2,4,6
/proc/20730/stat : 20730 (java) T 20728 20730 20730 0 -1 4202496 717576 0 1 0 4966 110 0 0 18 0 19 0 869482595 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20730/statm: 2136267 704086 2246 9 0 2127008 0
[pid=20730/tid=20731] ppid=20728 vsize=8545068 CPUtime=47.6 cores=0,2,4,6
/proc/20730/task/20731/stat : 20731 (java) T 20728 20730 20730 0 -1 4202560 631745 0 1 0 4666 94 0 0 25 0 19 0 869482596 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 46912506014083 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20730/tid=20732] ppid=20728 vsize=8545068 CPUtime=0.21 cores=0,2,4,6
/proc/20730/task/20732/stat : 20732 (java) T 20728 20730 20730 0 -1 4202560 12609 0 0 0 20 1 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20730/tid=20733] ppid=20728 vsize=8545068 CPUtime=0.17 cores=0,2,4,6
/proc/20730/task/20733/stat : 20733 (java) T 20728 20730 20730 0 -1 4202560 9957 0 0 0 15 2 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20730/tid=20734] ppid=20728 vsize=8545068 CPUtime=0.12 cores=0,2,4,6
/proc/20730/task/20734/stat : 20734 (java) T 20728 20730 20730 0 -1 4202560 9058 0 0 0 11 1 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20730/tid=20735] ppid=20728 vsize=8545068 CPUtime=0.14 cores=0,2,4,6
/proc/20730/task/20735/stat : 20735 (java) T 20728 20730 20730 0 -1 4202560 7312 0 0 0 13 1 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20730/tid=20736] ppid=20728 vsize=8545068 CPUtime=0.15 cores=0,2,4,6
/proc/20730/task/20736/stat : 20736 (java) T 20728 20730 20730 0 -1 4202560 8767 0 0 0 14 1 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20730/tid=20737] ppid=20728 vsize=8545068 CPUtime=0.14 cores=0,2,4,6
/proc/20730/task/20737/stat : 20737 (java) T 20728 20730 20730 0 -1 4202560 9196 0 0 0 14 0 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20730/tid=20738] ppid=20728 vsize=8545068 CPUtime=0.18 cores=0,2,4,6
/proc/20730/task/20738/stat : 20738 (java) T 20728 20730 20730 0 -1 4202560 9405 0 0 0 16 2 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20730/tid=20739] ppid=20728 vsize=8545068 CPUtime=0.06 cores=0,2,4,6
/proc/20730/task/20739/stat : 20739 (java) T 20728 20730 20730 0 -1 4202560 2829 0 0 0 6 0 0 0 15 0 19 0 869482597 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20730/tid=20740] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20740/stat : 20740 (java) T 20728 20730 20730 0 -1 4202560 1275 0 0 0 0 0 0 0 15 0 19 0 869482598 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20730/tid=20741] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20741/stat : 20741 (java) T 20728 20730 20730 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869482598 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20730/tid=20742] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20742/stat : 20742 (java) T 20728 20730 20730 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869482598 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20730/tid=20743] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20743/stat : 20743 (java) T 20728 20730 20730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869482601 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20730/tid=20744] ppid=20728 vsize=8545068 CPUtime=0.82 cores=0,2,4,6
/proc/20730/task/20744/stat : 20744 (java) T 20728 20730 20730 0 -1 4202560 8471 0 0 0 80 2 0 0 15 0 19 0 869482601 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20730/tid=20745] ppid=20728 vsize=8545068 CPUtime=1.04 cores=0,2,4,6
/proc/20730/task/20745/stat : 20745 (java) T 20728 20730 20730 0 -1 4202560 5554 0 0 0 104 0 0 0 15 0 19 0 869482601 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20730/tid=20746] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20746/stat : 20746 (java) T 20728 20730 20730 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869482601 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20730/tid=20747] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20747/stat : 20747 (java) T 20728 20730 20730 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869482601 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20730/tid=20748] ppid=20728 vsize=8545068 CPUtime=0 cores=0,2,4,6
/proc/20730/task/20748/stat : 20748 (java) T 20728 20730 20730 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869482796 8750149632 704086 33554432000 1073741824 1073778376 140737020918288 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20728/tid=20750] ppid=20711 vsize=428324 CPUtime=0 cores=0,2,4,6
/proc/20728/task/20750/stat : 20750 (python) S 20711 20711 17436 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869487405 438603776 20502 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554946 18446604449364771776 0 0 -1 0 0 0 0
[pid=20751] ppid=20711 vsize=373044 CPUtime=0.46 cores=0,2,4,6
/proc/20751/stat : 20751 (python) S 20711 20711 17436 0 -1 4202560 1159 0 0 0 22 24 0 0 16 0 2 0 869487407 381997056 20504 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20751/statm: 93261 20504 396 364 0 28139 0
[pid=20753] ppid=20751 vsize=46828 CPUtime=96.28 cores=0,2,4,6
/proc/20753/stat : 20753 (clasp-1.3.7-x86) T 20751 20753 20753 0 -1 4202496 14053 0 0 0 9625 3 0 0 25 0 1 0 869487408 47951872 11434 33554432000 134512640 136139019 4291049696 18446744073709551615 134832480 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/20753/statm: 11707 11434 190 398 0 11307 0
[pid=20751/tid=20757] ppid=20711 vsize=373044 CPUtime=0 cores=0,2,4,6
/proc/20751/task/20757/stat : 20757 (python) S 20711 20711 17436 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869497036 381997056 20504 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554946 18446604446747636992 0 0 -1 6 0 0 0
[pid=20758] ppid=20711 vsize=383300 CPUtime=0 cores=0,2,4,6
/proc/20758/stat : 20758 (python) R 20711 20711 17436 0 -1 4202560 819 0 0 0 0 0 0 0 18 0 1 0 869497039 392499200 20459 33554432000 4194304 5683644 140736997170416 18446744073709551615 208080252486 0 0 16781312 33554946 0 0 0 17 0 0 0 0
/proc/20758/statm: 95825 20459 348 364 0 30700 0
[pid=20760] ppid=20758 vsize=8538236 CPUtime=1.63 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20760 0 -1 4202496 46235 0 1 0 154 9 0 0 20 0 18 0 869497039 8743153664 44016 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20760/statm: 2134559 44017 2229 9 0 2125300 0
[pid=20760/tid=20761] ppid=20758 vsize=8538236 CPUtime=1.02 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) S 20758 20760 20760 0 -1 4202560 35187 0 1 0 95 7 0 0 25 0 18 0 869497040 8743153664 44232 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20762] ppid=20758 vsize=8538236 CPUtime=0.02 cores=0,2,4,6
/proc/20760/task/20762/stat : 20762 (java) S 20758 20760 20760 0 -1 4202560 1398 0 0 0 2 0 0 0 16 0 18 0 869497041 8743153664 44233 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=8538236 CPUtime=0.02 cores=0,2,4,6
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20760 0 -1 4202560 1493 0 0 0 2 0 0 0 16 0 18 0 869497041 8743153664 44235 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 869497041 8743153664 44236 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=8538236 CPUtime=0.03 cores=0,2,4,6
/proc/20760/task/20765/stat : 20765 (java) R 20758 20760 20760 0 -1 4202560 2192 0 0 0 3 0 0 0 15 0 18 0 869497041 8743153664 44237 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 47475103651529 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869497041 8743153664 44239 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20767/stat : 20767 (java) R 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869497041 8743153664 44240 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869497041 8743153664 44241 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869497041 8743153664 44242 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20770] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20770/stat : 20770 (java) S 20758 20760 20760 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 18 0 869497042 8743153664 44244 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 0 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20771] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20771/stat : 20771 (java) S 20758 20760 20760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 869497043 8743153664 44245 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 6 0 0 0
[pid=20760/tid=20772] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20772/stat : 20772 (java) S 20758 20760 20760 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 869497043 8743153664 44246 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 0 0 0 0
[pid=20760/tid=20773] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20773/stat : 20773 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869497045 8743153664 44248 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092055985 0 4 0 16800975 18446604453683193920 0 0 -1 6 0 0 0
[pid=20760/tid=20774] ppid=20758 vsize=8538236 CPUtime=0.23 cores=0,2,4,6
/proc/20760/task/20774/stat : 20774 (java) S 20758 20760 20760 0 -1 4202560 2673 0 0 0 23 0 0 0 15 0 18 0 869497045 8743153664 44249 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 4 0 0 0
[pid=20760/tid=20775] ppid=20758 vsize=8538236 CPUtime=0.26 cores=0,2,4,6
/proc/20760/task/20775/stat : 20775 (java) S 20758 20760 20760 0 -1 4202560 2052 0 0 0 26 0 0 0 16 0 18 0 869497045 8743153664 44251 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 6 0 0 0
[pid=20760/tid=20776] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20776/stat : 20776 (java) S 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869497045 8743153664 44252 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048281 0 4 0 16800975 18446604453683193920 0 0 -1 6 0 0 0
[pid=20760/tid=20777] ppid=20758 vsize=8538236 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20777/stat : 20777 (java) R 20758 20760 20760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869497045 8743153664 44253 33554432000 1073741824 1073778376 140734715383568 18446744073709551615 208092048896 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20711/tid=20718] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20718/stat : 20718 (python) S 20709 20711 17436 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 6 0 869473152 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
[pid=20711/tid=20724] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20724/stat : 20724 (python) S 20709 20711 17436 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 869477885 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
[pid=20711/tid=20729] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20729/stat : 20729 (python) S 20709 20711 17436 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 869482595 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 6 0 0 0
[pid=20711/tid=20752] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20752/stat : 20752 (python) S 20709 20711 17436 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 6 0 869487408 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 0 0 0 0
[pid=20711/tid=20759] ppid=20709 vsize=393544 CPUtime=0 cores=0,2,4,6
/proc/20711/task/20759/stat : 20759 (python) S 20709 20711 17436 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 869497039 402989056 21994 33554432000 4194304 5683644 140736997170416 18446744073709551615 208092055985 0 0 16781312 33554434 18446604446749242304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 248.59
Current children cumulated vsize (KiB) 20491404
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20711 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=319343
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117982
# CPU time returned by wait4() is 4.43733
# while last known CPU time is 248.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 244.997
CPU time (s): 248.59
CPU user time (s): 245.4
CPU system time (s): 3.19
CPU usage (%): 101.467
Max. virtual memory (cumulated for all children) (KiB): 20491404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.31934
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37997
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= 1008
involuntary context switches= 33
runsolver used 1.80672 second user time and 3.9394 second system time
The end