0.86 c # Sugar v0-40 (/tmp/evaluation/216184-1170100410/sugar-v0-40.jar)
0.86
0.92 c # MAIN BEGIN : /tmp/evaluation/216184-1170100410/unknown.xml [Mon Jan 29 20:53:32 2007]
0.92 c # CONVERT_XML BEGIN : /tmp/evaluation/216184-1170100410/unknown.xml /tmp/evaluation/216184-1170100410/sugar29046.csp [Mon Jan 29 20:53:32 2007]
0.92 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216184-1170100410/sugar-v0-40.jar -convert /tmp/evaluation/216184-1170100410/unknown.xml /tmp/evaluation/216184-1170100410/sugar29046.csp
1.81 c BEGIN convert /tmp/evaluation/216184-1170100410/unknown.xml
3.69 c END convert (1.88233 seconds)
3.75 c # CONVERT_XML END : /tmp/evaluation/216184-1170100410/sugar29046.csp 117531 bytes (3 seconds) [Mon Jan 29 20:53:35 2007]
3.75 c # CONVERT_XML CPU : 1.97 = 0 + 0 + 1.89 + 0.08
3.75
3.75 c # GENERATE_SAT BEGIN : /tmp/evaluation/216184-1170100410/sugar29046.bcnf [Mon Jan 29 20:53:35 2007]
3.75 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216184-1170100410/sugar-v0-40.jar -bcnf -map /tmp/evaluation/216184-1170100410/sugar29046.map /tmp/evaluation/216184-1170100410/sugar29046.csp /tmp/evaluation/216184-1170100410/sugar29046.bcnf
3.86 c BEGIN parse /tmp/evaluation/216184-1170100410/sugar29046.csp
41.99 c END parse (38.130233 seconds)
41.99 c BEGIN simplify
41.99 c END simplify (0.006789 seconds)
41.99 c BEGIN encode /tmp/evaluation/216184-1170100410/sugar29046.bcnf
42.96 c END encode (0.965958 seconds)
43.09 c # GENERATE_SAT END : 49337 variables 1011310 clauses 15619712 bytes (39 seconds) [Mon Jan 29 20:54:14 2007]
43.09 c # GENERATE_SAT CPU : 39.16 = 0.07 + 0 + 38.85 + 0.24
43.09
43.09 c # SOLVE_SAT BEGIN : /tmp/evaluation/216184-1170100410/sugar29046.bcnf [Mon Jan 29 20:54:14 2007]
43.09 c # CMD : /tmp/evaluation/216184-1170100410/minisat /tmp/evaluation/216184-1170100410/sugar29046.bcnf /tmp/evaluation/216184-1170100410/sugar29046.out
43.73 c ==================================[MINISAT]===================================
43.73 c | Conflicts | ORIGINAL | LEARNT | Progress |
43.73 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
43.73 c ==============================================================================
43.73 c | 0 | 571840 1646004 | 190613 0 0 nan | 0.000 % |
43.82 c ==============================================================================
43.82 c restarts : 1
43.82 c conflicts : 2 (3 /sec)
43.82 c decisions : 23 (34 /sec)
43.82 c propagations : 59324 (88689 /sec)
43.82 c conflict literals : 45 (0.00 % deleted)
43.82 c Memory used : 39.29 MB
43.82 c CPU time : 0.668898 s
43.82 c
43.82 c SATISFIABLE
43.85 c # SOLVE_SAT END : SATISFIABLE (1 seconds) [Mon Jan 29 20:54:15 2007]
43.85 c # SOLVE_SAT CPU : 0.759999999999998 = 0 + 0 + 0.689999999999998 + 0.07
43.85
43.85 c # RESULT : SATISFIABLE
43.85
43.85 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 20:54:15 2007]
43.96 c BEGIN read SAT output /tmp/evaluation/216184-1170100410/sugar29046.out
44.03 c END read SAT output (0.061178 seconds)
44.03 c BEGIN write solution /tmp/evaluation/216184-1170100410/sugar29046.sol
44.18 c END write solution (0.153994 seconds)
44.19 s SATISFIABLE
44.22 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
44.22 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 20:54:15 2007]
44.22 c # OUTPUT_SOL CPU : 0.359999999999999 = 0.02 + 0.01 + 0.289999999999999 + 0.04
44.22
44.22 c # MAIN END : (43 seconds) [Mon Jan 29 20:54:15 2007]
44.22 c # MAIN CPU : 42.25 = 0.09 + 0.01 + 41.72 + 0.43
44.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-216184-1170100410 -o ROOT/results/node2/solver-216184-1170100410 -C 1800 -M 900 /tmp/evaluation/216184-1170100410/solver /tmp/evaluation/216184-1170100410 /tmp/evaluation/216184-1170100410/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: 3.06 2.35 2.07 5/94 29047
/proc/meminfo: memFree=41232/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=5352 CPUtime=0
/proc/29046/stat : 29046 (solver) D 29044 29046 27066 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29996029 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 206381313319 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/29046/statm: 1338 231 193 169 0 49 0
[startup+0.105465 s]
/proc/loadavg: 3.06 2.35 2.07 5/94 29047
/proc/meminfo: memFree=41232/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=12268 CPUtime=0
/proc/29046/stat : 29046 (sugar) D 29044 29046 27066 0 -1 4194304 601 0 0 0 0 0 0 0 18 0 1 0 29996029 12562432 320 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/29046/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.513504 s]
/proc/loadavg: 3.06 2.35 2.07 5/94 29047
/proc/meminfo: memFree=41232/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=12404 CPUtime=0
/proc/29046/stat : 29046 (sugar) D 29044 29046 27066 0 -1 4194304 661 0 0 0 0 0 0 0 18 0 1 0 29996029 12701696 380 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/29046/statm: 3101 380 275 3 0 201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12404
[startup+1.33459 s]
/proc/loadavg: 3.21 2.39 2.08 2/95 29048
/proc/meminfo: memFree=18760/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=13724 CPUtime=0.04
/proc/29046/stat : 29046 (sugar) S 29044 29046 27066 0 -1 4194304 1112 0 0 0 3 1 0 0 15 0 1 0 29996029 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29046/statm: 3431 805 368 3 0 531 0
[pid=29048] ppid=29046 vsize=9648 CPUtime=0
/proc/29048/stat : 29048 (java) D 29046 29046 27066 0 -1 0 384 0 0 0 0 0 0 0 18 0 1 0 29996122 9879552 175 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 10535844 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/29048/statm: 2412 175 137 14 0 1138 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23372
[startup+2.97877 s]
/proc/loadavg: 3.21 2.39 2.08 3/102 29055
/proc/meminfo: memFree=15184/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=13724 CPUtime=0.04
/proc/29046/stat : 29046 (sugar) S 29044 29046 27066 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29996029 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29046/statm: 3431 805 368 3 0 531 0
[pid=29048] ppid=29046 vsize=807140 CPUtime=1.25
/proc/29048/stat : 29048 (java) R 29046 29046 27066 0 -1 0 7476 0 1 0 118 7 0 0 25 0 8 0 29996122 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153901493 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29048/statm: 201785 7217 1694 14 0 189063 0
[pid=29048/tid=29049] ppid=29046 vsize=807140 CPUtime=0.01
/proc/29048/task/29049/stat : 29049 (java) S 29046 29046 27066 0 -1 64 952 0 0 0 1 0 0 0 16 0 8 0 29996202 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=807140 CPUtime=0
/proc/29048/task/29050/stat : 29050 (java) S 29046 29046 27066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29996202 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=807140 CPUtime=0
/proc/29048/task/29051/stat : 29051 (java) S 29046 29046 27066 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29996202 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29052] ppid=29046 vsize=807140 CPUtime=0
/proc/29048/task/29052/stat : 29052 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29996205 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29053] ppid=29046 vsize=807140 CPUtime=0.11
/proc/29048/task/29053/stat : 29053 (java) S 29046 29046 27066 0 -1 64 347 0 0 0 11 0 0 0 16 0 8 0 29996205 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29054] ppid=29046 vsize=807140 CPUtime=0
/proc/29048/task/29054/stat : 29054 (java) S 29046 29046 27066 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29996205 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29048/tid=29055] ppid=29046 vsize=807140 CPUtime=0
/proc/29048/task/29055/stat : 29055 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29996206 826511360 7217 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820864
[startup+6.1821 s]
/proc/loadavg: 3.36 2.43 2.10 3/102 29063
/proc/meminfo: memFree=15312/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=13724 CPUtime=2.01
/proc/29046/stat : 29046 (sugar) S 29044 29046 27066 0 -1 4194304 1190 7747 0 1 3 1 189 8 15 0 1 0 29996029 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29046/statm: 3431 809 371 3 0 531 0
[pid=29056] ppid=29046 vsize=808400 CPUtime=2.41
/proc/29056/stat : 29056 (java) R 29046 29046 27066 0 -1 0 7517 0 1 0 236 5 0 0 17 0 8 0 29996404 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073602255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29056/statm: 202100 7262 1506 14 0 189378 0
[pid=29056/tid=29057] ppid=29046 vsize=808400 CPUtime=0.05
/proc/29056/task/29057/stat : 29057 (java) S 29046 29046 27066 0 -1 64 1237 0 0 0 5 0 0 0 15 0 8 0 29996407 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29058] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29058/stat : 29058 (java) S 29046 29046 27066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29996407 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29059] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29059/stat : 29059 (java) S 29046 29046 27066 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 29996407 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29060] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29060/stat : 29060 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29996410 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29061] ppid=29046 vsize=808400 CPUtime=0.12
/proc/29056/task/29061/stat : 29061 (java) S 29046 29046 27066 0 -1 64 411 0 0 0 12 0 0 0 16 0 8 0 29996410 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29062] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29062/stat : 29062 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 29996410 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29063] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29063/stat : 29063 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29996411 827801600 7262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 822124
[startup+12.6688 s]
/proc/loadavg: 3.49 2.48 2.11 4/102 29063
/proc/meminfo: memFree=14872/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=13724 CPUtime=2.01
/proc/29046/stat : 29046 (sugar) S 29044 29046 27066 0 -1 4194304 1190 7747 0 1 3 1 189 8 15 0 1 0 29996029 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29046/statm: 3431 809 371 3 0 531 0
[pid=29056] ppid=29046 vsize=808400 CPUtime=8.88
/proc/29056/stat : 29056 (java) R 29046 29046 27066 0 -1 0 7986 0 1 0 880 8 0 0 25 0 8 0 29996404 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596727 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29056/statm: 202100 7717 1506 14 0 189378 0
[pid=29056/tid=29057] ppid=29046 vsize=808400 CPUtime=0.11
/proc/29056/task/29057/stat : 29057 (java) S 29046 29046 27066 0 -1 64 1690 0 0 0 11 0 0 0 16 0 8 0 29996407 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29058] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29058/stat : 29058 (java) S 29046 29046 27066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29996407 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29059] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29059/stat : 29059 (java) S 29046 29046 27066 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 29996407 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29060] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29060/stat : 29060 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29996410 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29061] ppid=29046 vsize=808400 CPUtime=0.12
/proc/29056/task/29061/stat : 29061 (java) S 29046 29046 27066 0 -1 64 413 0 0 0 12 0 0 0 16 0 8 0 29996410 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29062] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29062/stat : 29062 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 29996410 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29063] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29063/stat : 29063 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29996411 827801600 7717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 822124
[startup+25.5491 s]
/proc/loadavg: 3.57 2.53 2.13 3/102 29063
/proc/meminfo: memFree=15768/2055920 swapFree=4192812/4192956
[pid=29046] ppid=29044 vsize=13724 CPUtime=2.01
/proc/29046/stat : 29046 (sugar) S 29044 29046 27066 0 -1 4194304 1190 7747 0 1 3 1 189 8 15 0 1 0 29996029 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29046/statm: 3431 809 371 3 0 531 0
[pid=29056] ppid=29046 vsize=808400 CPUtime=21.7
/proc/29056/stat : 29056 (java) R 29046 29046 27066 0 -1 0 8916 0 1 0 2158 12 0 0 25 0 8 0 29996404 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073594219 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29056/statm: 202100 8615 1506 14 0 189378 0
[pid=29056/tid=29057] ppid=29046 vsize=808400 CPUtime=0.27
/proc/29056/task/29057/stat : 29057 (java) S 29046 29046 27066 0 -1 64 2587 0 0 0 26 1 0 0 16 0 8 0 29996407 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29058] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29058/stat : 29058 (java) S 29046 29046 27066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29996407 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29059] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29059/stat : 29059 (java) S 29046 29046 27066 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 29996407 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29060] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29060/stat : 29060 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29996410 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29061] ppid=29046 vsize=808400 CPUtime=0.13
/proc/29056/task/29061/stat : 29061 (java) S 29046 29046 27066 0 -1 64 414 0 0 0 13 0 0 0 16 0 8 0 29996410 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29062] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29062/stat : 29062 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 29996410 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29056/tid=29063] ppid=29046 vsize=808400 CPUtime=0
/proc/29056/task/29063/stat : 29063 (java) S 29046 29046 27066 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29996411 827801600 8615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 822124
Child status: 0
Real time (s): 44.2294
CPU time (s): 42.3126
CPU user time (s): 41.8456
CPU system time (s): 0.466929
CPU usage (%): 95.6662
Max. virtual memory (cumulated for all children) (KiB): 822124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8456
system time used= 0.466929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37851
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= 3338
involuntary context switches= 4018
runsolver used 0.05999 s user time and 0.147977 s system time
The end
Begin job on node2 on Mon Jan 29 19:53:30 UTC 2007
IDJOB= 216184
IDBENCH= 5058
IDSOLVER= 86
FILE ID= node2/216184-1170100410
PBS_JOBID= 3689486
Free space on /tmp= 62903 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-air01.xml
COMMAND LINE= /tmp/evaluation/216184-1170100410/solver /tmp/evaluation/216184-1170100410 /tmp/evaluation/216184-1170100410/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-216184-1170100410 -o ROOT/results/node2/solver-216184-1170100410 -C 1800 -M 900 /tmp/evaluation/216184-1170100410/solver /tmp/evaluation/216184-1170100410 /tmp/evaluation/216184-1170100410/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3dca95d1c110d708cb99e9b85d0d4253
RANDOM SEED= 325405022
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.247
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.247
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: 51952 kB
Buffers: 4292 kB
Cached: 1605268 kB
SwapCached: 0 kB
Active: 337244 kB
Inactive: 1575552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 51952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 364256 kB
Writeback: 0 kB
Mapped: 328776 kB
Slab: 75580 kB
Committed_AS: 1022356 kB
PageTables: 2700 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= 66555 MiB
End job on node2 on Mon Jan 29 19:54:15 UTC 2007