3.45/3.55 s SATISFIABLE
3.45/3.55 v 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3.45/3.55 d AC 32
3.45/3.55 d RUNTIME 3.387
3.45/3.55 d NODES 2105
3.45/3.55 d NODES/s 621
3.45/3.55 d BACKTRACKS 32
3.45/3.55 d BACKTRACKS/s 9
3.45/3.55 d CHECKS 0
3.45/3.55 d CHECKS/s 0
3.45/3.55 c SAT 3.387 TIME 2105 NDS 984 PARSTIME 895 BUILDPB 1508 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-2068044-1247345813/watcher-2068044-1247345813 -o /tmp/evaluation-result-2068044-1247345813/solver-2068044-1247345813 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2068044-1247345813.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: 1.92 1.98 1.99 4/82 14662
/proc/meminfo: memFree=844952/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=1616 CPUtime=0
/proc/14662/stat : 14662 (java) R 14660 14662 13523 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 21644970 1654784 161 996147200 134512640 134550932 4294956000 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 404 164 127 9 0 46 0
[startup+0.0158499 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 14662
/proc/meminfo: memFree=844952/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=10964 CPUtime=0
/proc/14662/stat : 14662 (java) S 14660 14662 13523 0 -1 0 840 0 0 0 0 0 0 0 18 0 2 0 21644970 11227136 576 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/14662/statm: 2741 576 279 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10964
[startup+0.102521 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 14662
/proc/meminfo: memFree=844952/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=864064 CPUtime=0.09
/proc/14662/stat : 14662 (java) S 14660 14662 13523 0 -1 0 3829 0 1 0 6 3 0 0 18 0 9 0 21644970 884801536 3283 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14662/statm: 216016 3283 1728 9 0 210484 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864064
[startup+0.30154 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 14662
/proc/meminfo: memFree=844952/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=864196 CPUtime=0.28
/proc/14662/stat : 14662 (java) S 14660 14662 13523 0 -1 0 4465 0 1 0 24 4 0 0 18 0 9 0 21644970 884936704 3890 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14662/statm: 216049 3890 1852 9 0 210517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864196
[startup+0.701586 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 14662
/proc/meminfo: memFree=844952/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=865044 CPUtime=0.68
/proc/14662/stat : 14662 (java) S 14660 14662 13523 0 -1 0 6359 0 1 0 63 5 0 0 18 0 9 0 21644970 885805056 5773 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14662/statm: 216261 5773 1895 9 0 210729 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865044
[startup+1.50267 s]
/proc/loadavg: 1.92 1.98 1.99 4/91 14671
/proc/meminfo: memFree=791824/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=865140 CPUtime=1.47
/proc/14662/stat : 14662 (java) S 14660 14662 13523 0 -1 0 16640 0 1 0 136 11 0 0 18 0 9 0 21644970 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14662/statm: 216285 16031 1966 9 0 210753 0
[pid=14662/tid=14664] ppid=14660 vsize=865140 CPUtime=1.19
/proc/14662/task/14664/stat : 14664 (java) R 14660 14662 13523 0 -1 64 14616 0 1 0 110 9 0 0 25 0 9 0 21644971 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14665] ppid=14660 vsize=865140 CPUtime=0.01
/proc/14662/task/14665/stat : 14665 (java) S 14660 14662 13523 0 -1 64 686 0 0 0 1 0 0 0 17 0 9 0 21644973 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14666] ppid=14660 vsize=865140 CPUtime=0
/proc/14662/task/14666/stat : 14666 (java) S 14660 14662 13523 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 21644973 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14667] ppid=14660 vsize=865140 CPUtime=0
/proc/14662/task/14667/stat : 14667 (java) S 14660 14662 13523 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 21644973 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14668] ppid=14660 vsize=865140 CPUtime=0
/proc/14662/task/14668/stat : 14668 (java) S 14660 14662 13523 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21644975 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14669] ppid=14660 vsize=865140 CPUtime=0.24
/proc/14662/task/14669/stat : 14669 (java) R 14660 14662 13523 0 -1 64 605 0 0 0 24 0 0 0 16 0 9 0 21644975 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 102127890 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14670] ppid=14660 vsize=865140 CPUtime=0
/proc/14662/task/14670/stat : 14670 (java) S 14660 14662 13523 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21644975 885903360 16031 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14671] ppid=14660 vsize=865140 CPUtime=0
/proc/14662/task/14671/stat : 14671 (java) S 14660 14662 13523 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21644975 885903360 16031 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) 865140
[startup+3.10285 s]
/proc/loadavg: 1.92 1.98 1.99 3/91 14671
/proc/meminfo: memFree=769360/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=865260 CPUtime=3.05
/proc/14662/stat : 14662 (java) S 14660 14662 13523 0 -1 0 22720 0 1 0 291 14 0 0 18 0 9 0 21644970 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14662/statm: 216315 22095 1984 9 0 210783 0
[pid=14662/tid=14664] ppid=14660 vsize=865260 CPUtime=2.49
/proc/14662/task/14664/stat : 14664 (java) R 14660 14662 13523 0 -1 64 14813 0 1 0 239 10 0 0 25 0 9 0 21644971 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4127246473 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14665] ppid=14660 vsize=865260 CPUtime=0.17
/proc/14662/task/14665/stat : 14665 (java) S 14660 14662 13523 0 -1 64 6495 0 0 0 15 2 0 0 16 0 9 0 21644973 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14666] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14666/stat : 14666 (java) S 14660 14662 13523 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 21644973 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14667] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14667/stat : 14667 (java) S 14660 14662 13523 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 21644973 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14668] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14668/stat : 14668 (java) S 14660 14662 13523 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21644975 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14669] ppid=14660 vsize=865260 CPUtime=0.36
/proc/14662/task/14669/stat : 14669 (java) S 14660 14662 13523 0 -1 64 679 0 0 0 36 0 0 0 15 0 9 0 21644975 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14670] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14670/stat : 14670 (java) S 14660 14662 13523 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21644975 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14671] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14671/stat : 14671 (java) S 14660 14662 13523 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21644975 886026240 22095 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 865260
Solver just ended. Dumping a history of the last processes samples
[startup+3.50189 s]
/proc/loadavg: 1.93 1.98 1.99 3/91 14671
/proc/meminfo: memFree=763856/2055920 swapFree=4192956/4192956
[pid=14662] ppid=14660 vsize=865260 CPUtime=3.45
/proc/14662/stat : 14662 (java) S 14660 14662 13523 0 -1 0 22735 0 1 0 331 14 0 0 18 0 9 0 21644970 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14662/statm: 216315 22110 1989 9 0 210783 0
[pid=14662/tid=14664] ppid=14660 vsize=865260 CPUtime=2.87
/proc/14662/task/14664/stat : 14664 (java) R 14660 14662 13523 0 -1 64 14822 0 1 0 277 10 0 0 25 0 9 0 21644971 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4126785299 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14665] ppid=14660 vsize=865260 CPUtime=0.17
/proc/14662/task/14665/stat : 14665 (java) S 14660 14662 13523 0 -1 64 6495 0 0 0 15 2 0 0 16 0 9 0 21644973 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14666] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14666/stat : 14666 (java) S 14660 14662 13523 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 21644973 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14667] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14667/stat : 14667 (java) S 14660 14662 13523 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 21644973 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14668] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14668/stat : 14668 (java) S 14660 14662 13523 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21644975 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14669] ppid=14660 vsize=865260 CPUtime=0.37
/proc/14662/task/14669/stat : 14669 (java) S 14660 14662 13523 0 -1 64 685 0 0 0 37 0 0 0 15 0 9 0 21644975 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14670] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14670/stat : 14670 (java) S 14660 14662 13523 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21644975 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14662/tid=14671] ppid=14660 vsize=865260 CPUtime=0
/proc/14662/task/14671/stat : 14671 (java) S 14660 14662 13523 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21644975 886026240 22110 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 865260
Child status: 0
Real time (s): 3.58738
CPU time (s): 3.52046
CPU user time (s): 3.35549
CPU system time (s): 0.164974
CPU usage (%): 98.1345
Max. virtual memory (cumulated for all children) (KiB): 865260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.35549
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22753
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= 1913
involuntary context switches= 1974
runsolver used 0.008998 second user time and 0.016997 second system time
The end
Begin job on node47 at 2009-07-11 22:56:53
IDJOB=2068044
IDBENCH=54787
IDSOLVER=737
FILE ID=node47/2068044-1247345813
PBS_JOBID= 9506683
Free space on /tmp= 66452 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-bell3b.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-2068044-1247345813/watcher-2068044-1247345813 -o /tmp/evaluation-result-2068044-1247345813/solver-2068044-1247345813 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2068044-1247345813.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= 65eb944c41b4a2fafe7932d513515ca0
RANDOM SEED=1050616857
node47.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.218
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.218
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: 845432 kB
Buffers: 60832 kB
Cached: 984192 kB
SwapCached: 0 kB
Active: 378240 kB
Inactive: 763932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 845432 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2788 kB
Writeback: 0 kB
Mapped: 117564 kB
Slab: 53252 kB
Committed_AS: 271044 kB
PageTables: 2096 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= 66452 MiB
End job on node47 at 2009-07-11 22:56:56