0.04/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.04/0.08 c 0 BEGIN Sun Jul 12 10:14:25 2009
0.04/0.08 c 0 PID 28274
0.04/0.08 c 0 HOST node34.alineos.net
0.04/0.08 c 0 CONVERTING HOME/instance-2087636-1247386464.xml TO HOME/temp.csp
0.04/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2087636-1247386464.xml' 'HOME/temp.csp'
0.06/0.69 c 0 100 domains, 100 variables, 1 predicates, 0 relations, 900 constraints
0.06/0.70 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.70 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.78 c 0 Parsing HOME/temp.csp
0.67/0.85 c 0 parsed 1101 expressions
0.67/0.86 c 0 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.67/0.86 c 0 Converting to clausal form CSP
0.67/0.88 c 0 converted 111 (10%) expressions
0.67/0.89 c 0 converted 221 (20%) expressions
0.67/0.94 c 0 converted 331 (30%) expressions
0.67/0.97 c 0 converted 441 (40%) expressions
0.67/0.99 c 0 converted 551 (50%) expressions
0.95/1.08 c 1 converted 661 (60%) expressions
0.95/1.09 c 1 converted 771 (70%) expressions
0.95/1.10 c 1 converted 881 (80%) expressions
1.05/1.11 c 1 converted 991 (90%) expressions
1.05/1.12 c 1 converted 1101 (100%) expressions
1.05/1.12 c 1 CSP : 100 integers, 0 booleans, 900 clauses, largest domain size 608
1.05/1.12 c 1 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.05/1.12 c 1 Propagation in CSP
1.05/1.13 c 1 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.05/1.13 c 1 CSP : 100 integers, 0 booleans, 900 clauses, largest domain size 608
1.05/1.13 c 1 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.05/1.14 c 1 Simplifing CSP by introducing new Boolean variables
1.05/1.16 c 1 CSP : 100 integers, 1800 booleans, 2700 clauses, largest domain size 608
1.05/1.16 c 1 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.05/1.19 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.13/1.21 c 1 10 (10%) CSP integer variables are encoded (5619 clauses, 70902 bytes)
1.13/1.22 c 1 20 (20%) CSP integer variables are encoded (11408 clauses, 149012 bytes)
1.13/1.23 c 1 30 (30%) CSP integer variables are encoded (16838 clauses, 230462 bytes)
1.13/1.24 c 1 40 (40%) CSP integer variables are encoded (22279 clauses, 312077 bytes)
1.13/1.24 c 1 50 (50%) CSP integer variables are encoded (27728 clauses, 393812 bytes)
1.13/1.25 c 1 60 (60%) CSP integer variables are encoded (33199 clauses, 475877 bytes)
1.13/1.26 c 1 70 (70%) CSP integer variables are encoded (38651 clauses, 557657 bytes)
1.13/1.26 c 1 80 (80%) CSP integer variables are encoded (44218 clauses, 641162 bytes)
1.13/1.27 c 1 90 (90%) CSP integer variables are encoded (49740 clauses, 723992 bytes)
1.13/1.28 c 1 100 (100%) CSP integer variables are encoded (55361 clauses, 808307 bytes)
1.34/1.46 c 1 270 (10%) CSP clauses are encoded (147039 clauses, 2650331 bytes)
1.54/1.65 c 1 540 (20%) CSP clauses are encoded (243467 clauses, 4643722 bytes)
1.73/1.84 c 1 810 (30%) CSP clauses are encoded (337397 clauses, 6636271 bytes)
1.93/2.01 c 1 1080 (40%) CSP clauses are encoded (426157 clauses, 8585931 bytes)
2.04/2.17 c 2 1350 (50%) CSP clauses are encoded (512823 clauses, 10489523 bytes)
2.23/2.33 c 2 1620 (60%) CSP clauses are encoded (603525 clauses, 12481907 bytes)
2.33/2.49 c 2 1890 (70%) CSP clauses are encoded (690403 clauses, 14390163 bytes)
2.52/2.66 c 2 2160 (80%) CSP clauses are encoded (778099 clauses, 16316415 bytes)
2.72/2.83 c 2 2430 (90%) CSP clauses are encoded (870085 clauses, 18337047 bytes)
2.92/3.00 c 2 2700 (100%) CSP clauses are encoded (962057 clauses, 20357371 bytes)
2.92/3.00 c 2 2700 CSP clauses encoded
2.92/3.00 c 2 Writing map file : HOME/temp.map
2.92/3.01 c 2 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.92/3.01 c 2 SAT : 57261 SAT variables, 962057 SAT clauses, 20357371 bytes
2.92/3.01 c 2 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.92/3.05 c 3 SOLVING HOME/temp.cnf
2.92/3.05 c 3 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
551.72/557.00 c 556 DECODING HOME/temp.out WITH HOME/temp.map
551.72/557.00 c 556 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
551.72/557.09 c 557 Decoding HOME/temp.out
551.73/557.13 s UNSATISFIABLE
551.73/557.14 c 557 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
551.73/557.18 c 557 CPU 551.86 (0.05 0.02 546.87 4.92)
551.73/557.18 c 557 END Sun Jul 12 10:23:42 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087636-1247386464/watcher-2087636-1247386464 -o /tmp/evaluation-result-2087636-1247386464/solver-2087636-1247386464 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2087636-1247386464.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28274
/proc/meminfo: memFree=1732296/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=18576 CPUtime=0
/proc/28274/stat : 28274 (runsolver) R 28272 28274 26979 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 25712456 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28274/statm: 4644 284 249 26 0 2626 0
[startup+0.0644369 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28274
/proc/meminfo: memFree=1732296/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16212 CPUtime=0.04
/proc/28274/stat : 28274 (sugar) R 28272 28274 26979 0 -1 4194304 952 0 0 0 3 1 0 0 18 0 1 0 25712456 16601088 920 996147200 4194304 4206940 548682068608 18446744073709551615 254212824649 0 0 4224 0 0 0 0 17 1 0 0
/proc/28274/statm: 4053 920 380 3 0 632 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16212
[startup+0.10714 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28274
/proc/meminfo: memFree=1732296/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=0.06
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25712456 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301448 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28274
/proc/meminfo: memFree=1732296/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=0.06
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25712456 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701479 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28274
/proc/meminfo: memFree=1732296/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=0.06
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1245 128 0 0 5 1 0 0 15 0 1 0 25712456 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50254 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 28296
/proc/meminfo: memFree=1722352/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=0.67
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1310 4861 0 1 5 2 57 3 15 0 1 0 25712456 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1111 409 3 0 796 0
[pid=28287] ppid=28274 vsize=5356 CPUtime=0
/proc/28287/stat : 28287 (sh) S 28274 28274 26979 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25712527 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28287/statm: 1339 233 193 169 0 50 0
[pid=28288] ppid=28287 vsize=868580 CPUtime=0.77
/proc/28288/stat : 28288 (java) S 28287 28274 26979 0 -1 0 6585 0 1 0 71 6 0 0 18 0 9 0 25712528 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28288/statm: 217145 5741 2589 9 0 211622 0
[pid=28288/tid=28289] ppid=28287 vsize=868580 CPUtime=0.51
/proc/28288/task/28289/stat : 28289 (java) R 28287 28274 26979 0 -1 64 2796 0 1 0 48 3 0 0 19 0 9 0 25712528 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 102094033 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28288/tid=28290] ppid=28287 vsize=868580 CPUtime=0.06
/proc/28288/task/28290/stat : 28290 (java) S 28287 28274 26979 0 -1 64 1611 0 0 0 6 0 0 0 16 0 9 0 25712530 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28288/tid=28291] ppid=28287 vsize=868580 CPUtime=0
/proc/28288/task/28291/stat : 28291 (java) S 28287 28274 26979 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25712530 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28288/tid=28292] ppid=28287 vsize=868580 CPUtime=0
/proc/28288/task/28292/stat : 28292 (java) S 28287 28274 26979 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25712530 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28288/tid=28293] ppid=28287 vsize=868580 CPUtime=0
/proc/28288/task/28293/stat : 28293 (java) S 28287 28274 26979 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25712532 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28288/tid=28294] ppid=28287 vsize=868580 CPUtime=0.16
/proc/28288/task/28294/stat : 28294 (java) S 28287 28274 26979 0 -1 64 1478 0 0 0 16 0 0 0 16 0 9 0 25712532 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28288/tid=28295] ppid=28287 vsize=868580 CPUtime=0
/proc/28288/task/28295/stat : 28295 (java) S 28287 28274 26979 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25712532 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28288/tid=28296] ppid=28287 vsize=868580 CPUtime=0
/proc/28288/task/28296/stat : 28296 (java) S 28287 28274 26979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25712532 889425920 5741 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 890804
[startup+3.10265 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 28296
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 16868
[startup+6.30188 s]
/proc/loadavg: 2.08 2.02 2.01 3/76 28298
/proc/meminfo: memFree=1695472/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=18240 CPUtime=3.2
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 4129 0 0 0 144 176 0 0 25 0 1 0 25712762 18677760 4115 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 4560 4115 40 102 0 4455 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 40464
[startup+12.7014 s]
/proc/loadavg: 2.08 2.02 2.00 3/76 28298
/proc/meminfo: memFree=1670896/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=39296 CPUtime=9.54
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 9431 0 0 0 494 460 0 0 25 0 1 0 25712762 40239104 9417 996147200 134512640 134931368 4294956256 18446744073709551615 134525772 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 9824 9417 42 102 0 9719 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 61520
[startup+25.5013 s]
/proc/loadavg: 2.06 2.01 2.00 3/76 28298
/proc/meminfo: memFree=1669424/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=40748 CPUtime=22.22
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 9828 0 0 0 1762 460 0 0 25 0 1 0 25712762 41725952 9814 996147200 134512640 134931368 4294956256 18446744073709551615 134525855 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 10187 9814 42 102 0 10082 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 62972
[startup+51.1011 s]
/proc/loadavg: 2.04 2.01 2.00 3/76 28298
/proc/meminfo: memFree=1667632/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=42596 CPUtime=47.58
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 10312 0 0 0 4297 461 0 0 25 0 1 0 25712762 43618304 10298 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 10649 10298 42 102 0 10544 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 64820
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/76 28298
/proc/meminfo: memFree=1664944/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=44972 CPUtime=98.31
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 10938 0 0 0 9369 462 0 0 25 0 1 0 25712762 46051328 10924 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 11243 10924 42 102 0 11138 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 67196
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/76 28298
/proc/meminfo: memFree=1663088/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=46552 CPUtime=157.74
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 11451 0 0 0 15311 463 0 0 25 0 1 0 25712762 47669248 11337 996147200 134512640 134931368 4294956256 18446744073709551615 134525610 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 11638 11337 48 102 0 11533 0
Current children cumulated CPU time (s) 160.68
Current children cumulated vsize (KiB) 68776
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 28298
/proc/meminfo: memFree=1663088/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=46552 CPUtime=217.18
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 11451 0 0 0 21255 463 0 0 25 0 1 0 25712762 47669248 11337 996147200 134512640 134931368 4294956256 18446744073709551615 134525802 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 11638 11337 48 102 0 11533 0
Current children cumulated CPU time (s) 220.12
Current children cumulated vsize (KiB) 68776
################
# More data... #
################
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=47608 CPUtime=276.62
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 11700 0 0 0 27199 463 0 0 25 0 1 0 25712762 48750592 11586 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 11902 11586 48 102 0 11797 0
Current children cumulated CPU time (s) 279.56
Current children cumulated vsize (KiB) 69832
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1660592/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49192 CPUtime=336.07
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12118 0 0 0 33143 464 0 0 25 0 1 0 25712762 50372608 12004 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12298 12004 48 102 0 12193 0
Current children cumulated CPU time (s) 339.01
Current children cumulated vsize (KiB) 71416
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1660016/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=395.51
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 39087 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 398.45
Current children cumulated vsize (KiB) 72192
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1660016/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=454.95
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 45031 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 457.89
Current children cumulated vsize (KiB) 72192
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1660016/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=514.39
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 50975 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 72192
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1659952/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=529.45
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 52481 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 532.39
Current children cumulated vsize (KiB) 72192
[startup+550.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1659952/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=542.13
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 53749 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 545.07
Current children cumulated vsize (KiB) 72192
[startup+553.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1659952/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=545.3
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 54066 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 548.24
Current children cumulated vsize (KiB) 72192
[startup+555.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1659952/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=546.88
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 54224 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 549.82
Current children cumulated vsize (KiB) 72192
[startup+555.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1659952/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=547.68
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 54304 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 550.62
Current children cumulated vsize (KiB) 72192
[startup+556.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1659952/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=2.94
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1365 12230 0 2 5 2 264 23 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
[pid=28297] ppid=28274 vsize=5356 CPUtime=0
/proc/28297/stat : 28297 (sh) S 28274 28274 26979 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25712762 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28297/statm: 1339 232 193 169 0 50 0
[pid=28298] ppid=28297 vsize=49968 CPUtime=548.47
/proc/28298/stat : 28298 (picosat) R 28297 28274 26979 0 -1 4194304 12339 0 0 0 54383 464 0 0 25 0 1 0 25712762 51167232 12096 996147200 134512640 134931368 4294956256 18446744073709551615 134525800 0 0 4096 0 0 0 0 17 1 0 0
/proc/28298/statm: 12492 12096 48 102 0 12387 0
Current children cumulated CPU time (s) 551.41
Current children cumulated vsize (KiB) 72192
[startup+557.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 28298
/proc/meminfo: memFree=1659952/2055920 swapFree=4192812/4192956
[pid=28274] ppid=28272 vsize=16868 CPUtime=551.73
/proc/28274/stat : 28274 (sugar) S 28272 28274 26979 0 -1 4194304 1446 24856 0 2 5 2 54677 489 16 0 1 0 25712456 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28274/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 551.73
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 557.193
CPU time (s): 551.894
CPU user time (s): 546.938
CPU system time (s): 4.95625
CPU usage (%): 99.0491
Max. virtual memory (cumulated for all children) (KiB): 890804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 546.938
system time used= 4.95625
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30140
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= 6549
involuntary context switches= 17951
runsolver used 0.726889 second user time and 1.81772 second system time
The end
Begin job on node34 at 2009-07-12 10:14:24
IDJOB=2087636
IDBENCH=58754
IDSOLVER=738
FILE ID=node34/2087636-1247386464
PBS_JOBID= 9507197
Free space on /tmp= 66324 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/os-taillard-10/normalized-os-taillard-10-95-4.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087636-1247386464/watcher-2087636-1247386464 -o /tmp/evaluation-result-2087636-1247386464/solver-2087636-1247386464 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2087636-1247386464.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d78e185ada4143a8ec3ca4accce3134e
RANDOM SEED=1115984827
node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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: 1732776 kB
Buffers: 55588 kB
Cached: 182956 kB
SwapCached: 0 kB
Active: 169900 kB
Inactive: 91992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1732776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1416 kB
Writeback: 0 kB
Mapped: 34104 kB
Slab: 46748 kB
Committed_AS: 261836 kB
PageTables: 1748 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= 66320 MiB
End job on node34 at 2009-07-12 10:23:42