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-3482424-1307576519/watcher-3482424-1307576519 -o /tmp/evaluation-result-3482424-1307576519/solver-3482424-1307576519 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482424-1307576519.opb -seed 1259924579 -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.29 0.94 0.35 2/578 5385
/proc/meminfo: memFree=23719240/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 820 0 0 0 0 0 0 0 25 0 1 0 869249742 15749120 704 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/5385/statm: 3845 704 334 364 0 332 0
[startup+0.0393021 s]
/proc/loadavg: 2.29 0.94 0.35 2/578 5385
/proc/meminfo: memFree=23719240/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=18884 CPUtime=0.02 cores=1,3,5,7
/proc/5385/stat : 5385 (python) R 5383 5385 4282 0 -1 4202496 1287 0 0 0 2 0 0 0 25 0 1 0 869249742 19337216 1139 33554432000 4194304 5683644 140733278698352 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5385/statm: 4721 1139 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.104291 s]
/proc/loadavg: 2.29 0.94 0.35 2/578 5385
/proc/meminfo: memFree=23719240/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/5385/stat : 5385 (python) R 5383 5385 4282 0 -1 4202496 3170 932 1 0 5 1 0 0 18 0 1 0 869249742 98430976 2483 33554432000 4194304 5683644 140733278698352 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5385/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.301178 s]
/proc/loadavg: 2.29 0.94 0.35 2/578 5385
/proc/meminfo: memFree=23719240/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=173424 CPUtime=0.21 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 6234 932 1 0 16 5 0 0 18 0 1 0 869249742 177586176 4544 33554432000 4194304 5683644 140733278698352 18446744073709551615 212682751623 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5385/statm: 43356 4544 1232 364 0 3534 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 173424
[startup+0.701158 s]
/proc/loadavg: 2.29 0.94 0.35 2/578 5385
/proc/meminfo: memFree=23719240/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=261388 CPUtime=0.32 cores=1,3,5,7
/proc/5385/stat : 5385 (python) D 5383 5385 4282 0 -1 4202496 8254 932 1 0 25 7 0 0 18 0 1 0 869249742 267661312 6350 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687681079 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/5385/statm: 65347 6350 1677 364 0 5063 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 261388
[startup+2.04089 s]
/proc/loadavg: 2.29 0.94 0.35 2/578 5385
/proc/meminfo: memFree=23719240/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=308500 CPUtime=1.45 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 15819 932 1 0 137 8 0 0 21 0 2 0 869249742 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 22
/proc/5385/statm: 77125 10966 1872 364 0 12012 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 308500
heavy processes:
[startup+3.10069 s]
/proc/loadavg: 2.35 0.97 0.36 3/582 5393
/proc/meminfo: memFree=23665888/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=308500 CPUtime=1.45 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 15819 932 1 0 137 8 0 0 21 0 2 0 869249742 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 22
/proc/5385/statm: 77125 10966 1872 364 0 12012 0
[pid=5391] ppid=5385 vsize=298256 CPUtime=0 cores=1,3,5,7
/proc/5391/stat : 5391 (python) S 5385 5385 4282 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 869249929 305414144 9441 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687695375 0 0 16781312 33554946 9111491613422485765 0 0 17 3 0 0 0
/proc/5391/statm: 74564 9441 351 364 0 9451 0
[pid=5393] ppid=5391 vsize=12212 CPUtime=1.21 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.3.7-x86) R 5391 5393 5393 0 -1 4202496 3643 0 0 0 121 0 0 0 25 0 1 0 869249929 12505088 2785 33554432000 134512640 136139019 4293930144 18446744073709551615 134832407 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5393/statm: 3053 2785 184 398 0 2653 0
[pid=5385/tid=5392] ppid=5383 vsize=308500 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 21 0 2 0 869249929 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 618968
[startup+6.30111 s]
/proc/loadavg: 2.35 0.97 0.36 3/582 5393
/proc/meminfo: memFree=23663860/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=308500 CPUtime=1.45 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 15819 932 1 0 137 8 0 0 21 0 2 0 869249742 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 22
/proc/5385/statm: 77125 10966 1872 364 0 12012 0
[pid=5391] ppid=5385 vsize=298256 CPUtime=0.01 cores=1,3,5,7
/proc/5391/stat : 5391 (python) S 5385 5385 4282 0 -1 4202560 885 0 0 0 0 1 0 0 18 0 1 0 869249929 305414144 9465 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687695375 0 0 16781312 33554946 9111500684393414917 0 0 17 3 0 0 0
/proc/5391/statm: 74564 9465 375 364 0 9451 0
[pid=5393] ppid=5391 vsize=16304 CPUtime=4.42 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.3.7-x86) R 5391 5393 5393 0 -1 4202496 4641 0 0 0 441 1 0 0 25 0 1 0 869249929 16695296 3783 33554432000 134512640 136139019 4293930144 18446744073709551615 134742406 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5393/statm: 4076 3783 184 398 0 3676 0
[pid=5385/tid=5392] ppid=5383 vsize=308500 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 21 0 2 0 869249929 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 623060
[startup+12.7009 s]
/proc/loadavg: 2.29 1.01 0.38 3/582 5393
/proc/meminfo: memFree=23649760/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=308500 CPUtime=1.45 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 15819 932 1 0 137 8 0 0 21 0 2 0 869249742 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 22
/proc/5385/statm: 77125 10966 1872 364 0 12012 0
[pid=5391] ppid=5385 vsize=298256 CPUtime=0.04 cores=1,3,5,7
/proc/5391/stat : 5391 (python) S 5385 5385 4282 0 -1 4202560 887 0 0 0 1 3 0 0 18 0 1 0 869249929 305414144 9465 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687695375 0 0 16781312 33554946 9111491613422485765 0 0 17 3 0 0 0
/proc/5391/statm: 74564 9465 375 364 0 9451 0
[pid=5393] ppid=5391 vsize=27412 CPUtime=10.82 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.3.7-x86) R 5391 5393 5393 0 -1 4202496 7431 0 0 0 1081 1 0 0 25 0 1 0 869249929 28069888 6573 33554432000 134512640 136139019 4293930144 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5393/statm: 6853 6573 184 398 0 6453 0
[pid=5385/tid=5392] ppid=5383 vsize=308500 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 21 0 2 0 869249929 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 634168
[startup+25.5006 s]
/proc/loadavg: 2.25 1.04 0.39 3/586 5398
/proc/meminfo: memFree=23498864/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=308500 CPUtime=1.45 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 15819 932 1 0 137 8 0 0 21 0 2 0 869249742 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 22
/proc/5385/statm: 77125 10966 1872 364 0 12012 0
[pid=5391] ppid=5385 vsize=298256 CPUtime=0.11 cores=1,3,5,7
/proc/5391/stat : 5391 (python) S 5385 5385 4282 0 -1 4202560 891 0 0 0 3 8 0 0 18 0 1 0 869249929 305414144 9465 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687695375 0 0 16781312 33554946 5623753486446373598 0 0 17 7 0 0 0
/proc/5391/statm: 74564 9465 375 364 0 9451 0
[pid=5393] ppid=5391 vsize=30856 CPUtime=23.62 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.3.7-x86) R 5391 5393 5393 0 -1 4202496 8277 0 0 0 2361 1 0 0 25 0 1 0 869249929 31596544 7419 33554432000 134512640 136139019 4293930144 18446744073709551615 134883456 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5393/statm: 7714 7419 184 398 0 7314 0
[pid=5385/tid=5392] ppid=5383 vsize=308500 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 21 0 2 0 869249929 315904000 10966 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 637612
[startup+51.1009 s]
/proc/loadavg: 2.16 1.11 0.44 3/587 5399
/proc/meminfo: memFree=23496884/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=308504 CPUtime=3.44 cores=1,3,5,7
/proc/5385/stat : 5385 (python) R 5383 5385 4282 0 -1 4202496 16495 932 1 0 335 9 0 0 21 0 2 0 869249742 315908096 10968 33554432000 4194304 5683644 140733278698352 18446744073709551615 4540789 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 22
/proc/5385/statm: 77126 10968 1873 364 0 12013 0
[pid=5391] ppid=5385 vsize=308500 CPUtime=0.23 cores=1,3,5,7
/proc/5391/stat : 5391 (python) S 5385 5385 4282 0 -1 4202560 1129 0 0 0 9 14 0 0 19 0 2 0 869249929 315904000 9506 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5391/statm: 77125 9506 411 364 0 12012 0
[pid=5393] ppid=5391 vsize=32264 CPUtime=47.23 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.3.7-x86) T 5391 5393 5393 0 -1 4202496 8623 0 0 0 4721 2 0 0 25 0 1 0 869249929 33038336 7765 33554432000 134512640 136139019 4293930144 18446744073709551615 134828656 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/5393/statm: 8066 7765 184 398 0 7666 0
[pid=5391/tid=5399] ppid=5385 vsize=308500 CPUtime=0 cores=1,3,5,7
/proc/5391/task/5399/stat : 5399 (python) S 5385 5385 4282 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869254654 315904000 9506 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604457581495232 0 0 -1 7 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=308504 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 21 0 2 0 869249929 315908096 10968 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 649268
[startup+102.301 s]
/proc/loadavg: 2.12 1.28 0.53 3/598 5412
/proc/meminfo: memFree=23184492/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=329012 CPUtime=4.86 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 17785 932 1 0 476 10 0 0 20 0 4 0 869249742 336908288 10979 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 22
/proc/5385/statm: 82253 10979 1877 364 0 17134 0
[pid=5391] ppid=5385 vsize=308500 CPUtime=0.23 cores=1,3,5,7
/proc/5391/stat : 5391 (python) S 5385 5385 4282 0 -1 4202560 1129 0 0 0 9 14 0 0 19 0 2 0 869249929 315904000 9506 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5391/statm: 77125 9506 411 364 0 12012 0
[pid=5393] ppid=5391 vsize=32264 CPUtime=47.23 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.3.7-x86) T 5391 5393 5393 0 -1 4202496 8623 0 0 0 4721 2 0 0 25 0 1 0 869249929 33038336 7765 33554432000 134512640 136139019 4293930144 18446744073709551615 134828656 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/5393/statm: 8066 7765 184 398 0 7666 0
[pid=5391/tid=5399] ppid=5385 vsize=308500 CPUtime=0 cores=1,3,5,7
/proc/5391/task/5399/stat : 5399 (python) S 5385 5385 4282 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869254654 315904000 9506 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604457581495232 0 0 -1 7 0 0 0
[pid=5400] ppid=5385 vsize=308512 CPUtime=0.23 cores=1,3,5,7
/proc/5400/stat : 5400 (python) S 5385 5385 4282 0 -1 4202560 1118 0 0 0 10 13 0 0 16 0 2 0 869254991 315916288 9491 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5400/statm: 77128 9491 396 364 0 12012 0
[pid=5402] ppid=5400 vsize=150652 CPUtime=48.27 cores=1,3,5,7
/proc/5402/stat : 5402 (minion) T 5400 5402 5402 0 -1 4202496 34032 0 0 0 4824 3 0 0 25 0 1 0 869254991 154267648 30218 33554432000 134512640 165565024 4294690448 18446744073709551615 142853006 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/5402/statm: 37663 30218 346 7582 0 30078 0
[pid=5400/tid=5409] ppid=5385 vsize=308512 CPUtime=0 cores=1,3,5,7
/proc/5400/task/5409/stat : 5409 (python) S 5385 5385 4282 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869259819 315916288 9491 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604470159161408 0 0 -1 7 0 0 0
[pid=5410] ppid=5385 vsize=318768 CPUtime=0 cores=1,3,5,7
/proc/5410/stat : 5410 (python) S 5385 5385 4282 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 869259822 326418432 9446 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687695430 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/5410/statm: 79692 9446 348 364 0 14573 0
[pid=5412] ppid=5410 vsize=21540 CPUtime=1.49 cores=1,3,5,7
/proc/5412/stat : 5412 (wbo1.4b-fixed) R 5410 5412 5412 0 -1 4202496 5632 0 0 0 146 3 0 0 21 0 1 0 869259822 22056960 4737 33554432000 134512640 135752315 4290934592 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/5412/statm: 5385 4737 146 303 0 5080 0
[pid=5385/tid=5392] ppid=5383 vsize=329012 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 21 0 4 0 869249929 336908288 10979 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=329012 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 25 0 4 0 869254991 336908288 10979 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
[pid=5385/tid=5411] ppid=5383 vsize=329012 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5411/stat : 5411 (python) S 5383 5385 4282 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 4 0 869259822 336908288 10979 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1469248
[startup+162.301 s]
/proc/loadavg: 2.04 1.41 0.62 3/603 5418
################
# More data... #
################
[pid=5385/tid=5462] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5462/stat : 5462 (python) S 5383 5385 4282 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 8 0 869307452 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 581.53
Current children cumulated vsize (KiB) 20676812
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+577.502 s]
/proc/loadavg: 2.01 1.88 1.12 7/654 5480
/proc/meminfo: memFree=21163040/32951124 swapFree=58940260/67111528
[pid=5385] ppid=5383 vsize=370036 CPUtime=4.98 cores=1,3,5,7
/proc/5385/stat : 5385 (python) S 5383 5385 4282 0 -1 4202496 21588 932 1 0 487 11 0 0 20 0 8 0 869249742 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 22
/proc/5385/statm: 92509 11003 1885 364 0 27378 0
[pid=5391] ppid=5385 vsize=308500 CPUtime=0.47 cores=1,3,5,7
/proc/5391/stat : 5391 (python) S 5385 5385 4282 0 -1 4202560 1156 0 0 0 19 28 0 0 18 0 2 0 869249929 315904000 9507 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5391/statm: 77125 9507 412 364 0 12012 0
[pid=5393] ppid=5391 vsize=44216 CPUtime=93.46 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.3.7-x86) T 5391 5393 5393 0 -1 4202496 11611 0 0 0 9344 2 0 0 25 0 1 0 869249929 45277184 10753 33554432000 134512640 136139019 4293930144 18446744073709551615 134627108 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/5393/statm: 11054 10753 184 398 0 10654 0
[pid=5391/tid=5399] ppid=5385 vsize=308500 CPUtime=0 cores=1,3,5,7
/proc/5391/task/5399/stat : 5399 (python) S 5385 5385 4282 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869254654 315904000 9507 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604457581495232 0 0 -1 7 0 0 0
[pid=5400] ppid=5385 vsize=308512 CPUtime=0.23 cores=1,3,5,7
/proc/5400/stat : 5400 (python) S 5385 5385 4282 0 -1 4202560 1118 0 0 0 10 13 0 0 16 0 2 0 869254991 315916288 9491 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5400/statm: 77128 9491 396 364 0 12012 0
[pid=5402] ppid=5400 vsize=150652 CPUtime=48.27 cores=1,3,5,7
/proc/5402/stat : 5402 (minion) T 5400 5402 5402 0 -1 4202496 34032 0 0 0 4824 3 0 0 25 0 1 0 869254991 154267648 30218 33554432000 134512640 165565024 4294690448 18446744073709551615 142853006 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/5402/statm: 37663 30218 346 7582 0 30078 0
[pid=5400/tid=5409] ppid=5385 vsize=308512 CPUtime=0 cores=1,3,5,7
/proc/5400/task/5409/stat : 5409 (python) S 5385 5385 4282 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869259819 315916288 9491 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604470159161408 0 0 -1 7 0 0 0
[pid=5410] ppid=5385 vsize=318768 CPUtime=0.26 cores=1,3,5,7
/proc/5410/stat : 5410 (python) S 5385 5385 4282 0 -1 4202560 1095 0 0 0 12 14 0 0 16 0 2 0 869259822 326418432 9495 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5410/statm: 79692 9495 396 364 0 14573 0
[pid=5412] ppid=5410 vsize=238664 CPUtime=50.27 cores=1,3,5,7
/proc/5412/stat : 5412 (wbo1.4b-fixed) T 5410 5412 5412 0 -1 4202496 59862 0 0 0 4973 54 0 0 25 0 1 0 869259822 244391936 58967 33554432000 134512640 135752315 4290934592 18446744073709551615 134605012 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/5412/statm: 59666 58967 147 303 0 59361 0
[pid=5410/tid=5415] ppid=5385 vsize=318768 CPUtime=0 cores=1,3,5,7
/proc/5410/task/5415/stat : 5415 (python) S 5385 5385 4282 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869264849 326418432 9495 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604467981924544 0 0 -1 7 0 0 0
[pid=5416] ppid=5385 vsize=329024 CPUtime=0.23 cores=1,3,5,7
/proc/5416/stat : 5416 (python) S 5385 5385 4282 0 -1 4202560 1149 0 0 0 12 11 0 0 17 0 2 0 869264852 336920576 9499 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5416/statm: 82256 9499 396 364 0 17134 0
[pid=5418] ppid=5416 vsize=69520 CPUtime=47.22 cores=1,3,5,7
/proc/5418/stat : 5418 (wbo1.4a) T 5416 5418 5418 0 -1 4202496 17567 0 0 0 4681 41 0 0 25 0 1 0 869264852 71188480 16673 33554432000 134512640 135751879 4293482048 18446744073709551615 134602805 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/5418/statm: 17380 16673 143 303 0 17075 0
[pid=5416/tid=5423] ppid=5385 vsize=329024 CPUtime=0 cores=1,3,5,7
/proc/5416/task/5423/stat : 5423 (python) S 5385 5385 4282 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 869269575 336920576 9499 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604470736621696 0 0 -1 7 0 0 0
[pid=5426] ppid=5385 vsize=339280 CPUtime=1.37 cores=1,3,5,7
/proc/5426/stat : 5426 (python) S 5385 5385 4282 0 -1 4202560 1213 0 0 0 64 73 0 0 16 0 2 0 869274203 347422720 9503 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5426/statm: 84820 9503 396 364 0 19695 0
[pid=5428] ppid=5426 vsize=411600 CPUtime=282.79 cores=1,3,5,7
/proc/5428/stat : 5428 (pbct-0.1.2-linu) T 5426 5428 5428 0 -1 4202496 106475 0 0 0 27746 533 0 0 25 0 1 0 869274204 421478400 99114 33554432000 134512640 136422188 4291850944 18446744073709551615 135029211 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/5428/statm: 102900 99114 214 467 0 102431 0
[pid=5426/tid=5437] ppid=5385 vsize=339280 CPUtime=0 cores=1,3,5,7
/proc/5426/task/5437/stat : 5437 (python) S 5385 5385 4282 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869302482 347422720 9503 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604460503588992 0 0 -1 1 0 0 0
[pid=5438] ppid=5385 vsize=349536 CPUtime=0.26 cores=1,3,5,7
/proc/5438/stat : 5438 (python) S 5385 5385 4282 0 -1 4202560 1127 0 0 0 11 15 0 0 16 0 2 0 869302485 357924864 9507 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5438/statm: 87384 9507 396 364 0 22256 0
[pid=5440] ppid=5438 vsize=8540208 CPUtime=50.89 cores=1,3,5,7
/proc/5440/stat : 5440 (java) T 5438 5440 5440 0 -1 4202496 261695 0 1 0 5055 34 0 0 18 0 19 0 869302485 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5440/statm: 2135052 256906 2255 9 0 2125793 0
[pid=5440/tid=5441] ppid=5438 vsize=8540208 CPUtime=49.03 cores=1,3,5,7
/proc/5440/task/5441/stat : 5441 (java) T 5438 5440 5440 0 -1 4202560 232412 0 1 0 4874 29 0 0 25 0 19 0 869302486 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 46912505918548 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5442] ppid=5438 vsize=8540208 CPUtime=0.04 cores=1,3,5,7
/proc/5440/task/5442/stat : 5442 (java) T 5438 5440 5440 0 -1 4202560 2225 0 0 0 4 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5440/tid=5443] ppid=5438 vsize=8540208 CPUtime=0.05 cores=1,3,5,7
/proc/5440/task/5443/stat : 5443 (java) T 5438 5440 5440 0 -1 4202560 3203 0 0 0 5 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5440/tid=5444] ppid=5438 vsize=8540208 CPUtime=0.02 cores=1,3,5,7
/proc/5440/task/5444/stat : 5444 (java) T 5438 5440 5440 0 -1 4202560 826 0 0 0 2 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5445] ppid=5438 vsize=8540208 CPUtime=0.04 cores=1,3,5,7
/proc/5440/task/5445/stat : 5445 (java) T 5438 5440 5440 0 -1 4202560 2763 0 0 0 4 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5440/tid=5446] ppid=5438 vsize=8540208 CPUtime=0.03 cores=1,3,5,7
/proc/5440/task/5446/stat : 5446 (java) T 5438 5440 5440 0 -1 4202560 2164 0 0 0 3 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5447] ppid=5438 vsize=8540208 CPUtime=0.04 cores=1,3,5,7
/proc/5440/task/5447/stat : 5447 (java) T 5438 5440 5440 0 -1 4202560 1794 0 0 0 4 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5448] ppid=5438 vsize=8540208 CPUtime=0.01 cores=1,3,5,7
/proc/5440/task/5448/stat : 5448 (java) T 5438 5440 5440 0 -1 4202560 844 0 0 0 1 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5449] ppid=5438 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/5440/task/5449/stat : 5449 (java) T 5438 5440 5440 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 869302487 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5450] ppid=5438 vsize=8540208 CPUtime=0.39 cores=1,3,5,7
/proc/5440/task/5450/stat : 5450 (java) T 5438 5440 5440 0 -1 4202560 6098 0 0 0 38 1 0 0 15 0 19 0 869302488 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491840 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5440/tid=5451] ppid=5438 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/5440/task/5451/stat : 5451 (java) T 5438 5440 5440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869302488 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5452] ppid=5438 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/5440/task/5452/stat : 5452 (java) T 5438 5440 5440 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869302488 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 4
[pid=5440/tid=5453] ppid=5438 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/5440/task/5453/stat : 5453 (java) T 5438 5440 5440 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869302490 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699498929 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5454] ppid=5438 vsize=8540208 CPUtime=0.57 cores=1,3,5,7
/proc/5440/task/5454/stat : 5454 (java) T 5438 5440 5440 0 -1 4202560 1863 0 0 0 57 0 0 0 15 0 19 0 869302490 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5440/tid=5455] ppid=5438 vsize=8540208 CPUtime=0.58 cores=1,3,5,7
/proc/5440/task/5455/stat : 5455 (java) T 5438 5440 5440 0 -1 4202560 6043 0 0 0 58 0 0 0 15 0 19 0 869302490 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5440/tid=5456] ppid=5438 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/5440/task/5456/stat : 5456 (java) T 5438 5440 5440 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869302490 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491225 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5440/tid=5457] ppid=5438 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/5440/task/5457/stat : 5457 (java) T 5438 5440 5440 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869302490 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491840 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5440/tid=5458] ppid=5438 vsize=8540208 CPUtime=0 cores=1,3,5,7
/proc/5440/task/5458/stat : 5458 (java) T 5438 5440 5440 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869302560 8745172992 256906 33554432000 1073741824 1073778376 140733593082848 18446744073709551615 212699491840 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5438/tid=5460] ppid=5385 vsize=349536 CPUtime=0 cores=1,3,5,7
/proc/5438/task/5460/stat : 5460 (python) S 5385 5385 4282 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869307450 357924864 9507 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554946 18446604470736623488 0 0 -1 1 0 0 0
[pid=5461] ppid=5385 vsize=359792 CPUtime=0 cores=1,3,5,7
/proc/5461/stat : 5461 (python) S 5385 5385 4282 0 -1 4202560 841 0 0 0 0 0 0 0 20 0 1 0 869307452 368427008 9462 33554432000 4194304 5683644 140733278698352 18446744073709551615 212687695430 0 0 16781312 33554946 3463328474918289408 0 0 17 7 0 0 0
/proc/5461/statm: 89948 9462 348 364 0 24817 0
[pid=5463] ppid=5461 vsize=8538504 CPUtime=0.83 cores=1,3,5,7
/proc/5463/stat : 5463 (java) S 5461 5463 5463 0 -1 4202496 21326 0 1 0 81 2 0 0 22 0 18 0 869307452 8743428096 18935 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5463/statm: 2134626 18937 2206 9 0 2125367 0
[pid=5463/tid=5464] ppid=5461 vsize=8538504 CPUtime=0.43 cores=1,3,5,7
/proc/5463/task/5464/stat : 5464 (java) R 5461 5463 5463 0 -1 4202560 16131 0 1 0 42 1 0 0 25 0 18 0 869307453 8743428096 20463 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 46912505591873 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5463/tid=5465] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5465/stat : 5465 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869307453 8743428096 20466 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 3 0 0 0
[pid=5463/tid=5466] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5466/stat : 5466 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307453 8743428096 20468 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 7 0 0 0
[pid=5463/tid=5467] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5467/stat : 5467 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307453 8743428096 20471 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 7 0 0 0
[pid=5463/tid=5468] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5468/stat : 5468 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307453 8743428096 20473 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 7 0 0 0
[pid=5463/tid=5469] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5469/stat : 5469 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307453 8743428096 20476 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 7 0 0 0
[pid=5463/tid=5470] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5470/stat : 5470 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307453 8743428096 20478 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 7 0 0 0
[pid=5463/tid=5471] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5471/stat : 5471 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307453 8743428096 20481 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 7 0 0 0
[pid=5463/tid=5472] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5472/stat : 5472 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307453 8743428096 20483 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 7 0 0 0
[pid=5463/tid=5473] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5473/stat : 5473 (java) S 5461 5463 5463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869307454 8743428096 20486 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491840 0 0 0 16800975 18446604467981923648 0 0 -1 3 0 0 0
[pid=5463/tid=5474] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5474/stat : 5474 (java) S 5461 5463 5463 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869307455 8743428096 20488 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 3 0 0 0
[pid=5463/tid=5475] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5475/stat : 5475 (java) S 5461 5463 5463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869307455 8743428096 20491 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 3 0 0 0
[pid=5463/tid=5476] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5476/stat : 5476 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307457 8743428096 20493 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699498929 0 4 0 16800975 18446604467981923648 0 0 -1 3 0 0 0
[pid=5463/tid=5477] ppid=5461 vsize=8538504 CPUtime=0.23 cores=1,3,5,7
/proc/5463/task/5477/stat : 5477 (java) R 5461 5463 5463 0 -1 4202560 2430 0 0 0 23 0 0 0 25 0 18 0 869307457 8743428096 20496 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 47220825970058 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5463/tid=5478] ppid=5461 vsize=8538504 CPUtime=0.19 cores=1,3,5,7
/proc/5463/task/5478/stat : 5478 (java) R 5461 5463 5463 0 -1 4202560 2900 0 0 0 19 0 0 0 25 0 18 0 869307457 8743428096 20498 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 47220825696706 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5463/tid=5479] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5479/stat : 5479 (java) S 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307457 8743428096 20501 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491225 0 4 0 16800975 18446604467981923648 0 0 -1 3 0 0 0
[pid=5463/tid=5480] ppid=5461 vsize=8538504 CPUtime=0 cores=1,3,5,7
/proc/5463/task/5480/stat : 5480 (java) R 5461 5463 5463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869307457 8743428096 20504 33554432000 1073741824 1073778376 140737160601296 18446744073709551615 212699491840 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5385/tid=5392] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5392/stat : 5392 (python) S 5383 5385 4282 0 -1 4202560 31 932 0 0 0 0 0 0 18 0 8 0 869249929 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
[pid=5385/tid=5401] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5401/stat : 5401 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 25 0 8 0 869254991 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 1 0 0 0
[pid=5385/tid=5411] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5411/stat : 5411 (python) S 5383 5385 4282 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 8 0 869259822 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 7 0 0 0
[pid=5385/tid=5417] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5417/stat : 5417 (python) S 5383 5385 4282 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 8 0 869264852 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 3 0 0 0
[pid=5385/tid=5427] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5427/stat : 5427 (python) S 5383 5385 4282 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 8 0 869274204 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 7 0 0 0
[pid=5385/tid=5439] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5439/stat : 5439 (python) S 5383 5385 4282 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 8 0 869302485 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 7 0 0 0
[pid=5385/tid=5462] ppid=5383 vsize=370036 CPUtime=0 cores=1,3,5,7
/proc/5385/task/5462/stat : 5462 (python) S 5383 5385 4282 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 8 0 869307452 378916864 11003 33554432000 4194304 5683644 140733278698352 18446744073709551615 212699498929 0 0 16781312 33554434 18446604456121753856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 581.53
Current children cumulated vsize (KiB) 20676812
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5385 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=877258
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=113982
# CPU time returned by wait4() is 4.99124
# while last known CPU time is 581.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 577.602
CPU time (s): 581.53
CPU user time (s): 573.19
CPU system time (s): 8.34
CPU usage (%): 100.68
Max. virtual memory (cumulated for all children) (KiB): 20676812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.87726
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22525
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= 1029
involuntary context switches= 41
runsolver used 3.43948 second user time and 8.61669 second system time
The end