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-3481818-1307576359/watcher-3481818-1307576359 -o /tmp/evaluation-result-3481818-1307576359/solver-3481818-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481818-1307576359.opb -seed 1857836293 -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.31 0.07 0.02 3/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/22423/stat : 22423 (runsolver) S 22421 22423 22387 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 1 0 947868987 12079104 50 33554432000 4194304 5432328 140736547080656 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 1 0 0 0
/proc/22423/statm: 2949 50 31 303 0 2643 0
[startup+0.0449009 s]
/proc/loadavg: 0.31 0.07 0.02 3/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/22423/stat : 22423 (runsolver) S 22421 22423 22387 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 947868987 12079104 53 33554432000 4194304 5432328 140736547080656 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 7 0 0 0
/proc/22423/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100892 s]
/proc/loadavg: 0.31 0.07 0.02 3/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/22423/stat : 22423 (python) D 22421 22423 22387 0 -1 4194304 47 0 0 0 0 0 0 0 19 0 1 0 947868987 1884160 1 33554432000 0 0 140734470923943 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 1
/proc/22423/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300855 s]
/proc/loadavg: 0.31 0.07 0.02 3/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 506 0 6 0 0 0 0 0 17 0 1 0 947868987 15175680 419 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905389925 0 2147483391 4096 0 18446744071699207358 0 0 17 7 0 0 15
/proc/22423/statm: 3705 419 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.700782 s]
/proc/loadavg: 0.31 0.07 0.02 3/482 22425
/proc/meminfo: memFree=25044680/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 706 0 6 0 0 0 0 0 16 0 1 0 947868987 15548416 603 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 20
/proc/22423/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50063 s]
/proc/loadavg: 0.36 0.08 0.03 2/484 22427
/proc/meminfo: memFree=25038096/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=15760 CPUtime=0.01 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 839 0 6 0 0 1 0 0 16 0 1 0 947868987 16138240 727 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 30
/proc/22423/statm: 3940 727 334 364 0 427 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15760
[startup+3.10034 s]
/proc/loadavg: 0.36 0.08 0.03 1/484 22427
/proc/meminfo: memFree=25038472/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=16392 CPUtime=0.02 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 1111 0 6 0 1 1 0 0 16 0 1 0 947868987 16785408 984 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 46
/proc/22423/statm: 4098 984 409 364 0 585 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16392
heavy processes:
[startup+6.30076 s]
/proc/loadavg: 0.36 0.08 0.03 1/484 22427
/proc/meminfo: memFree=25033596/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=29784 CPUtime=0.06 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 1450 0 11 0 3 3 0 0 15 0 1 0 947868987 30498816 1300 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905389925 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 62
/proc/22423/statm: 7446 1300 443 364 0 816 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29784
heavy processes:
[startup+12.7006 s]
/proc/loadavg: 0.46 0.11 0.04 1/484 22435
/proc/meminfo: memFree=24990940/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=200776 CPUtime=0.41 cores=1,3,5,7
/proc/22423/stat : 22423 (python) D 22421 22423 22387 0 -1 4202496 6539 925 76 9 19 22 0 0 15 0 1 0 947868987 205594624 4903 33554432000 4194304 5683644 140734470921520 18446744073709551615 260900474390 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 154
/proc/22423/statm: 50194 4903 1435 364 0 3676 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 200776
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 0.62 0.16 0.05 3/490 22442
/proc/meminfo: memFree=24915296/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=293260 CPUtime=0.68 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 9559 925 111 9 35 33 0 0 18 0 2 0 947868987 300298240 7172 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 186
/proc/22423/statm: 73315 7172 1870 364 0 8202 0
[pid=22437] ppid=22423 vsize=283016 CPUtime=0.03 cores=1,3,5,7
/proc/22437/stat : 22437 (python) S 22423 22423 22387 0 -1 4202560 903 0 0 0 1 2 0 0 15 0 1 0 947870617 289808384 5674 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905414159 0 0 16781312 33554946 3225725846106931200 0 0 17 7 0 0 0
/proc/22437/statm: 70754 5674 376 364 0 5641 0
[pid=22441] ppid=22437 vsize=29732 CPUtime=9.18 cores=1,3,5,7
/proc/22441/stat : 22441 (scip-2.0.1.linu) R 22437 22441 22441 0 -1 4202496 6666 0 0 0 895 23 0 0 25 0 1 0 947870617 30445568 5266 33554432000 4194304 13684479 140736278536176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22441/statm: 7433 5266 803 2317 0 5111 0
[pid=22423/tid=22439] ppid=22421 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22439/stat : 22439 (python) S 22421 22423 22387 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 947870617 300298240 7172 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 606008
heavy processes:
[startup+51.1006 s]
/proc/loadavg: 1.09 0.30 0.10 3/490 22442
/proc/meminfo: memFree=24916264/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=293260 CPUtime=0.68 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 9559 925 111 9 35 33 0 0 18 0 2 0 947868987 300298240 7172 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 186
/proc/22423/statm: 73315 7172 1870 364 0 8202 0
[pid=22437] ppid=22423 vsize=283016 CPUtime=0.12 cores=1,3,5,7
/proc/22437/stat : 22437 (python) S 22423 22423 22387 0 -1 4202560 914 0 0 0 5 7 0 0 15 0 1 0 947870617 289808384 5674 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905414159 0 0 16781312 33554946 5623753486446373742 0 0 17 7 0 0 0
/proc/22437/statm: 70754 5674 376 364 0 5641 0
[pid=22441] ppid=22437 vsize=30304 CPUtime=34.79 cores=1,3,5,7
/proc/22441/stat : 22441 (scip-2.0.1.linu) R 22437 22441 22441 0 -1 4202496 6778 0 0 0 3384 95 0 0 25 0 1 0 947870617 31031296 5378 33554432000 4194304 13684479 140736278536176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22441/statm: 7576 5378 805 2317 0 5254 0
[pid=22423/tid=22439] ppid=22421 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22439/stat : 22439 (python) S 22421 22423 22387 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 947870617 300298240 7172 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 35.59
Current children cumulated vsize (KiB) 606580
heavy processes:
[startup+102.319 s]
/proc/loadavg: 1.64 0.58 0.21 4/498 22452
/proc/meminfo: memFree=24870640/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=304020 CPUtime=0.71 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 10383 925 111 9 38 33 0 0 20 0 3 0 947868987 311316480 7303 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 186
/proc/22423/statm: 76005 7303 1873 364 0 10889 0
[pid=22437] ppid=22423 vsize=293260 CPUtime=0.21 cores=1,3,5,7
/proc/22437/stat : 22437 (python) S 22423 22423 22387 0 -1 4202560 1081 0 0 0 9 12 0 0 17 0 2 0 947870617 300298240 5710 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22437/statm: 73315 5710 407 364 0 8202 0
[pid=22441] ppid=22437 vsize=30064 CPUtime=49.3 cores=1,3,5,7
/proc/22441/stat : 22441 (scip-2.0.1.linu) T 22437 22441 22441 0 -1 4202496 8815 0 0 0 4780 150 0 0 25 0 1 0 947870617 30785536 5311 33554432000 4194304 13684479 140736278536176 18446744073709551615 7361336 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/22441/statm: 7516 5311 816 2317 0 5194 0
[pid=22437/tid=22444] ppid=22423 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/22437/task/22444/stat : 22444 (python) S 22423 22423 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947875548 300298240 5710 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604467811484864 0 0 -1 7 0 0 0
[pid=22445] ppid=22423 vsize=293776 CPUtime=0.13 cores=1,3,5,7
/proc/22445/stat : 22445 (python) S 22423 22423 22387 0 -1 4202560 941 0 0 0 6 7 0 0 15 0 1 0 947875551 300826624 5799 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905414214 0 0 16781312 33554946 5623753486446373742 0 0 17 7 0 0 0
/proc/22445/statm: 73444 5799 373 364 0 8328 0
[pid=22447] ppid=22445 vsize=32008 CPUtime=36.61 cores=1,3,5,7
/proc/22447/stat : 22447 (scip-2.0.1.linu) R 22445 22447 22447 0 -1 4202496 24925 0 0 0 3640 21 0 0 25 0 1 0 947875555 32776192 5400 33554432000 4194304 15243407 140734237474592 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22447/statm: 8002 5400 926 2698 0 5297 0
[pid=22423/tid=22439] ppid=22421 vsize=304020 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22439/stat : 22439 (python) S 22421 22423 22387 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 3 0 947870617 311316480 7303 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
[pid=22423/tid=22446] ppid=22421 vsize=304020 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22446/stat : 22446 (python) S 22421 22423 22387 0 -1 4202560 30 925 0 9 0 0 0 0 20 0 3 0 947875551 311316480 7303 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 86.96
Current children cumulated vsize (KiB) 953128
[startup+162.301 s]
/proc/loadavg: 1.86 0.84 0.32 3/510 22465
/proc/meminfo: memFree=24852100/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=324704 CPUtime=0.77 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 12172 925 111 9 43 34 0 0 20 0 5 0 947868987 332496896 7342 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 186
/proc/22423/statm: 81176 7342 1877 364 0 16054 0
[pid=22437] ppid=22423 vsize=293260 CPUtime=0.21 cores=1,3,5,7
/proc/22437/stat : 22437 (python) S 22423 22423 22387 0 -1 4202560 1081 0 0 0 9 12 0 0 17 0 2 0 947870617 300298240 5710 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22437/statm: 73315 5710 407 364 0 8202 0
[pid=22441] ppid=22437 vsize=30064 CPUtime=49.3 cores=1,3,5,7
/proc/22441/stat : 22441 (scip-2.0.1.linu) T 22437 22441 22441 0 -1 4202496 8815 0 0 0 4780 150 0 0 25 0 1 0 947870617 30785536 5311 33554432000 4194304 13684479 140736278536176 18446744073709551615 7361336 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/22441/statm: 7516 5311 816 2317 0 5194 0
[pid=22437/tid=22444] ppid=22423 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/22437/task/22444/stat : 22444 (python) S 22423 22423 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947875548 300298240 5710 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604467811484864 0 0 -1 7 0 0 0
[pid=22445] ppid=22423 vsize=293776 CPUtime=0.19 cores=1,3,5,7
/proc/22445/stat : 22445 (python) S 22423 22423 22387 0 -1 4202560 1113 0 0 0 9 10 0 0 16 0 2 0 947875551 300826624 5824 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22445/statm: 73444 5824 397 364 0 8328 0
[pid=22447] ppid=22445 vsize=31796 CPUtime=46.39 cores=1,3,5,7
/proc/22447/stat : 22447 (scip-2.0.1.linu) T 22445 22447 22447 0 -1 4202496 25856 0 0 0 4611 28 0 0 25 0 1 0 947875555 32559104 5490 33554432000 4194304 15243407 140734237474592 18446744073709551615 8112832 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/22447/statm: 7949 5490 936 2698 0 5244 0
[pid=22445/tid=22453] ppid=22423 vsize=293776 CPUtime=0 cores=1,3,5,7
/proc/22445/task/22453/stat : 22453 (python) S 22423 22423 22387 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947880196 300826624 5824 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604462099133504 0 0 -1 7 0 0 0
[pid=22454] ppid=22423 vsize=303700 CPUtime=0.18 cores=1,3,5,7
/proc/22454/stat : 22454 (python) S 22423 22423 22387 0 -1 4202560 1156 0 0 0 9 9 0 0 16 0 2 0 947880199 310988800 5752 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22454/statm: 75925 5752 403 364 0 10806 0
[pid=22456] ppid=22454 vsize=2256 CPUtime=48.85 cores=1,3,5,7
/proc/22456/stat : 22456 (clasp-1.3.7-x86) T 22454 22456 22456 0 -1 4202496 587 0 0 0 4885 0 0 0 25 0 1 0 947880199 2310144 319 33554432000 134512640 136139019 4293937584 18446744073709551615 134599813 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/22456/statm: 564 319 184 398 0 164 0
[pid=22454/tid=22462] ppid=22423 vsize=303700 CPUtime=0 cores=1,3,5,7
/proc/22454/task/22462/stat : 22462 (python) S 22423 22423 22387 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947885085 310988800 5752 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470126527552 0 0 -1 7 0 0 0
[pid=22463] ppid=22423 vsize=314460 CPUtime=0 cores=1,3,5,7
/proc/22463/stat : 22463 (python) S 22423 22423 22387 0 -1 4202560 882 0 0 0 0 0 0 0 15 0 1 0 947885087 322007040 5817 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905414214 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/22463/statm: 78615 5817 356 364 0 13493 0
[pid=22465] ppid=22463 vsize=8932 CPUtime=1.29 cores=1,3,5,7
################
# More data... #
################
[pid=22423/tid=22439] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22439/stat : 22439 (python) S 22421 22423 22387 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 7 0 947870617 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
[pid=22423/tid=22446] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22446/stat : 22446 (python) S 22421 22423 22387 0 -1 4202560 30 925 0 9 0 0 0 0 20 0 7 0 947875551 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
[pid=22423/tid=22455] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22455/stat : 22455 (python) S 22421 22423 22387 0 -1 4202560 33 925 0 9 0 0 0 0 18 0 7 0 947880199 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
[pid=22423/tid=22464] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22464/stat : 22464 (python) S 22421 22423 22387 0 -1 4202560 26 925 0 9 0 0 0 0 20 0 7 0 947885087 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 1 0 0 0
[pid=22423/tid=22476] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22476/stat : 22476 (python) S 22421 22423 22387 0 -1 4202560 28 925 0 9 0 0 0 0 20 0 7 0 947894703 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 1 0 0 0
[pid=22423/tid=22548] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22548/stat : 22548 (python) S 22421 22423 22387 0 -1 4202560 30 925 0 9 0 0 0 0 20 0 7 0 947899437 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 291.21
Current children cumulated vsize (KiB) 19541072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+304.72 s]
/proc/loadavg: 2.22 1.35 0.58 2/560 22582
/proc/meminfo: memFree=23522504/32950928 swapFree=61542368/67111528
[pid=22423] ppid=22421 vsize=345380 CPUtime=0.84 cores=1,3,5,7
/proc/22423/stat : 22423 (python) S 22421 22423 22387 0 -1 4202496 13904 925 111 9 50 34 0 0 20 0 7 0 947868987 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 186
/proc/22423/statm: 86345 7395 1881 364 0 21217 0
[pid=22437] ppid=22423 vsize=293260 CPUtime=0.21 cores=1,3,5,7
/proc/22437/stat : 22437 (python) S 22423 22423 22387 0 -1 4202560 1081 0 0 0 9 12 0 0 17 0 2 0 947870617 300298240 5710 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22437/statm: 73315 5710 407 364 0 8202 0
[pid=22441] ppid=22437 vsize=30064 CPUtime=49.3 cores=1,3,5,7
/proc/22441/stat : 22441 (scip-2.0.1.linu) T 22437 22441 22441 0 -1 4202496 8815 0 0 0 4780 150 0 0 25 0 1 0 947870617 30785536 5311 33554432000 4194304 13684479 140736278536176 18446744073709551615 7361336 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/22441/statm: 7516 5311 816 2317 0 5194 0
[pid=22437/tid=22444] ppid=22423 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/22437/task/22444/stat : 22444 (python) S 22423 22423 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947875548 300298240 5710 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604467811484864 0 0 -1 7 0 0 0
[pid=22445] ppid=22423 vsize=293776 CPUtime=0.19 cores=1,3,5,7
/proc/22445/stat : 22445 (python) S 22423 22423 22387 0 -1 4202560 1113 0 0 0 9 10 0 0 16 0 2 0 947875551 300826624 5824 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22445/statm: 73444 5824 397 364 0 8328 0
[pid=22447] ppid=22445 vsize=31796 CPUtime=46.39 cores=1,3,5,7
/proc/22447/stat : 22447 (scip-2.0.1.linu) T 22445 22447 22447 0 -1 4202496 25856 0 0 0 4611 28 0 0 25 0 1 0 947875555 32559104 5490 33554432000 4194304 15243407 140734237474592 18446744073709551615 8112832 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/22447/statm: 7949 5490 936 2698 0 5244 0
[pid=22445/tid=22453] ppid=22423 vsize=293776 CPUtime=0 cores=1,3,5,7
/proc/22445/task/22453/stat : 22453 (python) S 22423 22423 22387 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947880196 300826624 5824 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604462099133504 0 0 -1 7 0 0 0
[pid=22454] ppid=22423 vsize=303700 CPUtime=0.37 cores=1,3,5,7
/proc/22454/stat : 22454 (python) S 22423 22423 22387 0 -1 4202560 1178 0 0 0 19 18 0 0 15 0 2 0 947880199 310988800 5752 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22454/statm: 75925 5752 403 364 0 10806 0
[pid=22456] ppid=22454 vsize=2256 CPUtime=94.05 cores=1,3,5,7
/proc/22456/stat : 22456 (clasp-1.3.7-x86) T 22454 22456 22456 0 -1 4202496 587 0 0 0 9405 0 0 0 25 0 1 0 947880199 2310144 319 33554432000 134512640 136139019 4293937584 18446744073709551615 134629933 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/22456/statm: 564 319 184 398 0 164 0
[pid=22454/tid=22462] ppid=22423 vsize=303700 CPUtime=0 cores=1,3,5,7
/proc/22454/task/22462/stat : 22462 (python) S 22423 22423 22387 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947885085 310988800 5752 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604470126527552 0 0 -1 7 0 0 0
[pid=22463] ppid=22423 vsize=314460 CPUtime=0.22 cores=1,3,5,7
/proc/22463/stat : 22463 (python) S 22423 22423 22387 0 -1 4202560 1190 0 0 0 11 11 0 0 17 0 2 0 947885087 322007040 5865 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22463/statm: 78615 5865 403 364 0 13493 0
[pid=22465] ppid=22463 vsize=189336 CPUtime=50.84 cores=1,3,5,7
/proc/22465/stat : 22465 (wbo1.4a) T 22463 22465 22465 0 -1 4202496 47126 0 0 0 5008 76 0 0 25 0 1 0 947885088 193880064 46851 33554432000 134512640 135751879 4293510480 18446744073709551615 134616361 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/22465/statm: 47334 46851 146 303 0 47029 0
[pid=22463/tid=22473] ppid=22423 vsize=314460 CPUtime=0 cores=1,3,5,7
/proc/22463/task/22473/stat : 22473 (python) S 22423 22423 22387 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947890177 322007040 5865 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466118969408 0 0 -1 7 0 0 0
[pid=22475] ppid=22423 vsize=324880 CPUtime=0.2 cores=1,3,5,7
/proc/22475/stat : 22475 (python) S 22423 22423 22387 0 -1 4202560 1133 0 0 0 8 12 0 0 17 0 2 0 947894702 332677120 5904 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/22475/statm: 81220 5904 397 364 0 16095 0
[pid=22477] ppid=22475 vsize=8544704 CPUtime=48.5 cores=1,3,5,7
/proc/22477/stat : 22477 (java) T 22475 22477 22477 0 -1 4202496 216975 0 117 0 4823 27 0 0 18 0 19 0 947894703 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 10
/proc/22477/statm: 2136176 186348 2237 9 0 2126917 0
[pid=22477/tid=22478] ppid=22475 vsize=8544704 CPUtime=46.54 cores=1,3,5,7
/proc/22477/task/22478/stat : 22478 (java) T 22475 22477 22477 0 -1 4202560 171453 0 59 0 4634 20 0 0 25 0 19 0 947894721 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 46912505929639 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 11
[pid=22477/tid=22479] ppid=22475 vsize=8544704 CPUtime=0.08 cores=1,3,5,7
/proc/22477/task/22479/stat : 22479 (java) T 22475 22477 22477 0 -1 4202560 3761 0 0 0 8 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22477/tid=22480] ppid=22475 vsize=8544704 CPUtime=0.09 cores=1,3,5,7
/proc/22477/task/22480/stat : 22480 (java) T 22475 22477 22477 0 -1 4202560 4439 0 0 0 9 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22477/tid=22481] ppid=22475 vsize=8544704 CPUtime=0.08 cores=1,3,5,7
/proc/22477/task/22481/stat : 22481 (java) T 22475 22477 22477 0 -1 4202560 4271 0 0 0 8 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22477/tid=22482] ppid=22475 vsize=8544704 CPUtime=0.07 cores=1,3,5,7
/proc/22477/task/22482/stat : 22482 (java) T 22475 22477 22477 0 -1 4202560 3549 0 0 0 7 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22483] ppid=22475 vsize=8544704 CPUtime=0.09 cores=1,3,5,7
/proc/22477/task/22483/stat : 22483 (java) T 22475 22477 22477 0 -1 4202560 4821 0 0 0 9 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22484] ppid=22475 vsize=8544704 CPUtime=0.08 cores=1,3,5,7
/proc/22477/task/22484/stat : 22484 (java) T 22475 22477 22477 0 -1 4202560 3551 0 0 0 8 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22485] ppid=22475 vsize=8544704 CPUtime=0.09 cores=1,3,5,7
/proc/22477/task/22485/stat : 22485 (java) T 22475 22477 22477 0 -1 4202560 3861 0 0 0 9 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22486] ppid=22475 vsize=8544704 CPUtime=0.1 cores=1,3,5,7
/proc/22477/task/22486/stat : 22486 (java) T 22475 22477 22477 0 -1 4202560 4829 0 0 0 10 0 0 0 15 0 19 0 947894724 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22477/tid=22487] ppid=22475 vsize=8544704 CPUtime=0 cores=1,3,5,7
/proc/22477/task/22487/stat : 22487 (java) T 22475 22477 22477 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 19 0 947894727 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22488] ppid=22475 vsize=8544704 CPUtime=0 cores=1,3,5,7
/proc/22477/task/22488/stat : 22488 (java) T 22475 22477 22477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947894728 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22489] ppid=22475 vsize=8544704 CPUtime=0 cores=1,3,5,7
/proc/22477/task/22489/stat : 22489 (java) T 22475 22477 22477 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947894728 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22490] ppid=22475 vsize=8544704 CPUtime=0 cores=1,3,5,7
/proc/22477/task/22490/stat : 22490 (java) T 22475 22477 22477 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894734 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22491] ppid=22475 vsize=8544704 CPUtime=0.65 cores=1,3,5,7
/proc/22477/task/22491/stat : 22491 (java) T 22475 22477 22477 0 -1 4202560 7839 0 0 0 65 0 0 0 15 0 19 0 947894734 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22492] ppid=22475 vsize=8544704 CPUtime=0.49 cores=1,3,5,7
/proc/22477/task/22492/stat : 22492 (java) T 22475 22477 22477 0 -1 4202560 2968 0 2 0 49 0 0 0 15 0 19 0 947894734 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22477/tid=22493] ppid=22475 vsize=8544704 CPUtime=0 cores=1,3,5,7
/proc/22477/task/22493/stat : 22493 (java) T 22475 22477 22477 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894734 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22477/tid=22494] ppid=22475 vsize=8544704 CPUtime=0 cores=1,3,5,7
/proc/22477/task/22494/stat : 22494 (java) T 22475 22477 22477 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894734 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22477/tid=22515] ppid=22475 vsize=8544704 CPUtime=0 cores=1,3,5,7
/proc/22477/task/22515/stat : 22515 (java) T 22475 22477 22477 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894759 8749776896 186348 33554432000 1073741824 1073778376 140737473547136 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22475/tid=22543] ppid=22423 vsize=324880 CPUtime=0 cores=1,3,5,7
/proc/22475/task/22543/stat : 22543 (python) S 22423 22423 22387 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947899434 332677120 5904 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554946 18446604456961549568 0 0 -1 5 0 0 0
[pid=22547] ppid=22423 vsize=335136 CPUtime=0 cores=1,3,5,7
/proc/22547/stat : 22547 (python) S 22423 22423 22387 0 -1 4202560 817 0 0 0 0 0 0 0 18 0 1 0 947899437 343179264 5859 33554432000 4194304 5683644 140734470921520 18446744073709551615 260905414214 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/22547/statm: 83784 5859 349 364 0 18656 0
[pid=22549] ppid=22547 vsize=8532324 CPUtime=0.1 cores=1,3,5,7
/proc/22549/stat : 22549 (java) S 22547 22549 22549 0 -1 4202496 5486 0 1 0 9 1 0 0 17 0 18 0 947899437 8737099776 4940 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22549/statm: 2133081 4940 2118 9 0 2123822 0
[pid=22549/tid=22553] ppid=22547 vsize=8532324 CPUtime=0.09 cores=1,3,5,7
/proc/22549/task/22553/stat : 22553 (java) R 22547 22549 22549 0 -1 4202560 3368 0 1 0 9 0 0 0 18 0 18 0 947899451 8737099776 4985 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22549/tid=22554] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22554/stat : 22554 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947899451 8737099776 4985 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22555] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22555/stat : 22555 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 947899451 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22556] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22556/stat : 22556 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 947899451 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22557] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22557/stat : 22557 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947899451 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22558] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22558/stat : 22558 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947899451 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22559] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22559/stat : 22559 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947899451 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22560] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22560/stat : 22560 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947899451 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22561] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22561/stat : 22561 (java) S 22547 22549 22549 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 947899451 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22565] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22565/stat : 22565 (java) S 22547 22549 22549 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 947899452 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210624 0 0 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22569] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22569/stat : 22569 (java) S 22547 22549 22549 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 947899453 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22570] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22570/stat : 22570 (java) S 22547 22549 22549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 947899453 8737099776 4986 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22575] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22575/stat : 22575 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947899455 8737099776 4987 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917217713 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22576] ppid=22547 vsize=8532324 CPUtime=0.01 cores=1,3,5,7
/proc/22549/task/22576/stat : 22576 (java) S 22547 22549 22549 0 -1 4202560 226 0 0 0 1 0 0 0 20 0 18 0 947899455 8737099776 4987 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 1 0 0 0
[pid=22549/tid=22577] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22577/stat : 22577 (java) S 22547 22549 22549 0 -1 4202560 574 0 0 0 0 0 0 0 20 0 18 0 947899455 8737099776 4987 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 7 0 0 0
[pid=22549/tid=22578] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22578/stat : 22578 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947899455 8737099776 4987 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210009 0 4 0 16800975 18446604455016471232 0 0 -1 5 0 0 0
[pid=22549/tid=22579] ppid=22547 vsize=8532324 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22579/stat : 22579 (java) S 22547 22549 22549 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947899455 8737099776 4987 33554432000 1073741824 1073778376 140733301908064 18446744073709551615 260917210624 0 4 0 16800975 18446604455016471232 0 0 -1 1 0 0 0
[pid=22423/tid=22439] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22439/stat : 22439 (python) S 22421 22423 22387 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 7 0 947870617 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
[pid=22423/tid=22446] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22446/stat : 22446 (python) S 22421 22423 22387 0 -1 4202560 30 925 0 9 0 0 0 0 20 0 7 0 947875551 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
[pid=22423/tid=22455] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22455/stat : 22455 (python) S 22421 22423 22387 0 -1 4202560 33 925 0 9 0 0 0 0 18 0 7 0 947880199 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 7 0 0 0
[pid=22423/tid=22464] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22464/stat : 22464 (python) S 22421 22423 22387 0 -1 4202560 26 925 0 9 0 0 0 0 20 0 7 0 947885087 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 1 0 0 0
[pid=22423/tid=22476] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22476/stat : 22476 (python) S 22421 22423 22387 0 -1 4202560 28 925 0 9 0 0 0 0 20 0 7 0 947894703 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 1 0 0 0
[pid=22423/tid=22548] ppid=22421 vsize=345380 CPUtime=0 cores=1,3,5,7
/proc/22423/task/22548/stat : 22548 (python) S 22421 22423 22387 0 -1 4202560 30 925 0 9 0 0 0 0 20 0 7 0 947899437 353669120 7395 33554432000 4194304 5683644 140734470921520 18446744073709551615 260917217713 0 0 16781312 33554434 18446604454462878784 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 291.21
Current children cumulated vsize (KiB) 19541072
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22423 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=507922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=351946
# CPU time returned by wait4() is 0.859868
# while last known CPU time is 291.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.79
CPU time (s): 291.21
CPU user time (s): 287.42
CPU system time (s): 3.79
CPU usage (%): 95.5445
Max. virtual memory (cumulated for all children) (KiB): 19541072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.507922
system time used= 0.351946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14833
page faults= 120
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22578
involuntary context switches= 95
runsolver used 1.72474 second user time and 3.9584 second system time
The end