63.29/63.92 s UNSATISFIABLE
63.29/63.92 d AC 32
63.29/63.92 d RUNTIME 63.815
63.29/63.92 d NODES 10
63.29/63.92 d NODES/s 0
63.29/63.92 d BACKTRACKS 26
63.29/63.92 d BACKTRACKS/s 0
63.29/63.92 d CHECKS 471179797
63.29/63.92 d CHECKS/s 7383527
63.29/63.92 c UNSAT 63.815 TIME 10 NDS 226 PARSTIME 351 BUILDPB 63238 RES true RESTART 1 HEURISTIC true RANDVAL
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2071586-1247354117/watcher-2071586-1247354117 -o /tmp/evaluation-result-2071586-1247354117/solver-2071586-1247354117 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2071586-1247354117.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.09 2.08 4/83 18914
/proc/meminfo: memFree=1258896/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=18576 CPUtime=0
/proc/18914/stat : 18914 (runsolver) R 18912 18914 18280 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 22475129 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 246406507815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18914/statm: 4644 284 249 26 0 2626 0
[startup+0.0987649 s]
/proc/loadavg: 2.11 2.09 2.08 4/83 18914
/proc/meminfo: memFree=1258896/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864112 CPUtime=0.08
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 3572 0 1 0 6 2 0 0 18 0 9 0 22475129 884850688 3037 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216028 3037 1533 9 0 210496 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864112
[startup+0.101765 s]
/proc/loadavg: 2.11 2.09 2.08 4/83 18914
/proc/meminfo: memFree=1258896/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864112 CPUtime=0.09
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 3790 0 1 0 7 2 0 0 18 0 9 0 22475129 884850688 3253 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216028 3253 1719 9 0 210496 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864112
[startup+0.301788 s]
/proc/loadavg: 2.11 2.09 2.08 4/83 18914
/proc/meminfo: memFree=1258896/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864428 CPUtime=0.28
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 5661 0 1 0 25 3 0 0 18 0 9 0 22475129 885174272 5078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216107 5078 1878 9 0 210575 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864428
[startup+0.701823 s]
/proc/loadavg: 2.11 2.09 2.08 4/83 18914
/proc/meminfo: memFree=1258896/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=0.68
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 8075 0 1 0 64 4 0 0 18 0 9 0 22475129 885264384 7454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 7454 1959 9 0 210597 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864516
[startup+1.5019 s]
/proc/loadavg: 2.11 2.09 2.08 3/92 18923
/proc/meminfo: memFree=1227848/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=1.47
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 9280 0 1 0 142 5 0 0 18 0 9 0 22475129 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 8658 1962 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=1.33
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 8171 0 1 0 129 4 0 0 25 0 9 0 22475131 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4126646392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 22475132 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 22475132 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 22475132 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.12
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 380 0 0 0 12 0 0 0 16 0 9 0 22475135 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 8658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 864516
[startup+3.10205 s]
/proc/loadavg: 2.11 2.09 2.08 3/92 18923
/proc/meminfo: memFree=1216200/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=3.06
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 11839 0 1 0 300 6 0 0 18 0 9 0 22475129 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 11215 1962 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=2.92
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 10729 0 1 0 287 5 0 0 25 0 9 0 22475131 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4126646345 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 22475132 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 22475132 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 22475132 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.12
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 381 0 0 0 12 0 0 0 15 0 9 0 22475135 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 11215 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 864516
[startup+6.30236 s]
/proc/loadavg: 2.10 2.08 2.08 3/92 18923
/proc/meminfo: memFree=1185032/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=6.18
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 17112 0 1 0 610 8 0 0 18 0 9 0 22475129 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 16482 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=6.01
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14711 0 1 0 594 7 0 0 25 0 9 0 22475131 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4126646311 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.01
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 1285 0 0 0 1 0 0 0 17 0 9 0 22475132 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.13
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 383 0 0 0 13 0 0 0 15 0 9 0 22475135 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 16482 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 864516
[startup+12.703 s]
/proc/loadavg: 2.09 2.08 2.08 3/92 18923
/proc/meminfo: memFree=1154384/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=12.33
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18395 0 1 0 1225 8 0 0 18 0 9 0 22475129 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17762 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=12.16
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14716 0 1 0 1209 7 0 0 25 0 9 0 22475131 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4126646345 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.02
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2561 0 0 0 2 0 0 0 17 0 9 0 22475132 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.13
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 385 0 0 0 13 0 0 0 16 0 9 0 22475135 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17762 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 864516
[startup+25.5012 s]
/proc/loadavg: 2.15 2.09 2.08 3/92 18923
/proc/meminfo: memFree=1128912/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=24.94
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18399 0 1 0 2485 9 0 0 18 0 9 0 22475129 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17763 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=24.75
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14719 0 1 0 2468 7 0 0 25 0 9 0 22475131 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 102523992 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.02
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 2 0 0 0 17 0 9 0 22475132 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.13
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 385 0 0 0 13 0 0 0 16 0 9 0 22475135 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17763 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 864516
[startup+51.1016 s]
/proc/loadavg: 2.17 2.10 2.09 3/92 18923
/proc/meminfo: memFree=1113936/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=50.49
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18409 0 1 0 5040 9 0 0 18 0 9 0 22475129 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17768 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=50.3
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14724 0 1 0 5022 8 0 0 25 0 9 0 22475131 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4126646317 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.03
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 3 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.14
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 390 0 0 0 14 0 0 0 16 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 864516
Solver just ended. Dumping a history of the last processes samples
[startup+57.5022 s]
/proc/loadavg: 2.23 2.12 2.09 4/92 18923
/proc/meminfo: memFree=1113936/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=56.88
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18410 0 1 0 5679 9 0 0 18 0 9 0 22475129 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17768 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=56.69
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14725 0 1 0 5661 8 0 0 25 0 9 0 22475131 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4126473040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.03
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 3 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.14
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 390 0 0 0 14 0 0 0 16 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 56.88
Current children cumulated vsize (KiB) 864516
[startup+60.7015 s]
/proc/loadavg: 2.30 2.13 2.10 4/92 18923
/proc/meminfo: memFree=1113936/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=60.09
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18411 0 1 0 5999 10 0 0 18 0 9 0 22475129 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17768 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=59.89
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14726 0 1 0 5981 8 0 0 25 0 9 0 22475131 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4126647326 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.03
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 3 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.14
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 390 0 0 0 14 0 0 0 16 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 60.09
Current children cumulated vsize (KiB) 864516
[startup+62.3017 s]
/proc/loadavg: 2.30 2.13 2.10 4/92 18923
/proc/meminfo: memFree=1113936/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=61.69
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18411 0 1 0 6159 10 0 0 18 0 9 0 22475129 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17768 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=61.49
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14726 0 1 0 6141 8 0 0 25 0 9 0 22475131 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4126646334 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.03
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 3 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.14
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 390 0 0 0 14 0 0 0 16 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 61.69
Current children cumulated vsize (KiB) 864516
[startup+63.1018 s]
/proc/loadavg: 2.30 2.13 2.10 3/92 18923
/proc/meminfo: memFree=1113936/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=62.49
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18419 0 1 0 6239 10 0 0 18 0 9 0 22475129 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17776 1972 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=62.29
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14733 0 1 0 6221 8 0 0 25 0 9 0 22475131 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4126665571 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.03
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 3 0 0 0 16 0 9 0 22475132 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.14
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 391 0 0 0 14 0 0 0 15 0 9 0 22475135 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17776 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.49
Current children cumulated vsize (KiB) 864516
[startup+63.5018 s]
/proc/loadavg: 2.30 2.13 2.10 3/92 18923
/proc/meminfo: memFree=1113936/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=62.89
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18425 0 1 0 6279 10 0 0 18 0 9 0 22475129 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17781 1976 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=62.69
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14736 0 1 0 6261 8 0 0 25 0 9 0 22475131 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4126646328 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.03
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 3 0 0 0 17 0 9 0 22475132 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.14
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 394 0 0 0 14 0 0 0 15 0 9 0 22475135 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.89
Current children cumulated vsize (KiB) 864516
[startup+63.9028 s]
/proc/loadavg: 2.27 2.13 2.10 3/92 18923
/proc/meminfo: memFree=1113936/2055920 swapFree=4192812/4192956
[pid=18914] ppid=18912 vsize=864516 CPUtime=63.29
/proc/18914/stat : 18914 (java) S 18912 18914 18280 0 -1 0 18426 0 1 0 6319 10 0 0 18 0 9 0 22475129 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 216129 17782 1976 9 0 210597 0
[pid=18914/tid=18916] ppid=18912 vsize=864516 CPUtime=63.09
/proc/18914/task/18916/stat : 18916 (java) R 18912 18914 18280 0 -1 64 14736 0 1 0 6301 8 0 0 25 0 9 0 22475131 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4126646345 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18912 vsize=864516 CPUtime=0.03
/proc/18914/task/18917/stat : 18917 (java) S 18912 18914 18280 0 -1 64 2562 0 0 0 3 0 0 0 17 0 9 0 22475132 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18918] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18918/stat : 18918 (java) S 18912 18914 18280 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18919] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18919/stat : 18919 (java) S 18912 18914 18280 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22475132 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18920] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18920/stat : 18920 (java) S 18912 18914 18280 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22475135 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18921] ppid=18912 vsize=864516 CPUtime=0.14
/proc/18914/task/18921/stat : 18921 (java) S 18912 18914 18280 0 -1 64 395 0 0 0 14 0 0 0 15 0 9 0 22475135 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18914/tid=18922] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18922/stat : 18922 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22475135 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18914/tid=18923] ppid=18912 vsize=864516 CPUtime=0
/proc/18914/task/18923/stat : 18923 (java) S 18912 18914 18280 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22475135 885264384 17782 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.29
Current children cumulated vsize (KiB) 864516
Child status: 0
Real time (s): 63.9686
CPU time (s): 63.3344
CPU user time (s): 63.2214
CPU system time (s): 0.112982
CPU usage (%): 99.0085
Max. virtual memory (cumulated for all children) (KiB): 864516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.2214
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18446
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= 2282
involuntary context switches= 2828
runsolver used 0.088986 second user time and 0.212967 second system time
The end
Begin job on node61 at 2009-07-12 01:15:17
IDJOB=2071586
IDBENCH=55508
IDSOLVER=737
FILE ID=node61/2071586-1247354117
PBS_JOBID= 9506873
Free space on /tmp= 66412 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg14-18_ext.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2071586-1247354117/watcher-2071586-1247354117 -o /tmp/evaluation-result-2071586-1247354117/solver-2071586-1247354117 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2071586-1247354117.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ca72fd363ec754292e0c02a94b9a6a57
RANDOM SEED=1449911992
node61.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1259376 kB
Buffers: 43492 kB
Cached: 96248 kB
SwapCached: 0 kB
Active: 693536 kB
Inactive: 53164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1259376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3140 kB
Writeback: 0 kB
Mapped: 622612 kB
Slab: 34124 kB
Committed_AS: 896144 kB
PageTables: 2896 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66408 MiB
End job on node61 at 2009-07-12 01:16:21