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-3482812-1307578195/watcher-3482812-1307578195 -o /tmp/evaluation-result-3482812-1307578195/solver-3482812-1307578195 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482812-1307578195.opb -seed 471674994 -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.24 2.08 1.74 3/521 13127
/proc/meminfo: memFree=24608672/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/13127/stat : 13127 (python) R 13125 13127 11775 0 -1 4202496 870 0 0 0 0 0 0 0 25 0 1 0 869419402 16154624 751 33554432000 4194304 5683644 140736090077344 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/13127/statm: 3944 753 343 364 0 431 0
[startup+0.100126 s]
/proc/loadavg: 2.24 2.08 1.74 3/521 13127
/proc/meminfo: memFree=24608672/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/13127/stat : 13127 (python) R 13125 13127 11775 0 -1 4202496 3170 931 1 0 5 1 0 0 18 0 1 0 869419402 98430976 2483 33554432000 4194304 5683644 140736090077344 18446744073709551615 5178079 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/13127/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.201108 s]
/proc/loadavg: 2.24 2.08 1.74 3/521 13127
/proc/meminfo: memFree=24608672/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/13127/stat : 13127 (python) R 13125 13127 11775 0 -1 4202496 5358 931 1 0 11 4 0 0 17 0 1 0 869419402 126709760 3744 33554432000 4194304 5683644 140736090077344 18446744073709551615 248089694213 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/13127/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.30109 s]
/proc/loadavg: 2.24 2.08 1.74 3/521 13127
/proc/meminfo: memFree=24608672/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=202992 CPUtime=0.23 cores=1,3,5,7
/proc/13127/stat : 13127 (python) S 13125 13127 11775 0 -1 4202496 6672 931 1 0 17 6 0 0 17 0 1 0 869419402 207863808 4957 33554432000 4194304 5683644 140736090077344 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/13127/statm: 50748 4957 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992
[startup+0.701018 s]
/proc/loadavg: 2.24 2.08 1.74 3/521 13127
/proc/meminfo: memFree=24608672/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=294796 CPUtime=0.6 cores=1,3,5,7
/proc/13127/stat : 13127 (python) R 13125 13127 11775 0 -1 4202496 12129 931 1 0 51 9 0 0 17 0 1 0 869419402 301871104 9990 33554432000 4194304 5683644 140736090077344 18446744073709551615 4540064 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/13127/statm: 73699 9990 1781 364 0 8592 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 294796
[startup+1.50088 s]
/proc/loadavg: 2.24 2.08 1.74 3/522 13132
/proc/meminfo: memFree=24558436/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=311240 CPUtime=1.4 cores=1,3,5,7
/proc/13127/stat : 13127 (python) R 13125 13127 11775 0 -1 4202496 21178 931 1 0 130 10 0 0 18 0 1 0 869419402 318709760 14157 33554432000 4194304 5683644 140736090077344 18446744073709551615 47017203044738 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/13127/statm: 77810 14157 1815 364 0 12703 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 311240
[startup+3.10066 s]
/proc/loadavg: 2.24 2.08 1.74 3/522 13132
/proc/meminfo: memFree=24556476/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=324576 CPUtime=2.5 cores=1,3,5,7
/proc/13127/stat : 13127 (python) S 13125 13127 11775 0 -1 4202496 22231 931 1 0 240 10 0 0 22 0 2 0 869419402 332365824 14985 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13127/statm: 81144 14985 1872 364 0 16031 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 324576
[startup+6.30109 s]
/proc/loadavg: 2.30 2.10 1.74 3/525 13135
/proc/meminfo: memFree=24540332/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=324576 CPUtime=2.5 cores=1,3,5,7
/proc/13127/stat : 13127 (python) S 13125 13127 11775 0 -1 4202496 22231 931 1 0 240 10 0 0 22 0 2 0 869419402 332365824 14985 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13127/statm: 81144 14985 1872 364 0 16031 0
[pid=13133] ppid=13127 vsize=314332 CPUtime=0.02 cores=1,3,5,7
/proc/13133/stat : 13133 (python) S 13127 13127 11775 0 -1 4202560 887 0 0 0 1 1 0 0 18 0 1 0 869419662 321875968 13483 33554432000 4194304 5683644 140736090077344 18446744073709551615 248089718287 0 0 16781312 33554946 15770249411235381509 0 0 17 1 0 0 0
/proc/13133/statm: 78583 13483 374 364 0 13470 0
[pid=13135] ppid=13133 vsize=15124 CPUtime=3.68 cores=1,3,5,7
/proc/13135/stat : 13135 (clasp-1.3.7-x86) R 13133 13135 13135 0 -1 4202496 4686 0 0 0 368 0 0 0 25 0 1 0 869419663 15486976 3508 33554432000 134512640 136139019 4288088880 18446744073709551615 134632461 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/13135/statm: 3781 3508 184 398 0 3381 0
[pid=13127/tid=13134] ppid=13125 vsize=324576 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13134/stat : 13134 (python) S 13125 13127 11775 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 2 0 869419663 332365824 14985 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 654032
[startup+12.701 s]
/proc/loadavg: 2.28 2.10 1.74 3/525 13135
/proc/meminfo: memFree=24532916/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=324576 CPUtime=2.5 cores=1,3,5,7
/proc/13127/stat : 13127 (python) S 13125 13127 11775 0 -1 4202496 22231 931 1 0 240 10 0 0 22 0 2 0 869419402 332365824 14985 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13127/statm: 81144 14985 1872 364 0 16031 0
[pid=13133] ppid=13127 vsize=314332 CPUtime=0.03 cores=1,3,5,7
/proc/13133/stat : 13133 (python) S 13127 13127 11775 0 -1 4202560 891 0 0 0 2 1 0 0 18 0 1 0 869419662 321875968 13484 33554432000 4194304 5683644 140736090077344 18446744073709551615 248089718287 0 0 16781312 33554946 1461761989997986053 0 0 17 1 0 0 0
/proc/13133/statm: 78583 13484 375 364 0 13470 0
[pid=13135] ppid=13133 vsize=21328 CPUtime=10.09 cores=1,3,5,7
/proc/13135/stat : 13135 (clasp-1.3.7-x86) R 13133 13135 13135 0 -1 4202496 6238 0 0 0 1008 1 0 0 25 0 1 0 869419663 21839872 5060 33554432000 134512640 136139019 4288088880 18446744073709551615 134883066 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/13135/statm: 5332 5060 184 398 0 4932 0
[pid=13127/tid=13134] ppid=13125 vsize=324576 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13134/stat : 13134 (python) S 13125 13127 11775 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 2 0 869419663 332365824 14985 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 660236
[startup+25.5007 s]
/proc/loadavg: 2.21 2.09 1.75 3/528 13138
/proc/meminfo: memFree=24500916/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=324576 CPUtime=2.5 cores=1,3,5,7
/proc/13127/stat : 13127 (python) S 13125 13127 11775 0 -1 4202496 22231 931 1 0 240 10 0 0 22 0 2 0 869419402 332365824 14985 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13127/statm: 81144 14985 1872 364 0 16031 0
[pid=13133] ppid=13127 vsize=314332 CPUtime=0.07 cores=1,3,5,7
/proc/13133/stat : 13133 (python) S 13127 13127 11775 0 -1 4202560 896 0 0 0 4 3 0 0 18 0 1 0 869419662 321875968 13484 33554432000 4194304 5683644 140736090077344 18446744073709551615 248089718287 0 0 16781312 33554946 5623311482772007619 0 0 17 1 0 0 0
/proc/13133/statm: 78583 13484 375 364 0 13470 0
[pid=13135] ppid=13133 vsize=25832 CPUtime=22.88 cores=1,3,5,7
/proc/13135/stat : 13135 (clasp-1.3.7-x86) R 13133 13135 13135 0 -1 4202496 7373 0 0 0 2287 1 0 0 25 0 1 0 869419663 26451968 6195 33554432000 134512640 136139019 4288088880 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/13135/statm: 6458 6195 184 398 0 6058 0
[pid=13127/tid=13134] ppid=13125 vsize=324576 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13134/stat : 13134 (python) S 13125 13127 11775 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 2 0 869419663 332365824 14985 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 664740
[startup+51.1012 s]
/proc/loadavg: 2.29 2.11 1.76 3/528 13139
/proc/meminfo: memFree=24435048/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=324580 CPUtime=2.81 cores=1,3,5,7
/proc/13127/stat : 13127 (python) R 13125 13127 11775 0 -1 4202496 22874 931 1 0 270 11 0 0 18 0 2 0 869419402 332369920 14987 33554432000 4194304 5683644 140736090077344 18446744073709551615 4602391 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13127/statm: 81145 14987 1873 364 0 16032 0
[pid=13133] ppid=13127 vsize=324576 CPUtime=0.19 cores=1,3,5,7
/proc/13133/stat : 13133 (python) S 13127 13127 11775 0 -1 4202560 1131 0 0 0 11 8 0 0 19 0 2 0 869419662 332365824 13525 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13133/statm: 81144 13525 411 364 0 16031 0
[pid=13135] ppid=13133 vsize=35516 CPUtime=48.19 cores=1,3,5,7
/proc/13135/stat : 13135 (clasp-1.3.7-x86) T 13133 13135 13135 0 -1 4202496 9775 0 0 0 4817 2 0 0 25 0 1 0 869419663 36368384 8597 33554432000 134512640 136139019 4288088880 18446744073709551615 134883066 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/13135/statm: 8879 8597 184 398 0 8479 0
[pid=13127/tid=13134] ppid=13125 vsize=324580 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13134/stat : 13134 (python) S 13125 13127 11775 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 2 0 869419663 332369920 14987 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 684672
[startup+102.301 s]
/proc/loadavg: 2.20 2.11 1.78 3/536 13148
/proc/meminfo: memFree=24151444/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=334832 CPUtime=8.94 cores=1,3,5,7
/proc/13127/stat : 13127 (python) S 13125 13127 11775 0 -1 4202496 23200 931 1 0 882 12 0 0 25 0 3 0 869419402 342867968 14992 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13127/statm: 83708 14992 1875 364 0 18592 0
[pid=13133] ppid=13127 vsize=324576 CPUtime=0.19 cores=1,3,5,7
/proc/13133/stat : 13133 (python) S 13127 13127 11775 0 -1 4202560 1131 0 0 0 11 8 0 0 19 0 2 0 869419662 332365824 13525 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13133/statm: 81144 13525 411 364 0 16031 0
[pid=13135] ppid=13133 vsize=35516 CPUtime=48.19 cores=1,3,5,7
/proc/13135/stat : 13135 (clasp-1.3.7-x86) T 13133 13135 13135 0 -1 4202496 9775 0 0 0 4817 2 0 0 25 0 1 0 869419663 36368384 8597 33554432000 134512640 136139019 4288088880 18446744073709551615 134883066 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/13135/statm: 8879 8597 184 398 0 8479 0
[pid=13133/tid=13140] ppid=13127 vsize=324576 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13140/stat : 13140 (python) S 13127 13127 11775 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869424482 332365824 13525 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604460401169600 0 0 -1 7 0 0 0
[pid=13141] ppid=13127 vsize=324588 CPUtime=0.18 cores=1,3,5,7
/proc/13141/stat : 13141 (python) S 13127 13127 11775 0 -1 4202560 952 0 0 0 8 10 0 0 16 0 1 0 869425126 332378112 13485 33554432000 4194304 5683644 140736090077344 18446744073709551615 248089718342 0 0 16781312 33554946 5623753486446373571 0 0 17 7 0 0 0
/proc/13141/statm: 81147 13485 372 364 0 16031 0
[pid=13143] ppid=13141 vsize=165244 CPUtime=45.05 cores=1,3,5,7
/proc/13143/stat : 13143 (minion) R 13141 13143 13143 0 -1 4202496 41852 0 0 0 4501 4 0 0 25 0 1 0 869425127 169209856 33830 33554432000 134512640 165565024 4291431456 18446744073709551615 141380959 0 0 16781312 8396802 0 0 0 17 3 0 0 0
/proc/13143/statm: 41311 33830 346 7582 0 33726 0
[pid=13127/tid=13134] ppid=13125 vsize=334832 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13134/stat : 13134 (python) S 13125 13127 11775 0 -1 4202560 25 931 0 0 0 0 0 0 22 0 3 0 869419663 342867968 14992 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
[pid=13127/tid=13142] ppid=13125 vsize=334832 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13142/stat : 13142 (python) S 13125 13127 11775 0 -1 4202560 31 931 0 0 0 0 0 0 25 0 3 0 869425127 342867968 14992 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.55
Current children cumulated vsize (KiB) 1184756
[startup+162.301 s]
/proc/loadavg: 2.11 2.10 1.80 2/510 13455
/proc/meminfo: memFree=23189152/32950928 swapFree=45617076/67111528
[pid=13127] ppid=13125 vsize=355344 CPUtime=9 cores=1,3,5,7
/proc/13127/stat : 13127 (python) S 13125 13127 11775 0 -1 4202496 25044 931 1 0 887 13 0 0 20 0 5 0 869419402 363872256 15004 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/13127/statm: 88836 15004 1879 364 0 23714 0
[pid=13133] ppid=13127 vsize=324576 CPUtime=0.19 cores=1,3,5,7
/proc/13133/stat : 13133 (python) S 13127 13127 11775 0 -1 4202560 1131 0 0 0 11 8 0 0 19 0 2 0 869419662 332365824 13525 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13133/statm: 81144 13525 411 364 0 16031 0
[pid=13135] ppid=13133 vsize=35516 CPUtime=48.19 cores=1,3,5,7
/proc/13135/stat : 13135 (clasp-1.3.7-x86) T 13133 13135 13135 0 -1 4202496 9775 0 0 0 4817 2 0 0 25 0 1 0 869419663 36368384 8597 33554432000 134512640 136139019 4288088880 18446744073709551615 134883066 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/13135/statm: 8879 8597 184 398 0 8479 0
[pid=13133/tid=13140] ppid=13127 vsize=324576 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13140/stat : 13140 (python) S 13127 13127 11775 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869424482 332365824 13525 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604460401169600 0 0 -1 7 0 0 0
[pid=13141] ppid=13127 vsize=324588 CPUtime=0.2 cores=1,3,5,7
/proc/13141/stat : 13141 (python) S 13127 13127 11775 0 -1 4202560 1114 0 0 0 9 11 0 0 16 0 2 0 869425126 332378112 13510 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13141/statm: 81147 13510 396 364 0 16031 0
[pid=13143] ppid=13141 vsize=165244 CPUtime=49.13 cores=1,3,5,7
/proc/13143/stat : 13143 (minion) T 13141 13143 13143 0 -1 4202496 41852 0 0 0 4909 4 0 0 25 0 1 0 869425127 169209856 33830 33554432000 134512640 165565024 4291431456 18446744073709551615 142764901 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/13143/statm: 41311 33830 346 7582 0 33726 0
[pid=13141/tid=13149] ppid=13127 vsize=324588 CPUtime=0 cores=1,3,5,7
/proc/13141/task/13149/stat : 13149 (python) S 13127 13127 11775 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869430041 332378112 13510 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604459632371008 0 0 -1 7 0 0 0
[pid=13150] ppid=13127 vsize=334844 CPUtime=0.19 cores=1,3,5,7
################
# More data... #
################
/proc/13135/stat : 13135 (clasp-1.3.7-x86) T 13133 13135 13135 0 -1 4202496 17376 0 0 0 22991 2 0 0 25 0 1 0 869419663 67698688 16198 33554432000 134512640 136139019 4288088880 18446744073709551615 134608370 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/13135/statm: 16528 16198 184 398 0 16128 0
[pid=13133/tid=13140] ppid=13127 vsize=324576 CPUtime=0 cores=1,3,5,7
/proc/13133/task/13140/stat : 13140 (python) S 13127 13127 11775 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 2 0 869424482 332365824 13526 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604460401169600 0 0 -1 7 0 0 0
[pid=13141] ppid=13127 vsize=324588 CPUtime=0.2 cores=1,3,5,7
/proc/13141/stat : 13141 (python) S 13127 13127 11775 0 -1 4202560 1114 0 0 0 9 11 0 0 16 0 2 0 869425126 332378112 13510 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13141/statm: 81147 13510 396 364 0 16031 0
[pid=13143] ppid=13141 vsize=165244 CPUtime=49.13 cores=1,3,5,7
/proc/13143/stat : 13143 (minion) T 13141 13143 13143 0 -1 4202496 41852 0 0 0 4909 4 0 0 25 0 1 0 869425127 169209856 33830 33554432000 134512640 165565024 4291431456 18446744073709551615 142764901 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/13143/statm: 41311 33830 346 7582 0 33726 0
[pid=13141/tid=13149] ppid=13127 vsize=324588 CPUtime=0 cores=1,3,5,7
/proc/13141/task/13149/stat : 13149 (python) S 13127 13127 11775 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869430041 332378112 13510 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604459632371008 0 0 -1 7 0 0 0
[pid=13150] ppid=13127 vsize=334844 CPUtime=4.58 cores=1,3,5,7
/proc/13150/stat : 13150 (python) S 13127 13127 11775 0 -1 4202560 1192 0 0 0 208 250 0 0 16 0 2 0 869430043 342880256 13514 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13150/statm: 83711 13514 396 364 0 18592 0
[pid=13152] ppid=13150 vsize=1705688 CPUtime=1057.66 cores=1,3,5,7
/proc/13152/stat : 13152 (scip-2.0.1.linu) T 13150 13152 13152 0 -1 4202496 430057 0 0 0 105426 340 0 0 25 0 1 0 869430044 1746624512 420333 33554432000 4194304 13684479 140735356089904 18446744073709551615 7398280 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13152/statm: 426422 420333 1169 2317 0 424100 0
[pid=13150/tid=13358] ppid=13127 vsize=334844 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13358/stat : 13358 (python) S 13127 13127 11775 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869434842 342880256 13514 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604468044407936 0 0 -1 3 0 0 0
[pid=13363] ppid=13127 vsize=345100 CPUtime=0.43 cores=1,3,5,7
/proc/13363/stat : 13363 (python) S 13127 13127 11775 0 -1 4202560 1170 0 0 0 21 22 0 0 15 0 2 0 869434845 353382400 13518 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13363/statm: 86275 13518 396 364 0 21153 0
[pid=13365] ppid=13363 vsize=754416 CPUtime=96.62 cores=1,3,5,7
/proc/13365/stat : 13365 (scip-2.0.1.linu) T 13363 13365 13365 0 -1 4202496 185325 0 0 0 9548 114 0 0 25 0 1 0 869434845 772521984 183009 33554432000 4194304 15243407 140735970748432 18446744073709551615 5688591 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13365/statm: 188604 183009 716 2698 0 185899 0
[pid=13363/tid=13475] ppid=13127 vsize=345100 CPUtime=0 cores=1,3,5,7
/proc/13363/task/13475/stat : 13475 (python) S 13127 13127 11775 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869439544 353382400 13518 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604471133098048 0 0 -1 7 0 0 0
[pid=13481] ppid=13127 vsize=355356 CPUtime=0.2 cores=1,3,5,7
/proc/13481/stat : 13481 (python) S 13127 13127 11775 0 -1 4202560 1151 0 0 0 10 10 0 0 16 0 2 0 869444168 363884544 13522 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13481/statm: 88839 13522 396 364 0 23714 0
[pid=13483] ppid=13481 vsize=66416 CPUtime=46.53 cores=1,3,5,7
/proc/13483/stat : 13483 (wbo1.4a) T 13481 13483 13483 0 -1 4202496 17469 0 0 0 4628 25 0 0 25 0 1 0 869444168 68009984 15997 33554432000 134512640 135751879 4288306080 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/13483/statm: 16604 15997 143 303 0 16299 0
[pid=13481/tid=13489] ppid=13127 vsize=355356 CPUtime=0 cores=1,3,5,7
/proc/13481/task/13489/stat : 13489 (python) S 13127 13127 11775 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869448823 363884544 13522 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604463450076288 0 0 -1 3 0 0 0
[pid=13562] ppid=13127 vsize=365612 CPUtime=0.22 cores=1,3,5,7
/proc/13562/stat : 13562 (python) S 13127 13127 11775 0 -1 4202560 1136 0 0 0 10 12 0 0 17 0 2 0 869467348 374386688 13526 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13562/statm: 91403 13526 396 364 0 26275 0
[pid=13564] ppid=13562 vsize=69648 CPUtime=49.85 cores=1,3,5,7
/proc/13564/stat : 13564 (wbo1.4b-fixed) T 13562 13564 13564 0 -1 4202496 18257 0 0 0 4951 34 0 0 25 0 1 0 869467349 71319552 16787 33554432000 134512640 135752315 4288070592 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/13564/statm: 17412 16787 146 303 0 17107 0
[pid=13562/tid=13570] ppid=13127 vsize=365612 CPUtime=0 cores=1,3,5,7
/proc/13562/task/13570/stat : 13570 (python) S 13127 13127 11775 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869472334 374386688 13526 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604458080092352 0 0 -1 7 0 0 0
[pid=13645] ppid=13127 vsize=375868 CPUtime=0.39 cores=1,3,5,7
/proc/13645/stat : 13645 (python) S 13127 13127 11775 0 -1 4202560 1170 0 0 0 17 22 0 0 16 0 2 0 869522854 384888832 13530 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13645/statm: 93967 13530 396 364 0 28836 0
[pid=13647] ppid=13645 vsize=119160 CPUtime=91.93 cores=1,3,5,7
/proc/13647/stat : 13647 (bsolo_pb10) T 13645 13647 13647 0 -1 4202496 31646 0 0 0 9165 28 0 0 25 0 1 0 869522855 122019840 27259 33554432000 134512640 137138936 4289798192 18446744073709551615 134572768 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/13647/statm: 29790 27259 191 642 0 29146 0
[pid=13645/tid=13651] ppid=13127 vsize=375868 CPUtime=0 cores=1,3,5,7
/proc/13645/task/13651/stat : 13651 (python) S 13127 13127 11775 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869532050 384888832 13530 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604457759544576 0 0 -1 7 0 0 0
[pid=13665] ppid=13127 vsize=386124 CPUtime=0.2 cores=1,3,5,7
/proc/13665/stat : 13665 (python) S 13127 13127 11775 0 -1 4202560 1204 0 0 0 10 10 0 0 16 0 2 0 869582503 395390976 13540 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101524939 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/13665/statm: 96531 13540 402 364 0 31397 0
[pid=13667] ppid=13665 vsize=8548024 CPUtime=47.16 cores=1,3,5,7
/proc/13667/stat : 13667 (java) T 13665 13667 13667 0 -1 4202496 112595 0 1 0 4701 15 0 0 15 0 19 0 869582504 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/13667/statm: 2137006 104309 2255 9 0 2127747 0
[pid=13667/tid=13668] ppid=13665 vsize=8548024 CPUtime=44.26 cores=1,3,5,7
/proc/13667/task/13668/stat : 13668 (java) T 13665 13667 13667 0 -1 4202560 77033 0 1 0 4414 12 0 0 25 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 46912505984047 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13669] ppid=13665 vsize=8548024 CPUtime=0.06 cores=1,3,5,7
/proc/13667/task/13669/stat : 13669 (java) T 13665 13667 13667 0 -1 4202560 3516 0 0 0 6 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13667/tid=13670] ppid=13665 vsize=8548024 CPUtime=0.01 cores=1,3,5,7
/proc/13667/task/13670/stat : 13670 (java) T 13665 13667 13667 0 -1 4202560 401 0 0 0 1 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13671] ppid=13665 vsize=8548024 CPUtime=0.04 cores=1,3,5,7
/proc/13667/task/13671/stat : 13671 (java) T 13665 13667 13667 0 -1 4202560 2572 0 0 0 4 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13672] ppid=13665 vsize=8548024 CPUtime=0 cores=1,3,5,7
/proc/13667/task/13672/stat : 13672 (java) T 13665 13667 13667 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13673] ppid=13665 vsize=8548024 CPUtime=0.01 cores=1,3,5,7
/proc/13667/task/13673/stat : 13673 (java) T 13665 13667 13667 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13667/tid=13674] ppid=13665 vsize=8548024 CPUtime=0.03 cores=1,3,5,7
/proc/13667/task/13674/stat : 13674 (java) T 13665 13667 13667 0 -1 4202560 1679 0 0 0 3 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13675] ppid=13665 vsize=8548024 CPUtime=0.02 cores=1,3,5,7
/proc/13667/task/13675/stat : 13675 (java) T 13665 13667 13667 0 -1 4202560 1883 0 0 0 2 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13667/tid=13676] ppid=13665 vsize=8548024 CPUtime=0.04 cores=1,3,5,7
/proc/13667/task/13676/stat : 13676 (java) T 13665 13667 13667 0 -1 4202560 2276 0 0 0 4 0 0 0 15 0 19 0 869582505 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13677] ppid=13665 vsize=8548024 CPUtime=0.62 cores=1,3,5,7
/proc/13667/task/13677/stat : 13677 (java) T 13665 13667 13667 0 -1 4202560 8233 0 0 0 62 0 0 0 15 0 19 0 869582506 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514752 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13667/tid=13678] ppid=13665 vsize=8548024 CPUtime=0 cores=1,3,5,7
/proc/13667/task/13678/stat : 13678 (java) T 13665 13667 13667 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869582507 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13679] ppid=13665 vsize=8548024 CPUtime=0 cores=1,3,5,7
/proc/13667/task/13679/stat : 13679 (java) T 13665 13667 13667 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869582507 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13680] ppid=13665 vsize=8548024 CPUtime=0 cores=1,3,5,7
/proc/13667/task/13680/stat : 13680 (java) T 13665 13667 13667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869582509 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101521841 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13681] ppid=13665 vsize=8548024 CPUtime=0.59 cores=1,3,5,7
/proc/13667/task/13681/stat : 13681 (java) T 13665 13667 13667 0 -1 4202560 3888 0 0 0 59 0 0 0 15 0 19 0 869582509 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13667/tid=13682] ppid=13665 vsize=8548024 CPUtime=1.39 cores=1,3,5,7
/proc/13667/task/13682/stat : 13682 (java) T 13665 13667 13667 0 -1 4202560 9724 0 0 0 138 1 0 0 15 0 19 0 869582509 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13667/tid=13683] ppid=13665 vsize=8548024 CPUtime=0 cores=1,3,5,7
/proc/13667/task/13683/stat : 13683 (java) T 13665 13667 13667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869582509 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13667/tid=13684] ppid=13665 vsize=8548024 CPUtime=0 cores=1,3,5,7
/proc/13667/task/13684/stat : 13684 (java) T 13665 13667 13667 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869582509 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514752 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13667/tid=13685] ppid=13665 vsize=8548024 CPUtime=0 cores=1,3,5,7
/proc/13667/task/13685/stat : 13685 (java) T 13665 13667 13667 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869582623 8753176576 104309 33554432000 1073741824 1073778376 140735762999424 18446744073709551615 248101514752 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13665/tid=13687] ppid=13127 vsize=386124 CPUtime=0 cores=1,3,5,7
/proc/13665/task/13687/stat : 13687 (python) S 13127 13127 11775 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869587013 395390976 13540 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554946 18446604468863287424 0 0 -1 1 0 0 0
[pid=13688] ppid=13127 vsize=396380 CPUtime=0 cores=1,3,5,7
/proc/13688/stat : 13688 (python) S 13127 13127 11775 0 -1 4202560 877 0 0 0 0 0 0 0 19 0 1 0 869587014 405893120 13496 33554432000 4194304 5683644 140736090077344 18446744073709551615 248089718342 0 0 16781312 33554946 15393552673110196485 0 0 17 3 0 0 0
/proc/13688/statm: 99095 13496 355 364 0 33958 0
[pid=13690] ppid=13688 vsize=8534508 CPUtime=0.52 cores=1,3,5,7
/proc/13690/stat : 13690 (java) S 13688 13690 13690 0 -1 4202496 10490 0 1 0 51 1 0 0 20 0 18 0 869587015 8739336192 8671 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/13690/statm: 2133627 8671 2200 9 0 2124368 0
[pid=13690/tid=13691] ppid=13688 vsize=8534508 CPUtime=0.3 cores=1,3,5,7
/proc/13690/task/13691/stat : 13691 (java) R 13688 13690 13690 0 -1 4202560 5941 0 1 0 29 1 0 0 18 0 18 0 869587015 8739336192 8872 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 46912505561894 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13690/tid=13692] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13692/stat : 13692 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869587016 8739336192 8873 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 7 0 0 0
[pid=13690/tid=13693] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13693/stat : 13693 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869587016 8739336192 8873 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 7 0 0 0
[pid=13690/tid=13694] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13694/stat : 13694 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869587016 8739336192 8874 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 7 0 0 0
[pid=13690/tid=13695] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13695/stat : 13695 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869587016 8739336192 8874 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 1 0 0 0
[pid=13690/tid=13696] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13696/stat : 13696 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869587016 8739336192 8875 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 1 0 0 0
[pid=13690/tid=13697] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13697/stat : 13697 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869587016 8739336192 8875 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 1 0 0 0
[pid=13690/tid=13698] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13698/stat : 13698 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869587016 8739336192 8875 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 1 0 0 0
[pid=13690/tid=13699] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13699/stat : 13699 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869587016 8739336192 8876 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 1 0 0 0
[pid=13690/tid=13700] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13700/stat : 13700 (java) S 13688 13690 13690 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869587017 8739336192 8877 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514752 0 0 0 16800975 18446604471092304704 0 0 -1 7 0 0 0
[pid=13690/tid=13701] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13701/stat : 13701 (java) S 13688 13690 13690 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869587017 8739336192 8878 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 7 0 0 0
[pid=13690/tid=13702] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13702/stat : 13702 (java) S 13688 13690 13690 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 869587017 8739336192 8878 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 1 0 0 0
[pid=13690/tid=13703] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13703/stat : 13703 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869587019 8739336192 8879 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101521841 0 4 0 16800975 18446604471092304704 0 0 -1 7 0 0 0
[pid=13690/tid=13704] ppid=13688 vsize=8534508 CPUtime=0.09 cores=1,3,5,7
/proc/13690/task/13704/stat : 13704 (java) R 13688 13690 13690 0 -1 4202560 979 0 0 0 9 0 0 0 25 0 18 0 869587019 8739336192 8879 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 47127147887653 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13690/tid=13705] ppid=13688 vsize=8534508 CPUtime=0.12 cores=1,3,5,7
/proc/13690/task/13705/stat : 13705 (java) R 13688 13690 13690 0 -1 4202560 2375 0 0 0 12 0 0 0 16 0 18 0 869587019 8739336192 8879 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248089359393 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13690/tid=13706] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13706/stat : 13706 (java) S 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869587019 8739336192 8880 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514137 0 4 0 16800975 18446604471092304704 0 0 -1 7 0 0 0
[pid=13690/tid=13707] ppid=13688 vsize=8534508 CPUtime=0 cores=1,3,5,7
/proc/13690/task/13707/stat : 13707 (java) R 13688 13690 13690 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869587019 8739336192 8880 33554432000 1073741824 1073778376 140737305032560 18446744073709551615 248101514752 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13127/tid=13134] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13134/stat : 13134 (python) S 13125 13127 11775 0 -1 4202560 33 931 0 0 0 0 0 0 18 0 10 0 869419663 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
[pid=13127/tid=13142] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13142/stat : 13142 (python) S 13125 13127 11775 0 -1 4202560 31 931 0 0 0 0 0 0 25 0 10 0 869425127 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 1 0 0 0
[pid=13127/tid=13151] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13151/stat : 13151 (python) S 13125 13127 11775 0 -1 4202560 43 931 0 0 0 0 0 0 18 0 10 0 869430044 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 7 0 0 0
[pid=13127/tid=13364] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13364/stat : 13364 (python) S 13125 13127 11775 0 -1 4202560 33 931 0 0 0 0 0 0 18 0 10 0 869434845 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 3 0 0 0
[pid=13127/tid=13482] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13482/stat : 13482 (python) S 13125 13127 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 10 0 869444168 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 7 0 0 0
[pid=13127/tid=13563] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13563/stat : 13563 (python) S 13125 13127 11775 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 10 0 869467349 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 3 0 0 0
[pid=13127/tid=13646] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13646/stat : 13646 (python) S 13125 13127 11775 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 10 0 869522854 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 3 0 0 0
[pid=13127/tid=13666] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13666/stat : 13666 (python) S 13125 13127 11775 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 10 0 869582504 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 3 0 0 0
[pid=13127/tid=13689] ppid=13125 vsize=406624 CPUtime=0 cores=1,3,5,7
/proc/13127/task/13689/stat : 13689 (python) S 13125 13127 11775 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 10 0 869587015 416382976 15034 33554432000 4194304 5683644 140736090077344 18446744073709551615 248101521841 0 0 16781312 33554434 18446604471133099840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1685.71
Current children cumulated vsize (KiB) 23644288
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13127 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=60622
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=156976
# CPU time returned by wait4() is 9.2176
# while last known CPU time is 1685.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1676.51
CPU time (s): 1685.71
CPU user time (s): 1676.08
CPU system time (s): 9.63
CPU usage (%): 100.549
Max. virtual memory (cumulated for all children) (KiB): 23644288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.06062
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30698
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= 1043
involuntary context switches= 55
runsolver used 10.0755 second user time and 24.0423 second system time
The end