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-3455221-1307191339/watcher-3455221-1307191339 -o /tmp/evaluation-result-3455221-1307191339/solver-3455221-1307191339 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455221-1307191339.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.83 2.25 2.95 2/482 27034
/proc/meminfo: memFree=24787336/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 1351 0 1 0 0 0 0 0 23 0 2 0 909364617 36679680 1053 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 8955 1061 824 9 0 386 0
[pid=27032/tid=27036] ppid=27030 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) R 27030 27032 22562 0 -1 4202560 4092 0 1 0 0 0 0 0 17 0 2 0 909364618 10694979584 4908 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0417889 s]
/proc/loadavg: 1.83 2.25 2.95 2/482 27034
/proc/meminfo: memFree=24787336/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 11115 0 1 0 2 1 0 0 23 0 13 0 909364617 10718699520 10811 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2616870 10817 1651 9 0 2607618 0
[pid=27032/tid=27036] ppid=27030 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) R 27030 27032 22562 0 -1 4202560 9972 0 1 0 2 1 0 0 21 0 13 0 909364618 10718699520 10817 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 47496237612176 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.104781 s]
/proc/loadavg: 1.83 2.25 2.95 2/482 27034
/proc/meminfo: memFree=24787336/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10540144 CPUtime=0.1 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 13032 0 1 0 9 1 0 0 23 0 18 0 909364617 10793107456 12728 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2635036 12728 2092 9 0 2625770 0
[pid=27032/tid=27036] ppid=27030 vsize=10540144 CPUtime=0.08 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) R 27030 27032 22562 0 -1 4202560 11147 0 1 0 7 1 0 0 22 0 18 0 909364618 10793107456 12728 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 46912496197408 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) 10540144
[startup+0.300744 s]
/proc/loadavg: 1.83 2.25 2.95 2/482 27034
/proc/meminfo: memFree=24787336/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10552700 CPUtime=0.63 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 19200 0 1 0 61 2 0 0 23 0 22 0 909364617 10805964800 17554 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2638175 17554 2210 9 0 2628909 0
[pid=27032/tid=27036] ppid=27030 vsize=10552700 CPUtime=0.18 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) S 27030 27032 22562 0 -1 4202560 11947 0 1 0 17 1 0 0 23 0 22 0 909364618 10805964800 17554 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10552700
[startup+0.700668 s]
/proc/loadavg: 1.83 2.25 2.95 2/482 27034
/proc/meminfo: memFree=24787336/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10557424 CPUtime=1.48 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 24777 0 1 0 145 3 0 0 23 0 19 0 909364617 10810802176 20856 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2639356 20856 2224 9 0 2630090 0
[pid=27032/tid=27036] ppid=27030 vsize=10557424 CPUtime=0.18 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) S 27030 27032 22562 0 -1 4202560 11947 0 1 0 17 1 0 0 23 0 19 0 909364618 10810802176 20856 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10557424
[startup+1.50159 s]
/proc/loadavg: 1.83 2.25 2.95 1/520 27084
/proc/meminfo: memFree=24629524/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10557424 CPUtime=2.04 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 32570 0 1 0 200 4 0 0 23 0 19 0 909364617 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2639356 26165 2227 9 0 2630090 0
[pid=27032/tid=27036] ppid=27030 vsize=10557424 CPUtime=0.18 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) S 27030 27032 22562 0 -1 4202560 11959 0 1 0 17 1 0 0 15 0 19 0 909364618 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27047] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27047/stat : 27047 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909364619 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27048] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27048/stat : 27048 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364619 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27049] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27049/stat : 27049 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364619 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27050] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27050/stat : 27050 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364619 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27051] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27051/stat : 27051 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364620 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27052] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27052/stat : 27052 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364620 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27053] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27053/stat : 27053 (java) S 27030 27032 22562 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 909364620 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27054] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27054/stat : 27054 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364620 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27056] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27056/stat : 27056 (java) S 27030 27032 22562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909364621 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 0 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27058] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27058/stat : 27058 (java) S 27030 27032 22562 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 909364621 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27060] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27060/stat : 27060 (java) S 27030 27032 22562 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909364621 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27063] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27063/stat : 27063 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364623 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917217713 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27064] ppid=27030 vsize=10557424 CPUtime=0.57 cores=1,3,5,7
/proc/27032/task/27064/stat : 27064 (java) S 27030 27032 22562 0 -1 4202560 6316 0 0 0 57 0 0 0 15 0 19 0 909364623 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27067] ppid=27030 vsize=10557424 CPUtime=0.57 cores=1,3,5,7
/proc/27032/task/27067/stat : 27067 (java) S 27030 27032 22562 0 -1 4202560 6188 0 0 0 57 0 0 0 15 0 19 0 909364623 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27068] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27068/stat : 27068 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909364623 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27070] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27070/stat : 27070 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909364623 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27073] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27073/stat : 27073 (java) S 27030 27032 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909364638 10810802176 26165 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 10557424
[startup+3.10125 s]
/proc/loadavg: 1.83 2.25 2.95 4/523 27093
/proc/meminfo: memFree=24273124/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10557424 CPUtime=4.61 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 101088 0 1 0 449 12 0 0 23 0 22 0 909364617 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2639356 91360 2256 9 0 2630090 0
[pid=27032/tid=27036] ppid=27030 vsize=10557424 CPUtime=0.18 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) S 27030 27032 22562 0 -1 4202560 11970 0 1 0 17 1 0 0 15 0 22 0 909364618 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27047] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27047/stat : 27047 (java) S 27030 27032 22562 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 22 0 909364619 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27048] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27048/stat : 27048 (java) S 27030 27032 22562 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 909364619 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27049] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27049/stat : 27049 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909364619 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27050] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27050/stat : 27050 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909364619 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27051] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27051/stat : 27051 (java) S 27030 27032 22562 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 22 0 909364620 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27052] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27052/stat : 27052 (java) S 27030 27032 22562 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 909364620 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27053] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27053/stat : 27053 (java) S 27030 27032 22562 0 -1 4202560 546 0 0 0 0 0 0 0 15 0 22 0 909364620 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27054] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27054/stat : 27054 (java) S 27030 27032 22562 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 22 0 909364620 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27056] ppid=27030 vsize=10557424 CPUtime=0.03 cores=1,3,5,7
/proc/27032/task/27056/stat : 27056 (java) S 27030 27032 22562 0 -1 4202560 1270 0 0 0 3 0 0 0 15 0 22 0 909364621 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 0 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27058] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27058/stat : 27058 (java) S 27030 27032 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909364621 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27060] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27060/stat : 27060 (java) S 27030 27032 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909364621 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27063] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27063/stat : 27063 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909364623 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917217713 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27064] ppid=27030 vsize=10557424 CPUtime=0.85 cores=1,3,5,7
/proc/27032/task/27064/stat : 27064 (java) S 27030 27032 22562 0 -1 4202560 6348 0 0 0 85 0 0 0 15 0 22 0 909364623 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27067] ppid=27030 vsize=10557424 CPUtime=1.07 cores=1,3,5,7
/proc/27032/task/27067/stat : 27067 (java) S 27030 27032 22562 0 -1 4202560 12439 0 0 0 106 1 0 0 15 0 22 0 909364623 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27068] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27068/stat : 27068 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909364623 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27070] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27070/stat : 27070 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909364623 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27073] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27073/stat : 27073 (java) S 27030 27032 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909364638 10810802176 91360 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 10557424
Solver just ended. Dumping a history of the last processes samples
[startup+3.50123 s]
/proc/loadavg: 1.83 2.25 2.95 4/501 27119
/proc/meminfo: memFree=24427408/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10557424 CPUtime=5.11 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 102805 0 1 0 499 12 0 0 23 0 19 0 909364617 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2639356 93077 2256 9 0 2630090 0
[pid=27032/tid=27036] ppid=27030 vsize=10557424 CPUtime=0.18 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) S 27030 27032 22562 0 -1 4202560 11970 0 1 0 17 1 0 0 15 0 19 0 909364618 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27047] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27047/stat : 27047 (java) S 27030 27032 22562 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27048] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27048/stat : 27048 (java) S 27030 27032 22562 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27049] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27049/stat : 27049 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27050] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27050/stat : 27050 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27051] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27051/stat : 27051 (java) S 27030 27032 22562 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27052] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27052/stat : 27052 (java) S 27030 27032 22562 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27053] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27053/stat : 27053 (java) S 27030 27032 22562 0 -1 4202560 546 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27054] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27054/stat : 27054 (java) S 27030 27032 22562 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27056] ppid=27030 vsize=10557424 CPUtime=0.03 cores=1,3,5,7
/proc/27032/task/27056/stat : 27056 (java) S 27030 27032 22562 0 -1 4202560 1270 0 0 0 3 0 0 0 15 0 19 0 909364621 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 0 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27058] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27058/stat : 27058 (java) S 27030 27032 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909364621 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27060] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27060/stat : 27060 (java) S 27030 27032 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 909364621 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27063] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27063/stat : 27063 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917217713 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27064] ppid=27030 vsize=10557424 CPUtime=0.85 cores=1,3,5,7
/proc/27032/task/27064/stat : 27064 (java) S 27030 27032 22562 0 -1 4202560 6348 0 0 0 85 0 0 0 15 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27067] ppid=27030 vsize=10557424 CPUtime=1.08 cores=1,3,5,7
/proc/27032/task/27067/stat : 27067 (java) S 27030 27032 22562 0 -1 4202560 12446 0 0 0 107 1 0 0 15 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27068] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27068/stat : 27068 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27070] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27070/stat : 27070 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27073] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27073/stat : 27073 (java) S 27030 27032 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909364638 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 10557424
[startup+3.70112 s]
/proc/loadavg: 1.83 2.25 2.95 4/501 27119
/proc/meminfo: memFree=24427408/32950928 swapFree=61542356/67111528
[pid=27032] ppid=27030 vsize=10557424 CPUtime=5.11 cores=1,3,5,7
/proc/27032/stat : 27032 (java) S 27030 27032 22562 0 -1 4202496 102805 0 1 0 499 12 0 0 23 0 19 0 909364617 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27032/statm: 2639356 93077 2256 9 0 2630090 0
[pid=27032/tid=27036] ppid=27030 vsize=10557424 CPUtime=0.18 cores=1,3,5,7
/proc/27032/task/27036/stat : 27036 (java) S 27030 27032 22562 0 -1 4202560 11970 0 1 0 17 1 0 0 15 0 19 0 909364618 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27047] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27047/stat : 27047 (java) S 27030 27032 22562 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27048] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27048/stat : 27048 (java) S 27030 27032 22562 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27049] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27049/stat : 27049 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27050] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27050/stat : 27050 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909364619 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27051] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27051/stat : 27051 (java) S 27030 27032 22562 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27052] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27052/stat : 27052 (java) S 27030 27032 22562 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27053] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27053/stat : 27053 (java) S 27030 27032 22562 0 -1 4202560 546 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27054] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27054/stat : 27054 (java) S 27030 27032 22562 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 909364620 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
[pid=27032/tid=27056] ppid=27030 vsize=10557424 CPUtime=0.03 cores=1,3,5,7
/proc/27032/task/27056/stat : 27056 (java) S 27030 27032 22562 0 -1 4202560 1270 0 0 0 3 0 0 0 15 0 19 0 909364621 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 0 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27058] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27058/stat : 27058 (java) S 27030 27032 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909364621 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27060] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27060/stat : 27060 (java) S 27030 27032 22562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 909364621 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27063] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27063/stat : 27063 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917217713 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27064] ppid=27030 vsize=10557424 CPUtime=0.85 cores=1,3,5,7
/proc/27032/task/27064/stat : 27064 (java) S 27030 27032 22562 0 -1 4202560 6348 0 0 0 85 0 0 0 15 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 5 0 0 0
[pid=27032/tid=27067] ppid=27030 vsize=10557424 CPUtime=1.08 cores=1,3,5,7
/proc/27032/task/27067/stat : 27067 (java) S 27030 27032 22562 0 -1 4202560 12446 0 0 0 107 1 0 0 15 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27068] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27068/stat : 27068 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210009 0 4 0 16800975 18446604455672575872 0 0 -1 3 0 0 0
[pid=27032/tid=27070] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27070/stat : 27070 (java) S 27030 27032 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909364623 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 1 0 0 0
[pid=27032/tid=27073] ppid=27030 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27073/stat : 27073 (java) S 27030 27032 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909364638 10810802176 93077 33554432000 1073741824 1073778376 140735896758864 18446744073709551615 260917210624 0 4 0 16800975 18446604455672575872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 10557424
Child status: 30
Real time (s): 3.76832
CPU time (s): 5.17121
CPU user time (s): 5.02623
CPU system time (s): 0.144977
CPU usage (%): 137.229
Max. virtual memory (cumulated for all children) (KiB): 10557424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.02623
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102813
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= 781
involuntary context switches= 170
runsolver used 0.026995 second user time and 0.048992 second system time
The end