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-3455274-1307192050/watcher-3455274-1307192050 -o /tmp/evaluation-result-3455274-1307192050/solver-3455274-1307192050 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455274-1307192050.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: 1.66 3.02 3.51 2/463 17529
/proc/meminfo: memFree=30020676/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 1269 0 0 0 0 0 0 0 25 0 2 0 830804834 32362496 988 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 7901 990 760 9 0 386 0
[pid=17529/tid=17531] ppid=17525 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) R 17525 17529 13462 0 -1 4202560 3419 0 1 0 0 0 0 0 17 0 2 0 830804834 10694979584 4235 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.121771 s]
/proc/loadavg: 1.66 3.02 3.51 2/463 17529
/proc/meminfo: memFree=30020676/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=10539624 CPUtime=0.13 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 13325 0 1 0 11 2 0 0 25 0 18 0 830804834 10792574976 12990 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 2634906 12990 2133 9 0 2625640 0
[pid=17529/tid=17531] ppid=17525 vsize=10539624 CPUtime=0.09 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) R 17525 17529 13462 0 -1 4202560 11331 0 1 0 8 1 0 0 25 0 18 0 830804834 10792574976 12990 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539624
[startup+0.200733 s]
/proc/loadavg: 1.66 3.02 3.51 2/463 17529
/proc/meminfo: memFree=30020676/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=10544212 CPUtime=0.29 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 15691 0 1 0 27 2 0 0 25 0 18 0 830804834 10797273088 14759 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 2636053 14759 2184 9 0 2626787 0
[pid=17529/tid=17531] ppid=17525 vsize=10544212 CPUtime=0.18 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) R 17525 17529 13462 0 -1 4202560 11765 0 1 0 16 2 0 0 25 0 18 0 830804834 10797273088 14759 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 47704639571592 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10544212
[startup+0.300714 s]
/proc/loadavg: 1.66 3.02 3.51 2/463 17529
/proc/meminfo: memFree=30020676/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=10548572 CPUtime=0.49 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 16953 0 1 0 47 2 0 0 25 0 19 0 830804834 10801737728 15684 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 2637143 15684 2211 9 0 2627877 0
[pid=17529/tid=17531] ppid=17525 vsize=10548572 CPUtime=0.25 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) S 17525 17529 13462 0 -1 4202560 12372 0 1 0 23 2 0 0 25 0 19 0 830804834 10801737728 15684 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10548572
[startup+0.700641 s]
/proc/loadavg: 1.66 3.02 3.51 2/463 17529
/proc/meminfo: memFree=30020676/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=10548572 CPUtime=0.49 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 16953 0 1 0 47 2 0 0 25 0 19 0 830804834 10801737728 15684 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 2637143 15684 2211 9 0 2627877 0
[pid=17529/tid=17531] ppid=17525 vsize=10548572 CPUtime=0.25 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) S 17525 17529 13462 0 -1 4202560 12372 0 1 0 23 2 0 0 25 0 19 0 830804834 10801737728 15684 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10548572
[startup+1.50158 s]
/proc/loadavg: 1.66 3.02 3.51 6/504 17578
/proc/meminfo: memFree=29869024/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=10563716 CPUtime=3.01 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 54328 0 1 0 294 7 0 0 25 0 19 0 830804834 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 2640929 46767 2254 9 0 2631663 0
[pid=17529/tid=17531] ppid=17525 vsize=10563716 CPUtime=0.25 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) S 17525 17529 13462 0 -1 4202560 12406 0 1 0 23 2 0 0 16 0 19 0 830804834 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17536] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17536/stat : 17536 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17539] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17539/stat : 17539 (java) S 17525 17529 13462 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17541] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17541/stat : 17541 (java) S 17525 17529 13462 0 -1 4202560 180 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17543] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17543/stat : 17543 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17545] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17545/stat : 17545 (java) S 17525 17529 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17547] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17547/stat : 17547 (java) S 17525 17529 13462 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17548] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17548/stat : 17548 (java) S 17525 17529 13462 0 -1 4202560 383 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17549] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17549/stat : 17549 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17551] ppid=17525 vsize=10563716 CPUtime=0.01 cores=1,3,5,7
/proc/17529/task/17551/stat : 17551 (java) S 17525 17529 13462 0 -1 4202560 740 0 0 0 1 0 0 0 16 0 19 0 830804837 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 0 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
[pid=17529/tid=17553] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17553/stat : 17553 (java) S 17525 17529 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830804838 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17555] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17555/stat : 17555 (java) S 17525 17529 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830804838 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17558] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17558/stat : 17558 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101521841 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17559] ppid=17525 vsize=10563716 CPUtime=0.74 cores=1,3,5,7
/proc/17529/task/17559/stat : 17559 (java) S 17525 17529 13462 0 -1 4202560 7650 0 0 0 74 0 0 0 22 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17562] ppid=17525 vsize=10563716 CPUtime=0.78 cores=1,3,5,7
/proc/17529/task/17562/stat : 17562 (java) S 17525 17529 13462 0 -1 4202560 9569 0 0 0 77 1 0 0 22 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17563] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17563/stat : 17563 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17565] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17565/stat : 17565 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
[pid=17529/tid=17578] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17578/stat : 17578 (java) S 17525 17529 13462 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 830804911 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 10563716
Solver just ended. Dumping a history of the last processes samples
[startup+1.60155 s]
/proc/loadavg: 1.66 3.02 3.51 6/504 17578
/proc/meminfo: memFree=29869024/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=10563716 CPUtime=3.01 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 54328 0 1 0 294 7 0 0 25 0 19 0 830804834 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 2640929 46767 2254 9 0 2631663 0
[pid=17529/tid=17531] ppid=17525 vsize=10563716 CPUtime=0.25 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) S 17525 17529 13462 0 -1 4202560 12406 0 1 0 23 2 0 0 16 0 19 0 830804834 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17536] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17536/stat : 17536 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17539] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17539/stat : 17539 (java) S 17525 17529 13462 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17541] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17541/stat : 17541 (java) S 17525 17529 13462 0 -1 4202560 180 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17543] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17543/stat : 17543 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17545] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17545/stat : 17545 (java) S 17525 17529 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17547] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17547/stat : 17547 (java) S 17525 17529 13462 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17548] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17548/stat : 17548 (java) S 17525 17529 13462 0 -1 4202560 383 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17549] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17549/stat : 17549 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17551] ppid=17525 vsize=10563716 CPUtime=0.01 cores=1,3,5,7
/proc/17529/task/17551/stat : 17551 (java) S 17525 17529 13462 0 -1 4202560 740 0 0 0 1 0 0 0 16 0 19 0 830804837 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 0 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
[pid=17529/tid=17553] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17553/stat : 17553 (java) S 17525 17529 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830804838 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17555] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17555/stat : 17555 (java) S 17525 17529 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830804838 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17558] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17558/stat : 17558 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101521841 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17559] ppid=17525 vsize=10563716 CPUtime=0.74 cores=1,3,5,7
/proc/17529/task/17559/stat : 17559 (java) S 17525 17529 13462 0 -1 4202560 7650 0 0 0 74 0 0 0 22 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17562] ppid=17525 vsize=10563716 CPUtime=0.78 cores=1,3,5,7
/proc/17529/task/17562/stat : 17562 (java) S 17525 17529 13462 0 -1 4202560 9569 0 0 0 77 1 0 0 22 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17563] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17563/stat : 17563 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17565] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17565/stat : 17565 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
[pid=17529/tid=17578] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17578/stat : 17578 (java) S 17525 17529 13462 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 830804911 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 10563716
[startup+1.70147 s]
/proc/loadavg: 1.66 3.02 3.51 6/504 17578
/proc/meminfo: memFree=29869024/32950928 swapFree=45617076/67111528
[pid=17529] ppid=17525 vsize=10563716 CPUtime=3.01 cores=1,3,5,7
/proc/17529/stat : 17529 (java) S 17525 17529 13462 0 -1 4202496 54328 0 1 0 294 7 0 0 25 0 19 0 830804834 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17529/statm: 2640929 46767 2254 9 0 2631663 0
[pid=17529/tid=17531] ppid=17525 vsize=10563716 CPUtime=0.25 cores=1,3,5,7
/proc/17529/task/17531/stat : 17531 (java) S 17525 17529 13462 0 -1 4202560 12406 0 1 0 23 2 0 0 16 0 19 0 830804834 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17536] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17536/stat : 17536 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17539] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17539/stat : 17539 (java) S 17525 17529 13462 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17541] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17541/stat : 17541 (java) S 17525 17529 13462 0 -1 4202560 180 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17543] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17543/stat : 17543 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17545] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17545/stat : 17545 (java) S 17525 17529 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17547] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17547/stat : 17547 (java) S 17525 17529 13462 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17548] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17548/stat : 17548 (java) S 17525 17529 13462 0 -1 4202560 383 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17549] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17549/stat : 17549 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830804836 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 5 0 0 0
[pid=17529/tid=17551] ppid=17525 vsize=10563716 CPUtime=0.01 cores=1,3,5,7
/proc/17529/task/17551/stat : 17551 (java) S 17525 17529 13462 0 -1 4202560 740 0 0 0 1 0 0 0 16 0 19 0 830804837 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 0 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
[pid=17529/tid=17553] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17553/stat : 17553 (java) S 17525 17529 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830804838 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17555] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17555/stat : 17555 (java) S 17525 17529 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830804838 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17558] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17558/stat : 17558 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101521841 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17559] ppid=17525 vsize=10563716 CPUtime=0.74 cores=1,3,5,7
/proc/17529/task/17559/stat : 17559 (java) S 17525 17529 13462 0 -1 4202560 7650 0 0 0 74 0 0 0 22 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 3 0 0 0
[pid=17529/tid=17562] ppid=17525 vsize=10563716 CPUtime=0.78 cores=1,3,5,7
/proc/17529/task/17562/stat : 17562 (java) S 17525 17529 13462 0 -1 4202560 9569 0 0 0 77 1 0 0 22 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17563] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17563/stat : 17563 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514137 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
[pid=17529/tid=17565] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17565/stat : 17565 (java) S 17525 17529 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830804840 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 1 0 0 0
[pid=17529/tid=17578] ppid=17525 vsize=10563716 CPUtime=0 cores=1,3,5,7
/proc/17529/task/17578/stat : 17578 (java) S 17525 17529 13462 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 830804911 10817245184 46767 33554432000 1073741824 1073778376 140736501044256 18446744073709551615 248101514752 0 4 0 16800975 18446604465369979072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 10563716
Child status: 30
Real time (s): 1.792
CPU time (s): 3.04454
CPU user time (s): 2.95655
CPU system time (s): 0.087986
CPU usage (%): 169.896
Max. virtual memory (cumulated for all children) (KiB): 10570440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.95655
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54339
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= 633
involuntary context switches= 152
runsolver used 0.014997 second user time and 0.021996 second system time
The end