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-3481592-1307578420/watcher-3481592-1307578420 -o /tmp/evaluation-result-3481592-1307578420/solver-3481592-1307578420 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481592-1307578420.opb -seed 2076812952 -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.30 2.17 1.84 2/815 29906
/proc/meminfo: memFree=11900580/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/29906/stat : 29906 (python) R 29904 29906 27243 0 -1 4202496 1041 0 0 0 0 0 0 0 23 0 1 0 850258023 16625664 912 33554432000 4194304 5683644 140735873247952 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29906/statm: 4059 912 380 364 0 546 0
[startup+0.0328701 s]
/proc/loadavg: 2.30 2.17 1.84 2/815 29906
/proc/meminfo: memFree=11900580/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=16532 CPUtime=0.01 cores=1,3,5,7
/proc/29906/stat : 29906 (python) R 29904 29906 27243 0 -1 4202496 1185 0 0 0 1 0 0 0 23 0 1 0 850258023 16928768 1045 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816234496 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29906/statm: 4133 1045 417 364 0 620 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16532
[startup+0.100868 s]
/proc/loadavg: 2.30 2.17 1.84 2/815 29906
/proc/meminfo: memFree=11900580/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/29906/stat : 29906 (python) R 29904 29906 27243 0 -1 4202496 2665 0 0 0 5 1 0 0 17 0 1 0 850258023 87674880 2382 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816234496 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29906/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.30086 s]
/proc/loadavg: 2.30 2.17 1.84 2/815 29906
/proc/meminfo: memFree=11900580/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/29906/stat : 29906 (python) R 29904 29906 27243 0 -1 4202496 5358 927 1 0 11 3 0 0 16 0 1 0 850258023 126709760 3744 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816041755 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29906/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.700754 s]
/proc/loadavg: 2.30 2.17 1.84 2/815 29906
/proc/meminfo: memFree=11900580/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=282400 CPUtime=0.37 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 9196 927 1 0 29 8 0 0 15 0 1 0 850258023 289177600 6937 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256527 0 0 16781312 2 4294934790 0 0 17 3 0 0 0
/proc/29906/statm: 70600 6937 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282400
[startup+1.50062 s]
/proc/loadavg: 2.30 2.17 1.84 3/819 29916
/proc/meminfo: memFree=11853708/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=293812 CPUtime=0.48 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 10834 1327 1 0 38 9 1 0 17 0 2 0 850258023 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29906/statm: 73453 7308 1871 364 0 8340 0
[pid=29914] ppid=29906 vsize=283568 CPUtime=0 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 845 0 0 0 0 0 0 0 15 0 1 0 850258104 290373632 5758 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256527 0 0 16781312 33554946 4510099291573813510 0 0 17 1 0 0 0
/proc/29914/statm: 70892 5758 325 364 0 5779 0
[pid=29916] ppid=29914 vsize=50576 CPUtime=0.68 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) R 29914 29916 29916 0 -1 4202496 12609 0 0 0 51 17 0 0 18 0 1 0 850258104 51789824 10531 33554432000 4194304 13684479 140734932968912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29916/statm: 12644 10531 821 2317 0 10322 0
[pid=29906/tid=29915] ppid=29904 vsize=293812 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 2 0 850258104 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 627956
[startup+3.10032 s]
/proc/loadavg: 2.52 2.22 1.86 3/819 29916
/proc/meminfo: memFree=11832636/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=293812 CPUtime=0.48 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 10834 1327 1 0 38 9 1 0 17 0 2 0 850258023 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29906/statm: 73453 7308 1871 364 0 8340 0
[pid=29914] ppid=29906 vsize=283568 CPUtime=0 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 850258104 290373632 5758 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256527 0 0 16781312 33554946 3260962178710110208 0 0 17 1 0 0 0
/proc/29914/statm: 70892 5758 325 364 0 5779 0
[pid=29916] ppid=29914 vsize=50576 CPUtime=2.3 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) R 29914 29916 29916 0 -1 4202496 12614 0 0 0 210 20 0 0 19 0 1 0 850258104 51789824 10535 33554432000 4194304 13684479 140734932968912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29916/statm: 12644 10535 821 2317 0 10322 0
[pid=29906/tid=29915] ppid=29904 vsize=293812 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 2 0 850258104 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 627956
[startup+6.30072 s]
/proc/loadavg: 2.52 2.22 1.86 3/819 29916
/proc/meminfo: memFree=11820112/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=293812 CPUtime=0.48 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 10834 1327 1 0 38 9 1 0 17 0 2 0 850258023 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29906/statm: 73453 7308 1871 364 0 8340 0
[pid=29914] ppid=29906 vsize=283568 CPUtime=0.01 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 980 0 0 0 0 1 0 0 15 0 1 0 850258104 290373632 5781 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256527 0 0 16781312 33554946 4510098535659569414 0 0 17 7 0 0 0
/proc/29914/statm: 70892 5781 348 364 0 5779 0
[pid=29916] ppid=29914 vsize=66080 CPUtime=5.48 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) R 29914 29916 29916 0 -1 4202496 16213 0 0 0 522 26 0 0 23 0 1 0 850258104 67665920 14134 33554432000 4194304 13684479 140734932968912 18446744073709551615 4572794 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29916/statm: 16520 14134 829 2317 0 14198 0
[pid=29906/tid=29915] ppid=29904 vsize=293812 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 2 0 850258104 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 643460
[startup+12.7005 s]
/proc/loadavg: 2.44 2.21 1.86 3/819 29916
/proc/meminfo: memFree=11808732/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=293812 CPUtime=0.48 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 10834 1327 1 0 38 9 1 0 17 0 2 0 850258023 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29906/statm: 73453 7308 1871 364 0 8340 0
[pid=29914] ppid=29906 vsize=283568 CPUtime=0.03 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 984 0 0 0 1 2 0 0 15 0 1 0 850258104 290373632 5781 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256527 0 0 16781312 33554946 5623753486446373753 0 0 17 7 0 0 0
/proc/29914/statm: 70892 5781 348 364 0 5779 0
[pid=29916] ppid=29914 vsize=75832 CPUtime=11.89 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) R 29914 29916 29916 0 -1 4202496 19990 0 0 0 1136 53 0 0 25 0 1 0 850258104 77651968 16190 33554432000 4194304 13684479 140734932968912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29916/statm: 18958 16190 839 2317 0 16636 0
[pid=29906/tid=29915] ppid=29904 vsize=293812 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 2 0 850258104 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 653212
[startup+25.5012 s]
/proc/loadavg: 2.37 2.20 1.86 3/822 29921
/proc/meminfo: memFree=11637068/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=293812 CPUtime=0.48 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 10834 1327 1 0 38 9 1 0 17 0 2 0 850258023 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29906/statm: 73453 7308 1871 364 0 8340 0
[pid=29914] ppid=29906 vsize=283568 CPUtime=0.09 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 992 0 0 0 4 5 0 0 15 0 1 0 850258104 290373632 5781 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256527 0 0 16781312 33554946 5623753486446373753 0 0 17 7 0 0 0
/proc/29914/statm: 70892 5781 348 364 0 5779 0
[pid=29916] ppid=29914 vsize=72812 CPUtime=24.69 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) R 29914 29916 29916 0 -1 4202496 20544 0 0 0 2379 90 0 0 25 0 1 0 850258104 74559488 15851 33554432000 4194304 13684479 140734932968912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29916/statm: 18203 15851 842 2317 0 15881 0
[pid=29906/tid=29915] ppid=29904 vsize=293812 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 2 0 850258104 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 650192
[startup+51.1005 s]
/proc/loadavg: 2.24 2.18 1.86 3/822 29921
/proc/meminfo: memFree=11607204/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=293812 CPUtime=0.48 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 10834 1327 1 0 38 9 1 0 17 0 2 0 850258023 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29906/statm: 73453 7308 1871 364 0 8340 0
[pid=29914] ppid=29906 vsize=283568 CPUtime=0.2 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 1003 0 0 0 9 11 0 0 15 0 1 0 850258104 290373632 5781 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256527 0 0 16781312 33554946 1567769268991295488 0 0 17 7 0 0 0
/proc/29914/statm: 70892 5781 348 364 0 5779 0
[pid=29916] ppid=29914 vsize=72812 CPUtime=50.28 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) R 29914 29916 29916 0 -1 4202496 20544 0 0 0 4870 158 0 0 25 0 1 0 850258104 74559488 15851 33554432000 4194304 13684479 140734932968912 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29916/statm: 18203 15851 842 2317 0 15881 0
[pid=29906/tid=29915] ppid=29904 vsize=293812 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 2 0 850258104 300863488 7308 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 650192
[startup+102.301 s]
/proc/loadavg: 2.10 2.15 1.87 3/848 29950
/proc/meminfo: memFree=11367068/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=314828 CPUtime=0.53 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 12579 1327 1 0 43 9 1 0 19 0 4 0 850258023 322383872 7432 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29906/statm: 78707 7432 1876 364 0 13588 0
[pid=29914] ppid=29906 vsize=293812 CPUtime=0.22 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 1177 0 0 0 10 12 0 0 16 0 2 0 850258104 300863488 5849 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29914/statm: 73453 5849 411 364 0 8340 0
[pid=29916] ppid=29914 vsize=72812 CPUtime=50.86 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) T 29914 29916 29916 0 -1 4202496 20544 0 0 0 4926 160 0 0 25 0 1 0 850258104 74559488 15851 33554432000 4194304 13684479 140734932968912 18446744073709551615 7154434 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29916/statm: 18203 15851 842 2317 0 15881 0
[pid=29914/tid=29922] ppid=29906 vsize=293812 CPUtime=0 cores=1,3,5,7
/proc/29914/task/29922/stat : 29922 (python) S 29906 29906 27243 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850263191 300863488 5849 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464372328448 0 0 -1 7 0 0 0
[pid=29923] ppid=29906 vsize=294328 CPUtime=0.21 cores=1,3,5,7
/proc/29923/stat : 29923 (python) S 29906 29906 27243 0 -1 4202560 1106 0 0 0 10 11 0 0 17 0 2 0 850263193 301391872 5940 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29923/statm: 73582 5940 391 364 0 8466 0
[pid=29925] ppid=29923 vsize=62644 CPUtime=46.2 cores=1,3,5,7
/proc/29925/stat : 29925 (scip-2.0.1.linu) T 29923 29925 29925 0 -1 4202496 13627 0 0 0 4582 38 0 0 18 0 1 0 850263193 64147456 12773 33554432000 4194304 15243407 140736979091664 18446744073709551615 7337560 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29925/statm: 15661 12773 957 2698 0 12956 0
[pid=29923/tid=29928] ppid=29906 vsize=294328 CPUtime=0 cores=1,3,5,7
/proc/29923/task/29928/stat : 29928 (python) S 29906 29906 27243 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850267814 301391872 5940 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464372327552 0 0 -1 7 0 0 0
[pid=29929] ppid=29906 vsize=304584 CPUtime=0.02 cores=1,3,5,7
/proc/29929/stat : 29929 (python) S 29906 29906 27243 0 -1 4202560 928 0 0 0 1 1 0 0 16 0 1 0 850267816 311894016 5896 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256582 0 0 16781312 33554946 12964609372842852614 0 0 17 5 0 0 0
/proc/29929/statm: 76146 5896 344 364 0 11027 0
[pid=29931] ppid=29929 vsize=8555636 CPUtime=5.66 cores=1,3,5,7
/proc/29931/stat : 29931 (java) S 29929 29931 29931 0 -1 4202496 50954 0 1 0 560 6 0 0 20 0 19 0 850267816 8760971264 45740 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29931/statm: 2138909 45740 2256 9 0 2129650 0
[pid=29931/tid=29933] ppid=29929 vsize=8555636 CPUtime=4.25 cores=1,3,5,7
/proc/29931/task/29933/stat : 29933 (java) R 29929 29931 29931 0 -1 4202560 35286 0 1 0 421 4 0 0 25 0 19 0 850267817 8760971264 45740 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 46912505617719 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29931/tid=29934] ppid=29929 vsize=8555636 CPUtime=0.01 cores=1,3,5,7
/proc/29931/task/29934/stat : 29934 (java) S 29929 29931 29931 0 -1 4202560 627 0 0 0 1 0 0 0 16 0 19 0 850267818 8760971264 45740 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446604464372329344 0 0 -1 5 0 0 0
[pid=29931/tid=29935] ppid=29929 vsize=8555636 CPUtime=0 cores=1,3,5,7
/proc/29931/task/29935/stat : 29935 (java) S 29929 29931 29931 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 19 0 850267818 8760971264 45740 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446604464372329344 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=29956/tid=29964] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29964/stat : 29964 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272551 8759365632 34634 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 3 0 0 0
[pid=29956/tid=29965] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29965/stat : 29965 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272551 8759365632 34637 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 3 0 0 0
[pid=29956/tid=29966] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29966/stat : 29966 (java) S 29954 29956 29956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850272552 8759365632 34638 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052992 0 0 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29967] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29967/stat : 29967 (java) S 29954 29956 29956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850272552 8759365632 34639 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29968] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29968/stat : 29968 (java) S 29954 29956 29956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850272552 8759365632 34641 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29969] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29969/stat : 29969 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272554 8759365632 34643 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828060081 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29970] ppid=29954 vsize=8554068 CPUtime=0.61 cores=1,3,5,7
/proc/29956/task/29970/stat : 29970 (java) R 29954 29956 29956 0 -1 4202560 5461 0 0 0 61 0 0 0 25 0 19 0 850272554 8759365632 34644 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 46959707371455 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29956/tid=29971] ppid=29954 vsize=8554068 CPUtime=0.61 cores=1,3,5,7
/proc/29956/task/29971/stat : 29971 (java) R 29954 29956 29956 0 -1 4202560 6759 0 0 0 60 1 0 0 25 0 19 0 850272554 8759365632 34645 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 46959704017134 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29956/tid=29972] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29972/stat : 29972 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272554 8759365632 34647 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 7 0 0 0
[pid=29956/tid=29973] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29973/stat : 29973 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850272554 8759365632 34649 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052992 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29974] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29974/stat : 29974 (java) S 29954 29956 29956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850272578 8759365632 34650 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052992 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29906/tid=29915] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 5 0 850258104 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
[pid=29906/tid=29924] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29924/stat : 29924 (python) S 29904 29906 27243 0 -1 4202560 29 1327 0 0 0 0 1 0 19 0 5 0 850263193 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 5 0 0 0
[pid=29906/tid=29930] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29930/stat : 29930 (python) S 29904 29906 27243 0 -1 4202560 28 1327 0 0 0 0 1 0 20 0 5 0 850267816 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 5 0 0 0
[pid=29906/tid=29955] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29955/stat : 29955 (python) S 29904 29906 27243 0 -1 4202560 30 1327 0 0 0 0 1 0 20 0 5 0 850272550 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (KiB) 18840804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+146.102 s]
/proc/loadavg: 2.05 2.13 1.87 6/871 29974
/proc/meminfo: memFree=11247704/32951124 swapFree=60476376/67111528
[pid=29906] ppid=29904 vsize=325084 CPUtime=0.56 cores=1,3,5,7
/proc/29906/stat : 29906 (python) S 29904 29906 27243 0 -1 4202496 13463 1327 1 0 45 10 1 0 20 0 5 0 850258023 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29906/statm: 81271 7457 1878 364 0 16149 0
[pid=29914] ppid=29906 vsize=293812 CPUtime=0.22 cores=1,3,5,7
/proc/29914/stat : 29914 (python) S 29906 29906 27243 0 -1 4202560 1177 0 0 0 10 12 0 0 16 0 2 0 850258104 300863488 5849 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29914/statm: 73453 5849 411 364 0 8340 0
[pid=29916] ppid=29914 vsize=72812 CPUtime=50.86 cores=1,3,5,7
/proc/29916/stat : 29916 (scip-2.0.1.linu) T 29914 29916 29916 0 -1 4202496 20544 0 0 0 4926 160 0 0 25 0 1 0 850258104 74559488 15851 33554432000 4194304 13684479 140734932968912 18446744073709551615 7154434 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29916/statm: 18203 15851 842 2317 0 15881 0
[pid=29914/tid=29922] ppid=29906 vsize=293812 CPUtime=0 cores=1,3,5,7
/proc/29914/task/29922/stat : 29922 (python) S 29906 29906 27243 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850263191 300863488 5849 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464372328448 0 0 -1 7 0 0 0
[pid=29923] ppid=29906 vsize=294328 CPUtime=0.21 cores=1,3,5,7
/proc/29923/stat : 29923 (python) S 29906 29906 27243 0 -1 4202560 1106 0 0 0 10 11 0 0 17 0 2 0 850263193 301391872 5940 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29923/statm: 73582 5940 391 364 0 8466 0
[pid=29925] ppid=29923 vsize=62644 CPUtime=46.2 cores=1,3,5,7
/proc/29925/stat : 29925 (scip-2.0.1.linu) T 29923 29925 29925 0 -1 4202496 13627 0 0 0 4582 38 0 0 18 0 1 0 850263193 64147456 12773 33554432000 4194304 15243407 140736979091664 18446744073709551615 7337560 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29925/statm: 15661 12773 957 2698 0 12956 0
[pid=29923/tid=29928] ppid=29906 vsize=294328 CPUtime=0 cores=1,3,5,7
/proc/29923/task/29928/stat : 29928 (python) S 29906 29906 27243 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850267814 301391872 5940 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464372327552 0 0 -1 7 0 0 0
[pid=29929] ppid=29906 vsize=304584 CPUtime=0.24 cores=1,3,5,7
/proc/29929/stat : 29929 (python) S 29906 29906 27243 0 -1 4202560 1141 0 0 0 12 12 0 0 16 0 2 0 850267816 311894016 5944 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29929/statm: 76146 5944 391 364 0 11027 0
[pid=29931] ppid=29929 vsize=8618632 CPUtime=49.66 cores=1,3,5,7
/proc/29931/stat : 29931 (java) T 29929 29931 29931 0 -1 4202496 71551 0 1 0 4954 12 0 0 18 0 19 0 850267816 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29931/statm: 2154658 39784 2256 9 0 2145399 0
[pid=29931/tid=29933] ppid=29929 vsize=8618632 CPUtime=45.97 cores=1,3,5,7
/proc/29931/task/29933/stat : 29933 (java) T 29929 29931 29931 0 -1 4202560 48001 0 1 0 4591 6 0 0 25 0 19 0 850267817 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29931/tid=29934] ppid=29929 vsize=8618632 CPUtime=0.12 cores=1,3,5,7
/proc/29931/task/29934/stat : 29934 (java) T 29929 29931 29931 0 -1 4202560 1024 0 0 0 12 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29931/tid=29935] ppid=29929 vsize=8618632 CPUtime=0.1 cores=1,3,5,7
/proc/29931/task/29935/stat : 29935 (java) T 29929 29931 29931 0 -1 4202560 543 0 0 0 10 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29931/tid=29936] ppid=29929 vsize=8618632 CPUtime=0.09 cores=1,3,5,7
/proc/29931/task/29936/stat : 29936 (java) T 29929 29931 29931 0 -1 4202560 418 0 0 0 9 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29931/tid=29937] ppid=29929 vsize=8618632 CPUtime=0.13 cores=1,3,5,7
/proc/29931/task/29937/stat : 29937 (java) T 29929 29931 29931 0 -1 4202560 853 0 0 0 13 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29931/tid=29938] ppid=29929 vsize=8618632 CPUtime=0.08 cores=1,3,5,7
/proc/29931/task/29938/stat : 29938 (java) T 29929 29931 29931 0 -1 4202560 186 0 0 0 8 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29931/tid=29939] ppid=29929 vsize=8618632 CPUtime=0.1 cores=1,3,5,7
/proc/29931/task/29939/stat : 29939 (java) T 29929 29931 29931 0 -1 4202560 720 0 0 0 10 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29931/tid=29940] ppid=29929 vsize=8618632 CPUtime=0.08 cores=1,3,5,7
/proc/29931/task/29940/stat : 29940 (java) T 29929 29931 29931 0 -1 4202560 301 0 0 0 8 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29931/tid=29941] ppid=29929 vsize=8618632 CPUtime=0.1 cores=1,3,5,7
/proc/29931/task/29941/stat : 29941 (java) T 29929 29931 29931 0 -1 4202560 848 0 0 0 10 0 0 0 15 0 19 0 850267818 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29931/tid=29942] ppid=29929 vsize=8618632 CPUtime=0.83 cores=1,3,5,7
/proc/29931/task/29942/stat : 29942 (java) T 29929 29931 29931 0 -1 4202560 2100 0 0 0 82 1 0 0 15 0 19 0 850267819 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 47070515835226 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29931/tid=29943] ppid=29929 vsize=8618632 CPUtime=0 cores=1,3,5,7
/proc/29931/task/29943/stat : 29943 (java) T 29929 29931 29931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850267819 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29931/tid=29944] ppid=29929 vsize=8618632 CPUtime=0 cores=1,3,5,7
/proc/29931/task/29944/stat : 29944 (java) T 29929 29931 29931 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850267819 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29931/tid=29945] ppid=29929 vsize=8618632 CPUtime=0 cores=1,3,5,7
/proc/29931/task/29945/stat : 29945 (java) T 29929 29931 29931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850267822 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29931/tid=29946] ppid=29929 vsize=8618632 CPUtime=1.59 cores=1,3,5,7
/proc/29931/task/29946/stat : 29946 (java) T 29929 29931 29931 0 -1 4202560 12331 0 0 0 158 1 0 0 15 0 19 0 850267822 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29931/tid=29947] ppid=29929 vsize=8618632 CPUtime=0.36 cores=1,3,5,7
/proc/29931/task/29947/stat : 29947 (java) T 29929 29931 29931 0 -1 4202560 2835 0 0 0 36 0 0 0 15 0 19 0 850267822 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29931/tid=29948] ppid=29929 vsize=8618632 CPUtime=0 cores=1,3,5,7
/proc/29931/task/29948/stat : 29948 (java) T 29929 29931 29931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850267822 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29931/tid=29949] ppid=29929 vsize=8618632 CPUtime=0 cores=1,3,5,7
/proc/29931/task/29949/stat : 29949 (java) T 29929 29931 29931 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850267822 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29931/tid=29950] ppid=29929 vsize=8618632 CPUtime=0 cores=1,3,5,7
/proc/29931/task/29950/stat : 29950 (java) T 29929 29931 29931 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850267845 8825479168 39784 33554432000 1073741824 1073778376 140737301928736 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29929/tid=29953] ppid=29906 vsize=304584 CPUtime=0 cores=1,3,5,7
/proc/29929/task/29953/stat : 29953 (python) S 29906 29906 27243 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850272547 311894016 5944 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554946 18446604463836370176 0 0 -1 5 0 0 0
[pid=29954] ppid=29906 vsize=314840 CPUtime=0 cores=1,3,5,7
/proc/29954/stat : 29954 (python) S 29906 29906 27243 0 -1 4202560 792 0 0 0 0 0 0 0 15 0 1 0 850272549 322396160 5895 33554432000 4194304 5683644 140735873247952 18446744073709551615 220816256582 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/29954/statm: 78710 5895 320 364 0 13588 0
[pid=29956] ppid=29954 vsize=8554068 CPUtime=2.09 cores=1,3,5,7
/proc/29956/stat : 29956 (java) S 29954 29956 29956 0 -1 4202496 38601 0 1 0 205 4 0 0 20 0 19 0 850272550 8759365632 34576 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29956/statm: 2138517 34576 2225 9 0 2129258 0
[pid=29956/tid=29957] ppid=29954 vsize=8554068 CPUtime=0.85 cores=1,3,5,7
/proc/29956/task/29957/stat : 29957 (java) R 29954 29956 29956 0 -1 4202560 25025 0 1 0 83 2 0 0 18 0 19 0 850272550 8759365632 34622 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 46912505599665 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29956/tid=29958] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29958/stat : 29958 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850272551 8759365632 34624 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29959] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29959/stat : 29959 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850272551 8759365632 34625 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29960] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29960/stat : 29960 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850272551 8759365632 34627 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29961] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29961/stat : 29961 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272551 8759365632 34630 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 3 0 0 0
[pid=29956/tid=29962] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29962/stat : 29962 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272551 8759365632 34631 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 3 0 0 0
[pid=29956/tid=29963] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29963/stat : 29963 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272551 8759365632 34632 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 3 0 0 0
[pid=29956/tid=29964] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29964/stat : 29964 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272551 8759365632 34634 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 3 0 0 0
[pid=29956/tid=29965] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29965/stat : 29965 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272551 8759365632 34637 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 3 0 0 0
[pid=29956/tid=29966] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29966/stat : 29966 (java) S 29954 29956 29956 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850272552 8759365632 34638 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052992 0 0 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29967] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29967/stat : 29967 (java) S 29954 29956 29956 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850272552 8759365632 34639 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29968] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29968/stat : 29968 (java) S 29954 29956 29956 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850272552 8759365632 34641 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29969] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29969/stat : 29969 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272554 8759365632 34643 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828060081 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29970] ppid=29954 vsize=8554068 CPUtime=0.61 cores=1,3,5,7
/proc/29956/task/29970/stat : 29970 (java) R 29954 29956 29956 0 -1 4202560 5461 0 0 0 61 0 0 0 25 0 19 0 850272554 8759365632 34644 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 46959707371455 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29956/tid=29971] ppid=29954 vsize=8554068 CPUtime=0.61 cores=1,3,5,7
/proc/29956/task/29971/stat : 29971 (java) R 29954 29956 29956 0 -1 4202560 6759 0 0 0 60 1 0 0 25 0 19 0 850272554 8759365632 34645 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 46959704017134 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29956/tid=29972] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29972/stat : 29972 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850272554 8759365632 34647 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052377 0 4 0 16800975 18446604464646816768 0 0 -1 7 0 0 0
[pid=29956/tid=29973] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29973/stat : 29973 (java) S 29954 29956 29956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850272554 8759365632 34649 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052992 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29956/tid=29974] ppid=29954 vsize=8554068 CPUtime=0 cores=1,3,5,7
/proc/29956/task/29974/stat : 29974 (java) S 29954 29956 29956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850272578 8759365632 34650 33554432000 1073741824 1073778376 140734606110064 18446744073709551615 220828052992 0 4 0 16800975 18446604464646816768 0 0 -1 1 0 0 0
[pid=29906/tid=29915] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (python) S 29904 29906 27243 0 -1 4202560 27 1327 0 0 0 0 1 0 18 0 5 0 850258104 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 3 0 0 0
[pid=29906/tid=29924] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29924/stat : 29924 (python) S 29904 29906 27243 0 -1 4202560 29 1327 0 0 0 0 1 0 19 0 5 0 850263193 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 5 0 0 0
[pid=29906/tid=29930] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29930/stat : 29930 (python) S 29904 29906 27243 0 -1 4202560 28 1327 0 0 0 0 1 0 20 0 5 0 850267816 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 5 0 0 0
[pid=29906/tid=29955] ppid=29904 vsize=325084 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29955/stat : 29955 (python) S 29904 29906 27243 0 -1 4202560 30 1327 0 0 0 0 1 0 20 0 5 0 850272550 332886016 7457 33554432000 4194304 5683644 140735873247952 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461044703552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (KiB) 18840804
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29906 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=470928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=110983
# CPU time returned by wait4() is 0.581911
# while last known CPU time is 150.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 146.181
CPU time (s): 150.04
CPU user time (s): 147.45
CPU system time (s): 2.59
CPU usage (%): 102.64
Max. virtual memory (cumulated for all children) (KiB): 18840804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.470928
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14792
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= 3904
involuntary context switches= 19
runsolver used 0.874867 second user time and 1.82372 second system time
The end