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-3455050-1307188484/watcher-3455050-1307188484 -o /tmp/evaluation-result-3455050-1307188484/solver-3455050-1307188484 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455050-1307188484.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.10 1.30 1.66 2/523 8780
/proc/meminfo: memFree=22821624/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/8780/stat : 8780 (java) R 8778 8780 4512 0 -1 4202496 1105 0 0 0 0 0 0 0 21 0 1 0 811264257 23580672 850 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233505374263 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8780/statm: 5744 845 636 9 0 124 0
[pid=8780/tid=8781] ppid=8778 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) R 8778 8780 4512 0 -1 4202560 5650 0 1 0 0 0 0 0 22 0 2 0 811264258 10694979584 6466 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0497401 s]
/proc/loadavg: 1.10 1.30 1.66 2/523 8780
/proc/meminfo: memFree=22821624/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 11323 0 1 0 2 1 0 0 21 0 13 0 811264257 10718699520 11021 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2616870 11022 1678 9 0 2607618 0
[pid=8780/tid=8781] ppid=8778 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) R 8778 8780 4512 0 -1 4202560 10177 0 1 0 2 1 0 0 18 0 13 0 811264258 10718699520 11022 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 47067796677379 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.10073 s]
/proc/loadavg: 1.10 1.30 1.66 2/523 8780
/proc/meminfo: memFree=22821624/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10539980 CPUtime=0.1 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 12977 0 1 0 8 2 0 0 21 0 18 0 811264257 10792939520 12675 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2634995 12677 2092 9 0 2625729 0
[pid=8780/tid=8781] ppid=8778 vsize=10539980 CPUtime=0.08 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) R 8778 8780 4512 0 -1 4202560 11091 0 1 0 6 2 0 0 18 0 18 0 811264258 10792939520 12678 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 47067796672517 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539980
[startup+0.300697 s]
/proc/loadavg: 1.10 1.30 1.66 2/523 8780
/proc/meminfo: memFree=22821624/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10550096 CPUtime=0.53 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 17911 0 1 0 50 3 0 0 21 0 19 0 811264257 10803298304 16525 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2637524 16525 2216 9 0 2628258 0
[pid=8780/tid=8781] ppid=8778 vsize=10550096 CPUtime=0.21 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) S 8778 8780 4512 0 -1 4202560 12164 0 1 0 19 2 0 0 19 0 19 0 811264258 10803298304 16525 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10550096
[startup+0.700631 s]
/proc/loadavg: 1.10 1.30 1.66 2/523 8780
/proc/meminfo: memFree=22821624/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10548744 CPUtime=0.61 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 18285 0 1 0 58 3 0 0 21 0 19 0 811264257 10801913856 16344 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2637186 16344 2220 9 0 2627920 0
[pid=8780/tid=8781] ppid=8778 vsize=10548744 CPUtime=0.21 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) S 8778 8780 4512 0 -1 4202560 12164 0 1 0 19 2 0 0 19 0 19 0 811264258 10801913856 16344 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10548744
[startup+1.50148 s]
/proc/loadavg: 1.10 1.30 1.66 1/563 8832
/proc/meminfo: memFree=22611996/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10548744 CPUtime=0.71 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 19594 0 1 0 68 3 0 0 21 0 19 0 811264257 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2637186 16485 2220 9 0 2627920 0
[pid=8780/tid=8781] ppid=8778 vsize=10548744 CPUtime=0.22 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) S 8778 8780 4512 0 -1 4202560 12179 0 1 0 20 2 0 0 16 0 19 0 811264258 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8788] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8788/stat : 8788 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8789] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8789/stat : 8789 (java) S 8778 8780 4512 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8790] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8790/stat : 8790 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8791] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8791/stat : 8791 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8792] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8792/stat : 8792 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8793] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8793/stat : 8793 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8794] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8794/stat : 8794 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8795] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8795/stat : 8795 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8796] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8796/stat : 8796 (java) S 8778 8780 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811264261 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 0 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8798] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8798/stat : 8798 (java) S 8778 8780 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811264261 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8799] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8799/stat : 8799 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811264261 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8809] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8809/stat : 8809 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811264264 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522121137 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8810] ppid=8778 vsize=10548744 CPUtime=0.15 cores=1,3,5,7
/proc/8780/task/8810/stat : 8810 (java) S 8778 8780 4512 0 -1 4202560 2014 0 0 0 15 0 0 0 15 0 19 0 811264264 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 5 0 0 0
[pid=8780/tid=8811] ppid=8778 vsize=10548744 CPUtime=0.21 cores=1,3,5,7
/proc/8780/task/8811/stat : 8811 (java) S 8778 8780 4512 0 -1 4202560 3853 0 0 0 21 0 0 0 15 0 19 0 811264264 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8812] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8812/stat : 8812 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811264264 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8813] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8813/stat : 8813 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811264264 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8824] ppid=8778 vsize=10548744 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8824/stat : 8824 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811264281 10801913856 16485 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 10548744
Solver just ended. Dumping a history of the last processes samples
[startup+1.90138 s]
/proc/loadavg: 1.10 1.30 1.66 1/563 8832
/proc/meminfo: memFree=22611996/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10549192 CPUtime=1.31 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 23415 0 1 0 127 4 0 0 21 0 22 0 811264257 10802372608 19950 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2637298 19952 2226 9 0 2628032 0
[pid=8780/tid=8781] ppid=8778 vsize=10549192 CPUtime=0.22 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) S 8778 8780 4512 0 -1 4202560 12186 0 1 0 20 2 0 0 16 0 22 0 811264258 10802372608 19953 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8788] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8788/stat : 8788 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811264260 10802372608 19953 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8789] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8789/stat : 8789 (java) S 8778 8780 4512 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 811264260 10802372608 19954 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8790] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8790/stat : 8790 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264260 10802372608 19957 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8791] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8791/stat : 8791 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264260 10802372608 19960 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8792] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8792/stat : 8792 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264260 10802372608 19962 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8793] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8793/stat : 8793 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264260 10802372608 19964 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8794] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8794/stat : 8794 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264260 10802372608 19965 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8795] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8795/stat : 8795 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811264260 10802372608 19966 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8796] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8796/stat : 8796 (java) S 8778 8780 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811264261 10802372608 19966 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 0 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8798] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8798/stat : 8798 (java) S 8778 8780 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811264261 10802372608 19967 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8799] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8799/stat : 8799 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811264261 10802372608 19967 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8809] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8809/stat : 8809 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811264264 10802372608 19968 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522121137 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8810] ppid=8778 vsize=10549192 CPUtime=0.29 cores=1,3,5,7
/proc/8780/task/8810/stat : 8810 (java) R 8778 8780 4512 0 -1 4202560 2040 0 0 0 29 0 0 0 16 0 22 0 811264264 10802372608 19969 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 47067796932909 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8780/tid=8811] ppid=8778 vsize=10549192 CPUtime=0.36 cores=1,3,5,7
/proc/8780/task/8811/stat : 8811 (java) R 8778 8780 4512 0 -1 4202560 4311 0 0 0 36 0 0 0 16 0 22 0 811264264 10802372608 19969 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 47067801276139 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8780/tid=8812] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8812/stat : 8812 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811264264 10802372608 19970 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8813] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8813/stat : 8813 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811264264 10802372608 19971 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8824] ppid=8778 vsize=10549192 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8824/stat : 8824 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811264281 10802372608 19972 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 10549192
[startup+2.10137 s]
/proc/loadavg: 1.10 1.30 1.65 3/563 8844
/proc/meminfo: memFree=22563260/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10558268 CPUtime=1.87 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 33157 0 1 0 182 5 0 0 21 0 19 0 811264257 10811666432 26441 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2639567 26441 2228 9 0 2630301 0
[pid=8780/tid=8781] ppid=8778 vsize=10558268 CPUtime=0.22 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) S 8778 8780 4512 0 -1 4202560 12186 0 1 0 20 2 0 0 16 0 19 0 811264258 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8788] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8788/stat : 8788 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8789] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8789/stat : 8789 (java) S 8778 8780 4512 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8790] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8790/stat : 8790 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8791] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8791/stat : 8791 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8792] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8792/stat : 8792 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8793] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8793/stat : 8793 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8794] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8794/stat : 8794 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8795] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8795/stat : 8795 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8796] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8796/stat : 8796 (java) S 8778 8780 4512 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 811264261 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 0 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8798] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8798/stat : 8798 (java) S 8778 8780 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811264261 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8799] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8799/stat : 8799 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811264261 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8809] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8809/stat : 8809 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522121137 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8810] ppid=8778 vsize=10558268 CPUtime=0.5 cores=1,3,5,7
/proc/8780/task/8810/stat : 8810 (java) S 8778 8780 4512 0 -1 4202560 5241 0 0 0 50 0 0 0 16 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 5 0 0 0
[pid=8780/tid=8811] ppid=8778 vsize=10558268 CPUtime=0.57 cores=1,3,5,7
/proc/8780/task/8811/stat : 8811 (java) S 8778 8780 4512 0 -1 4202560 7979 0 0 0 57 0 0 0 16 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8812] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8812/stat : 8812 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8813] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8813/stat : 8813 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8824] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8824/stat : 8824 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811264281 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10558268
[startup+2.22037 s]
/proc/loadavg: 1.10 1.30 1.65 3/563 8844
/proc/meminfo: memFree=22563260/32951124 swapFree=64303760/67111528
[pid=8780] ppid=8778 vsize=10558268 CPUtime=1.88 cores=1,3,5,7
/proc/8780/stat : 8780 (java) S 8778 8780 4512 0 -1 4202496 33181 0 1 0 183 5 0 0 21 0 19 0 811264257 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8780/statm: 2639567 26465 2228 9 0 2630301 0
[pid=8780/tid=8781] ppid=8778 vsize=10558268 CPUtime=0.22 cores=1,3,5,7
/proc/8780/task/8781/stat : 8781 (java) S 8778 8780 4512 0 -1 4202560 12186 0 1 0 20 2 0 0 16 0 19 0 811264258 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8788] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8788/stat : 8788 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8789] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8789/stat : 8789 (java) S 8778 8780 4512 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8790] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8790/stat : 8790 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8791] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8791/stat : 8791 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8792] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8792/stat : 8792 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8793] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8793/stat : 8793 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8794] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8794/stat : 8794 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8795] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8795/stat : 8795 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811264260 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8796] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8796/stat : 8796 (java) S 8778 8780 4512 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 811264261 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 0 0 16800975 18446604459822383232 0 0 -1 7 0 0 0
[pid=8780/tid=8798] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8798/stat : 8798 (java) S 8778 8780 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811264261 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8799] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8799/stat : 8799 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811264261 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8809] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8809/stat : 8809 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522121137 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8810] ppid=8778 vsize=10558268 CPUtime=0.5 cores=1,3,5,7
/proc/8780/task/8810/stat : 8810 (java) S 8778 8780 4512 0 -1 4202560 5241 0 0 0 50 0 0 0 16 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 5 0 0 0
[pid=8780/tid=8811] ppid=8778 vsize=10558268 CPUtime=0.57 cores=1,3,5,7
/proc/8780/task/8811/stat : 8811 (java) S 8778 8780 4512 0 -1 4202560 7979 0 0 0 57 0 0 0 16 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8812] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8812/stat : 8812 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522113433 0 4 0 16800975 18446604459822383232 0 0 -1 3 0 0 0
[pid=8780/tid=8813] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8813/stat : 8813 (java) S 8778 8780 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811264264 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
[pid=8780/tid=8824] ppid=8778 vsize=10558268 CPUtime=0 cores=1,3,5,7
/proc/8780/task/8824/stat : 8824 (java) S 8778 8780 4512 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811264281 10811666432 26465 33554432000 1073741824 1073778376 140734481725232 18446744073709551615 233522114048 0 4 0 16800975 18446604459822383232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10558268
Child status: 30
Real time (s): 2.26938
CPU time (s): 1.91571
CPU user time (s): 1.85372
CPU system time (s): 0.06199
CPU usage (%): 84.4156
Max. virtual memory (cumulated for all children) (KiB): 10558268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.85372
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33198
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= 338
involuntary context switches= 77
runsolver used 0.018997 second user time and 0.041993 second system time
The end