0.05 c # Sugar v0-40 (/tmp/evaluation/217917-1170101645/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/217917-1170101645/unknown.xml [Mon Jan 29 21:14:05 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/217917-1170101645/unknown.xml /tmp/evaluation/217917-1170101645/sugar28589.csp [Mon Jan 29 21:14:05 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217917-1170101645/sugar-v0-40.jar -convert /tmp/evaluation/217917-1170101645/unknown.xml /tmp/evaluation/217917-1170101645/sugar28589.csp
0.17 c BEGIN convert /tmp/evaluation/217917-1170101645/unknown.xml
0.91 c END convert (0.738253 seconds)
0.94 c # CONVERT_XML END : /tmp/evaluation/217917-1170101645/sugar28589.csp 279482 bytes (1 seconds) [Mon Jan 29 21:14:06 2007]
0.94 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.94
0.94 c # GENERATE_SAT BEGIN : /tmp/evaluation/217917-1170101645/sugar28589.bcnf [Mon Jan 29 21:14:06 2007]
0.94 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217917-1170101645/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217917-1170101645/sugar28589.map /tmp/evaluation/217917-1170101645/sugar28589.csp /tmp/evaluation/217917-1170101645/sugar28589.bcnf
1.06 c BEGIN parse /tmp/evaluation/217917-1170101645/sugar28589.csp
2.32 c END parse (1.260151 seconds)
2.32 c BEGIN simplify
2.48 c END simplify (0.1575 seconds)
2.48 c BEGIN encode /tmp/evaluation/217917-1170101645/sugar28589.bcnf
2.81 c END encode (0.332589 seconds)
3.15 c # GENERATE_SAT END : 31248 variables 124992 clauses 1817368 bytes (2 seconds) [Mon Jan 29 21:14:08 2007]
3.15 c # GENERATE_SAT CPU : 2.12 = 0.27 + 0.02 + 1.73 + 0.1
3.15
3.15 c # SOLVE_SAT BEGIN : /tmp/evaluation/217917-1170101645/sugar28589.bcnf [Mon Jan 29 21:14:08 2007]
3.15 c # CMD : /tmp/evaluation/217917-1170101645/minisat /tmp/evaluation/217917-1170101645/sugar28589.bcnf /tmp/evaluation/217917-1170101645/sugar28589.out
3.22 c ==================================[MINISAT]===================================
3.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.22 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.22 c ==============================================================================
3.22 c | 0 | 124992 329344 | 41664 0 0 nan | 0.000 % |
3.31 c | 100 | 124992 329344 | 45830 100 563 5.6 | 0.000 % |
3.39 c | 250 | 124992 329344 | 50413 250 1351 5.4 | 0.000 % |
3.49 c | 475 | 124992 329344 | 55454 475 2529 5.3 | 0.000 % |
3.66 c | 812 | 124992 329344 | 61000 812 4312 5.3 | 0.000 % |
3.87 c | 1318 | 124992 329344 | 67100 1318 7019 5.3 | 0.000 % |
4.26 c | 2077 | 124992 329344 | 73810 2077 11349 5.5 | 0.000 % |
4.87 c | 3216 | 124992 329344 | 81191 3216 17904 5.6 | 0.000 % |
5.86 c | 4924 | 124992 329344 | 89310 4924 27854 5.7 | 0.000 % |
7.49 c | 7486 | 124992 329344 | 98241 7486 43153 5.8 | 0.000 % |
10.25 c | 11330 | 124992 329344 | 108065 11330 67010 5.9 | 0.000 % |
14.56 c | 17096 | 124992 329344 | 118872 17096 102967 6.0 | 0.000 % |
21.02 c | 25745 | 124992 329344 | 130759 25745 164740 6.4 | 0.000 % |
29.80 c | 38719 | 124992 329344 | 143835 38719 266202 6.9 | 0.000 % |
42.90 c | 58180 | 124992 329344 | 158218 58180 540673 9.3 | 0.000 % |
52.95 c ==============================================================================
52.96 c restarts : 15
52.96 c conflicts : 73868 (1506 /sec)
52.96 c decisions : 5768437 (117619 /sec)
52.96 c propagations : 78987454 (1610558 /sec)
52.96 c conflict literals : 923961 (3.25 % deleted)
52.96 c Memory used : 14.42 MB
52.96 c CPU time : 49.0435 s
52.96 c
52.96 c SATISFIABLE
52.97 c # SOLVE_SAT END : SATISFIABLE (50 seconds) [Mon Jan 29 21:14:58 2007]
52.97 c # SOLVE_SAT CPU : 49.33 = 0 + 0.01 + 49.05 + 0.27
52.97
52.97 c # RESULT : SATISFIABLE
52.97
52.97 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 21:14:58 2007]
53.09 c BEGIN read SAT output /tmp/evaluation/217917-1170101645/sugar28589.out
53.14 c END read SAT output (0.054239 seconds)
53.14 c BEGIN write solution /tmp/evaluation/217917-1170101645/sugar28589.sol
53.44 c END write solution (0.290866 seconds)
53.49 s SATISFIABLE
53.49 v 0 2 2 0 0 2 1 1 1 1 2 3 3 3 1 2 2 0 0 3 2 3 1 0 3 3 1 1 2 1 3 0 2 3 2 0 2 3 1 1 0 2 1 1 3 2 3 2 3 0 2 3 2 1 3 3 1 0 0 1 3 0 3 1 3 1 2 0 2 3 0 2 3 0 1 0 2 2 2 1 0 3 0 3 1 1 3 1 3 1 0 1 0 1 3 2 3 3 3 0 2 2 3 3 0 0 1 1 3 0 1 2 1 2 1 0 1 3 2 1 2 0 3 3 2 3 3 0 0 2 1 1 2 3 3 1 2 1 2 1 3 0 3 1 1 2 0 3 1 1 1 3 0 1 1 0 2 1 1 2 3 0 3 3 3 3 2 2 3 2 2 2 0 2 3 1 3 3 0 1 0 0 2 2 3 1 3 2 0 2 3 1 1 1 0 3 3 3 3 3 3 2 0 2 3 1 1 0 3 0 3 0 2 1 2 0 2 2 0 3 2 0 2 0 3 3 2 2 2 0 1 1 1 1 2 1 2 1 0 3 2 3 0 2 0 1 0 0 3 1 3 0 3 2 1 1 0 3 3 3 0 2 1 2 2 2 2 0 0 2 2 1 3 0 0 1 1 3 3 3 2 2 3 1 3 1 0 1 2 3 1 0 2 3 2 3 1 1 3 1 3 3 2 3 0 2 0 0 3 0 1 3 0 1 0 2 1 1 2 1 1 1 2 2 2 2 0 3 0 3 1 1 1 2 3 3 2 1 2 1 1 0 2 3 2 1 3 2 1 3 1 1 3 1 2 3 1 3 2 0 3 1 2 0 2 2 2 3 1 0 1 0 3 0 3 2 1 1 3 2 3 2 0 2 3 3 0 0 3 1 2 3 1 3 3 2 3 2 0 2 0 0 3 3 0 3 1 0 3 1 2 0 3 1 1 2 0 3 3 2 2 3 2 1 0 1 0 2 3 2 0 0 0 3 2 2 0 3 2 0 1 3 1 0 2 2 2 3 0 2 3 3 3 0 0 1 2 3 3 0 0 0 2 2 2 1 2 3 2 0 2 0 1 2 3 1 3 2 1 1 1 0 3 0 3 2 3 2 3 3 3 0 1 0 3 0
53.49 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 21:14:59 2007]
53.49 c # OUTPUT_SOL CPU : 0.469999999999999 = 0.02 + 0 + 0.399999999999999 + 0.05
53.49
53.49 c # MAIN END : (54 seconds) [Mon Jan 29 21:14:59 2007]
53.49 c # MAIN CPU : 51.92 = 0.29 + 0.03 + 51.18 + 0.42
53.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-217917-1170101645 -o ROOT/results/node17/solver-217917-1170101645 -C 1800 -M 900 /tmp/evaluation/217917-1170101645/solver /tmp/evaluation/217917-1170101645 /tmp/evaluation/217917-1170101645/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.22 2.92 2.84 5/95 28590
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=18540 CPUtime=0
/proc/28589/stat : 28589 (runsolver) R 28587 28589 27271 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30118760 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28589/statm: 4635 279 244 17 0 2626 0
[startup+0.110908 s]
/proc/loadavg: 3.22 2.92 2.84 5/95 28590
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=13724 CPUtime=0.04
/proc/28589/stat : 28589 (sugar) S 28587 28589 27271 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30118760 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28589/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.523951 s]
/proc/loadavg: 3.22 2.92 2.84 5/95 28590
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=13724 CPUtime=0.04
/proc/28589/stat : 28589 (sugar) S 28587 28589 27271 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30118760 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28589/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34904 s]
/proc/loadavg: 3.22 2.92 2.84 4/104 28606
/proc/meminfo: memFree=34120/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=13724 CPUtime=0.04
/proc/28589/stat : 28589 (sugar) S 28587 28589 27271 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30118760 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28589/statm: 3431 808 370 3 0 531 0
[pid=28591] ppid=28589 vsize=0 CPUtime=0.83
/proc/28591/stat : 28591 (java) Z 28589 28589 27271 0 -1 1036 8785 0 2 0 78 5 0 0 16 0 1 0 30118765 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28591/statm: 0 0 0 0 0 0 0
[pid=28599] ppid=28589 vsize=807064 CPUtime=0.39
/proc/28599/stat : 28599 (java) R 28589 28589 27271 0 -1 0 6540 0 1 0 36 3 0 0 17 0 8 0 30118854 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28599/statm: 201766 6290 1494 14 0 189044 0
[pid=28599/tid=28600] ppid=28589 vsize=807064 CPUtime=0.02
/proc/28599/task/28600/stat : 28600 (java) S 28589 28589 27271 0 -1 64 488 0 0 0 2 0 0 0 16 0 8 0 30118857 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28599/tid=28601] ppid=28589 vsize=807064 CPUtime=0
/proc/28599/task/28601/stat : 28601 (java) S 28589 28589 27271 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30118858 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28599/tid=28602] ppid=28589 vsize=807064 CPUtime=0
/proc/28599/task/28602/stat : 28602 (java) S 28589 28589 27271 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30118858 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28599/tid=28603] ppid=28589 vsize=807064 CPUtime=0
/proc/28599/task/28603/stat : 28603 (java) S 28589 28589 27271 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30118861 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28599/tid=28604] ppid=28589 vsize=807064 CPUtime=0.05
/proc/28599/task/28604/stat : 28604 (java) R 28589 28589 27271 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30118861 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28599/tid=28605] ppid=28589 vsize=807064 CPUtime=0
/proc/28599/task/28605/stat : 28605 (java) S 28589 28589 27271 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30118861 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28599/tid=28606] ppid=28589 vsize=807064 CPUtime=0
/proc/28599/task/28606/stat : 28606 (java) S 28589 28589 27271 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30118861 826433536 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788
[startup+3.00221 s]
/proc/loadavg: 3.22 2.92 2.84 3/104 28606
/proc/meminfo: memFree=16136/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=22256 CPUtime=2.01
/proc/28589/stat : 28589 (sugar) R 28587 28589 27271 0 -1 4194304 3311 13134 0 1 16 2 173 10 17 0 1 0 30118760 22790144 2881 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245500488297 0 0 4224 16386 0 0 0 17 1 0 0
/proc/28589/statm: 5564 2881 370 3 0 2664 0
[pid=28591] ppid=28589 vsize=0 CPUtime=0.83
/proc/28591/stat : 28591 (java) Z 28589 28589 27271 0 -1 1036 8785 0 2 0 78 5 0 0 16 0 1 0 30118765 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28591/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 22256
[startup+6.28456 s]
/proc/loadavg: 3.20 2.92 2.84 3/97 28607
/proc/meminfo: memFree=15360/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=30280 CPUtime=2.17
/proc/28589/stat : 28589 (sugar) S 28587 28589 27271 0 -1 4194304 5351 13134 0 1 30 4 173 10 16 0 1 0 30118760 31006720 4829 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28589/statm: 7570 4829 373 3 0 4670 0
[pid=28591] ppid=28589 vsize=0 CPUtime=0.83
/proc/28591/stat : 28591 (java) Z 28589 28589 27271 0 -1 1036 8785 0 2 0 78 5 0 0 16 0 1 0 30118765 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28591/statm: 0 0 0 0 0 0 0
[pid=28607] ppid=28589 vsize=8032 CPUtime=3.1
/proc/28607/stat : 28607 (minisat) R 28589 28589 27271 0 -1 0 1977 0 0 0 309 1 0 0 25 0 1 0 30119075 8224768 1518 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525462 0 0 4096 3 0 0 0 17 1 0 0
/proc/28607/statm: 2008 1518 52 112 0 1892 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 38312
[startup+12.7662 s]
/proc/loadavg: 3.18 2.92 2.84 3/97 28607
/proc/meminfo: memFree=16264/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=30280 CPUtime=2.17
/proc/28589/stat : 28589 (sugar) S 28587 28589 27271 0 -1 4194304 5351 13134 0 1 30 4 173 10 16 0 1 0 30118760 31006720 4829 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28589/statm: 7570 4829 373 3 0 4670 0
[pid=28591] ppid=28589 vsize=0 CPUtime=0.83
/proc/28591/stat : 28591 (java) Z 28589 28589 27271 0 -1 1036 8785 0 2 0 78 5 0 0 16 0 1 0 30118765 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28591/statm: 0 0 0 0 0 0 0
[pid=28607] ppid=28589 vsize=8692 CPUtime=9.52
/proc/28607/stat : 28607 (minisat) R 28589 28589 27271 0 -1 0 2130 0 0 0 951 1 0 0 25 0 1 0 30119075 8900608 1671 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525036 0 0 4096 3 0 0 0 17 1 0 0
/proc/28607/statm: 2173 1671 52 112 0 2057 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 38972
[startup+25.5976 s]
/proc/loadavg: 3.14 2.92 2.85 3/97 28607
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=30280 CPUtime=2.17
/proc/28589/stat : 28589 (sugar) S 28587 28589 27271 0 -1 4194304 5351 13134 0 1 30 4 173 10 16 0 1 0 30118760 31006720 4829 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28589/statm: 7570 4829 373 3 0 4670 0
[pid=28591] ppid=28589 vsize=0 CPUtime=0.83
/proc/28591/stat : 28591 (java) Z 28589 28589 27271 0 -1 1036 8785 0 2 0 78 5 0 0 16 0 1 0 30118765 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28591/statm: 0 0 0 0 0 0 0
[pid=28607] ppid=28589 vsize=9976 CPUtime=22.18
/proc/28607/stat : 28607 (minisat) R 28589 28589 27271 0 -1 0 2451 0 0 0 2208 10 0 0 25 0 1 0 30119075 10215424 1992 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/28607/statm: 2494 1992 52 112 0 2378 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 40256
[startup+51.2012 s]
/proc/loadavg: 3.17 2.95 2.85 3/97 28607
/proc/meminfo: memFree=15560/2055920 swapFree=4192812/4192956
[pid=28589] ppid=28587 vsize=30280 CPUtime=2.17
/proc/28589/stat : 28589 (sugar) S 28587 28589 27271 0 -1 4194304 5351 13134 0 1 30 4 173 10 16 0 1 0 30118760 31006720 4829 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28589/statm: 7570 4829 373 3 0 4670 0
[pid=28591] ppid=28589 vsize=0 CPUtime=0.83
/proc/28591/stat : 28591 (java) Z 28589 28589 27271 0 -1 1036 8785 0 2 0 78 5 0 0 16 0 1 0 30118765 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/28591/statm: 0 0 0 0 0 0 0
[pid=28607] ppid=28589 vsize=14168 CPUtime=47.55
/proc/28607/stat : 28607 (minisat) R 28589 28589 27271 0 -1 0 3470 0 0 0 4730 25 0 0 25 0 1 0 30119075 14508032 3011 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/28607/statm: 3542 3011 52 112 0 3426 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 44448
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 28589 and gives childrusage.ru_utime.tv_sec=51 childrusage.ru_utime.tv_usec=514168 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=475927
CPU time returned by wait4() is 51.9901
while last known CPU time is 52.75
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 53.544
CPU time (s): 52.75
CPU user time (s): 52.25
CPU system time (s): 0.5
CPU usage (%): 98.5171
Max. virtual memory (cumulated for all children) (KiB): 837416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.5142
system time used= 0.475927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28430
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= 1094
involuntary context switches= 2990
runsolver used 0.068989 s user time and 0.178972 s system time
The end
Begin job on node17 on Mon Jan 29 20:14:05 UTC 2007
IDJOB= 217917
IDBENCH= 5180
IDSOLVER= 86
FILE ID= node17/217917-1170101645
PBS_JOBID= 3689504
Free space on /tmp= 42617 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-32-4.xml
COMMAND LINE= /tmp/evaluation/217917-1170101645/solver /tmp/evaluation/217917-1170101645 /tmp/evaluation/217917-1170101645/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-217917-1170101645 -o ROOT/results/node17/solver-217917-1170101645 -C 1800 -M 900 /tmp/evaluation/217917-1170101645/solver /tmp/evaluation/217917-1170101645 /tmp/evaluation/217917-1170101645/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 8a3db2ccbe276977399fe1156f8dd3e4
RANDOM SEED= 517408070
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.229
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.229
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: 16624 kB
Buffers: 3212 kB
Cached: 1863796 kB
SwapCached: 0 kB
Active: 109444 kB
Inactive: 1834444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 16624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 816524 kB
Writeback: 0 kB
Mapped: 102440 kB
Slab: 80180 kB
Committed_AS: 676036 kB
PageTables: 2268 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= 41736 MiB
End job on node17 on Mon Jan 29 20:14:59 UTC 2007