0.05 c # Sugar v0-40 (/tmp/evaluation/228777-1170105961/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/228777-1170105961/unknown.xml [Mon Jan 29 22:26:01 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/228777-1170105961/unknown.xml /tmp/evaluation/228777-1170105961/sugar25199.csp [Mon Jan 29 22:26:01 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/228777-1170105961/sugar-v0-40.jar -convert /tmp/evaluation/228777-1170105961/unknown.xml /tmp/evaluation/228777-1170105961/sugar25199.csp
0.17 c BEGIN convert /tmp/evaluation/228777-1170105961/unknown.xml
0.62 c END convert (0.443686 seconds)
0.66 c # CONVERT_XML END : /tmp/evaluation/228777-1170105961/sugar25199.csp 722750 bytes (1 seconds) [Mon Jan 29 22:26:02 2007]
0.66 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.66
0.66 c # GENERATE_SAT BEGIN : /tmp/evaluation/228777-1170105961/sugar25199.bcnf [Mon Jan 29 22:26:02 2007]
0.66 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/228777-1170105961/sugar-v0-40.jar -bcnf -map /tmp/evaluation/228777-1170105961/sugar25199.map /tmp/evaluation/228777-1170105961/sugar25199.csp /tmp/evaluation/228777-1170105961/sugar25199.bcnf
0.78 c BEGIN parse /tmp/evaluation/228777-1170105961/sugar25199.csp
3.82 c END parse (3.045874 seconds)
3.82 c BEGIN simplify
3.84 c END simplify (0.01734 seconds)
3.84 c BEGIN encode /tmp/evaluation/228777-1170105961/sugar25199.bcnf
4.01 c END encode (0.171755 seconds)
4.08 c # GENERATE_SAT END : 600 variables 22967 clauses 432508 bytes (3 seconds) [Mon Jan 29 22:26:05 2007]
4.08 c # GENERATE_SAT CPU : 3.32 = 0 + 0 + 3.21 + 0.11
4.08
4.08 c # SOLVE_SAT BEGIN : /tmp/evaluation/228777-1170105961/sugar25199.bcnf [Mon Jan 29 22:26:05 2007]
4.08 c # CMD : /tmp/evaluation/228777-1170105961/minisat /tmp/evaluation/228777-1170105961/sugar25199.bcnf /tmp/evaluation/228777-1170105961/sugar25199.out
4.09 c ==================================[MINISAT]===================================
4.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.09 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
4.09 c ==============================================================================
4.09 c | 0 | 22967 85154 | 7655 0 0 nan | 0.000 % |
4.11 c | 100 | 22967 85154 | 8420 100 900 9.0 | 0.000 % |
4.12 c | 250 | 22968 85154 | 9262 249 2121 8.5 | 0.004 % |
4.14 c | 476 | 22968 85154 | 10188 475 4110 8.7 | 0.004 % |
4.18 c | 813 | 22968 85154 | 11207 812 7007 8.6 | 0.006 % |
4.23 c | 1320 | 22970 85154 | 12328 1317 11313 8.6 | 0.006 % |
4.31 c | 2081 | 22971 85154 | 13561 2077 18426 8.9 | 0.006 % |
4.43 c | 3220 | 22972 85154 | 14917 3215 29886 9.3 | 0.006 % |
4.64 c | 4928 | 22972 85154 | 16409 4923 48514 9.9 | 0.006 % |
4.98 c | 7491 | 22975 85154 | 18050 7483 78810 10.5 | 0.006 % |
5.51 c | 11335 | 22981 85154 | 19855 11321 125330 11.1 | 0.007 % |
6.43 c | 17102 | 22990 85154 | 21840 17079 192715 11.3 | 0.007 % |
7.99 c | 25751 | 22997 85154 | 24024 14743 181316 12.3 | 0.008 % |
10.73 c | 38728 | 23006 85154 | 26427 15638 200768 12.8 | 0.003 % |
15.03 c | 58189 | 23015 85154 | 29069 21822 280676 12.9 | 0.008 % |
21.60 c | 87381 | 22952 84944 | 31976 18206 233300 12.8 | 0.167 % |
32.41 c | 131170 | 22978 84944 | 35174 27451 377859 13.8 | 0.170 % |
50.37 c | 196856 | 22998 84944 | 38691 33473 436719 13.0 | 0.175 % |
57.55 c ==============================================================================
57.55 c restarts : 18
57.55 c conflicts : 221852 (4192 /sec)
57.55 c decisions : 276590 (5226 /sec)
57.55 c propagations : 20775615 (392519 /sec)
57.55 c conflict literals : 3152927 (29.81 % deleted)
57.55 c Memory used : 7.00 MB
57.55 c CPU time : 52.929 s
57.55 c
57.55 c SATISFIABLE
57.55 c # SOLVE_SAT END : SATISFIABLE (54 seconds) [Mon Jan 29 22:26:59 2007]
57.55 c # SOLVE_SAT CPU : 52.95 = 0 + 0 + 52.93 + 0.02
57.55
57.55 c # RESULT : SATISFIABLE
57.55
57.55 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:26:59 2007]
57.68 c BEGIN read SAT output /tmp/evaluation/228777-1170105961/sugar25199.out
57.70 c END read SAT output (0.01298 seconds)
57.70 c BEGIN write solution /tmp/evaluation/228777-1170105961/sugar25199.sol
57.71 c END write solution (0.015058 seconds)
57.74 s SATISFIABLE
57.74 v 11 7 1 9 0 2 14 12 3 14 6 10 5 12 4 9 9 10 9 4 0 15 15 1 2 6 7 1 8 4 1 5 4 14 2 12 7 12 14 14
57.74 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 22:26:59 2007]
57.74 c # OUTPUT_SOL CPU : 0.01 = 0.01 + 0 + 0 + 0
57.74
57.74 c # MAIN END : (58 seconds) [Mon Jan 29 22:26:59 2007]
57.74 c # MAIN CPU : 56.28 = 0.01 + 0 + 56.14 + 0.13
57.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-228777-1170105961 -o ROOT/results/node63/solver-228777-1170105961 -C 1800 -M 900 /tmp/evaluation/228777-1170105961/solver /tmp/evaluation/228777-1170105961 /tmp/evaluation/228777-1170105961/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.22 2.41 2.86 5/81 25200
/proc/meminfo: memFree=1308672/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=18540 CPUtime=0
/proc/25199/stat : 25199 (runsolver) R 25197 25199 25134 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30553510 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 247254805799 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25199/statm: 4635 279 244 17 0 2626 0
[startup+0.11103 s]
/proc/loadavg: 2.22 2.41 2.86 5/81 25200
/proc/meminfo: memFree=1308672/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=0.04
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1112 0 0 0 3 1 0 0 21 0 1 0 30553510 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.519074 s]
/proc/loadavg: 2.22 2.41 2.86 5/81 25200
/proc/meminfo: memFree=1308672/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=0.04
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30553510 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34217 s]
/proc/loadavg: 2.22 2.41 2.86 3/90 25216
/proc/meminfo: memFree=1283256/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=0.04
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30553510 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 808 370 3 0 531 0
[pid=25201] ppid=25199 vsize=0 CPUtime=0.55
/proc/25201/stat : 25201 (java) Z 25199 25199 25134 0 -1 1036 7342 0 1 0 51 4 0 0 17 0 1 0 30553516 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25201/statm: 0 0 0 0 0 0 0
[pid=25209] ppid=25199 vsize=807064 CPUtime=0.66
/proc/25209/stat : 25209 (java) R 25199 25199 25134 0 -1 0 7999 0 1 0 62 4 0 0 23 0 8 0 30553576 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25209/statm: 201766 7746 1494 14 0 189044 0
[pid=25209/tid=25210] ppid=25199 vsize=807064 CPUtime=0.12
/proc/25209/task/25210/stat : 25210 (java) R 25199 25199 25134 0 -1 64 1945 0 0 0 12 0 0 0 16 0 8 0 30553580 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827358 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25211] ppid=25199 vsize=807064 CPUtime=0
/proc/25209/task/25211/stat : 25211 (java) S 25199 25199 25134 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30553580 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25212] ppid=25199 vsize=807064 CPUtime=0
/proc/25209/task/25212/stat : 25212 (java) S 25199 25199 25134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30553580 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25213] ppid=25199 vsize=807064 CPUtime=0
/proc/25209/task/25213/stat : 25213 (java) S 25199 25199 25134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30553583 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25214] ppid=25199 vsize=807064 CPUtime=0.05
/proc/25209/task/25214/stat : 25214 (java) S 25199 25199 25134 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30553583 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25215] ppid=25199 vsize=807064 CPUtime=0
/proc/25209/task/25215/stat : 25215 (java) S 25199 25199 25134 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30553583 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25216] ppid=25199 vsize=807064 CPUtime=0
/proc/25209/task/25216/stat : 25216 (java) S 25199 25199 25134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30553583 826433536 7746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.99434 s]
/proc/loadavg: 2.36 2.44 2.87 3/90 25216
/proc/meminfo: memFree=1270520/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=0.04
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30553510 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 808 370 3 0 531 0
[pid=25201] ppid=25199 vsize=0 CPUtime=0.55
/proc/25201/stat : 25201 (java) Z 25199 25199 25134 0 -1 1036 7342 0 1 0 51 4 0 0 17 0 1 0 30553516 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25201/statm: 0 0 0 0 0 0 0
[pid=25209] ppid=25199 vsize=807336 CPUtime=2.3
/proc/25209/stat : 25209 (java) R 25199 25199 25134 0 -1 0 12096 0 1 0 222 8 0 0 25 0 8 0 30553576 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25209/statm: 201834 11830 1506 14 0 189112 0
[pid=25209/tid=25210] ppid=25199 vsize=807336 CPUtime=0.41
/proc/25209/task/25210/stat : 25210 (java) S 25199 25199 25134 0 -1 64 5897 0 0 0 37 4 0 0 16 0 8 0 30553580 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25211] ppid=25199 vsize=807336 CPUtime=0
/proc/25209/task/25211/stat : 25211 (java) S 25199 25199 25134 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30553580 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25212] ppid=25199 vsize=807336 CPUtime=0
/proc/25209/task/25212/stat : 25212 (java) S 25199 25199 25134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30553580 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25213] ppid=25199 vsize=807336 CPUtime=0
/proc/25209/task/25213/stat : 25213 (java) S 25199 25199 25134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30553583 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25214] ppid=25199 vsize=807336 CPUtime=0.13
/proc/25209/task/25214/stat : 25214 (java) S 25199 25199 25134 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 30553583 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25215] ppid=25199 vsize=807336 CPUtime=0
/proc/25209/task/25215/stat : 25215 (java) S 25199 25199 25134 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30553583 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25209/tid=25216] ppid=25199 vsize=807336 CPUtime=0
/proc/25209/task/25216/stat : 25216 (java) S 25199 25199 25134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30553583 826712064 11830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821060
[startup+6.27368 s]
/proc/loadavg: 2.36 2.44 2.87 4/83 25217
/proc/meminfo: memFree=1303224/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=3.36
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1281 15187 0 1 3 1 321 11 15 0 1 0 30553510 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 819 373 3 0 531 0
[pid=25201] ppid=25199 vsize=0 CPUtime=0.55
/proc/25201/stat : 25201 (java) Z 25199 25199 25134 0 -1 1036 7342 0 1 0 51 4 0 0 17 0 1 0 30553516 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25201/statm: 0 0 0 0 0 0 0
[pid=25217] ppid=25199 vsize=3860 CPUtime=2.16
/proc/25217/stat : 25217 (minisat) R 25199 25199 25134 0 -1 0 750 0 0 0 216 0 0 0 25 0 1 0 30553918 3952640 630 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/25217/statm: 965 630 51 112 0 849 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 17584
[startup+12.7544 s]
/proc/loadavg: 2.38 2.44 2.87 3/83 25217
/proc/meminfo: memFree=1302072/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=3.36
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1281 15187 0 1 3 1 321 11 16 0 1 0 30553510 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 819 373 3 0 531 0
[pid=25201] ppid=25199 vsize=0 CPUtime=0.55
/proc/25201/stat : 25201 (java) Z 25199 25199 25134 0 -1 1036 7342 0 1 0 51 4 0 0 17 0 1 0 30553516 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25201/statm: 0 0 0 0 0 0 0
[pid=25217] ppid=25199 vsize=5004 CPUtime=8.58
/proc/25217/stat : 25217 (minisat) R 25199 25199 25134 0 -1 0 1030 0 0 0 857 1 0 0 25 0 1 0 30553918 5124096 910 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 1 0 0
/proc/25217/statm: 1251 910 51 112 0 1135 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 18728
[startup+25.5837 s]
/proc/loadavg: 2.48 2.45 2.87 4/83 25217
/proc/meminfo: memFree=1301112/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=3.36
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1281 15187 0 1 3 1 321 11 16 0 1 0 30553510 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 819 373 3 0 531 0
[pid=25201] ppid=25199 vsize=0 CPUtime=0.55
/proc/25201/stat : 25201 (java) Z 25199 25199 25134 0 -1 1036 7342 0 1 0 51 4 0 0 17 0 1 0 30553516 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25201/statm: 0 0 0 0 0 0 0
[pid=25217] ppid=25199 vsize=6084 CPUtime=21.27
/proc/25217/stat : 25217 (minisat) R 25199 25199 25134 0 -1 0 1290 0 0 0 2126 1 0 0 25 0 1 0 30553918 6230016 1170 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/25217/statm: 1521 1170 51 112 0 1405 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 19808
[startup+51.2005 s]
/proc/loadavg: 2.37 2.43 2.85 3/83 25217
/proc/meminfo: memFree=1300216/2055920 swapFree=4192812/4192956
[pid=25199] ppid=25197 vsize=13724 CPUtime=3.36
/proc/25199/stat : 25199 (sugar) S 25197 25199 25134 0 -1 4194304 1281 15187 0 1 3 1 321 11 16 0 1 0 30553510 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25199/statm: 3431 819 373 3 0 531 0
[pid=25201] ppid=25199 vsize=0 CPUtime=0.55
/proc/25201/stat : 25201 (java) Z 25199 25199 25134 0 -1 1036 7342 0 1 0 51 4 0 0 17 0 1 0 30553516 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25201/statm: 0 0 0 0 0 0 0
[pid=25217] ppid=25199 vsize=6900 CPUtime=46.64
/proc/25217/stat : 25217 (minisat) R 25199 25199 25134 0 -1 0 1487 0 0 0 4663 1 0 0 25 0 1 0 30553918 7065600 1367 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528368 0 0 4096 3 0 0 0 17 1 0 0
/proc/25217/statm: 1725 1367 51 112 0 1609 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 20624
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25199 and gives childrusage.ru_utime.tv_sec=56 childrusage.ru_utime.tv_usec=186458 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=156976
CPU time returned by wait4() is 56.3434
while last known CPU time is 56.97
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 57.7507
CPU time (s): 56.97
CPU user time (s): 56.79
CPU system time (s): 0.18
CPU usage (%): 98.6482
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.1865
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18178
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= 855
involuntary context switches= 3098
runsolver used 0.069989 s user time and 0.200969 s system time
The end
Begin job on node63 on Mon Jan 29 21:26:01 UTC 2007
IDJOB= 228777
IDBENCH= 6233
IDSOLVER= 86
FILE ID= node63/228777-1170105961
PBS_JOBID= 3689847
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
COMMAND LINE= /tmp/evaluation/228777-1170105961/solver /tmp/evaluation/228777-1170105961 /tmp/evaluation/228777-1170105961/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-228777-1170105961 -o ROOT/results/node63/solver-228777-1170105961 -C 1800 -M 900 /tmp/evaluation/228777-1170105961/solver /tmp/evaluation/228777-1170105961 /tmp/evaluation/228777-1170105961/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 87d79b7f0a43cd9c3fda94d4a2e81b52
RANDOM SEED= 592528270
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.214
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.214
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: 1309152 kB
Buffers: 40424 kB
Cached: 46616 kB
SwapCached: 0 kB
Active: 641676 kB
Inactive: 52480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1309152 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1208 kB
Writeback: 0 kB
Mapped: 623844 kB
Slab: 36784 kB
Committed_AS: 917832 kB
PageTables: 3060 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= 66560 MiB
End job on node63 on Mon Jan 29 21:26:59 UTC 2007