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-3455270-1307192005/watcher-3455270-1307192005 -o /tmp/evaluation-result-3455270-1307192005/solver-3455270-1307192005 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455270-1307192005.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.63 2.48 3.22 1/499 17544
/proc/meminfo: memFree=27284688/32950928 swapFree=39617324/67111528
[pid=17544] ppid=17542 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17544/stat : 17544 (java) S 17542 17544 13533 0 -1 4202496 4228 0 1 0 0 0 0 0 25 0 2 0 830800140 10694979584 3931 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17544/statm: 2611079 3944 917 9 0 2602235 0
[pid=17544/tid=17545] ppid=17542 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17545/stat : 17545 (java) R 17542 17544 13533 0 -1 4202560 5165 0 1 0 0 0 0 0 25 0 2 0 830800140 10694979584 5981 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0789059 s]
/proc/loadavg: 1.63 2.48 3.22 1/499 17544
/proc/meminfo: memFree=27284688/32950928 swapFree=39617324/67111528
[pid=17544] ppid=17542 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/17544/stat : 17544 (java) S 17542 17544 13533 0 -1 4202496 11959 0 1 0 5 1 0 0 25 0 18 0 830800140 10724442112 11657 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17544/statm: 2618272 11657 1755 9 0 2609006 0
[pid=17544/tid=17545] ppid=17542 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/17544/task/17545/stat : 17545 (java) R 17542 17544 13533 0 -1 4202560 10785 0 1 0 5 1 0 0 25 0 18 0 830800140 10724442112 11657 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 46912505170190 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.104902 s]
/proc/loadavg: 1.63 2.48 3.22 1/499 17544
/proc/meminfo: memFree=27284688/32950928 swapFree=39617324/67111528
[pid=17544] ppid=17542 vsize=10539940 CPUtime=0.11 cores=0,2,4,6
/proc/17544/stat : 17544 (java) S 17542 17544 13533 0 -1 4202496 13110 0 1 0 9 2 0 0 25 0 18 0 830800140 10792898560 12808 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17544/statm: 2634985 12809 2092 9 0 2625719 0
[pid=17544/tid=17545] ppid=17542 vsize=10539940 CPUtime=0.08 cores=0,2,4,6
/proc/17544/task/17545/stat : 17545 (java) R 17542 17544 13533 0 -1 4202560 11218 0 1 0 7 1 0 0 18 0 18 0 830800140 10792898560 12809 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539940
[startup+0.300845 s]
/proc/loadavg: 1.63 2.48 3.22 1/499 17544
/proc/meminfo: memFree=27284688/32950928 swapFree=39617324/67111528
[pid=17544] ppid=17542 vsize=10544600 CPUtime=0.22 cores=0,2,4,6
/proc/17544/stat : 17544 (java) S 17542 17544 13533 0 -1 4202496 13835 0 1 0 20 2 0 0 25 0 19 0 830800140 10797670400 13533 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17544/statm: 2636150 13533 2176 9 0 2626884 0
[pid=17544/tid=17545] ppid=17542 vsize=10544600 CPUtime=0.15 cores=0,2,4,6
/proc/17544/task/17545/stat : 17545 (java) S 17542 17544 13533 0 -1 4202560 11663 0 1 0 14 1 0 0 19 0 19 0 830800140 10797670400 13533 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10544600
[startup+0.700781 s]
/proc/loadavg: 1.63 2.48 3.22 1/499 17544
/proc/meminfo: memFree=27284688/32950928 swapFree=39617324/67111528
[pid=17544] ppid=17542 vsize=10544600 CPUtime=0.24 cores=0,2,4,6
/proc/17544/stat : 17544 (java) S 17542 17544 13533 0 -1 4202496 13958 0 1 0 22 2 0 0 25 0 20 0 830800140 10797670400 13641 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17544/statm: 2636150 13641 2178 9 0 2626884 0
[pid=17544/tid=17545] ppid=17542 vsize=10544600 CPUtime=0.16 cores=0,2,4,6
/proc/17544/task/17545/stat : 17545 (java) S 17542 17544 13533 0 -1 4202560 11708 0 1 0 15 1 0 0 16 0 20 0 830800140 10797670400 13641 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10544600
[startup+1.50074 s]
/proc/loadavg: 1.63 2.48 3.22 1/519 17575
/proc/meminfo: memFree=27129592/32950928 swapFree=39617324/67111528
[pid=17544] ppid=17542 vsize=10547560 CPUtime=0.6 cores=0,2,4,6
/proc/17544/stat : 17544 (java) S 17542 17544 13533 0 -1 4202496 17302 0 1 0 58 2 0 0 25 0 19 0 830800140 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17544/statm: 2636890 15447 2215 9 0 2627624 0
[pid=17544/tid=17545] ppid=17542 vsize=10547560 CPUtime=0.16 cores=0,2,4,6
/proc/17544/task/17545/stat : 17545 (java) S 17542 17544 13533 0 -1 4202560 11718 0 1 0 15 1 0 0 16 0 19 0 830800140 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17547] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17547/stat : 17547 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17548] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17548/stat : 17548 (java) S 17542 17544 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17549] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17549/stat : 17549 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17550] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17550/stat : 17550 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17551] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17551/stat : 17551 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17552] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17552/stat : 17552 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17553] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17553/stat : 17553 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17554] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17554/stat : 17554 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17555] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17555/stat : 17555 (java) S 17542 17544 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830800143 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 0 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17556] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17556/stat : 17556 (java) S 17542 17544 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830800143 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17557] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17557/stat : 17557 (java) S 17542 17544 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830800143 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17558] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17558/stat : 17558 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092055985 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17559] ppid=17542 vsize=10547560 CPUtime=0.13 cores=0,2,4,6
/proc/17544/task/17559/stat : 17559 (java) S 17542 17544 13533 0 -1 4202560 1417 0 0 0 13 0 0 0 16 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17560] ppid=17542 vsize=10547560 CPUtime=0.15 cores=0,2,4,6
/proc/17544/task/17560/stat : 17560 (java) S 17542 17544 13533 0 -1 4202560 2592 0 0 0 15 0 0 0 16 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 4 0 0 0
[pid=17544/tid=17561] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17561/stat : 17561 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17562] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17562/stat : 17562 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17572] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17572/stat : 17572 (java) S 17542 17544 13533 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 830800208 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10547560
Solver just ended. Dumping a history of the last processes samples
[startup+1.60171 s]
/proc/loadavg: 1.63 2.48 3.22 1/519 17575
/proc/meminfo: memFree=27129592/32950928 swapFree=39617324/67111528
[pid=17544] ppid=17542 vsize=10547560 CPUtime=0.6 cores=0,2,4,6
/proc/17544/stat : 17544 (java) S 17542 17544 13533 0 -1 4202496 17302 0 1 0 58 2 0 0 25 0 19 0 830800140 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17544/statm: 2636890 15447 2215 9 0 2627624 0
[pid=17544/tid=17545] ppid=17542 vsize=10547560 CPUtime=0.16 cores=0,2,4,6
/proc/17544/task/17545/stat : 17545 (java) S 17542 17544 13533 0 -1 4202560 11718 0 1 0 15 1 0 0 16 0 19 0 830800140 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17547] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17547/stat : 17547 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17548] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17548/stat : 17548 (java) S 17542 17544 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17549] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17549/stat : 17549 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17550] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17550/stat : 17550 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17551] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17551/stat : 17551 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17552] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17552/stat : 17552 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17553] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17553/stat : 17553 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17554] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17554/stat : 17554 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800142 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17555] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17555/stat : 17555 (java) S 17542 17544 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830800143 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 0 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17556] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17556/stat : 17556 (java) S 17542 17544 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830800143 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17557] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17557/stat : 17557 (java) S 17542 17544 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830800143 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17558] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17558/stat : 17558 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092055985 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17559] ppid=17542 vsize=10547560 CPUtime=0.13 cores=0,2,4,6
/proc/17544/task/17559/stat : 17559 (java) S 17542 17544 13533 0 -1 4202560 1417 0 0 0 13 0 0 0 16 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17560] ppid=17542 vsize=10547560 CPUtime=0.15 cores=0,2,4,6
/proc/17544/task/17560/stat : 17560 (java) S 17542 17544 13533 0 -1 4202560 2592 0 0 0 15 0 0 0 16 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 4 0 0 0
[pid=17544/tid=17561] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17561/stat : 17561 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048281 0 4 0 16800975 18446604452392895552 0 0 -1 6 0 0 0
[pid=17544/tid=17562] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17562/stat : 17562 (java) S 17542 17544 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830800146 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
[pid=17544/tid=17572] ppid=17542 vsize=10547560 CPUtime=0 cores=0,2,4,6
/proc/17544/task/17572/stat : 17572 (java) S 17542 17544 13533 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 830800208 10800701440 15447 33554432000 1073741824 1073778376 140734090857424 18446744073709551615 208092048896 0 4 0 16800975 18446604452392895552 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10547560
Child status: 30
Real time (s): 1.69994
CPU time (s): 0.620904
CPU user time (s): 0.58791
CPU system time (s): 0.032994
CPU usage (%): 36.5251
Max. virtual memory (cumulated for all children) (KiB): 10547560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.58791
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17322
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= 229
involuntary context switches= 42
runsolver used 0.010998 second user time and 0.025996 second system time
The end