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-3454775-1307186802/watcher-3454775-1307186802 -o /tmp/evaluation-result-3454775-1307186802/solver-3454775-1307186802 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454775-1307186802.opb
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: 3.12 2.07 1.98 3/498 31713
/proc/meminfo: memFree=21043172/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 7006 0 1 0 0 1 0 0 25 0 2 0 811095532 10694979584 6708 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2611079 6722 917 9 0 2602235 0
[pid=31713/tid=31714] ppid=31711 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) R 31711 31713 28116 0 -1 4202560 5951 0 1 0 0 0 0 0 18 0 2 0 811095533 10694979584 6767 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.045562 s]
/proc/loadavg: 3.12 2.07 1.98 3/498 31713
/proc/meminfo: memFree=21043172/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 11307 0 1 0 2 1 0 0 25 0 13 0 811095532 10785808384 11004 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2633254 11004 1675 9 0 2624002 0
[pid=31713/tid=31714] ppid=31711 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) R 31711 31713 28116 0 -1 4202560 10161 0 1 0 2 1 0 0 18 0 13 0 811095533 10785808384 11006 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 47845799608227 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.104585 s]
/proc/loadavg: 3.12 2.07 1.98 3/498 31713
/proc/meminfo: memFree=21043172/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10539400 CPUtime=0.1 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 811095532 10792345600 12798 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2634850 12799 2092 9 0 2625584 0
[pid=31713/tid=31714] ppid=31711 vsize=10539400 CPUtime=0.08 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) R 31711 31713 28116 0 -1 4202560 11193 0 1 0 7 1 0 0 22 0 18 0 811095533 10792345600 12799 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 47845804075859 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539400
[startup+0.300471 s]
/proc/loadavg: 3.12 2.07 1.98 3/498 31713
/proc/meminfo: memFree=21043172/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10548632 CPUtime=0.66 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 17553 0 1 0 64 2 0 0 25 0 22 0 811095532 10801799168 16357 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2637158 16357 2214 9 0 2627892 0
[pid=31713/tid=31714] ppid=31711 vsize=10548632 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11745 0 1 0 14 1 0 0 23 0 22 0 811095533 10801799168 16357 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10548632
[startup+0.717397 s]
/proc/loadavg: 3.12 2.07 1.98 3/498 31713
/proc/meminfo: memFree=21043172/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10556824 CPUtime=2.29 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 49350 0 1 0 224 5 0 0 25 0 22 0 811095532 10810187776 44943 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2639206 44943 2252 9 0 2629940 0
[pid=31713/tid=31714] ppid=31711 vsize=10556824 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11745 0 1 0 14 1 0 0 18 0 22 0 811095533 10810187776 44944 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10556824
[startup+1.50126 s]
/proc/loadavg: 3.12 2.07 1.98 6/520 31735
/proc/meminfo: memFree=20806408/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10556824 CPUtime=4.28 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 75056 0 1 0 420 8 0 0 25 0 22 0 811095532 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2639206 68101 2257 9 0 2629940 0
[pid=31713/tid=31714] ppid=31711 vsize=10556824 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11745 0 1 0 14 1 0 0 15 0 22 0 811095533 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31716] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31716/stat : 31716 (java) S 31711 31713 28116 0 -1 4202560 355 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31717] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31717/stat : 31717 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31718] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31718/stat : 31718 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31719] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31719/stat : 31719 (java) S 31711 31713 28116 0 -1 4202560 146 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31720] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31720/stat : 31720 (java) S 31711 31713 28116 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31721] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31721/stat : 31721 (java) S 31711 31713 28116 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31722] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31722/stat : 31722 (java) S 31711 31713 28116 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31723] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31723/stat : 31723 (java) S 31711 31713 28116 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31724] ppid=31711 vsize=10556824 CPUtime=0.07 cores=1,3,5,7
/proc/31713/task/31724/stat : 31724 (java) S 31711 31713 28116 0 -1 4202560 1599 0 0 0 7 0 0 0 15 0 22 0 811095536 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 0 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31725] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31725/stat : 31725 (java) S 31711 31713 28116 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811095536 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31726] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31726/stat : 31726 (java) S 31711 31713 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 811095536 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31727] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31727/stat : 31727 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811095538 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273440177 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31728] ppid=31711 vsize=10556824 CPUtime=0.76 cores=1,3,5,7
/proc/31713/task/31728/stat : 31728 (java) S 31711 31713 28116 0 -1 4202560 9370 0 0 0 75 1 0 0 15 0 22 0 811095538 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31729] ppid=31711 vsize=10556824 CPUtime=0.8 cores=1,3,5,7
/proc/31713/task/31729/stat : 31729 (java) S 31711 31713 28116 0 -1 4202560 4256 0 0 0 80 0 0 0 15 0 22 0 811095538 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31730] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31730/stat : 31730 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811095538 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31731] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31731/stat : 31731 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811095538 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31732] ppid=31711 vsize=10556824 CPUtime=1.23 cores=1,3,5,7
/proc/31713/task/31732/stat : 31732 (java) R 31711 31713 28116 0 -1 4202560 316 0 0 0 123 0 0 0 20 0 22 0 811095550 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912505682503 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31713/tid=31733] ppid=31711 vsize=10556824 CPUtime=1.2 cores=1,3,5,7
/proc/31713/task/31733/stat : 31733 (java) R 31711 31713 28116 0 -1 4202560 45236 0 0 0 116 4 0 0 17 0 22 0 811095550 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912505721086 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31713/tid=31734] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31734/stat : 31734 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811095550 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31735] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31735/stat : 31735 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811095550 10810187776 68101 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10556824
[startup+3.10098 s]
/proc/loadavg: 3.12 2.07 1.98 5/520 31735
/proc/meminfo: memFree=20731884/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10556824 CPUtime=7.39 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 86622 0 1 0 730 9 0 0 25 0 22 0 811095532 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2639206 79663 2257 9 0 2629940 0
[pid=31713/tid=31714] ppid=31711 vsize=10556824 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11745 0 1 0 14 1 0 0 15 0 22 0 811095533 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31716] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31716/stat : 31716 (java) S 31711 31713 28116 0 -1 4202560 355 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31717] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31717/stat : 31717 (java) S 31711 31713 28116 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31718] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31718/stat : 31718 (java) S 31711 31713 28116 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31719] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31719/stat : 31719 (java) S 31711 31713 28116 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31720] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31720/stat : 31720 (java) S 31711 31713 28116 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31721] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31721/stat : 31721 (java) S 31711 31713 28116 0 -1 4202560 319 0 0 0 1 0 0 0 16 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31722] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31722/stat : 31722 (java) S 31711 31713 28116 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31723] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31723/stat : 31723 (java) S 31711 31713 28116 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31724] ppid=31711 vsize=10556824 CPUtime=0.17 cores=1,3,5,7
/proc/31713/task/31724/stat : 31724 (java) S 31711 31713 28116 0 -1 4202560 3079 0 0 0 17 0 0 0 15 0 22 0 811095536 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 0 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31725] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31725/stat : 31725 (java) S 31711 31713 28116 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811095536 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31726] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31726/stat : 31726 (java) S 31711 31713 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 811095536 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31727] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31727/stat : 31727 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811095538 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273440177 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31728] ppid=31711 vsize=10556824 CPUtime=0.76 cores=1,3,5,7
/proc/31713/task/31728/stat : 31728 (java) S 31711 31713 28116 0 -1 4202560 9370 0 0 0 75 1 0 0 15 0 22 0 811095538 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31729] ppid=31711 vsize=10556824 CPUtime=0.81 cores=1,3,5,7
/proc/31713/task/31729/stat : 31729 (java) S 31711 31713 28116 0 -1 4202560 4256 0 0 0 81 0 0 0 15 0 22 0 811095538 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31730] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31730/stat : 31730 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811095538 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31731] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31731/stat : 31731 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811095538 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31732] ppid=31711 vsize=10556824 CPUtime=2.71 cores=1,3,5,7
/proc/31713/task/31732/stat : 31732 (java) R 31711 31713 28116 0 -1 4202560 317 0 0 0 271 0 0 0 22 0 22 0 811095550 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912505685536 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31713/tid=31733] ppid=31711 vsize=10556824 CPUtime=2.68 cores=1,3,5,7
/proc/31713/task/31733/stat : 31733 (java) R 31711 31713 28116 0 -1 4202560 55281 0 0 0 263 5 0 0 18 0 22 0 811095550 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912505604262 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31713/tid=31734] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31734/stat : 31734 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811095550 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31735] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31735/stat : 31735 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811095550 10810187776 79663 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 10556824
Solver just ended. Dumping a history of the last processes samples
[startup+4.70072 s]
/proc/loadavg: 3.19 2.10 1.99 5/518 31735
/proc/meminfo: memFree=20712688/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10556824 CPUtime=10.48 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 87560 0 1 0 1038 10 0 0 25 0 22 0 811095532 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2639206 80596 2257 9 0 2629940 0
[pid=31713/tid=31714] ppid=31711 vsize=10556824 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11745 0 1 0 14 1 0 0 15 0 22 0 811095533 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31716] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31716/stat : 31716 (java) S 31711 31713 28116 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31717] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31717/stat : 31717 (java) S 31711 31713 28116 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31718] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31718/stat : 31718 (java) S 31711 31713 28116 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31719] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31719/stat : 31719 (java) S 31711 31713 28116 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31720] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31720/stat : 31720 (java) S 31711 31713 28116 0 -1 4202560 169 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31721] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31721/stat : 31721 (java) S 31711 31713 28116 0 -1 4202560 320 0 0 0 1 0 0 0 16 0 22 0 811095535 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31722] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31722/stat : 31722 (java) S 31711 31713 28116 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80596 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/31713/task/31722/stat : 31722 (java) S 31711 31713 28116 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31723] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31723/stat : 31723 (java) S 31711 31713 28116 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31724] ppid=31711 vsize=10556824 CPUtime=0.34 cores=1,3,5,7
/proc/31713/task/31724/stat : 31724 (java) S 31711 31713 28116 0 -1 4202560 4008 0 0 0 34 0 0 0 15 0 22 0 811095536 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 0 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31725] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31725/stat : 31725 (java) S 31711 31713 28116 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811095536 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31726] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31726/stat : 31726 (java) S 31711 31713 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 811095536 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31727] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31727/stat : 31727 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811095538 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273440177 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31728] ppid=31711 vsize=10556824 CPUtime=0.76 cores=1,3,5,7
/proc/31713/task/31728/stat : 31728 (java) S 31711 31713 28116 0 -1 4202560 9370 0 0 0 75 1 0 0 15 0 22 0 811095538 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31729] ppid=31711 vsize=10556824 CPUtime=0.82 cores=1,3,5,7
/proc/31713/task/31729/stat : 31729 (java) S 31711 31713 28116 0 -1 4202560 4256 0 0 0 82 0 0 0 15 0 22 0 811095538 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31730] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31730/stat : 31730 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811095538 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31731] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31731/stat : 31731 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811095538 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31732] ppid=31711 vsize=10556824 CPUtime=4.94 cores=1,3,5,7
/proc/31713/task/31732/stat : 31732 (java) R 31711 31713 28116 0 -1 4202560 321 0 0 0 494 0 0 0 18 0 22 0 811095550 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912505579238 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31713/tid=31733] ppid=31711 vsize=10556824 CPUtime=4.92 cores=1,3,5,7
/proc/31713/task/31733/stat : 31733 (java) R 31711 31713 28116 0 -1 4202560 55283 0 0 0 487 5 0 0 19 0 22 0 811095550 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912506192674 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31713/tid=31734] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31734/stat : 31734 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811095550 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31735] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31735/stat : 31735 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811095550 10810187776 80542 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 10556824
[startup+5.90153 s]
/proc/loadavg: 3.19 2.10 1.99 9/520 31784
/proc/meminfo: memFree=21002640/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10556824 CPUtime=12.79 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 87841 0 1 0 1269 10 0 0 25 0 22 0 811095532 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2639206 80820 2257 9 0 2629940 0
[pid=31713/tid=31714] ppid=31711 vsize=10556824 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11746 0 1 0 14 1 0 0 15 0 22 0 811095533 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31716] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31716/stat : 31716 (java) S 31711 31713 28116 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31717] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31717/stat : 31717 (java) S 31711 31713 28116 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31718] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31718/stat : 31718 (java) S 31711 31713 28116 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31719] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31719/stat : 31719 (java) S 31711 31713 28116 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31720] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31720/stat : 31720 (java) S 31711 31713 28116 0 -1 4202560 169 0 0 0 1 0 0 0 15 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31721] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31721/stat : 31721 (java) S 31711 31713 28116 0 -1 4202560 320 0 0 0 1 0 0 0 15 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31722] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31722/stat : 31722 (java) S 31711 31713 28116 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31723] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31723/stat : 31723 (java) S 31711 31713 28116 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 22 0 811095535 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31724] ppid=31711 vsize=10556824 CPUtime=0.37 cores=1,3,5,7
/proc/31713/task/31724/stat : 31724 (java) S 31711 31713 28116 0 -1 4202560 4284 0 0 0 37 0 0 0 15 0 22 0 811095536 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 0 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31725] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31725/stat : 31725 (java) S 31711 31713 28116 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811095536 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31726] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31726/stat : 31726 (java) S 31711 31713 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 811095536 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31727] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31727/stat : 31727 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811095538 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273440177 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31728] ppid=31711 vsize=10556824 CPUtime=0.76 cores=1,3,5,7
/proc/31713/task/31728/stat : 31728 (java) S 31711 31713 28116 0 -1 4202560 9370 0 0 0 75 1 0 0 15 0 22 0 811095538 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31729] ppid=31711 vsize=10556824 CPUtime=0.82 cores=1,3,5,7
/proc/31713/task/31729/stat : 31729 (java) S 31711 31713 28116 0 -1 4202560 4256 0 0 0 82 0 0 0 15 0 22 0 811095538 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31730] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31730/stat : 31730 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811095538 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31731] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31731/stat : 31731 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811095538 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31732] ppid=31711 vsize=10556824 CPUtime=5.29 cores=1,3,5,7
/proc/31713/task/31732/stat : 31732 (java) R 31711 31713 28116 0 -1 4202560 321 0 0 0 529 0 0 0 18 0 22 0 811095550 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912505640085 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31713/tid=31733] ppid=31711 vsize=10556824 CPUtime=5.27 cores=1,3,5,7
/proc/31713/task/31733/stat : 31733 (java) R 31711 31713 28116 0 -1 4202560 55284 0 0 0 522 5 0 0 20 0 22 0 811095550 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 46912506179362 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31713/tid=31734] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31734/stat : 31734 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811095550 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31735] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31735/stat : 31735 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811095550 10810187776 80820 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 10556824
[startup+6.10151 s]
/proc/loadavg: 3.19 2.10 1.99 9/520 31784
/proc/meminfo: memFree=21002640/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10556824 CPUtime=13.11 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 87844 0 1 0 1300 11 0 0 25 0 19 0 811095532 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2639206 80822 2258 9 0 2629940 0
[pid=31713/tid=31714] ppid=31711 vsize=10556824 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11746 0 1 0 14 1 0 0 15 0 19 0 811095533 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31716] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31716/stat : 31716 (java) S 31711 31713 28116 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31717] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31717/stat : 31717 (java) S 31711 31713 28116 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31718] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31718/stat : 31718 (java) S 31711 31713 28116 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31719] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31719/stat : 31719 (java) S 31711 31713 28116 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31720] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31720/stat : 31720 (java) S 31711 31713 28116 0 -1 4202560 169 0 0 0 1 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31721] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31721/stat : 31721 (java) S 31711 31713 28116 0 -1 4202560 320 0 0 0 1 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31722] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31722/stat : 31722 (java) S 31711 31713 28116 0 -1 4202560 232 0 0 0 0 0 0 0 16 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31723] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31723/stat : 31723 (java) S 31711 31713 28116 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31724] ppid=31711 vsize=10556824 CPUtime=0.4 cores=1,3,5,7
/proc/31713/task/31724/stat : 31724 (java) S 31711 31713 28116 0 -1 4202560 4284 0 0 0 40 0 0 0 15 0 19 0 811095536 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 0 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31725] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31725/stat : 31725 (java) S 31711 31713 28116 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 811095536 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31726] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31726/stat : 31726 (java) S 31711 31713 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 811095536 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31727] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31727/stat : 31727 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273440177 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31728] ppid=31711 vsize=10556824 CPUtime=0.76 cores=1,3,5,7
/proc/31713/task/31728/stat : 31728 (java) S 31711 31713 28116 0 -1 4202560 9370 0 0 0 75 1 0 0 15 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31729] ppid=31711 vsize=10556824 CPUtime=0.82 cores=1,3,5,7
/proc/31713/task/31729/stat : 31729 (java) S 31711 31713 28116 0 -1 4202560 4256 0 0 0 82 0 0 0 15 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31730] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31730/stat : 31730 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31731] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31731/stat : 31731 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31734] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31734/stat : 31734 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811095550 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 10556824
[startup+6.20147 s]
/proc/loadavg: 3.19 2.10 1.99 9/520 31784
/proc/meminfo: memFree=21002640/32951124 swapFree=67057928/67111528
[pid=31713] ppid=31711 vsize=10556824 CPUtime=13.11 cores=1,3,5,7
/proc/31713/stat : 31713 (java) S 31711 31713 28116 0 -1 4202496 87844 0 1 0 1300 11 0 0 25 0 19 0 811095532 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31713/statm: 2639206 80822 2258 9 0 2629940 0
[pid=31713/tid=31714] ppid=31711 vsize=10556824 CPUtime=0.15 cores=1,3,5,7
/proc/31713/task/31714/stat : 31714 (java) S 31711 31713 28116 0 -1 4202560 11746 0 1 0 14 1 0 0 15 0 19 0 811095533 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31716] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31716/stat : 31716 (java) S 31711 31713 28116 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31717] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31717/stat : 31717 (java) S 31711 31713 28116 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31718] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31718/stat : 31718 (java) S 31711 31713 28116 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31719] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31719/stat : 31719 (java) S 31711 31713 28116 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31720] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31720/stat : 31720 (java) S 31711 31713 28116 0 -1 4202560 169 0 0 0 1 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31721] ppid=31711 vsize=10556824 CPUtime=0.01 cores=1,3,5,7
/proc/31713/task/31721/stat : 31721 (java) S 31711 31713 28116 0 -1 4202560 320 0 0 0 1 0 0 0 15 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31722] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31722/stat : 31722 (java) S 31711 31713 28116 0 -1 4202560 232 0 0 0 0 0 0 0 16 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31723] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31723/stat : 31723 (java) S 31711 31713 28116 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 811095535 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31724] ppid=31711 vsize=10556824 CPUtime=0.4 cores=1,3,5,7
/proc/31713/task/31724/stat : 31724 (java) S 31711 31713 28116 0 -1 4202560 4284 0 0 0 40 0 0 0 15 0 19 0 811095536 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 0 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31725] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31725/stat : 31725 (java) S 31711 31713 28116 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 811095536 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31726] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31726/stat : 31726 (java) S 31711 31713 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 811095536 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 7 0 0 0
[pid=31713/tid=31727] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31727/stat : 31727 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273440177 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31728] ppid=31711 vsize=10556824 CPUtime=0.76 cores=1,3,5,7
/proc/31713/task/31728/stat : 31728 (java) S 31711 31713 28116 0 -1 4202560 9370 0 0 0 75 1 0 0 15 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 3 0 0 0
[pid=31713/tid=31729] ppid=31711 vsize=10556824 CPUtime=0.82 cores=1,3,5,7
/proc/31713/task/31729/stat : 31729 (java) S 31711 31713 28116 0 -1 4202560 4256 0 0 0 82 0 0 0 15 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31730] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31730/stat : 31730 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273432473 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
[pid=31713/tid=31731] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31731/stat : 31731 (java) S 31711 31713 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811095538 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 5 0 0 0
[pid=31713/tid=31734] ppid=31711 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/31713/task/31734/stat : 31734 (java) S 31711 31713 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811095550 10810187776 80822 33554432000 1073741824 1073778376 140737446871696 18446744073709551615 254273433088 0 4 0 16800975 18446604454967510016 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 10556824
Child status: 10
Real time (s): 6.255
CPU time (s): 13.143
CPU user time (s): 13.018
CPU system time (s): 0.124981
CPU usage (%): 210.12
Max. virtual memory (cumulated for all children) (KiB): 10556824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.018
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87858
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= 892
involuntary context switches= 424
runsolver used 0.030995 second user time and 0.076988 second system time
The end