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-3481639-1307577651/watcher-3481639-1307577651 -o /tmp/evaluation-result-3481639-1307577651/solver-3481639-1307577651 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481639-1307577651.opb -seed 2140946067 -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.13 2.07 1.52 2/572 21870
/proc/meminfo: memFree=30894196/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=15908 CPUtime=0 cores=1,3,5,7
/proc/21870/stat : 21870 (python) R 21868 21870 21589 0 -1 4202496 981 0 0 0 0 0 0 0 17 0 1 0 850181464 16289792 856 33554432000 4194304 5683644 140735298014608 18446744073709551615 5098080 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21870/statm: 4042 858 362 364 0 529 0
[startup+0.059469 s]
/proc/loadavg: 2.13 2.07 1.52 2/572 21870
/proc/meminfo: memFree=30894196/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=29788 CPUtime=0.03 cores=1,3,5,7
/proc/21870/stat : 21870 (python) R 21868 21870 21589 0 -1 4202496 1415 0 0 0 3 0 0 0 17 0 1 0 850181464 30502912 1258 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039316165 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21870/statm: 7447 1258 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.10046 s]
/proc/loadavg: 2.13 2.07 1.52 2/572 21870
/proc/meminfo: memFree=30894196/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=85364 CPUtime=0.05 cores=1,3,5,7
/proc/21870/stat : 21870 (python) R 21868 21870 21589 0 -1 4202496 2605 0 0 0 4 1 0 0 17 0 1 0 850181464 87412736 2325 33554432000 4194304 5683644 140735298014608 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21870/statm: 21341 2328 715 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.300465 s]
/proc/loadavg: 2.13 2.07 1.52 2/572 21870
/proc/meminfo: memFree=30894196/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 5358 930 1 0 11 5 0 0 16 0 1 0 850181464 126713856 3745 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039651333 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/21870/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700392 s]
/proc/loadavg: 2.13 2.07 1.52 2/572 21870
/proc/meminfo: memFree=30894196/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=282272 CPUtime=0.41 cores=1,3,5,7
/proc/21870/stat : 21870 (python) R 21868 21870 21589 0 -1 4202496 8990 930 1 0 30 11 0 0 15 0 1 0 850181464 289046528 6882 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051484530 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21870/statm: 70567 6882 1763 364 0 5460 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282272
[startup+1.50018 s]
/proc/loadavg: 2.13 2.07 1.52 3/573 21875
/proc/meminfo: memFree=30861268/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=303768 CPUtime=1.15 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 13835 930 1 0 102 13 0 0 18 0 2 0 850181464 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21870/statm: 75942 9781 1870 364 0 10829 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 303768
[startup+3.10089 s]
/proc/loadavg: 2.13 2.07 1.52 3/576 21878
/proc/meminfo: memFree=30769112/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=303768 CPUtime=1.15 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 13835 930 1 0 102 13 0 0 18 0 2 0 850181464 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21870/statm: 75942 9781 1870 364 0 10829 0
[pid=21876] ppid=21870 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/21876/stat : 21876 (python) S 21870 21870 21589 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 850181607 300568576 8258 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039675407 0 0 16781312 33554946 18032403463358349576 0 0 17 5 0 0 0
/proc/21876/statm: 73381 8258 351 364 0 8268 0
[pid=21878] ppid=21876 vsize=147720 CPUtime=1.63 cores=1,3,5,7
/proc/21878/stat : 21878 (scip-2.0.1.linu) R 21876 21878 21878 0 -1 4202496 35340 0 0 0 146 17 0 0 18 0 1 0 850181607 151265280 33388 33554432000 4194304 13684479 140734647291760 18446744073709551615 7106144 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/21878/statm: 36930 33388 751 2317 0 34608 0
[pid=21870/tid=21877] ppid=21868 vsize=303768 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21877/stat : 21877 (python) S 21868 21870 21589 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 850181607 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 745012
[startup+6.30035 s]
/proc/loadavg: 2.28 2.10 1.53 3/576 21878
/proc/meminfo: memFree=30717076/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=303768 CPUtime=1.15 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 13835 930 1 0 102 13 0 0 18 0 2 0 850181464 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21870/statm: 75942 9781 1870 364 0 10829 0
[pid=21876] ppid=21870 vsize=293524 CPUtime=0.02 cores=1,3,5,7
/proc/21876/stat : 21876 (python) S 21870 21870 21589 0 -1 4202560 914 0 0 0 1 1 0 0 15 0 1 0 850181607 300568576 8282 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039675407 0 0 16781312 33554946 18032403463358349576 0 0 17 5 0 0 0
/proc/21876/statm: 73381 8282 375 364 0 8268 0
[pid=21878] ppid=21876 vsize=157116 CPUtime=4.84 cores=1,3,5,7
/proc/21878/stat : 21878 (scip-2.0.1.linu) R 21876 21878 21878 0 -1 4202496 37666 0 0 0 461 23 0 0 25 0 1 0 850181607 160886784 35668 33554432000 4194304 13684479 140734647291760 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21878/statm: 39279 35668 801 2317 0 36957 0
[pid=21870/tid=21877] ppid=21868 vsize=303768 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21877/stat : 21877 (python) S 21868 21870 21589 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 850181607 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 754408
[startup+12.7002 s]
/proc/loadavg: 2.26 2.10 1.54 3/576 21887
/proc/meminfo: memFree=30713912/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=303768 CPUtime=1.15 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 13835 930 1 0 102 13 0 0 18 0 2 0 850181464 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21870/statm: 75942 9781 1870 364 0 10829 0
[pid=21876] ppid=21870 vsize=293524 CPUtime=0.04 cores=1,3,5,7
/proc/21876/stat : 21876 (python) S 21870 21870 21589 0 -1 4202560 922 0 0 0 2 2 0 0 15 0 1 0 850181607 300568576 8282 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039675407 0 0 16781312 33554946 97948799359516672 0 0 17 5 0 0 0
/proc/21876/statm: 73381 8282 375 364 0 8268 0
[pid=21878] ppid=21876 vsize=160032 CPUtime=11.23 cores=1,3,5,7
/proc/21878/stat : 21878 (scip-2.0.1.linu) R 21876 21878 21878 0 -1 4202496 38454 0 0 0 1093 30 0 0 25 0 1 0 850181607 163872768 36456 33554432000 4194304 13684479 140734647291760 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21878/statm: 40008 36456 801 2317 0 37686 0
[pid=21870/tid=21877] ppid=21868 vsize=303768 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21877/stat : 21877 (python) S 21868 21870 21589 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 850181607 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 757324
[startup+25.5009 s]
/proc/loadavg: 2.20 2.10 1.54 3/576 21888
/proc/meminfo: memFree=30706520/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=303768 CPUtime=1.15 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 13835 930 1 0 102 13 0 0 18 0 2 0 850181464 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/21870/statm: 75942 9781 1870 364 0 10829 0
[pid=21876] ppid=21870 vsize=293524 CPUtime=0.11 cores=1,3,5,7
/proc/21876/stat : 21876 (python) S 21870 21870 21589 0 -1 4202560 934 0 0 0 5 6 0 0 15 0 1 0 850181607 300568576 8282 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039675407 0 0 16781312 33554946 552501814113599488 0 0 17 5 0 0 0
/proc/21876/statm: 73381 8282 375 364 0 8268 0
[pid=21878] ppid=21876 vsize=166084 CPUtime=24.01 cores=1,3,5,7
/proc/21878/stat : 21878 (scip-2.0.1.linu) R 21876 21878 21878 0 -1 4202496 40240 0 0 0 2360 41 0 0 25 0 1 0 850181607 170070016 38242 33554432000 4194304 13684479 140734647291760 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/21878/statm: 41521 38242 801 2317 0 39199 0
[pid=21870/tid=21877] ppid=21868 vsize=303768 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21877/stat : 21877 (python) S 21868 21870 21589 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 850181607 311058432 9781 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 763376
[startup+51.1013 s]
/proc/loadavg: 2.13 2.09 1.55 5/597 21909
/proc/meminfo: memFree=30659428/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=314024 CPUtime=1.17 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 14695 930 1 0 104 13 0 0 20 0 3 0 850181464 321560576 9788 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/21870/statm: 78506 9788 1873 364 0 13390 0
[pid=21876] ppid=21870 vsize=303768 CPUtime=0.24 cores=1,3,5,7
/proc/21876/stat : 21876 (python) S 21870 21870 21589 0 -1 4202560 1104 0 0 0 12 12 0 0 17 0 2 0 850181607 311058432 8318 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21876/statm: 75942 8318 406 364 0 10829 0
[pid=21878] ppid=21876 vsize=166300 CPUtime=48.36 cores=1,3,5,7
/proc/21878/stat : 21878 (scip-2.0.1.linu) T 21876 21878 21878 0 -1 4202496 40570 0 0 0 4774 62 0 0 25 0 1 0 850181607 170291200 38572 33554432000 4194304 13684479 140734647291760 18446744073709551615 7098848 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21878/statm: 41575 38572 801 2317 0 39253 0
[pid=21876/tid=21889] ppid=21870 vsize=303768 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21889/stat : 21889 (python) S 21870 21870 21589 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850186452 311058432 8318 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554946 18446604471035290880 0 0 -1 7 0 0 0
[pid=21890] ppid=21870 vsize=303780 CPUtime=0 cores=1,3,5,7
/proc/21890/stat : 21890 (python) S 21870 21870 21589 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 850186454 311070720 8259 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039675462 0 0 16781312 33554946 2306028268333039616 0 0 17 7 0 0 0
/proc/21890/statm: 75945 8259 348 364 0 10829 0
[pid=21892] ppid=21890 vsize=8538820 CPUtime=2.26 cores=1,3,5,7
/proc/21892/stat : 21892 (java) S 21890 21892 21892 0 -1 4202496 42713 0 1 0 220 6 0 0 17 0 19 0 850186454 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21892/statm: 2134705 38111 2233 9 0 2125446 0
[pid=21892/tid=21893] ppid=21890 vsize=8538820 CPUtime=1.15 cores=1,3,5,7
/proc/21892/task/21893/stat : 21893 (java) R 21890 21892 21892 0 -1 4202560 33782 0 1 0 110 5 0 0 25 0 19 0 850186455 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 46912505975758 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21892/tid=21894] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21894/stat : 21894 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21895] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21895/stat : 21895 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21896] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21896/stat : 21896 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21897] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21897/stat : 21897 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21898] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21898/stat : 21898 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21899] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21899/stat : 21899 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21900] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21900/stat : 21900 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21901] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21901/stat : 21901 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850186456 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21902] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21902/stat : 21902 (java) S 21890 21892 21892 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 850186457 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471872 0 0 0 16800975 18446604457912495040 0 0 -1 7 0 0 0
[pid=21892/tid=21903] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21903/stat : 21903 (java) S 21890 21892 21892 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850186457 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21904] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21904/stat : 21904 (java) S 21890 21892 21892 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850186457 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21905] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21905/stat : 21905 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850186460 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051478961 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21906] ppid=21890 vsize=8538820 CPUtime=0.54 cores=1,3,5,7
/proc/21892/task/21906/stat : 21906 (java) R 21890 21892 21892 0 -1 4202560 4129 0 0 0 54 0 0 0 15 0 19 0 850186460 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 47048972925920 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21892/tid=21907] ppid=21890 vsize=8538820 CPUtime=0.56 cores=1,3,5,7
/proc/21892/task/21907/stat : 21907 (java) S 21890 21892 21892 0 -1 4202560 3401 0 0 0 56 0 0 0 15 0 19 0 850186460 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 5 0 0 0
[pid=21892/tid=21908] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21908/stat : 21908 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850186460 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21892/tid=21909] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21909/stat : 21909 (java) S 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850186460 8743751680 38111 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471872 0 4 0 16800975 18446604457912495040 0 0 -1 1 0 0 0
[pid=21870/tid=21877] ppid=21868 vsize=314024 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21877/stat : 21877 (python) S 21868 21870 21589 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 3 0 850181607 321560576 9788 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 5 0 0 0
[pid=21870/tid=21891] ppid=21868 vsize=314024 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21891/stat : 21891 (python) S 21868 21870 21589 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 3 0 850186454 321560576 9788 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.03
################
# More data... #
################
[pid=22540/tid=22552] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22552/stat : 22552 (java) S 22538 22540 22540 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850200899 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22553] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22553/stat : 22553 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051478961 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22554] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22554/stat : 22554 (java) S 22538 22540 22540 0 -1 4202560 70 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 3 0 0 0
[pid=22540/tid=22555] ppid=22538 vsize=8531916 CPUtime=0.01 cores=1,3,5,7
/proc/22540/task/22555/stat : 22555 (java) R 22538 22540 22540 0 -1 4202560 527 0 0 0 1 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22540/tid=22556] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22556/stat : 22556 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22557] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22557/stat : 22557 (java) R 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471872 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21870/tid=21877] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21877/stat : 21877 (python) S 21868 21870 21589 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 6 0 850181607 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 5 0 0 0
[pid=21870/tid=21891] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21891/stat : 21891 (python) S 21868 21870 21589 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 6 0 850186454 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 1 0 0 0
[pid=21870/tid=21914] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21914/stat : 21914 (python) S 21868 21870 21589 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 850191039 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 1 0 0 0
[pid=21870/tid=22161] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/22161/stat : 22161 (python) S 21868 21870 21589 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 850195934 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 7 0 0 0
[pid=21870/tid=22539] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/22539/stat : 22539 (python) S 21868 21870 21589 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 850200896 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.24
Current children cumulated vsize (KiB) 19395808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+194.402 s]
/proc/loadavg: 2.12 2.08 1.62 5/616 22557
/proc/meminfo: memFree=30044524/32951124 swapFree=39903648/67111528
[pid=21870] ppid=21868 vsize=344792 CPUtime=1.25 cores=1,3,5,7
/proc/21870/stat : 21870 (python) S 21868 21870 21589 0 -1 4202496 17410 930 1 0 112 13 0 0 20 0 6 0 850181464 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/21870/statm: 86198 9806 1879 364 0 21073 0
[pid=21876] ppid=21870 vsize=303768 CPUtime=0.24 cores=1,3,5,7
/proc/21876/stat : 21876 (python) S 21870 21870 21589 0 -1 4202560 1104 0 0 0 12 12 0 0 17 0 2 0 850181607 311058432 8318 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21876/statm: 75942 8318 406 364 0 10829 0
[pid=21878] ppid=21876 vsize=166300 CPUtime=48.36 cores=1,3,5,7
/proc/21878/stat : 21878 (scip-2.0.1.linu) T 21876 21878 21878 0 -1 4202496 40570 0 0 0 4774 62 0 0 25 0 1 0 850181607 170291200 38572 33554432000 4194304 13684479 140734647291760 18446744073709551615 7098848 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21878/statm: 41575 38572 801 2317 0 39253 0
[pid=21876/tid=21889] ppid=21870 vsize=303768 CPUtime=0 cores=1,3,5,7
/proc/21876/task/21889/stat : 21889 (python) S 21870 21870 21589 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850186452 311058432 8318 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554946 18446604471035290880 0 0 -1 7 0 0 0
[pid=21890] ppid=21870 vsize=303780 CPUtime=0.22 cores=1,3,5,7
/proc/21890/stat : 21890 (python) S 21870 21870 21589 0 -1 4202560 1111 0 0 0 10 12 0 0 17 0 2 0 850186454 311070720 8308 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21890/statm: 75945 8308 396 364 0 10829 0
[pid=21892] ppid=21890 vsize=8538820 CPUtime=47.1 cores=1,3,5,7
/proc/21892/stat : 21892 (java) T 21890 21892 21892 0 -1 4202496 50564 0 1 0 4703 7 0 0 15 0 19 0 850186454 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21892/statm: 2134705 45726 2258 9 0 2125446 0
[pid=21892/tid=21893] ppid=21890 vsize=8538820 CPUtime=45.49 cores=1,3,5,7
/proc/21892/task/21893/stat : 21893 (java) T 21890 21892 21892 0 -1 4202560 35286 0 1 0 4544 5 0 0 25 0 19 0 850186455 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 46912505975560 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21892/tid=21894] ppid=21890 vsize=8538820 CPUtime=0.02 cores=1,3,5,7
/proc/21892/task/21894/stat : 21894 (java) T 21890 21892 21892 0 -1 4202560 635 0 0 0 2 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21892/tid=21895] ppid=21890 vsize=8538820 CPUtime=0.02 cores=1,3,5,7
/proc/21892/task/21895/stat : 21895 (java) T 21890 21892 21892 0 -1 4202560 698 0 0 0 2 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21892/tid=21896] ppid=21890 vsize=8538820 CPUtime=0.01 cores=1,3,5,7
/proc/21892/task/21896/stat : 21896 (java) T 21890 21892 21892 0 -1 4202560 400 0 0 0 1 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21892/tid=21897] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21897/stat : 21897 (java) T 21890 21892 21892 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21892/tid=21898] ppid=21890 vsize=8538820 CPUtime=0.02 cores=1,3,5,7
/proc/21892/task/21898/stat : 21898 (java) T 21890 21892 21892 0 -1 4202560 1069 0 0 0 2 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21892/tid=21899] ppid=21890 vsize=8538820 CPUtime=0.01 cores=1,3,5,7
/proc/21892/task/21899/stat : 21899 (java) T 21890 21892 21892 0 -1 4202560 6 0 0 0 1 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21892/tid=21900] ppid=21890 vsize=8538820 CPUtime=0.01 cores=1,3,5,7
/proc/21892/task/21900/stat : 21900 (java) T 21890 21892 21892 0 -1 4202560 861 0 0 0 1 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21892/tid=21901] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21901/stat : 21901 (java) T 21890 21892 21892 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 850186456 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21892/tid=21902] ppid=21890 vsize=8538820 CPUtime=0.19 cores=1,3,5,7
/proc/21892/task/21902/stat : 21902 (java) T 21890 21892 21892 0 -1 4202560 2543 0 0 0 19 0 0 0 15 0 19 0 850186457 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471872 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21892/tid=21903] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21903/stat : 21903 (java) T 21890 21892 21892 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850186457 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21892/tid=21904] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21904/stat : 21904 (java) T 21890 21892 21892 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850186457 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21892/tid=21905] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21905/stat : 21905 (java) T 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850186460 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051478961 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21892/tid=21906] ppid=21890 vsize=8538820 CPUtime=0.66 cores=1,3,5,7
/proc/21892/task/21906/stat : 21906 (java) T 21890 21892 21892 0 -1 4202560 4153 0 0 0 66 0 0 0 15 0 19 0 850186460 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21892/tid=21907] ppid=21890 vsize=8538820 CPUtime=0.59 cores=1,3,5,7
/proc/21892/task/21907/stat : 21907 (java) T 21890 21892 21892 0 -1 4202560 3405 0 0 0 59 0 0 0 15 0 19 0 850186460 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21892/tid=21908] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21908/stat : 21908 (java) T 21890 21892 21892 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850186460 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21892/tid=21909] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21909/stat : 21909 (java) T 21890 21892 21892 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850186460 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21892/tid=21910] ppid=21890 vsize=8538820 CPUtime=0 cores=1,3,5,7
/proc/21892/task/21910/stat : 21910 (java) T 21890 21892 21892 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850186528 8743751680 45726 33554432000 1073741824 1073778376 140736149276624 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21890/tid=21912] ppid=21870 vsize=303780 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21912/stat : 21912 (python) S 21870 21870 21589 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850191037 311070720 8308 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554946 18446604459821556672 0 0 -1 7 0 0 0
[pid=21913] ppid=21870 vsize=314036 CPUtime=0.24 cores=1,3,5,7
/proc/21913/stat : 21913 (python) S 21870 21870 21589 0 -1 4202560 1206 0 0 0 12 12 0 0 17 0 2 0 850191039 321572864 8327 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21913/statm: 78509 8327 411 364 0 13390 0
[pid=21915] ppid=21913 vsize=170512 CPUtime=48.9 cores=1,3,5,7
/proc/21915/stat : 21915 (scip-2.0.1.linu) T 21913 21915 21915 0 -1 4202496 51048 0 0 0 4819 71 0 0 20 0 1 0 850191040 174604288 39046 33554432000 4194304 15243407 140733458641264 18446744073709551615 8137644 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/21915/statm: 42628 39046 948 2698 0 39923 0
[pid=21913/tid=22159] ppid=21870 vsize=314036 CPUtime=0 cores=1,3,5,7
/proc/21913/task/22159/stat : 22159 (python) S 21870 21870 21589 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850195931 321572864 8327 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554946 18446604470075933120 0 0 -1 7 0 0 0
[pid=22160] ppid=21870 vsize=324292 CPUtime=0.24 cores=1,3,5,7
/proc/22160/stat : 22160 (python) S 21870 21870 21589 0 -1 4202560 1207 0 0 0 11 13 0 0 16 0 2 0 850195934 332075008 8331 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22160/statm: 81073 8331 411 364 0 15951 0
[pid=22162] ppid=22160 vsize=63044 CPUtime=49.58 cores=1,3,5,7
/proc/22162/stat : 22162 (wbo1.4a) T 22160 22162 22162 0 -1 4202496 16704 0 0 0 4934 24 0 0 25 0 1 0 850195934 64557056 15249 33554432000 134512640 135751879 4293320352 18446744073709551615 134606387 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/22162/statm: 15761 15249 146 303 0 15456 0
[pid=22160/tid=22537] ppid=21870 vsize=324292 CPUtime=0 cores=1,3,5,7
/proc/22160/task/22537/stat : 22537 (python) S 21870 21870 21589 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850200893 332075008 8331 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554946 18446604471135148864 0 0 -1 7 0 0 0
[pid=22538] ppid=21870 vsize=334548 CPUtime=0 cores=1,3,5,7
/proc/22538/stat : 22538 (python) R 21870 21870 21589 0 -1 4202560 793 0 0 0 0 0 0 0 19 0 1 0 850200896 342577152 8271 33554432000 4194304 5683644 140735298014608 18446744073709551615 212039675462 0 0 16781312 33554946 0 0 0 17 3 0 0 0
/proc/22538/statm: 83637 8271 348 364 0 18512 0
[pid=22540] ppid=22538 vsize=8531916 CPUtime=0.11 cores=1,3,5,7
/proc/22540/stat : 22540 (java) S 22538 22540 22540 0 -1 4202496 5473 0 1 0 10 1 0 0 20 0 18 0 850200896 8736681984 4926 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22540/statm: 2132979 4926 2089 9 0 2123720 0
[pid=22540/tid=22541] ppid=22538 vsize=8531916 CPUtime=0.09 cores=1,3,5,7
/proc/22540/task/22541/stat : 22541 (java) R 22538 22540 22540 0 -1 4202560 3500 0 1 0 9 0 0 0 18 0 18 0 850200897 8736681984 4942 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 47619036994356 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22540/tid=22542] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22542/stat : 22542 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850200897 8736681984 4943 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22543] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22543/stat : 22543 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850200897 8736681984 4943 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22544] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22544/stat : 22544 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850200897 8736681984 4943 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22545] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22545/stat : 22545 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200897 8736681984 4943 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 3 0 0 0
[pid=22540/tid=22546] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22546/stat : 22546 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200897 8736681984 4943 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 3 0 0 0
[pid=22540/tid=22547] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22547/stat : 22547 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200897 8736681984 4943 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 3 0 0 0
[pid=22540/tid=22548] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22548/stat : 22548 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200897 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 3 0 0 0
[pid=22540/tid=22549] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22549/stat : 22549 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200897 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 3 0 0 0
[pid=22540/tid=22550] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22550/stat : 22550 (java) S 22538 22540 22540 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850200899 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471872 0 0 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22551] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22551/stat : 22551 (java) S 22538 22540 22540 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850200899 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22552] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22552/stat : 22552 (java) S 22538 22540 22540 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850200899 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22553] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22553/stat : 22553 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051478961 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22554] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22554/stat : 22554 (java) S 22538 22540 22540 0 -1 4202560 70 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 3 0 0 0
[pid=22540/tid=22555] ppid=22538 vsize=8531916 CPUtime=0.01 cores=1,3,5,7
/proc/22540/task/22555/stat : 22555 (java) R 22538 22540 22540 0 -1 4202560 527 0 0 0 1 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22540/tid=22556] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22556/stat : 22556 (java) S 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471257 0 4 0 16800975 18446604462219569216 0 0 -1 7 0 0 0
[pid=22540/tid=22557] ppid=22538 vsize=8531916 CPUtime=0 cores=1,3,5,7
/proc/22540/task/22557/stat : 22557 (java) R 22538 22540 22540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850200901 8736681984 4944 33554432000 1073741824 1073778376 140735228823792 18446744073709551615 212051471872 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21870/tid=21877] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21877/stat : 21877 (python) S 21868 21870 21589 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 6 0 850181607 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 5 0 0 0
[pid=21870/tid=21891] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21891/stat : 21891 (python) S 21868 21870 21589 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 6 0 850186454 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 1 0 0 0
[pid=21870/tid=21914] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/21914/stat : 21914 (python) S 21868 21870 21589 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 850191039 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 1 0 0 0
[pid=21870/tid=22161] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/22161/stat : 22161 (python) S 21868 21870 21589 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 850195934 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 7 0 0 0
[pid=21870/tid=22539] ppid=21868 vsize=344792 CPUtime=0 cores=1,3,5,7
/proc/21870/task/22539/stat : 22539 (python) S 21868 21870 21589 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 850200896 353067008 9806 33554432000 4194304 5683644 140735298014608 18446744073709551615 212051478961 0 0 16781312 33554434 18446604460621919232 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.24
Current children cumulated vsize (KiB) 19395808
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21870 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=121829
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=143978
# CPU time returned by wait4() is 1.26581
# while last known CPU time is 196.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 194.49
CPU time (s): 196.24
CPU user time (s): 193.97
CPU system time (s): 2.27
CPU usage (%): 100.9
Max. virtual memory (cumulated for all children) (KiB): 19395808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.12183
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18343
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= 2867
involuntary context switches= 19
runsolver used 1.24081 second user time and 2.85656 second system time
The end