0.05 c # Sugar v0-40 (/tmp/evaluation/203062-1170095844/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/203062-1170095844/unknown.xml [Mon Jan 29 19:37:26 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/203062-1170095844/unknown.xml /tmp/evaluation/203062-1170095844/sugar25511.csp [Mon Jan 29 19:37:26 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203062-1170095844/sugar-v0-40.jar -convert /tmp/evaluation/203062-1170095844/unknown.xml /tmp/evaluation/203062-1170095844/sugar25511.csp
0.17 c BEGIN convert /tmp/evaluation/203062-1170095844/unknown.xml
0.65 c END convert (0.479504 seconds)
0.71 c # CONVERT_XML END : /tmp/evaluation/203062-1170095844/sugar25511.csp 1078974 bytes (0 seconds) [Mon Jan 29 19:37:26 2007]
0.71 c # CONVERT_XML CPU : 0.58 = 0 + 0 + 0.53 + 0.05
0.71
0.71 c # GENERATE_SAT BEGIN : /tmp/evaluation/203062-1170095844/sugar25511.bcnf [Mon Jan 29 19:37:26 2007]
0.71 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203062-1170095844/sugar-v0-40.jar -bcnf -map /tmp/evaluation/203062-1170095844/sugar25511.map /tmp/evaluation/203062-1170095844/sugar25511.csp /tmp/evaluation/203062-1170095844/sugar25511.bcnf
0.83 c BEGIN parse /tmp/evaluation/203062-1170095844/sugar25511.csp
14.27 c END parse (13.438592 seconds)
14.27 c BEGIN simplify
14.34 c END simplify (0.074176 seconds)
14.34 c BEGIN encode /tmp/evaluation/203062-1170095844/sugar25511.bcnf
14.93 c END encode (0.593905 seconds)
15.06 c # GENERATE_SAT END : 6570 variables 45187 clauses 5130772 bytes (15 seconds) [Mon Jan 29 19:37:41 2007]
15.06 c # GENERATE_SAT CPU : 14.14 = 0.05 + 0.01 + 13.73 + 0.35
15.06
15.06 c # SOLVE_SAT BEGIN : /tmp/evaluation/203062-1170095844/sugar25511.bcnf [Mon Jan 29 19:37:41 2007]
15.06 c # CMD : /tmp/evaluation/203062-1170095844/minisat /tmp/evaluation/203062-1170095844/sugar25511.bcnf /tmp/evaluation/203062-1170095844/sugar25511.out
15.18 c ==================================[MINISAT]===================================
15.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
15.18 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
15.18 c ==============================================================================
15.18 c | 0 | 45187 1237498 | 15062 0 0 nan | 0.000 % |
15.20 c | 100 | 45188 1237498 | 16568 99 6693 67.6 | 0.000 % |
15.24 c | 250 | 45188 1237498 | 18225 249 8671 34.8 | 0.000 % |
15.28 c | 476 | 45188 1237498 | 20047 475 11667 24.6 | 0.001 % |
15.36 c | 813 | 45189 1237498 | 22052 811 16162 19.9 | 0.000 % |
15.49 c | 1319 | 45190 1237498 | 24257 1316 24066 18.3 | 0.000 % |
15.67 c | 2078 | 45190 1237498 | 26683 2075 35726 17.2 | 0.000 % |
16.01 c | 3217 | 45190 1237498 | 29351 3214 55831 17.4 | 0.000 % |
16.64 c | 4925 | 45191 1237498 | 32286 4921 87723 17.8 | 0.000 % |
17.57 c | 7488 | 45191 1237498 | 35515 7484 144738 19.3 | 0.000 % |
18.85 c | 11332 | 45198 1237498 | 39066 11321 214121 18.9 | 0.000 % |
21.61 c | 17099 | 45202 1237498 | 42973 17084 528820 31.0 | 0.001 % |
26.23 c | 25750 | 45206 1237498 | 47271 25731 758002 29.5 | 0.001 % |
34.88 c | 38725 | 45211 1237498 | 51998 38701 1123706 29.0 | 0.001 % |
49.59 c | 58186 | 45217 1237498 | 57197 21438 570095 26.6 | 0.001 % |
65.34 c | 87378 | 45097 1235759 | 62917 26544 861769 32.5 | 0.350 % |
101.53 c | 131168 | 45101 1235759 | 69209 23448 906202 38.6 | 0.350 % |
158.89 c | 196853 | 45110 1235759 | 76130 37039 1393302 37.6 | 0.350 % |
245.79 c | 295380 | 45130 1235759 | 83743 76670 2941144 38.4 | 0.350 % |
389.55 c | 443170 | 45043 1234719 | 92117 32108 1290561 40.2 | 0.700 % |
594.40 c | 664853 | 45078 1234719 | 101329 30793 1869717 60.7 | 0.700 % |
902.76 c | 997378 | 45112 1234719 | 111462 30858 1406114 45.6 | 0.700 % |
1411.07 c | 1496166 | 44391 1219146 | 122608 97378 3864757 39.7 | 3.364 % |
1808.12
1808.12 s UNKNOWN
1808.12 c # INTERRUPTED
1808.12 c # MAIN END : (1808 seconds) [Mon Jan 29 20:07:34 2007]
1808.12 c # MAIN CPU : 14.72 = 0.05 + 0.01 + 14.26 + 0.4
1808.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-203062-1170095844 -o ROOT/results/node65/solver-203062-1170095844 -C 1800 -M 900 /tmp/evaluation/203062-1170095844/solver /tmp/evaluation/203062-1170095844 /tmp/evaluation/203062-1170095844/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.66 2.81 2.72 5/81 25512
/proc/meminfo: memFree=959632/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=18540 CPUtime=0
/proc/25511/stat : 25511 (runsolver) R 25509 25511 24927 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29542108 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 257203694887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25511/statm: 4635 279 244 17 0 2626 0
[startup+0.104028 s]
/proc/loadavg: 2.66 2.81 2.72 5/81 25512
/proc/meminfo: memFree=959632/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=13724 CPUtime=0.03
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 29542108 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51611 s]
/proc/loadavg: 2.66 2.81 2.72 5/81 25512
/proc/meminfo: memFree=959632/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=13724 CPUtime=0.03
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29542108 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33923 s]
/proc/loadavg: 2.66 2.81 2.72 4/89 25528
/proc/meminfo: memFree=936784/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=13724 CPUtime=0.62
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 1190 7505 0 1 3 1 53 5 15 0 1 0 29542108 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 3431 809 371 3 0 531 0
[pid=25521] ppid=25511 vsize=807064 CPUtime=0.6
/proc/25521/stat : 25521 (java) R 25511 25511 24927 0 -1 0 7748 0 1 0 56 4 0 0 25 0 8 0 29542179 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073478752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25521/statm: 201766 7496 1494 14 0 189044 0
[pid=25521/tid=25522] ppid=25511 vsize=807064 CPUtime=0.09
/proc/25521/task/25522/stat : 25522 (java) S 25511 25511 24927 0 -1 64 1695 0 0 0 9 0 0 0 16 0 8 0 29542183 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25523] ppid=25511 vsize=807064 CPUtime=0
/proc/25521/task/25523/stat : 25523 (java) S 25511 25511 24927 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29542183 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25524] ppid=25511 vsize=807064 CPUtime=0
/proc/25521/task/25524/stat : 25524 (java) S 25511 25511 24927 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29542183 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25525] ppid=25511 vsize=807064 CPUtime=0
/proc/25521/task/25525/stat : 25525 (java) S 25511 25511 24927 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29542186 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25526] ppid=25511 vsize=807064 CPUtime=0.05
/proc/25521/task/25526/stat : 25526 (java) S 25511 25511 24927 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29542186 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25527] ppid=25511 vsize=807064 CPUtime=0
/proc/25521/task/25527/stat : 25527 (java) S 25511 25511 24927 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29542186 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25528] ppid=25511 vsize=807064 CPUtime=0
/proc/25521/task/25528/stat : 25528 (java) S 25511 25511 24927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29542186 826433536 7496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 820788
[startup+2.9785 s]
/proc/loadavg: 2.66 2.81 2.72 4/89 25528
/proc/meminfo: memFree=918160/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=13724 CPUtime=0.62
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 1190 7505 0 1 3 1 53 5 15 0 1 0 29542108 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 3431 809 371 3 0 531 0
[pid=25521] ppid=25511 vsize=807336 CPUtime=2.23
/proc/25521/stat : 25521 (java) R 25511 25511 24927 0 -1 0 16495 0 1 0 215 8 0 0 25 0 8 0 29542179 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073720856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25521/statm: 201834 16215 1506 14 0 189112 0
[pid=25521/tid=25522] ppid=25511 vsize=807336 CPUtime=0.58
/proc/25521/task/25522/stat : 25522 (java) S 25511 25511 24927 0 -1 64 10269 0 0 0 55 3 0 0 16 0 8 0 29542183 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25523] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25523/stat : 25523 (java) S 25511 25511 24927 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29542183 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25524] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25524/stat : 25524 (java) S 25511 25511 24927 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29542183 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25525] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25525/stat : 25525 (java) S 25511 25511 24927 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29542186 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25526] ppid=25511 vsize=807336 CPUtime=0.11
/proc/25521/task/25526/stat : 25526 (java) S 25511 25511 24927 0 -1 64 399 0 0 0 11 0 0 0 16 0 8 0 29542186 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25527] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25527/stat : 25527 (java) S 25511 25511 24927 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29542186 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25528] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25528/stat : 25528 (java) S 25511 25511 24927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29542186 826712064 16215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821060
[startup+6.21304 s]
/proc/loadavg: 2.76 2.82 2.73 3/89 25528
/proc/meminfo: memFree=835984/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=13724 CPUtime=0.62
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 1190 7505 0 1 3 1 53 5 15 0 1 0 29542108 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 3431 809 371 3 0 531 0
[pid=25521] ppid=25511 vsize=807336 CPUtime=5.41
/proc/25521/stat : 25521 (java) R 25511 25511 24927 0 -1 0 34181 0 1 0 524 17 0 0 25 0 8 0 29542179 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622676 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25521/statm: 201834 33807 1507 14 0 189112 0
[pid=25521/tid=25522] ppid=25511 vsize=807336 CPUtime=1.44
/proc/25521/task/25522/stat : 25522 (java) S 25511 25511 24927 0 -1 64 27857 0 0 0 132 12 0 0 16 0 8 0 29542183 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25523] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25523/stat : 25523 (java) S 25511 25511 24927 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29542183 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25524] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25524/stat : 25524 (java) S 25511 25511 24927 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29542183 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25525] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25525/stat : 25525 (java) S 25511 25511 24927 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29542186 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25526] ppid=25511 vsize=807336 CPUtime=0.13
/proc/25521/task/25526/stat : 25526 (java) S 25511 25511 24927 0 -1 64 403 0 0 0 13 0 0 0 16 0 8 0 29542186 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25527] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25527/stat : 25527 (java) S 25511 25511 24927 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29542186 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25528] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25528/stat : 25528 (java) S 25511 25511 24927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29542186 826712064 33807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 821060
[startup+12.6681 s]
/proc/loadavg: 2.78 2.83 2.73 3/89 25528
/proc/meminfo: memFree=745552/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=13724 CPUtime=0.62
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 1190 7505 0 1 3 1 53 5 15 0 1 0 29542108 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 3431 809 371 3 0 531 0
[pid=25521] ppid=25511 vsize=807336 CPUtime=11.79
/proc/25521/stat : 25521 (java) R 25511 25511 24927 0 -1 0 54722 0 1 0 1151 28 0 0 25 0 8 0 29542179 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25521/statm: 201834 54108 1507 14 0 189112 0
[pid=25521/tid=25522] ppid=25511 vsize=807336 CPUtime=3.32
/proc/25521/task/25522/stat : 25522 (java) S 25511 25511 24927 0 -1 64 48211 0 0 0 311 21 0 0 16 0 8 0 29542183 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25523] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25523/stat : 25523 (java) S 25511 25511 24927 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29542183 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25524] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25524/stat : 25524 (java) S 25511 25511 24927 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29542183 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25525] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25525/stat : 25525 (java) S 25511 25511 24927 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29542186 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25526] ppid=25511 vsize=807336 CPUtime=0.13
/proc/25521/task/25526/stat : 25526 (java) S 25511 25511 24927 0 -1 64 403 0 0 0 13 0 0 0 16 0 8 0 29542186 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25527] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25527/stat : 25527 (java) S 25511 25511 24927 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29542186 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25521/tid=25528] ppid=25511 vsize=807336 CPUtime=0
/proc/25521/task/25528/stat : 25528 (java) S 25511 25511 24927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29542186 826712064 54108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 821060
[startup+25.5312 s]
/proc/loadavg: 2.61 2.79 2.72 3/82 25529
/proc/meminfo: memFree=937928/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=12056 CPUtime=10.45
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 3669 0 0 0 1043 2 0 0 25 0 1 0 29543614 12345344 2630 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/25529/statm: 3014 2630 52 112 0 2898 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 29028
[startup+51.2145 s]
/proc/loadavg: 2.47 2.74 2.70 3/82 25529
/proc/meminfo: memFree=934024/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=15948 CPUtime=36.13
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 4646 0 0 0 3609 4 0 0 25 0 1 0 29543614 16330752 3607 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25529/statm: 3987 3607 52 112 0 3871 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 32920
[startup+102.459 s]
/proc/loadavg: 2.35 2.65 2.67 3/82 25529
/proc/meminfo: memFree=929800/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=20276 CPUtime=87.36
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 5716 0 0 0 8730 6 0 0 25 0 1 0 29543614 20762624 4677 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25529/statm: 5069 4677 52 112 0 4953 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 37248
[startup+162.525 s]
/proc/loadavg: 2.23 2.56 2.64 3/82 25529
/proc/meminfo: memFree=928136/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=21996 CPUtime=147.4
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 6126 0 0 0 14734 6 0 0 25 0 1 0 29543614 22523904 5087 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25529/statm: 5499 5087 52 112 0 5383 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 38968
[startup+222.62 s]
/proc/loadavg: 2.12 2.47 2.60 3/76 25596
/proc/meminfo: memFree=1534456/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=23736 CPUtime=207.22
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 6569 0 0 0 20715 7 0 0 25 0 1 0 29543614 24305664 5530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 5934 5530 52 112 0 5818 0
Current children cumulated CPU time (s) 221.97
Current children cumulated vsize (KiB) 40708
[startup+282.689 s]
/proc/loadavg: 2.04 2.38 2.56 3/76 25596
################
# More data... #
################
/proc/loadavg: 2.07 2.04 2.22 3/76 25596
/proc/meminfo: memFree=1508152/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=35688 CPUtime=1103.95
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 9497 0 0 0 110382 13 0 0 25 0 1 0 29543614 36544512 8458 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 8922 8458 52 112 0 8806 0
Current children cumulated CPU time (s) 1118.7
Current children cumulated vsize (KiB) 52660
[startup+1183.55 s]
/proc/loadavg: 2.02 2.03 2.20 3/76 25596
/proc/meminfo: memFree=1504632/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38328 CPUtime=1163.74
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10158 0 0 0 116360 14 0 0 25 0 1 0 29543614 39247872 9119 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9582 9119 52 112 0 9466 0
Current children cumulated CPU time (s) 1178.49
Current children cumulated vsize (KiB) 55300
[startup+1243.6 s]
/proc/loadavg: 2.01 2.02 2.18 3/76 25596
/proc/meminfo: memFree=1504120/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38508 CPUtime=1223.51
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10190 0 0 0 122337 14 0 0 25 0 1 0 29543614 39432192 9151 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9627 9151 52 112 0 9511 0
Current children cumulated CPU time (s) 1238.26
Current children cumulated vsize (KiB) 55480
[startup+1303.67 s]
/proc/loadavg: 2.00 2.02 2.17 3/76 25596
/proc/meminfo: memFree=1503544/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38644 CPUtime=1283.29
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10245 0 0 0 128315 14 0 0 25 0 1 0 29543614 39571456 9206 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9661 9206 52 112 0 9545 0
Current children cumulated CPU time (s) 1298.04
Current children cumulated vsize (KiB) 55616
[startup+1363.73 s]
/proc/loadavg: 2.00 2.01 2.16 3/76 25596
/proc/meminfo: memFree=1503032/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38796 CPUtime=1343.09
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10266 0 0 0 134295 14 0 0 25 0 1 0 29543614 39727104 9227 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9699 9227 52 112 0 9583 0
Current children cumulated CPU time (s) 1357.84
Current children cumulated vsize (KiB) 55768
[startup+1423.8 s]
/proc/loadavg: 2.07 2.03 2.16 3/82 25662
/proc/meminfo: memFree=1500712/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38796 CPUtime=1402.84
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10270 0 0 0 140267 17 0 0 25 0 1 0 29543614 39727104 9231 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9699 9231 52 112 0 9583 0
Current children cumulated CPU time (s) 1417.59
Current children cumulated vsize (KiB) 55768
[startup+1483.88 s]
/proc/loadavg: 2.02 2.03 2.15 3/82 25754
/proc/meminfo: memFree=1500152/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38796 CPUtime=1462.59
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10280 0 0 0 146228 31 0 0 25 0 1 0 29543614 39727104 9241 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527117 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9699 9241 52 112 0 9583 0
Current children cumulated CPU time (s) 1477.34
Current children cumulated vsize (KiB) 55768
[startup+1543.95 s]
/proc/loadavg: 2.01 2.02 2.13 3/76 25794
/proc/meminfo: memFree=1500664/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38796 CPUtime=1522.35
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10280 0 0 0 152199 36 0 0 25 0 1 0 29543614 39727104 9241 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528128 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9699 9241 52 112 0 9583 0
Current children cumulated CPU time (s) 1537.1
Current children cumulated vsize (KiB) 55768
[startup+1604.01 s]
/proc/loadavg: 2.08 2.03 2.13 3/76 25794
/proc/meminfo: memFree=1500408/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=38796 CPUtime=1582.12
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 10284 0 0 0 158176 36 0 0 25 0 1 0 29543614 39727104 9245 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 9699 9245 52 112 0 9583 0
Current children cumulated CPU time (s) 1596.87
Current children cumulated vsize (KiB) 55768
[startup+1664.07 s]
/proc/loadavg: 2.03 2.02 2.12 3/76 25794
/proc/meminfo: memFree=1496888/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=41848 CPUtime=1641.91
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 11062 0 0 0 164153 38 0 0 25 0 1 0 29543614 42852352 10023 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525573 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 10462 10023 52 112 0 10346 0
Current children cumulated CPU time (s) 1656.66
Current children cumulated vsize (KiB) 58820
[startup+1724.13 s]
/proc/loadavg: 2.01 2.02 2.10 3/76 25794
/proc/meminfo: memFree=1496504/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=42144 CPUtime=1701.7
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 11130 0 0 0 170132 38 0 0 25 0 1 0 29543614 43155456 10091 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 10536 10091 52 112 0 10420 0
Current children cumulated CPU time (s) 1716.45
Current children cumulated vsize (KiB) 59116
[startup+1784.19 s]
/proc/loadavg: 2.04 2.03 2.10 3/76 25794
/proc/meminfo: memFree=1495352/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=43108 CPUtime=1761.47
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 11365 0 0 0 176108 39 0 0 25 0 1 0 29543614 44142592 10326 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 10777 10326 52 112 0 10661 0
Current children cumulated CPU time (s) 1776.22
Current children cumulated vsize (KiB) 60080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.11 s]
/proc/loadavg: 2.02 2.02 2.09 3/76 25794
/proc/meminfo: memFree=1495224/2055920 swapFree=4192956/4192956
[pid=25511] ppid=25509 vsize=16972 CPUtime=14.75
/proc/25511/stat : 25511 (sugar) S 25509 25511 24927 0 -1 4194304 2088 62313 0 2 8 1 1426 40 16 0 1 0 29542108 17379328 1600 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257212592226 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25511/statm: 4243 1600 373 3 0 1343 0
[pid=25529] ppid=25511 vsize=43108 CPUtime=1785.28
/proc/25529/stat : 25529 (minisat) R 25511 25511 24927 0 -1 0 11365 0 0 0 178489 39 0 0 25 0 1 0 29543614 44142592 10326 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/25529/statm: 10777 10326 52 112 0 10661 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 60080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25511 and gives childrusage.ru_utime.tv_sec=14 childrusage.ru_utime.tv_usec=354817 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=426935
CPU time returned by wait4() is 14.7818
while last known CPU time is 1800.04
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.13
CPU time (s): 1800.04
CPU user time (s): 1799.23
CPU system time (s): 0.81
CPU usage (%): 99.4976
Max. virtual memory (cumulated for all children) (KiB): 821312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3548
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64486
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4053
involuntary context switches= 4297
runsolver used 1.65775 s user time and 4.93425 s system time
The end
Begin job on node65 on Mon Jan 29 18:37:25 UTC 2007
IDJOB= 203062
IDBENCH= 3905
IDSOLVER= 86
FILE ID= node65/203062-1170095844
PBS_JOBID= 3689583
Free space on /tmp= 66544 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-23_ext.xml
COMMAND LINE= /tmp/evaluation/203062-1170095844/solver /tmp/evaluation/203062-1170095844 /tmp/evaluation/203062-1170095844/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-203062-1170095844 -o ROOT/results/node65/solver-203062-1170095844 -C 1800 -M 900 /tmp/evaluation/203062-1170095844/solver /tmp/evaluation/203062-1170095844 /tmp/evaluation/203062-1170095844/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 7838a9623e74161e096b88eddb9e0368
RANDOM SEED= 275682261
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.259
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.259
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: 960112 kB
Buffers: 42260 kB
Cached: 357852 kB
SwapCached: 0 kB
Active: 686004 kB
Inactive: 336576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 960112 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 960 kB
Writeback: 0 kB
Mapped: 639216 kB
Slab: 57368 kB
Committed_AS: 745228 kB
PageTables: 3076 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 node65 on Mon Jan 29 19:07:35 UTC 2007