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-3453752-1307194176/watcher-3453752-1307194176 -o /tmp/evaluation-result-3453752-1307194176/solver-3453752-1307194176 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453752-1307194176.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: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 1363 0 1 0 0 0 0 0 18 0 2 0 831017352 36679680 1066 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 8955 1066 828 9 0 386 0
[pid=18198/tid=18200] ppid=18194 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) R 18194 18198 13462 0 -1 4202560 3994 0 1 0 0 0 0 0 19 0 2 0 831017352 10694979584 4810 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0960131 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10539868 CPUtime=0.1 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 12932 0 1 0 8 2 0 0 18 0 18 0 831017352 10792824832 12616 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2634967 12616 2092 9 0 2625701 0
[pid=18198/tid=18200] ppid=18194 vsize=10539868 CPUtime=0.07 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) R 18194 18198 13462 0 -1 4202560 11036 0 1 0 6 1 0 0 25 0 18 0 831017352 10792824832 12616 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 47216669485574 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539868
[startup+0.100824 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10539868 CPUtime=0.11 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 13000 0 1 0 9 2 0 0 18 0 18 0 831017352 10792824832 12684 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2634967 12684 2093 9 0 2625701 0
[pid=18198/tid=18200] ppid=18194 vsize=10539868 CPUtime=0.08 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) R 18194 18198 13462 0 -1 4202560 11104 0 1 0 7 1 0 0 25 0 18 0 831017352 10792824832 12685 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248089358657 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539868
[startup+0.325622 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10550628 CPUtime=0.9 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 19863 0 1 0 87 3 0 0 18 0 22 0 831017352 10803843072 17346 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2637657 17346 2202 9 0 2628391 0
[pid=18198/tid=18200] ppid=18194 vsize=10550628 CPUtime=0.14 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) S 18194 18198 13462 0 -1 4202560 11655 0 1 0 13 1 0 0 25 0 22 0 831017352 10803843072 17346 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10550628
[startup+0.705229 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10557936 CPUtime=2.27 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 41240 0 1 0 221 6 0 0 18 0 22 0 831017352 10811326464 34746 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2639484 34748 2221 9 0 2630218 0
[pid=18198/tid=18200] ppid=18194 vsize=10557936 CPUtime=0.14 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) S 18194 18198 13462 0 -1 4202560 11655 0 1 0 13 1 0 0 20 0 22 0 831017352 10811326464 34749 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10557936
[startup+1.50158 s]
/proc/loadavg: 2.48 3.46 3.52 6/505 18245
/proc/meminfo: memFree=29749648/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10556768 CPUtime=4.63 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 78614 0 1 0 453 10 0 0 18 0 22 0 831017352 10810130432 64971 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2639192 64976 2250 9 0 2629926 0
[pid=18198/tid=18200] ppid=18194 vsize=10556768 CPUtime=0.14 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) S 18194 18198 13462 0 -1 4202560 11655 0 1 0 13 1 0 0 15 0 22 0 831017352 10810130432 64979 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18203] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18203/stat : 18203 (java) S 18194 18198 13462 0 -1 4202560 208 0 0 0 0 0 0 0 16 0 22 0 831017354 10810130432 64982 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18205] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18205/stat : 18205 (java) S 18194 18198 13462 0 -1 4202560 507 0 0 0 0 0 0 0 16 0 22 0 831017354 10810130432 64984 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18207] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18207/stat : 18207 (java) S 18194 18198 13462 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 64987 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18209] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18209/stat : 18209 (java) S 18194 18198 13462 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 22 0 831017354 10810130432 64989 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18212] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18212/stat : 18212 (java) S 18194 18198 13462 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 64990 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18214] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18214/stat : 18214 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 64992 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18216] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18216/stat : 18216 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 64995 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18218] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18218/stat : 18218 (java) S 18194 18198 13462 0 -1 4202560 208 0 0 0 0 0 0 0 16 0 22 0 831017354 10810130432 64997 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18220] ppid=18194 vsize=10556768 CPUtime=0.03 cores=1,3,5,7
/proc/18198/task/18220/stat : 18220 (java) S 18194 18198 13462 0 -1 4202560 1022 0 0 0 3 0 0 0 15 0 22 0 831017355 10810130432 65000 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 0 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18221] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18221/stat : 18221 (java) S 18194 18198 13462 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 831017356 10810130432 65002 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18223] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18223/stat : 18223 (java) S 18194 18198 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831017356 10810130432 65005 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18227] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18227/stat : 18227 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017358 10810130432 65008 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101521841 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18228] ppid=18194 vsize=10556768 CPUtime=0.92 cores=1,3,5,7
/proc/18198/task/18228/stat : 18228 (java) S 18194 18198 13462 0 -1 4202560 10702 0 0 0 91 1 0 0 25 0 22 0 831017358 10810130432 65010 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18231] ppid=18194 vsize=10556768 CPUtime=0.91 cores=1,3,5,7
/proc/18198/task/18231/stat : 18231 (java) S 18194 18198 13462 0 -1 4202560 9164 0 0 0 89 2 0 0 24 0 22 0 831017358 10810130432 65013 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18232] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18232/stat : 18232 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017358 10810130432 65016 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18234] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18234/stat : 18234 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017358 10810130432 65019 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18239] ppid=18194 vsize=10556768 CPUtime=1.3 cores=1,3,5,7
/proc/18198/task/18239/stat : 18239 (java) R 18194 18198 13462 0 -1 4202560 505 0 0 0 130 0 0 0 25 0 22 0 831017368 10810130432 65022 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 46912505652994 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18198/tid=18240] ppid=18194 vsize=10556768 CPUtime=1.29 cores=1,3,5,7
/proc/18198/task/18240/stat : 18240 (java) R 18194 18198 13462 0 -1 4202560 43323 0 0 0 124 5 0 0 20 0 22 0 831017368 10810130432 65026 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 46912505594612 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18198/tid=18241] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18241/stat : 18241 (java) S 18194 18198 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831017368 10810130432 65029 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18242] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18242/stat : 18242 (java) S 18194 18198 13462 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831017368 10810130432 65031 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 10556768
[startup+3.1013 s]
/proc/loadavg: 2.48 3.46 3.52 1/501 18294
/proc/meminfo: memFree=29546260/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10556768 CPUtime=7.06 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 143620 0 1 0 688 18 0 0 18 0 22 0 831017352 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2639192 129975 2258 9 0 2629926 0
[pid=18198/tid=18200] ppid=18194 vsize=10556768 CPUtime=0.14 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) S 18194 18198 13462 0 -1 4202560 11655 0 1 0 13 1 0 0 15 0 22 0 831017352 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18203] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18203/stat : 18203 (java) S 18194 18198 13462 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18205] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18205/stat : 18205 (java) S 18194 18198 13462 0 -1 4202560 554 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18207] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18207/stat : 18207 (java) S 18194 18198 13462 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18209] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18209/stat : 18209 (java) S 18194 18198 13462 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18212] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18212/stat : 18212 (java) S 18194 18198 13462 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18214] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18214/stat : 18214 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18216] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18216/stat : 18216 (java) S 18194 18198 13462 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18218] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18218/stat : 18218 (java) S 18194 18198 13462 0 -1 4202560 274 0 0 0 0 0 0 0 16 0 22 0 831017354 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18220] ppid=18194 vsize=10556768 CPUtime=0.08 cores=1,3,5,7
/proc/18198/task/18220/stat : 18220 (java) S 18194 18198 13462 0 -1 4202560 1845 0 0 0 8 0 0 0 15 0 22 0 831017355 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 0 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18221] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18221/stat : 18221 (java) S 18194 18198 13462 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831017356 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18223] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18223/stat : 18223 (java) S 18194 18198 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831017356 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18227] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18227/stat : 18227 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017358 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101521841 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18228] ppid=18194 vsize=10556768 CPUtime=0.96 cores=1,3,5,7
/proc/18198/task/18228/stat : 18228 (java) S 18194 18198 13462 0 -1 4202560 10722 0 0 0 95 1 0 0 17 0 22 0 831017358 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18231] ppid=18194 vsize=10556768 CPUtime=0.91 cores=1,3,5,7
/proc/18198/task/18231/stat : 18231 (java) S 18194 18198 13462 0 -1 4202560 9165 0 0 0 89 2 0 0 17 0 22 0 831017358 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18232] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18232/stat : 18232 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017358 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18234] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18234/stat : 18234 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017358 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18242] ppid=18194 vsize=10556768 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18242/stat : 18242 (java) S 18194 18198 13462 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831017368 10810130432 129975 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 10556768
Solver just ended. Dumping a history of the last processes samples
[startup+3.50123 s]
/proc/loadavg: 2.76 3.51 3.53 2/504 18306
/proc/meminfo: memFree=29374772/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10561624 CPUtime=8.14 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 145527 0 1 0 796 18 0 0 18 0 22 0 831017352 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2640406 131458 2258 9 0 2631140 0
[pid=18198/tid=18200] ppid=18194 vsize=10561624 CPUtime=0.14 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) S 18194 18198 13462 0 -1 4202560 11655 0 1 0 13 1 0 0 15 0 22 0 831017352 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18203] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18203/stat : 18203 (java) S 18194 18198 13462 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18205] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18205/stat : 18205 (java) S 18194 18198 13462 0 -1 4202560 554 0 0 0 0 0 0 0 15 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18207] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18207/stat : 18207 (java) S 18194 18198 13462 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18209] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18209/stat : 18209 (java) S 18194 18198 13462 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18212] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18212/stat : 18212 (java) S 18194 18198 13462 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18214] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18214/stat : 18214 (java) S 18194 18198 13462 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18216] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18216/stat : 18216 (java) S 18194 18198 13462 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18218] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18218/stat : 18218 (java) S 18194 18198 13462 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 22 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18220] ppid=18194 vsize=10561624 CPUtime=0.1 cores=1,3,5,7
/proc/18198/task/18220/stat : 18220 (java) S 18194 18198 13462 0 -1 4202560 2116 0 0 0 10 0 0 0 16 0 22 0 831017355 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 0 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18221] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18221/stat : 18221 (java) S 18194 18198 13462 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831017356 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18223] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18223/stat : 18223 (java) S 18194 18198 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831017356 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18227] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18227/stat : 18227 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101521841 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18228] ppid=18194 vsize=10561624 CPUtime=1.24 cores=1,3,5,7
/proc/18198/task/18228/stat : 18228 (java) S 18194 18198 13462 0 -1 4202560 12351 0 0 0 123 1 0 0 16 0 22 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18231] ppid=18194 vsize=10561624 CPUtime=0.93 cores=1,3,5,7
/proc/18198/task/18231/stat : 18231 (java) S 18194 18198 13462 0 -1 4202560 9165 0 0 0 91 2 0 0 15 0 22 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18232] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18232/stat : 18232 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18234] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18234/stat : 18234 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18242] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18242/stat : 18242 (java) S 18194 18198 13462 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831017368 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18298] ppid=18194 vsize=10561624 CPUtime=1.21 cores=1,3,5,7
/proc/18198/task/18298/stat : 18298 (java) R 18194 18198 13462 0 -1 4202560 5 0 0 0 121 0 0 0 17 0 22 0 831017573 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 46912505559131 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18198/tid=18299] ppid=18194 vsize=10561624 CPUtime=1.21 cores=1,3,5,7
/proc/18198/task/18299/stat : 18299 (java) R 18194 18198 13462 0 -1 4202560 30810 0 0 0 118 3 0 0 18 0 22 0 831017573 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 46912505613364 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18198/tid=18300] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18300/stat : 18300 (java) S 18194 18198 13462 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 831017574 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (KiB) 10561624
[startup+3.70121 s]
/proc/loadavg: 2.76 3.51 3.53 2/504 18306
/proc/meminfo: memFree=29374772/32950928 swapFree=45617076/67111528
[pid=18198] ppid=18194 vsize=10561624 CPUtime=8.22 cores=1,3,5,7
/proc/18198/stat : 18198 (java) S 18194 18198 13462 0 -1 4202496 145527 0 1 0 804 18 0 0 18 0 19 0 831017352 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18198/statm: 2640406 131458 2258 9 0 2631140 0
[pid=18198/tid=18200] ppid=18194 vsize=10561624 CPUtime=0.14 cores=1,3,5,7
/proc/18198/task/18200/stat : 18200 (java) S 18194 18198 13462 0 -1 4202560 11655 0 1 0 13 1 0 0 15 0 19 0 831017352 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18203] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18203/stat : 18203 (java) S 18194 18198 13462 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18205] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18205/stat : 18205 (java) S 18194 18198 13462 0 -1 4202560 554 0 0 0 0 0 0 0 15 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18207] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18207/stat : 18207 (java) S 18194 18198 13462 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18209] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18209/stat : 18209 (java) S 18194 18198 13462 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18212] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18212/stat : 18212 (java) S 18194 18198 13462 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18214] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18214/stat : 18214 (java) S 18194 18198 13462 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18216] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18216/stat : 18216 (java) S 18194 18198 13462 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18218] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18218/stat : 18218 (java) S 18194 18198 13462 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 831017354 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18220] ppid=18194 vsize=10561624 CPUtime=0.1 cores=1,3,5,7
/proc/18198/task/18220/stat : 18220 (java) S 18194 18198 13462 0 -1 4202560 2116 0 0 0 10 0 0 0 16 0 19 0 831017355 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 0 0 16800975 18446604463450076288 0 0 -1 1 0 0 0
[pid=18198/tid=18221] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18221/stat : 18221 (java) S 18194 18198 13462 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831017356 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18223] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18223/stat : 18223 (java) S 18194 18198 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831017356 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18227] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18227/stat : 18227 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101521841 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18228] ppid=18194 vsize=10561624 CPUtime=1.24 cores=1,3,5,7
/proc/18198/task/18228/stat : 18228 (java) S 18194 18198 13462 0 -1 4202560 12351 0 0 0 123 1 0 0 16 0 19 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 5 0 0 0
[pid=18198/tid=18231] ppid=18194 vsize=10561624 CPUtime=0.93 cores=1,3,5,7
/proc/18198/task/18231/stat : 18231 (java) S 18194 18198 13462 0 -1 4202560 9165 0 0 0 91 2 0 0 15 0 19 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 7 0 0 0
[pid=18198/tid=18232] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18232/stat : 18232 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514137 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18234] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18234/stat : 18234 (java) S 18194 18198 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017358 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
[pid=18198/tid=18300] ppid=18194 vsize=10561624 CPUtime=0 cores=1,3,5,7
/proc/18198/task/18300/stat : 18300 (java) S 18194 18198 13462 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 831017574 10815102976 131458 33554432000 1073741824 1073778376 140736611419568 18446744073709551615 248101514752 0 4 0 16800975 18446604463450076288 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 10561624
Child status: 30
Real time (s): 3.77955
CPU time (s): 8.29274
CPU user time (s): 8.08577
CPU system time (s): 0.206968
CPU usage (%): 219.411
Max. virtual memory (cumulated for all children) (KiB): 10567468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.08577
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145538
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= 689
involuntary context switches= 189
runsolver used 0.023996 second user time and 0.047992 second system time
The end