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-3454151-1307193726/watcher-3454151-1307193726 -o /tmp/evaluation-result-3454151-1307193726/solver-3454151-1307193726 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454151-1307193726.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: 4.00 3.95 3.72 1/487 17128
/proc/meminfo: memFree=23996124/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 909603075 31268864 963 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 7634 963 736 9 0 385 0
[pid=17128/tid=17129] ppid=17126 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) R 17126 17128 13385 0 -1 4202560 6465 0 1 0 0 0 0 0 25 0 2 0 909603076 10694979584 7281 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0540251 s]
/proc/loadavg: 4.00 3.95 3.72 1/487 17128
/proc/meminfo: memFree=23996124/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 11507 0 1 0 3 1 0 0 25 0 13 0 909603075 10718838784 11203 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 2616904 11205 1685 9 0 2607652 0
[pid=17128/tid=17129] ppid=17126 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) R 17126 17128 13385 0 -1 4202560 10360 0 1 0 3 1 0 0 25 0 13 0 909603076 10718838784 11206 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 46997398980120 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.101014 s]
/proc/loadavg: 4.00 3.95 3.72 1/487 17128
/proc/meminfo: memFree=23996124/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=10540300 CPUtime=0.11 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 13121 0 1 0 9 2 0 0 25 0 18 0 909603075 10793267200 12817 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 2635075 12817 2092 9 0 2625809 0
[pid=17128/tid=17129] ppid=17126 vsize=10540300 CPUtime=0.08 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) R 17126 17128 13385 0 -1 4202560 11210 0 1 0 7 1 0 0 25 0 18 0 909603076 10793267200 12819 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 46997400415059 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540300
[startup+0.300982 s]
/proc/loadavg: 4.00 3.95 3.72 1/487 17128
/proc/meminfo: memFree=23996124/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=10544576 CPUtime=0.2 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 13793 0 1 0 18 2 0 0 25 0 19 0 909603075 10797645824 13466 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 2636144 13466 2165 9 0 2626878 0
[pid=17128/tid=17129] ppid=17126 vsize=10544576 CPUtime=0.14 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) S 17126 17128 13385 0 -1 4202560 11646 0 1 0 13 1 0 0 25 0 19 0 909603076 10797645824 13466 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10544576
[startup+0.704111 s]
/proc/loadavg: 4.00 3.95 3.72 1/487 17128
/proc/meminfo: memFree=23996124/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=10547948 CPUtime=0.31 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 15698 0 1 0 29 2 0 0 25 0 22 0 909603075 10801098752 14883 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 2636987 14883 2198 9 0 2627721 0
[pid=17128/tid=17129] ppid=17126 vsize=10547948 CPUtime=0.14 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) S 17126 17128 13385 0 -1 4202560 11680 0 1 0 13 1 0 0 21 0 22 0 909603076 10801098752 14883 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10547948
[startup+1.50076 s]
/proc/loadavg: 3.76 3.90 3.71 1/506 17159
/proc/meminfo: memFree=23935672/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=10547300 CPUtime=0.61 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 17186 0 1 0 58 3 0 0 25 0 19 0 909603075 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 2636825 15564 2205 9 0 2627559 0
[pid=17128/tid=17129] ppid=17126 vsize=10547300 CPUtime=0.15 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) S 17126 17128 13385 0 -1 4202560 11692 0 1 0 14 1 0 0 17 0 19 0 909603076 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 3 0 0 0
[pid=17128/tid=17131] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17131/stat : 17131 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603077 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17132] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17132/stat : 17132 (java) S 17126 17128 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909603077 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17133] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17133/stat : 17133 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17134] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17134/stat : 17134 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17135] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17135/stat : 17135 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17136] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17136/stat : 17136 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17137] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17137/stat : 17137 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17138] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17138/stat : 17138 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17139] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17139/stat : 17139 (java) S 17126 17128 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909603079 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 0 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17140] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17140/stat : 17140 (java) S 17126 17128 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909603079 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17141] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17141/stat : 17141 (java) S 17126 17128 13385 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 909603079 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17142] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17142/stat : 17142 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603081 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469889457 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17143] ppid=17126 vsize=10547300 CPUtime=0.15 cores=1,3,5,7
/proc/17128/task/17143/stat : 17143 (java) S 17126 17128 13385 0 -1 4202560 2026 0 0 0 15 0 0 0 16 0 19 0 909603081 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 1 0 0 0
[pid=17128/tid=17144] ppid=17126 vsize=10547300 CPUtime=0.13 cores=1,3,5,7
/proc/17128/task/17144/stat : 17144 (java) S 17126 17128 13385 0 -1 4202560 1784 0 0 0 13 0 0 0 16 0 19 0 909603081 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17145] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17145/stat : 17145 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603081 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17146] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17146/stat : 17146 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909603081 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17149] ppid=17126 vsize=10547300 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17149/stat : 17149 (java) S 17126 17128 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909603092 10800435200 15564 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10547300
Solver just ended. Dumping a history of the last processes samples
[startup+1.90065 s]
/proc/loadavg: 3.76 3.90 3.71 1/506 17159
/proc/meminfo: memFree=23935672/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=10555732 CPUtime=1.42 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 32451 0 1 0 138 4 0 0 25 0 19 0 909603075 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 2638933 29054 2225 9 0 2629667 0
[pid=17128/tid=17129] ppid=17126 vsize=10555732 CPUtime=0.15 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) S 17126 17128 13385 0 -1 4202560 11703 0 1 0 14 1 0 0 16 0 19 0 909603076 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17131] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17131/stat : 17131 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603077 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17132] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17132/stat : 17132 (java) S 17126 17128 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909603077 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17133] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17133/stat : 17133 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17134] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17134/stat : 17134 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17135] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17135/stat : 17135 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17136] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17136/stat : 17136 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17137] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17137/stat : 17137 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17138] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17138/stat : 17138 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17139] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17139/stat : 17139 (java) S 17126 17128 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909603079 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 0 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17140] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17140/stat : 17140 (java) S 17126 17128 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909603079 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17141] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17141/stat : 17141 (java) S 17126 17128 13385 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 909603079 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17142] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17142/stat : 17142 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603081 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469889457 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17143] ppid=17126 vsize=10555732 CPUtime=0.37 cores=1,3,5,7
/proc/17128/task/17143/stat : 17143 (java) R 17126 17128 13385 0 -1 4202560 5862 0 0 0 36 1 0 0 16 0 19 0 909603081 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 46997396740034 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17128/tid=17144] ppid=17126 vsize=10555732 CPUtime=0.35 cores=1,3,5,7
/proc/17128/task/17144/stat : 17144 (java) R 17126 17128 13385 0 -1 4202560 3732 0 0 0 35 0 0 0 16 0 19 0 909603081 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 46997396737441 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17128/tid=17145] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17145/stat : 17145 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603081 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17146] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17146/stat : 17146 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909603081 10809069568 29054 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10555732
[startup+2.10068 s]
/proc/loadavg: 3.76 3.90 3.71 1/506 17171
/proc/meminfo: memFree=23873300/32951124 swapFree=56297244/67111528
[pid=17128] ppid=17126 vsize=10555732 CPUtime=1.62 cores=1,3,5,7
/proc/17128/stat : 17128 (java) S 17126 17128 13385 0 -1 4202496 32816 0 1 0 157 5 0 0 25 0 19 0 909603075 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17128/statm: 2638933 29004 2227 9 0 2629667 0
[pid=17128/tid=17129] ppid=17126 vsize=10555732 CPUtime=0.15 cores=1,3,5,7
/proc/17128/task/17129/stat : 17129 (java) S 17126 17128 13385 0 -1 4202560 11703 0 1 0 14 1 0 0 16 0 19 0 909603076 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17131] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17131/stat : 17131 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603077 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17132] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17132/stat : 17132 (java) S 17126 17128 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909603077 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17133] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17133/stat : 17133 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17134] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17134/stat : 17134 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17135] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17135/stat : 17135 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17136] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17136/stat : 17136 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17137] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17137/stat : 17137 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17138] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17138/stat : 17138 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603078 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17139] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17139/stat : 17139 (java) S 17126 17128 13385 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909603079 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 0 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17140] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17140/stat : 17140 (java) S 17126 17128 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909603079 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17141] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17141/stat : 17141 (java) S 17126 17128 13385 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 909603079 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17142] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17142/stat : 17142 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603081 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469889457 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17143] ppid=17126 vsize=10555732 CPUtime=0.49 cores=1,3,5,7
/proc/17128/task/17143/stat : 17143 (java) S 17126 17128 13385 0 -1 4202560 6122 0 0 0 48 1 0 0 16 0 19 0 909603081 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 1 0 0 0
[pid=17128/tid=17144] ppid=17126 vsize=10555732 CPUtime=0.43 cores=1,3,5,7
/proc/17128/task/17144/stat : 17144 (java) S 17126 17128 13385 0 -1 4202560 3837 0 0 0 43 0 0 0 16 0 19 0 909603081 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 7 0 0 0
[pid=17128/tid=17145] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17145/stat : 17145 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603081 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469881753 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17146] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17146/stat : 17146 (java) S 17126 17128 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909603081 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
[pid=17128/tid=17168] ppid=17126 vsize=10555732 CPUtime=0 cores=1,3,5,7
/proc/17128/task/17168/stat : 17168 (java) S 17126 17128 13385 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 909603243 10809069568 29004 33554432000 1073741824 1073778376 140734365980320 18446744073709551615 252469882368 0 4 0 16800975 18446604459273290176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10555732
Child status: 30
Real time (s): 2.19639
CPU time (s): 1.65275
CPU user time (s): 1.59676
CPU system time (s): 0.055991
CPU usage (%): 75.2483
Max. virtual memory (cumulated for all children) (KiB): 10555732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59676
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32831
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= 269
involuntary context switches= 67
runsolver used 0.010998 second user time and 0.041993 second system time
The end