0.05 c # Sugar v0-40 (/tmp/evaluation/214881-1170099989/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/214881-1170099989/unknown.xml [Mon Jan 29 20:46:29 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/214881-1170099989/unknown.xml /tmp/evaluation/214881-1170099989/sugar26119.csp [Mon Jan 29 20:46:29 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/214881-1170099989/sugar-v0-40.jar -convert /tmp/evaluation/214881-1170099989/unknown.xml /tmp/evaluation/214881-1170099989/sugar26119.csp
0.17 c BEGIN convert /tmp/evaluation/214881-1170099989/unknown.xml
1.38 c END convert (1.209409 seconds)
1.43 c # CONVERT_XML END : /tmp/evaluation/214881-1170099989/sugar26119.csp 435545 bytes (2 seconds) [Mon Jan 29 20:46:31 2007]
1.43 c # CONVERT_XML CPU : 1.32 = 0 + 0 + 1.23 + 0.09
1.43
1.43 c # GENERATE_SAT BEGIN : /tmp/evaluation/214881-1170099989/sugar26119.bcnf [Mon Jan 29 20:46:31 2007]
1.43 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/214881-1170099989/sugar-v0-40.jar -bcnf -map /tmp/evaluation/214881-1170099989/sugar26119.map /tmp/evaluation/214881-1170099989/sugar26119.csp /tmp/evaluation/214881-1170099989/sugar26119.bcnf
1.56 c BEGIN parse /tmp/evaluation/214881-1170099989/sugar26119.csp
18.40 c END parse (16.842106 seconds)
18.40 c BEGIN simplify
18.42 c END simplify (0.0164 seconds)
18.42 c BEGIN encode /tmp/evaluation/214881-1170099989/sugar26119.bcnf
19.82 c END encode (1.404156 seconds)
20.22 c # GENERATE_SAT END : 144572 variables 1213530 clauses 17806788 bytes (18 seconds) [Mon Jan 29 20:46:49 2007]
20.22 c # GENERATE_SAT CPU : 18.59 = 0.3 + 0.03 + 18.05 + 0.21
20.22
20.22 c # SOLVE_SAT BEGIN : /tmp/evaluation/214881-1170099989/sugar26119.bcnf [Mon Jan 29 20:46:49 2007]
20.22 c # CMD : /tmp/evaluation/214881-1170099989/minisat /tmp/evaluation/214881-1170099989/sugar26119.bcnf /tmp/evaluation/214881-1170099989/sugar26119.out
20.86 c ==================================[MINISAT]===================================
20.86 c | Conflicts | ORIGINAL | LEARNT | Progress |
20.86 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
20.86 c ==============================================================================
20.86 c | 0 | 1213530 3238153 | 404510 0 0 nan | 0.000 % |
21.14 c ==============================================================================
21.14 c restarts : 1
21.14 c conflicts : 15 (18 /sec)
21.14 c decisions : 1189 (1411 /sec)
21.14 c propagations : 258896 (307160 /sec)
21.14 c conflict literals : 73 (6.41 % deleted)
21.14 c Memory used : 49.71 MB
21.14 c CPU time : 0.842871 s
21.14 c
21.14 c SATISFIABLE
21.22 c # SOLVE_SAT END : SATISFIABLE (1 seconds) [Mon Jan 29 20:46:50 2007]
21.22 c # SOLVE_SAT CPU : 0.99 = 0 + 0 + 0.91 + 0.08
21.22
21.22 c # RESULT : SATISFIABLE
21.22
21.22 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 20:46:50 2007]
21.33 c BEGIN read SAT output /tmp/evaluation/214881-1170099989/sugar26119.out
21.46 c END read SAT output (0.124351 seconds)
21.46 c BEGIN write solution /tmp/evaluation/214881-1170099989/sugar26119.sol
21.73 c END write solution (0.270628 seconds)
21.78 s SATISFIABLE
21.78 v 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 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 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 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 1 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 0 1 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 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 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 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 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 0 0 0 1 1 0 0 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 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 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 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 1 0 0 0 0 0 1 1 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
21.87 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 20:46:51 2007]
21.87 c # OUTPUT_SOL CPU : 0.609999999999997 = 0.09 + 0.01 + 0.459999999999997 + 0.05
21.87
21.87 c # MAIN END : (22 seconds) [Mon Jan 29 20:46:51 2007]
21.87 c # MAIN CPU : 21.51 = 0.39 + 0.04 + 20.65 + 0.43
21.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-214881-1170099989 -o ROOT/results/node13/solver-214881-1170099989 -C 1800 -M 900 /tmp/evaluation/214881-1170099989/solver /tmp/evaluation/214881-1170099989 /tmp/evaluation/214881-1170099989/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.06 2.16 2.17 5/94 26120
/proc/meminfo: memFree=1654800/2055920 swapFree=4192812/4192956
[pid=26119] ppid=26117 vsize=5352 CPUtime=0
/proc/26119/stat : 26119 (solver) R 26117 26119 25838 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29953383 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 269757246759 0 0 4096 0 0 0 0 17 1 0 0
/proc/26119/statm: 1338 231 193 169 0 49 0
[startup+0.132869 s]
/proc/loadavg: 2.06 2.16 2.17 5/94 26120
/proc/meminfo: memFree=1654800/2055920 swapFree=4192812/4192956
[pid=26119] ppid=26117 vsize=13724 CPUtime=0.04
/proc/26119/stat : 26119 (sugar) S 26117 26119 25838 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29953383 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26119/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.540922 s]
/proc/loadavg: 2.06 2.16 2.17 5/94 26120
/proc/meminfo: memFree=1654800/2055920 swapFree=4192812/4192956
[pid=26119] ppid=26117 vsize=13724 CPUtime=0.04
/proc/26119/stat : 26119 (sugar) S 26117 26119 25838 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29953383 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26119/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.36405 s]
/proc/loadavg: 2.13 2.18 2.17 4/102 26128
/proc/meminfo: memFree=1626448/2055920 swapFree=4192812/4192956
[pid=26119] ppid=26117 vsize=13724 CPUtime=0.04
/proc/26119/stat : 26119 (sugar) S 26117 26119 25838 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29953383 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26119/statm: 3431 805 368 3 0 531 0
[pid=26121] ppid=26119 vsize=807140 CPUtime=1.29
/proc/26121/stat : 26121 (java) R 26119 26119 25838 0 -1 0 8874 0 1 0 121 8 0 0 22 0 8 0 29953388 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073488731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26121/statm: 201785 8612 1698 14 0 189063 0
[pid=26121/tid=26122] ppid=26119 vsize=807140 CPUtime=0.06
/proc/26121/task/26122/stat : 26122 (java) S 26119 26119 25838 0 -1 64 2312 0 0 0 5 1 0 0 16 0 8 0 29953392 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26121/tid=26123] ppid=26119 vsize=807140 CPUtime=0
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25838 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29953392 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26121/tid=26124] ppid=26119 vsize=807140 CPUtime=0
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25838 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29953392 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26121/tid=26125] ppid=26119 vsize=807140 CPUtime=0
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25838 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29953396 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26121/tid=26126] ppid=26119 vsize=807140 CPUtime=0.16
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25838 0 -1 64 370 0 0 0 16 0 0 0 16 0 8 0 29953396 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26121/tid=26127] ppid=26119 vsize=807140 CPUtime=0
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25838 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29953396 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26121/tid=26128] ppid=26119 vsize=807140 CPUtime=0
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29953396 826511360 8612 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 820864
[startup+3.01026 s]
/proc/loadavg: 2.13 2.18 2.17 4/102 26136
/proc/meminfo: memFree=1625488/2055920 swapFree=4192812/4192956
[pid=26119] ppid=26117 vsize=13724 CPUtime=1.36
/proc/26119/stat : 26119 (sugar) S 26117 26119 25838 0 -1 4194304 1190 8886 0 1 3 1 123 9 16 0 1 0 29953383 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26119/statm: 3431 809 371 3 0 531 0
[pid=26129] ppid=26119 vsize=807384 CPUtime=1.54
/proc/26129/stat : 26129 (java) R 26119 26119 25838 0 -1 0 9154 0 1 0 149 5 0 0 25 0 8 0 29953527 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073568464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26129/statm: 201846 8897 1506 14 0 189124 0
[pid=26129/tid=26130] ppid=26119 vsize=807384 CPUtime=0.18
/proc/26129/task/26130/stat : 26130 (java) S 26119 26119 25838 0 -1 64 2922 0 0 0 17 1 0 0 16 0 8 0 29953530 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26131] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26131/stat : 26131 (java) S 26119 26119 25838 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29953531 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26132] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26132/stat : 26132 (java) S 26119 26119 25838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29953531 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26133] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26133/stat : 26133 (java) S 26119 26119 25838 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29953534 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26134] ppid=26119 vsize=807384 CPUtime=0.15
/proc/26129/task/26134/stat : 26134 (java) S 26119 26119 25838 0 -1 64 417 0 0 0 15 0 0 0 16 0 8 0 29953534 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26135] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26135/stat : 26135 (java) S 26119 26119 25838 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29953534 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26136] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26136/stat : 26136 (java) S 26119 26119 25838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29953534 826761216 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821108
[startup+6.21769 s]
/proc/loadavg: 2.13 2.18 2.17 3/102 26136
/proc/meminfo: memFree=1613584/2055920 swapFree=4192812/4192956
[pid=26119] ppid=26117 vsize=13724 CPUtime=1.36
/proc/26119/stat : 26119 (sugar) S 26117 26119 25838 0 -1 4194304 1190 8886 0 1 3 1 123 9 16 0 1 0 29953383 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26119/statm: 3431 809 371 3 0 531 0
[pid=26129] ppid=26119 vsize=807384 CPUtime=4.72
/proc/26129/stat : 26129 (java) R 26119 26119 25838 0 -1 0 11688 0 1 0 465 7 0 0 25 0 8 0 29953527 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26129/statm: 201846 11411 1506 14 0 189124 0
[pid=26129/tid=26130] ppid=26119 vsize=807384 CPUtime=0.4
/proc/26129/task/26130/stat : 26130 (java) S 26119 26119 25838 0 -1 64 5434 0 0 0 37 3 0 0 16 0 8 0 29953530 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26131] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26131/stat : 26131 (java) S 26119 26119 25838 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29953531 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26132] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26132/stat : 26132 (java) S 26119 26119 25838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29953531 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26133] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26133/stat : 26133 (java) S 26119 26119 25838 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29953534 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26134] ppid=26119 vsize=807384 CPUtime=0.15
/proc/26129/task/26134/stat : 26134 (java) S 26119 26119 25838 0 -1 64 419 0 0 0 15 0 0 0 17 0 8 0 29953534 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26135] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26135/stat : 26135 (java) S 26119 26119 25838 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29953534 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26136] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26136/stat : 26136 (java) S 26119 26119 25838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29953534 826761216 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821108
[startup+12.6964 s]
/proc/loadavg: 2.11 2.17 2.17 3/102 26207
/proc/meminfo: memFree=1794384/2055920 swapFree=4192812/4192956
[pid=26119] ppid=26117 vsize=13724 CPUtime=1.36
/proc/26119/stat : 26119 (sugar) S 26117 26119 25838 0 -1 4194304 1190 8886 0 1 3 1 123 9 16 0 1 0 29953383 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26119/statm: 3431 809 371 3 0 531 0
[pid=26129] ppid=26119 vsize=807384 CPUtime=11.15
/proc/26129/stat : 26129 (java) R 26119 26119 25838 0 -1 0 16183 0 1 0 1105 10 0 0 22 0 8 0 29953527 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154523839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26129/statm: 201846 15863 1506 14 0 189124 0
[pid=26129/tid=26130] ppid=26119 vsize=807384 CPUtime=0.79
/proc/26129/task/26130/stat : 26130 (java) S 26119 26119 25838 0 -1 64 9886 0 0 0 74 5 0 0 16 0 8 0 29953530 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26131] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26131/stat : 26131 (java) S 26119 26119 25838 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29953531 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26132] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26132/stat : 26132 (java) S 26119 26119 25838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29953531 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26133] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26133/stat : 26133 (java) S 26119 26119 25838 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29953534 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26134] ppid=26119 vsize=807384 CPUtime=0.15
/proc/26129/task/26134/stat : 26134 (java) S 26119 26119 25838 0 -1 64 419 0 0 0 15 0 0 0 17 0 8 0 29953534 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26135] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26135/stat : 26135 (java) S 26119 26119 25838 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29953534 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26129/tid=26136] ppid=26119 vsize=807384 CPUtime=0
/proc/26129/task/26136/stat : 26136 (java) S 26119 26119 25838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29953534 826761216 15863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 821108
Child status: 0
Real time (s): 21.8951
CPU time (s): 21.5947
CPU user time (s): 21.0888
CPU system time (s): 0.505923
CPU usage (%): 98.6279
Max. virtual memory (cumulated for all children) (KiB): 841892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0888
system time used= 0.505923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55483
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2659
involuntary context switches= 3573
runsolver used 0.026995 s user time and 0.090986 s system time
The end
Begin job on node13 on Mon Jan 29 19:46:29 UTC 2007
IDJOB= 214881
IDBENCH= 4958
IDSOLVER= 86
FILE ID= node13/214881-1170099989
PBS_JOBID= 3689511
Free space on /tmp= 66552 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/logic-synthesis/ex5-pi.xml
COMMAND LINE= /tmp/evaluation/214881-1170099989/solver /tmp/evaluation/214881-1170099989 /tmp/evaluation/214881-1170099989/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-214881-1170099989 -o ROOT/results/node13/solver-214881-1170099989 -C 1800 -M 900 /tmp/evaluation/214881-1170099989/solver /tmp/evaluation/214881-1170099989 /tmp/evaluation/214881-1170099989/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= c26ee56675174ef8ddbe0f37e81beb7d
RANDOM SEED= 971709198
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.236
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.236
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: 1655280 kB
Buffers: 13732 kB
Cached: 66984 kB
SwapCached: 0 kB
Active: 324144 kB
Inactive: 29708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3792 kB
Writeback: 0 kB
Mapped: 299356 kB
Slab: 31124 kB
Committed_AS: 632632 kB
PageTables: 2648 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= 66559 MiB
End job on node13 on Mon Jan 29 19:46:51 UTC 2007