6.72/6.88 s UNSATISFIABLE
6.72/6.88 d AC 32
6.72/6.88 d RUNTIME 6.768
6.72/6.88 d NODES 199
6.72/6.88 d NODES/s 29
6.72/6.88 d BACKTRACKS 1216
6.72/6.88 d BACKTRACKS/s 180
6.72/6.88 d CHECKS 107401276
6.72/6.88 d CHECKS/s 15868983
6.72/6.88 c UNSAT 6.768 TIME 199 NDS 277 PARSTIME 282 BUILDPB 6209 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-2065492-1247338317/watcher-2065492-1247338317 -o /tmp/evaluation-result-2065492-1247338317/solver-2065492-1247338317 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2065492-1247338317.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.33 2.47 2.23 4/76 12639
/proc/meminfo: memFree=680192/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=18576 CPUtime=0
/proc/12639/stat : 12639 (runsolver) R 12637 12639 11939 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 20895868 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12639/statm: 4644 284 249 26 0 2626 0
[startup+0.060793 s]
/proc/loadavg: 2.33 2.47 2.23 4/76 12639
/proc/meminfo: memFree=680192/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=862048 CPUtime=0.04
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 2757 0 1 0 3 1 0 0 18 0 9 0 20895868 882737152 2286 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 215512 2286 1124 9 0 210381 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 862048
[startup+0.102798 s]
/proc/loadavg: 2.33 2.47 2.23 4/76 12639
/proc/meminfo: memFree=680192/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864064 CPUtime=0.08
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 3797 0 1 0 6 2 0 0 18 0 9 0 20895868 884801536 3260 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216016 3260 1721 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864064
[startup+0.301809 s]
/proc/loadavg: 2.33 2.47 2.23 4/76 12639
/proc/meminfo: memFree=680192/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864356 CPUtime=0.29
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 7121 0 1 0 24 5 0 0 18 0 9 0 20895868 885100544 6538 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216089 6538 1877 9 0 210557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864356
[startup+0.701841 s]
/proc/loadavg: 2.33 2.47 2.23 4/76 12639
/proc/meminfo: memFree=680192/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864532 CPUtime=0.69
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 11844 0 1 0 61 8 0 0 18 0 9 0 20895868 885280768 11229 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216133 11229 1953 9 0 210601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864532
[startup+1.50192 s]
/proc/loadavg: 2.33 2.47 2.23 3/85 12648
/proc/meminfo: memFree=641912/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864532 CPUtime=1.47
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 12168 0 1 0 139 8 0 0 18 0 9 0 20895868 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216133 11552 1960 9 0 210601 0
[pid=12639/tid=12641] ppid=12637 vsize=864532 CPUtime=1.36
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 11939 0 -1 64 11086 0 1 0 129 7 0 0 25 0 9 0 20895869 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4126555200 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12642] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 11939 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 20895871 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12643] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 11939 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 20895871 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12644] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 11939 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 20895871 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12645] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 11939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20895873 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12646] ppid=12637 vsize=864532 CPUtime=0.1
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 11939 0 -1 64 353 0 0 0 10 0 0 0 15 0 9 0 20895873 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12647] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20895873 885280768 11552 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12648] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20895873 885280768 11552 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) 864532
[startup+3.10107 s]
/proc/loadavg: 2.31 2.47 2.23 3/85 12648
/proc/meminfo: memFree=640632/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864532 CPUtime=3.07
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 12573 0 1 0 298 9 0 0 18 0 9 0 20895868 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216133 11955 1960 9 0 210601 0
[pid=12639/tid=12641] ppid=12637 vsize=864532 CPUtime=2.93
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 11939 0 -1 64 11483 0 1 0 286 7 0 0 25 0 9 0 20895869 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4126554249 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12642] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 11939 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 20895871 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12643] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 11939 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 20895871 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12644] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 11939 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 20895871 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12645] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 11939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20895873 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12646] ppid=12637 vsize=864532 CPUtime=0.11
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 11939 0 -1 64 361 0 0 0 11 0 0 0 15 0 9 0 20895873 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12647] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20895873 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12648] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20895873 885280768 11955 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 864532
[startup+6.30237 s]
/proc/loadavg: 2.31 2.47 2.23 3/85 12648
/proc/meminfo: memFree=637176/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864532 CPUtime=6.23
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 13375 0 1 0 614 9 0 0 18 0 9 0 20895868 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216133 12754 1960 9 0 210601 0
[pid=12639/tid=12641] ppid=12637 vsize=864532 CPUtime=6.1
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 11939 0 -1 64 12283 0 1 0 602 8 0 0 25 0 9 0 20895869 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4126554249 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12642] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 11939 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 20895871 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12643] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 11939 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 20895871 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12644] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 11939 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 20895871 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12645] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 11939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20895873 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12646] ppid=12637 vsize=864532 CPUtime=0.11
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 11939 0 -1 64 363 0 0 0 11 0 0 0 15 0 9 0 20895873 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12647] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20895873 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12648] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20895873 885280768 12754 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 864532
Solver just ended. Dumping a history of the last processes samples
[startup+6.70241 s]
/proc/loadavg: 2.28 2.46 2.22 3/85 12648
/proc/meminfo: memFree=636088/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864532 CPUtime=6.62
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 13469 0 1 0 653 9 0 0 18 0 9 0 20895868 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216133 12848 1960 9 0 210601 0
[pid=12639/tid=12641] ppid=12637 vsize=864532 CPUtime=6.49
/proc/12639/task/12641/stat : 12641 (java) R 12637 12639 11939 0 -1 64 12377 0 1 0 641 8 0 0 25 0 9 0 20895869 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4126554215 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12642] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 11939 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 20895871 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12643] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 11939 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 20895871 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12644] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 11939 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 20895871 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12645] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 11939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20895873 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12646] ppid=12637 vsize=864532 CPUtime=0.11
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 11939 0 -1 64 363 0 0 0 11 0 0 0 15 0 9 0 20895873 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12647] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20895873 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12648] ppid=12637 vsize=864532 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20895873 885280768 12848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 864532
[startup+6.90242 s]
/proc/loadavg: 2.28 2.46 2.22 3/85 12648
/proc/meminfo: memFree=636088/2055920 swapFree=4192956/4192956
[pid=12639] ppid=12637 vsize=864856 CPUtime=6.8
/proc/12639/stat : 12639 (java) S 12637 12639 11939 0 -1 0 13530 0 1 0 671 9 0 0 18 0 9 0 20895868 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12639/statm: 216214 12907 1964 9 0 210682 0
[pid=12639/tid=12641] ppid=12637 vsize=864856 CPUtime=6.67
/proc/12639/task/12641/stat : 12641 (java) S 12637 12639 11939 0 -1 64 12432 0 1 0 659 8 0 0 25 0 9 0 20895869 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12642] ppid=12637 vsize=864856 CPUtime=0
/proc/12639/task/12642/stat : 12642 (java) S 12637 12639 11939 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 20895871 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12643] ppid=12637 vsize=864856 CPUtime=0
/proc/12639/task/12643/stat : 12643 (java) S 12637 12639 11939 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 20895871 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12644] ppid=12637 vsize=864856 CPUtime=0
/proc/12639/task/12644/stat : 12644 (java) S 12637 12639 11939 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 20895871 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12645] ppid=12637 vsize=864856 CPUtime=0
/proc/12639/task/12645/stat : 12645 (java) S 12637 12639 11939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20895873 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12646] ppid=12637 vsize=864856 CPUtime=0.11
/proc/12639/task/12646/stat : 12646 (java) S 12637 12639 11939 0 -1 64 363 0 0 0 11 0 0 0 15 0 9 0 20895873 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12647] ppid=12637 vsize=864856 CPUtime=0
/proc/12639/task/12647/stat : 12647 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20895873 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12639/tid=12648] ppid=12637 vsize=864856 CPUtime=0
/proc/12639/task/12648/stat : 12648 (java) S 12637 12639 11939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 20895873 885612544 12907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 864856
Child status: 0
Real time (s): 6.93378
CPU time (s): 6.81996
CPU user time (s): 6.71198
CPU system time (s): 0.107983
CPU usage (%): 98.3584
Max. virtual memory (cumulated for all children) (KiB): 864856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.71198
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13533
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= 769
involuntary context switches= 876
runsolver used 0.010998 second user time and 0.028995 second system time
The end
Begin job on node48 at 2009-07-11 20:51:57
IDJOB=2065492
IDBENCH=54365
IDSOLVER=737
FILE ID=node48/2065492-1247338317
PBS_JOBID= 9506628
Free space on /tmp= 66448 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/rand-10-20-10/normalized-rand-10-20-10-5-10000-19_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-2065492-1247338317/watcher-2065492-1247338317 -o /tmp/evaluation-result-2065492-1247338317/solver-2065492-1247338317 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2065492-1247338317.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= 46427bdc7f3b95f9a5a242e456509ade
RANDOM SEED=1963991615
node48.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.237
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.237
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: 680672 kB
Buffers: 61744 kB
Cached: 1034212 kB
SwapCached: 0 kB
Active: 288276 kB
Inactive: 1034940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 680672 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3512 kB
Writeback: 0 kB
Mapped: 237948 kB
Slab: 36624 kB
Committed_AS: 501068 kB
PageTables: 2428 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66444 MiB
End job on node48 at 2009-07-11 20:52:04