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-3482820-1307578282/watcher-3482820-1307578282 -o /tmp/evaluation-result-3482820-1307578282/solver-3482820-1307578282 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482820-1307578282.opb -seed 921398561 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.04 1.77 2/624 5650
/proc/meminfo: memFree=19850656/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 795 0 0 0 0 0 0 0 22 0 1 0 869426033 15749120 681 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/5650/statm: 3845 681 322 364 0 332 0
[startup+0.0435209 s]
/proc/loadavg: 1.95 2.04 1.77 2/624 5650
/proc/meminfo: memFree=19850656/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/5650/stat : 5650 (python) R 5648 5650 4282 0 -1 4202496 1284 0 0 0 2 0 0 0 22 0 1 0 869426033 19337216 1136 33554432000 4194304 5683644 140735051083968 18446744073709551615 4501804 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5650/statm: 4721 1136 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100536 s]
/proc/loadavg: 1.95 2.04 1.77 2/624 5650
/proc/meminfo: memFree=19850656/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=85616 CPUtime=0.07 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 2664 0 0 0 5 2 0 0 18 0 1 0 869426033 87670784 2381 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687671141 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/5650/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85616
[startup+0.300525 s]
/proc/loadavg: 1.95 2.04 1.77 2/624 5650
/proc/meminfo: memFree=19850656/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=123736 CPUtime=0.17 cores=0,2,4,6
/proc/5650/stat : 5650 (python) R 5648 5650 4282 0 -1 4202496 5357 932 1 0 12 5 0 0 17 0 1 0 869426033 126705664 3743 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687671301 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5650/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.845376 s]
/proc/loadavg: 1.95 2.04 1.77 2/624 5650
/proc/meminfo: memFree=19850656/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=293080 CPUtime=0.59 cores=0,2,4,6
/proc/5650/stat : 5650 (python) R 5648 5650 4282 0 -1 4202496 11677 932 1 0 48 11 0 0 16 0 1 0 869426033 300113920 9539 33554432000 4194304 5683644 140735051083968 18446744073709551615 4272792 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5650/statm: 73270 9539 1781 364 0 8163 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 293080
[startup+1.50028 s]
/proc/loadavg: 1.95 2.04 1.77 3/625 5655
/proc/meminfo: memFree=19810472/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=309152 CPUtime=1.24 cores=0,2,4,6
/proc/5650/stat : 5650 (python) R 5648 5650 4282 0 -1 4202496 20316 932 1 0 112 12 0 0 16 0 1 0 869426033 316571648 13635 33554432000 4194304 5683644 140735051083968 18446744073709551615 4662462 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/5650/statm: 77288 13635 1815 364 0 12181 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 309152
[startup+3.10096 s]
/proc/loadavg: 1.95 2.04 1.77 3/625 5655
/proc/meminfo: memFree=19796584/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=322300 CPUtime=2.62 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 21325 932 1 0 249 13 0 0 20 0 2 0 869426033 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5650/statm: 80575 14416 1872 364 0 15462 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 322300
[startup+6.30033 s]
/proc/loadavg: 2.04 2.06 1.78 3/628 5658
/proc/meminfo: memFree=19784824/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=322300 CPUtime=2.62 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 21325 932 1 0 249 13 0 0 20 0 2 0 869426033 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5650/statm: 80575 14416 1872 364 0 15462 0
[pid=5656] ppid=5650 vsize=312056 CPUtime=0.02 cores=0,2,4,6
/proc/5656/stat : 5656 (python) S 5650 5650 4282 0 -1 4202560 903 0 0 0 1 1 0 0 18 0 1 0 869426321 319545344 12915 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687695375 0 0 16781312 33554946 5778014113124811011 0 0 17 0 0 0 0
/proc/5656/statm: 78014 12915 375 364 0 12901 0
[pid=5658] ppid=5656 vsize=15160 CPUtime=3.4 cores=0,2,4,6
/proc/5658/stat : 5658 (clasp-1.3.7-x86) R 5656 5658 5658 0 -1 4202496 4628 0 0 0 339 1 0 0 25 0 1 0 869426321 15523840 3526 33554432000 134512640 136139019 4290015952 18446744073709551615 134882971 0 0 16781312 16386 0 0 0 17 6 0 0 0
/proc/5658/statm: 3790 3526 184 398 0 3390 0
[pid=5650/tid=5657] ppid=5648 vsize=322300 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5657/stat : 5657 (python) S 5648 5650 4282 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 2 0 869426321 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 649516
[startup+12.7012 s]
/proc/loadavg: 2.03 2.06 1.78 3/628 5658
/proc/meminfo: memFree=19777024/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=322300 CPUtime=2.62 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 21325 932 1 0 249 13 0 0 20 0 2 0 869426033 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5650/statm: 80575 14416 1872 364 0 15462 0
[pid=5656] ppid=5650 vsize=312056 CPUtime=0.05 cores=0,2,4,6
/proc/5656/stat : 5656 (python) S 5650 5650 4282 0 -1 4202560 908 0 0 0 2 3 0 0 18 0 1 0 869426321 319545344 12915 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583238 0 0 17 0 0 0 0
/proc/5656/statm: 78014 12915 375 364 0 12901 0
[pid=5658] ppid=5656 vsize=19384 CPUtime=9.79 cores=0,2,4,6
/proc/5658/stat : 5658 (clasp-1.3.7-x86) R 5656 5658 5658 0 -1 4202496 5693 0 0 0 978 1 0 0 25 0 1 0 869426321 19849216 4591 33554432000 134512640 136139019 4290015952 18446744073709551615 134608891 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5658/statm: 4846 4591 184 398 0 4446 0
[pid=5650/tid=5657] ppid=5648 vsize=322300 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5657/stat : 5657 (python) S 5648 5650 4282 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 2 0 869426321 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 653740
[startup+25.5009 s]
/proc/loadavg: 2.03 2.05 1.78 3/628 5659
/proc/meminfo: memFree=19771272/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=322300 CPUtime=2.62 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 21325 932 1 0 249 13 0 0 20 0 2 0 869426033 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5650/statm: 80575 14416 1872 364 0 15462 0
[pid=5656] ppid=5650 vsize=312056 CPUtime=0.09 cores=0,2,4,6
/proc/5656/stat : 5656 (python) S 5650 5650 4282 0 -1 4202560 915 0 0 0 3 6 0 0 18 0 1 0 869426321 319545344 12915 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583238 0 0 17 0 0 0 0
/proc/5656/statm: 78014 12915 375 364 0 12901 0
[pid=5658] ppid=5656 vsize=26264 CPUtime=22.59 cores=0,2,4,6
/proc/5658/stat : 5658 (clasp-1.3.7-x86) R 5656 5658 5658 0 -1 4202496 7398 0 0 0 2257 2 0 0 25 0 1 0 869426321 26894336 6296 33554432000 134512640 136139019 4290015952 18446744073709551615 134831721 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5658/statm: 6566 6296 184 398 0 6166 0
[pid=5650/tid=5657] ppid=5648 vsize=322300 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5657/stat : 5657 (python) S 5648 5650 4282 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 2 0 869426321 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 660620
[startup+51.1012 s]
/proc/loadavg: 2.02 2.05 1.79 3/628 5659
/proc/meminfo: memFree=19763496/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=322300 CPUtime=2.62 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 21325 932 1 0 249 13 0 0 20 0 2 0 869426033 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5650/statm: 80575 14416 1872 364 0 15462 0
[pid=5656] ppid=5650 vsize=312056 CPUtime=0.23 cores=0,2,4,6
/proc/5656/stat : 5656 (python) S 5650 5650 4282 0 -1 4202560 1015 0 0 0 11 12 0 0 18 0 1 0 869426321 319545344 12920 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687695375 0 0 16781312 33554946 72114768642583238 0 0 17 0 0 0 0
/proc/5656/statm: 78014 12920 380 364 0 12901 0
[pid=5658] ppid=5656 vsize=32664 CPUtime=48.16 cores=0,2,4,6
/proc/5658/stat : 5658 (clasp-1.3.7-x86) R 5656 5658 5658 0 -1 4202496 8996 0 0 0 4814 2 0 0 25 0 1 0 869426321 33447936 7894 33554432000 134512640 136139019 4290015952 18446744073709551615 134877076 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5658/statm: 8166 7894 184 398 0 7766 0
[pid=5650/tid=5657] ppid=5648 vsize=322300 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5657/stat : 5657 (python) S 5648 5650 4282 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 2 0 869426321 330035200 14416 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 667020
[startup+102.301 s]
/proc/loadavg: 2.00 2.04 1.80 3/632 5665
/proc/meminfo: memFree=19636128/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=332556 CPUtime=9.32 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 22293 932 1 0 918 14 0 0 25 0 3 0 869426033 340537344 14423 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5650/statm: 83139 14423 1875 364 0 18023 0
[pid=5656] ppid=5650 vsize=322300 CPUtime=0.25 cores=0,2,4,6
/proc/5656/stat : 5656 (python) S 5650 5650 4282 0 -1 4202560 1147 0 0 0 12 13 0 0 19 0 2 0 869426321 330035200 12956 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/5656/statm: 80575 12956 411 364 0 15462 0
[pid=5658] ppid=5656 vsize=32664 CPUtime=48.19 cores=0,2,4,6
/proc/5658/stat : 5658 (clasp-1.3.7-x86) T 5656 5658 5658 0 -1 4202496 8996 0 0 0 4817 2 0 0 25 0 1 0 869426321 33447936 7894 33554432000 134512640 136139019 4290015952 18446744073709551615 134608331 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/5658/statm: 8166 7894 184 398 0 7766 0
[pid=5656/tid=5660] ppid=5650 vsize=322300 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (python) S 5650 5650 4282 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869431147 330035200 12956 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604452798710016 0 0 -1 6 0 0 0
[pid=5661] ppid=5650 vsize=322312 CPUtime=0.22 cores=0,2,4,6
/proc/5661/stat : 5661 (python) S 5650 5650 4282 0 -1 4202560 948 0 0 0 11 11 0 0 15 0 1 0 869431817 330047488 12916 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687695430 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/5661/statm: 80578 12916 372 364 0 15462 0
[pid=5663] ppid=5661 vsize=146460 CPUtime=44.45 cores=0,2,4,6
/proc/5663/stat : 5663 (minion) R 5661 5663 5663 0 -1 4202496 36863 0 0 0 4442 3 0 0 25 0 1 0 869431817 149975040 29127 33554432000 134512640 165565024 4293520304 18446744073709551615 142424555 0 0 16781312 8396802 0 0 0 17 2 0 0 0
/proc/5663/statm: 36615 29127 346 7582 0 29030 0
[pid=5650/tid=5657] ppid=5648 vsize=332556 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5657/stat : 5657 (python) S 5648 5650 4282 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 3 0 869426321 340537344 14423 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
[pid=5650/tid=5662] ppid=5648 vsize=332556 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5662/stat : 5662 (python) S 5648 5650 4282 0 -1 4202560 32 932 0 0 0 0 0 0 25 0 3 0 869431817 340537344 14423 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 1156292
[startup+162.301 s]
/proc/loadavg: 2.13 2.06 1.82 3/640 5674
/proc/meminfo: memFree=18704904/32951124 swapFree=58940260/67111528
[pid=5650] ppid=5648 vsize=353068 CPUtime=9.37 cores=0,2,4,6
/proc/5650/stat : 5650 (python) S 5648 5650 4282 0 -1 4202496 24063 932 1 0 922 15 0 0 20 0 5 0 869426033 361541632 14435 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5650/statm: 88267 14435 1879 364 0 23145 0
[pid=5656] ppid=5650 vsize=322300 CPUtime=0.25 cores=0,2,4,6
/proc/5656/stat : 5656 (python) S 5650 5650 4282 0 -1 4202560 1147 0 0 0 12 13 0 0 19 0 2 0 869426321 330035200 12956 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/5656/statm: 80575 12956 411 364 0 15462 0
[pid=5658] ppid=5656 vsize=32664 CPUtime=48.19 cores=0,2,4,6
/proc/5658/stat : 5658 (clasp-1.3.7-x86) T 5656 5658 5658 0 -1 4202496 8996 0 0 0 4817 2 0 0 25 0 1 0 869426321 33447936 7894 33554432000 134512640 136139019 4290015952 18446744073709551615 134608331 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/5658/statm: 8166 7894 184 398 0 7766 0
[pid=5656/tid=5660] ppid=5650 vsize=322300 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (python) S 5650 5650 4282 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869431147 330035200 12956 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604452798710016 0 0 -1 6 0 0 0
[pid=5661] ppid=5650 vsize=322312 CPUtime=0.25 cores=0,2,4,6
/proc/5661/stat : 5661 (python) S 5650 5650 4282 0 -1 4202560 1112 0 0 0 12 13 0 0 16 0 2 0 869431817 330047488 12941 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5661/statm: 80578 12941 396 364 0 15462 0
[pid=5663] ppid=5661 vsize=146460 CPUtime=48.04 cores=0,2,4,6
/proc/5663/stat : 5663 (minion) T 5661 5663 5663 0 -1 4202496 36863 0 0 0 4801 3 0 0 25 0 1 0 869431817 149975040 29127 33554432000 134512640 165565024 4293520304 18446744073709551615 142853006 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/5663/statm: 36615 29127 346 7582 0 29030 0
[pid=5661/tid=5666] ppid=5650 vsize=322312 CPUtime=0 cores=0,2,4,6
/proc/5661/task/5666/stat : 5666 (python) S 5650 5650 4282 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869436623 330047488 12941 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604452976263488 0 0 -1 6 0 0 0
[pid=5667] ppid=5650 vsize=332568 CPUtime=0.25 cores=0,2,4,6
################
# More data... #
################
/proc/5650/statm: 98523 14459 1887 364 0 33389 0
[pid=5656] ppid=5650 vsize=322300 CPUtime=1.2 cores=0,2,4,6
/proc/5656/stat : 5656 (python) S 5650 5650 4282 0 -1 4202560 1212 0 0 0 60 60 0 0 18 0 2 0 869426321 330035200 12957 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5656/statm: 80575 12957 412 364 0 15462 0
[pid=5658] ppid=5656 vsize=59644 CPUtime=229.11 cores=0,2,4,6
/proc/5658/stat : 5658 (clasp-1.3.7-x86) T 5656 5658 5658 0 -1 4202496 15732 0 0 0 22908 3 0 0 25 0 1 0 869426321 61075456 14630 33554432000 134512640 136139019 4290015952 18446744073709551615 134608547 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5658/statm: 14911 14630 184 398 0 14511 0
[pid=5656/tid=5660] ppid=5650 vsize=322300 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (python) S 5650 5650 4282 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869431147 330035200 12957 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604452798710016 0 0 -1 6 0 0 0
[pid=5661] ppid=5650 vsize=322312 CPUtime=0.25 cores=0,2,4,6
/proc/5661/stat : 5661 (python) S 5650 5650 4282 0 -1 4202560 1112 0 0 0 12 13 0 0 16 0 2 0 869431817 330047488 12941 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5661/statm: 80578 12941 396 364 0 15462 0
[pid=5663] ppid=5661 vsize=146460 CPUtime=48.04 cores=0,2,4,6
/proc/5663/stat : 5663 (minion) T 5661 5663 5663 0 -1 4202496 36863 0 0 0 4801 3 0 0 25 0 1 0 869431817 149975040 29127 33554432000 134512640 165565024 4293520304 18446744073709551615 142853006 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/5663/statm: 36615 29127 346 7582 0 29030 0
[pid=5661/tid=5666] ppid=5650 vsize=322312 CPUtime=0 cores=0,2,4,6
/proc/5661/task/5666/stat : 5666 (python) S 5650 5650 4282 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869436623 330047488 12941 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604452976263488 0 0 -1 6 0 0 0
[pid=5667] ppid=5650 vsize=332568 CPUtime=5.39 cores=0,2,4,6
/proc/5667/stat : 5667 (python) S 5650 5650 4282 0 -1 4202560 1198 0 0 0 271 268 0 0 15 0 2 0 869436625 340549632 12945 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5667/statm: 83142 12945 396 364 0 18023 0
[pid=5669] ppid=5667 vsize=1117724 CPUtime=1055.58 cores=0,2,4,6
/proc/5669/stat : 5669 (scip-2.0.1.linu) T 5667 5669 5669 0 -1 4202496 279770 0 0 0 105179 379 0 0 25 0 1 0 869436626 1144549376 273204 33554432000 4194304 13684479 140737065571936 18446744073709551615 7390479 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/5669/statm: 279431 273204 810 2317 0 277109 0
[pid=5667/tid=5671] ppid=5650 vsize=332568 CPUtime=0 cores=0,2,4,6
/proc/5667/task/5671/stat : 5671 (python) S 5650 5650 4282 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869441328 340549632 12945 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604443727045824 0 0 -1 4 0 0 0
[pid=5672] ppid=5650 vsize=342824 CPUtime=0.52 cores=0,2,4,6
/proc/5672/stat : 5672 (python) S 5650 5650 4282 0 -1 4202560 1181 0 0 0 26 26 0 0 15 0 2 0 869441331 351051776 12949 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5672/statm: 85706 12949 396 364 0 20584 0
[pid=5674] ppid=5672 vsize=714132 CPUtime=95.94 cores=0,2,4,6
/proc/5674/stat : 5674 (scip-2.0.1.linu) T 5672 5674 5674 0 -1 4202496 175816 0 0 0 9542 52 0 0 25 0 1 0 869441331 731271168 173499 33554432000 4194304 15243407 140737331099584 18446744073709551615 5110634 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/5674/statm: 178533 173499 712 2698 0 175828 0
[pid=5672/tid=5676] ppid=5650 vsize=342824 CPUtime=0 cores=0,2,4,6
/proc/5672/task/5676/stat : 5676 (python) S 5650 5650 4282 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869445955 351051776 12949 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604444479336832 0 0 -1 6 0 0 0
[pid=5678] ppid=5650 vsize=353080 CPUtime=0.24 cores=0,2,4,6
/proc/5678/stat : 5678 (python) S 5650 5650 4282 0 -1 4202560 1162 0 0 0 12 12 0 0 17 0 2 0 869450484 361553920 12953 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/5678/statm: 88270 12953 396 364 0 23145 0
[pid=5680] ppid=5678 vsize=71212 CPUtime=45.85 cores=0,2,4,6
/proc/5680/stat : 5680 (wbo1.4a) T 5678 5680 5680 0 -1 4202496 18470 0 0 0 4567 18 0 0 25 0 1 0 869450485 72921088 17076 33554432000 134512640 135751879 4292420848 18446744073709551615 134604644 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/5680/statm: 17803 17076 143 303 0 17498 0
[pid=5678/tid=5683] ppid=5650 vsize=353080 CPUtime=0 cores=0,2,4,6
/proc/5678/task/5683/stat : 5683 (python) S 5650 5650 4282 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869455077 361553920 12953 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604441022487616 0 0 -1 4 0 0 0
[pid=5691] ppid=5650 vsize=363336 CPUtime=0.25 cores=0,2,4,6
/proc/5691/stat : 5691 (python) S 5650 5650 4282 0 -1 4202560 1157 0 0 0 13 12 0 0 16 0 2 0 869468650 372056064 12957 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 90834 12957 396 364 0 25706 0
[pid=5693] ppid=5691 vsize=68980 CPUtime=46.86 cores=0,2,4,6
/proc/5693/stat : 5693 (wbo1.4b-fixed) T 5691 5693 5693 0 -1 4202496 17885 0 0 0 4667 19 0 0 25 0 1 0 869468650 70635520 16493 33554432000 134512640 135752315 4287758944 18446744073709551615 134604971 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/5693/statm: 17245 16493 146 303 0 16940 0
[pid=5691/tid=5695] ppid=5650 vsize=363336 CPUtime=0 cores=0,2,4,6
/proc/5691/task/5695/stat : 5695 (python) S 5650 5650 4282 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869473343 372056064 12957 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604451053978752 0 0 -1 4 0 0 0
[pid=5743] ppid=5650 vsize=373592 CPUtime=0.24 cores=0,2,4,6
/proc/5743/stat : 5743 (python) S 5650 5650 4282 0 -1 4202560 1169 0 0 0 13 11 0 0 16 0 2 0 869579176 382558208 12961 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5743/statm: 93398 12961 396 364 0 28267 0
[pid=5745] ppid=5743 vsize=8615120 CPUtime=46.75 cores=0,2,4,6
/proc/5745/stat : 5745 (java) T 5743 5745 5745 0 -1 4202496 120968 0 1 0 4659 16 0 0 18 0 19 0 869579176 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5745/statm: 2153780 110687 2254 9 0 2144521 0
[pid=5745/tid=5746] ppid=5743 vsize=8615120 CPUtime=43.7 cores=0,2,4,6
/proc/5745/task/5746/stat : 5746 (java) T 5743 5745 5745 0 -1 4202560 83037 0 1 0 4360 10 0 0 25 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 46912505974388 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5745/tid=5747] ppid=5743 vsize=8615120 CPUtime=0.04 cores=0,2,4,6
/proc/5745/task/5747/stat : 5747 (java) T 5743 5745 5745 0 -1 4202560 2161 0 0 0 4 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5745/tid=5748] ppid=5743 vsize=8615120 CPUtime=0.02 cores=0,2,4,6
/proc/5745/task/5748/stat : 5748 (java) T 5743 5745 5745 0 -1 4202560 1264 0 0 0 2 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5745/tid=5749] ppid=5743 vsize=8615120 CPUtime=0.04 cores=0,2,4,6
/proc/5745/task/5749/stat : 5749 (java) T 5743 5745 5745 0 -1 4202560 3368 0 0 0 4 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5750] ppid=5743 vsize=8615120 CPUtime=0.01 cores=0,2,4,6
/proc/5745/task/5750/stat : 5750 (java) T 5743 5745 5745 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5751] ppid=5743 vsize=8615120 CPUtime=0.02 cores=0,2,4,6
/proc/5745/task/5751/stat : 5751 (java) T 5743 5745 5745 0 -1 4202560 1512 0 0 0 2 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5745/tid=5752] ppid=5743 vsize=8615120 CPUtime=0.02 cores=0,2,4,6
/proc/5745/task/5752/stat : 5752 (java) T 5743 5745 5745 0 -1 4202560 1666 0 0 0 2 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5745/tid=5753] ppid=5743 vsize=8615120 CPUtime=0.01 cores=0,2,4,6
/proc/5745/task/5753/stat : 5753 (java) T 5743 5745 5745 0 -1 4202560 1053 0 0 0 1 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5754] ppid=5743 vsize=8615120 CPUtime=0.02 cores=0,2,4,6
/proc/5745/task/5754/stat : 5754 (java) T 5743 5745 5745 0 -1 4202560 1011 0 0 0 2 0 0 0 15 0 19 0 869579178 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5745/tid=5755] ppid=5743 vsize=8615120 CPUtime=0.58 cores=0,2,4,6
/proc/5745/task/5755/stat : 5755 (java) T 5743 5745 5745 0 -1 4202560 7429 0 0 0 57 1 0 0 15 0 19 0 869579179 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491840 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=5745/tid=5756] ppid=5743 vsize=8615120 CPUtime=0 cores=0,2,4,6
/proc/5745/task/5756/stat : 5756 (java) T 5743 5745 5745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869579180 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5757] ppid=5743 vsize=8615120 CPUtime=0 cores=0,2,4,6
/proc/5745/task/5757/stat : 5757 (java) T 5743 5745 5745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869579180 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5758] ppid=5743 vsize=8615120 CPUtime=0 cores=0,2,4,6
/proc/5745/task/5758/stat : 5758 (java) T 5743 5745 5745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869579182 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699498929 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5759] ppid=5743 vsize=8615120 CPUtime=0.58 cores=0,2,4,6
/proc/5745/task/5759/stat : 5759 (java) T 5743 5745 5745 0 -1 4202560 3870 0 0 0 57 1 0 0 15 0 19 0 869579182 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5760] ppid=5743 vsize=8615120 CPUtime=1.61 cores=0,2,4,6
/proc/5745/task/5760/stat : 5760 (java) T 5743 5745 5745 0 -1 4202560 13192 0 0 0 160 1 0 0 15 0 19 0 869579182 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5745/tid=5761] ppid=5743 vsize=8615120 CPUtime=0 cores=0,2,4,6
/proc/5745/task/5761/stat : 5761 (java) T 5743 5745 5745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869579182 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=5745/tid=5762] ppid=5743 vsize=8615120 CPUtime=0 cores=0,2,4,6
/proc/5745/task/5762/stat : 5762 (java) T 5743 5745 5745 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 869579182 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491840 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=5745/tid=5763] ppid=5743 vsize=8615120 CPUtime=0 cores=0,2,4,6
/proc/5745/task/5763/stat : 5763 (java) T 5743 5745 5745 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869579290 8821882880 110687 33554432000 1073741824 1073778376 140736229322560 18446744073709551615 212699491840 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=5743/tid=5765] ppid=5650 vsize=373592 CPUtime=0 cores=0,2,4,6
/proc/5743/task/5765/stat : 5765 (python) S 5650 5650 4282 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869583625 382558208 12961 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554946 18446604447368894592 0 0 -1 2 0 0 0
[pid=5766] ppid=5650 vsize=383848 CPUtime=0 cores=0,2,4,6
/proc/5766/stat : 5766 (python) S 5650 5650 4282 0 -1 4202560 830 0 0 0 0 0 0 0 18 0 1 0 869583626 393060352 12916 33554432000 4194304 5683644 140735051083968 18446744073709551615 212687695430 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/5766/statm: 95962 12916 348 364 0 30828 0
[pid=5768] ppid=5766 vsize=8536028 CPUtime=0.79 cores=0,2,4,6
/proc/5768/stat : 5768 (java) S 5766 5768 5768 0 -1 4202496 17594 0 1 0 75 4 0 0 19 0 18 0 869583626 8740892672 15330 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5768/statm: 2134007 15331 2213 9 0 2124748 0
[pid=5768/tid=5769] ppid=5766 vsize=8535484 CPUtime=0.4 cores=0,2,4,6
/proc/5768/task/5769/stat : 5769 (java) R 5766 5768 5768 0 -1 4202560 12147 0 1 0 38 2 0 0 18 0 18 0 869583627 8740335616 16090 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 46912505635929 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5768/tid=5770] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5770/stat : 5770 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869583627 8740335616 16092 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5771] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5771/stat : 5771 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869583627 8740335616 16094 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5772] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5772/stat : 5772 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869583627 8740335616 16096 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5773] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5773/stat : 5773 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869583627 8740335616 16097 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5774] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5774/stat : 5774 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583627 8740335616 16099 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0
[pid=5768/tid=5775] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5775/stat : 5775 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583627 8740335616 16101 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0
[pid=5768/tid=5776] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5776/stat : 5776 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583627 8740335616 16102 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0
[pid=5768/tid=5777] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5777/stat : 5777 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583627 8740335616 16104 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 0 0 0 0
[pid=5768/tid=5778] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5778/stat : 5778 (java) S 5766 5768 5768 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869583628 8740335616 16104 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491840 0 0 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5779] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5779/stat : 5779 (java) S 5766 5768 5768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869583629 8740335616 16105 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5780] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5780/stat : 5780 (java) S 5766 5768 5768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869583629 8740335616 16107 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5781] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5781/stat : 5781 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583631 8740335616 16108 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699498929 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5782] ppid=5766 vsize=8535484 CPUtime=0.19 cores=0,2,4,6
/proc/5768/task/5782/stat : 5782 (java) R 5766 5768 5768 0 -1 4202560 2986 0 0 0 18 1 0 0 17 0 18 0 869583631 8740335616 16110 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 47619931361256 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5768/tid=5783] ppid=5766 vsize=8535484 CPUtime=0.22 cores=0,2,4,6
/proc/5768/task/5783/stat : 5783 (java) R 5766 5768 5768 0 -1 4202560 1929 0 0 0 22 0 0 0 17 0 18 0 869583631 8740335616 16112 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 47619927920561 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5768/tid=5784] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5784/stat : 5784 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583631 8740335616 16113 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491225 0 4 0 16800975 18446604446430688320 0 0 -1 4 0 0 0
[pid=5768/tid=5785] ppid=5766 vsize=8535484 CPUtime=0 cores=0,2,4,6
/proc/5768/task/5785/stat : 5785 (java) S 5766 5768 5768 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869583631 8740335616 16115 33554432000 1073741824 1073778376 140737231276144 18446744073709551615 212699491840 0 4 0 16800975 18446604446430688320 0 0 -1 2 0 0 0
[pid=5650/tid=5657] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5657/stat : 5657 (python) S 5648 5650 4282 0 -1 4202560 35 932 0 0 0 0 0 0 18 0 9 0 869426321 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
[pid=5650/tid=5662] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5662/stat : 5662 (python) S 5648 5650 4282 0 -1 4202560 32 932 0 0 0 0 0 0 25 0 9 0 869431817 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
[pid=5650/tid=5668] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5668/stat : 5668 (python) S 5648 5650 4282 0 -1 4202560 36 932 0 0 0 0 0 0 18 0 9 0 869436626 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
[pid=5650/tid=5673] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5673/stat : 5673 (python) S 5648 5650 4282 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 9 0 869441331 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 4 0 0 0
[pid=5650/tid=5679] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5679/stat : 5679 (python) S 5648 5650 4282 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 9 0 869450485 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 4 0 0 0
[pid=5650/tid=5692] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5692/stat : 5692 (python) S 5648 5650 4282 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 9 0 869468650 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 6 0 0 0
[pid=5650/tid=5744] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5744/stat : 5744 (python) S 5648 5650 4282 0 -1 4202560 34 932 0 0 0 0 0 0 20 0 9 0 869579176 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 4 0 0 0
[pid=5650/tid=5767] ppid=5648 vsize=394092 CPUtime=0 cores=0,2,4,6
/proc/5650/task/5767/stat : 5767 (python) S 5648 5650 4282 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 9 0 869583626 403550208 14459 33554432000 4194304 5683644 140735051083968 18446744073709551615 212699498929 0 0 16781312 33554434 18446604452798712704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1586.59
Current children cumulated vsize (KiB) 22517252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5650 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=412569
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=180972
# CPU time returned by wait4() is 9.59354
# while last known CPU time is 1586.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1576.41
CPU time (s): 1586.59
CPU user time (s): 1577.46
CPU system time (s): 9.13
CPU usage (%): 100.646
Max. virtual memory (cumulated for all children) (KiB): 22517568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.41257
system time used= 0.180972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28706
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= 2903
involuntary context switches= 52
runsolver used 11.5772 second user time and 22.4046 second system time
The end