0.00/0.07 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.07 c 0 BEGIN Sun Jul 12 08:38:58 2009
0.00/0.07 c 0 PID 26092
0.00/0.08 c 0 HOST node87.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2084985-1247380738.xml TO HOME/temp.csp
0.00/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-2084985-1247380738.xml' 'HOME/temp.csp'
0.06/0.80 c 1 1 domains, 450 variables, 1 predicates, 0 relations, 8260 constraints
0.06/0.86 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.86 c 1 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.78/0.94 c 1 Parsing HOME/temp.csp
0.78/1.07 c 1 parsed 8712 expressions
0.78/1.08 c 1 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.78/1.08 c 1 Converting to clausal form CSP
1.11/1.28 c 2 converted 872 (10%) expressions
1.21/1.33 c 2 converted 1743 (20%) expressions
1.21/1.36 c 2 converted 2614 (30%) expressions
1.30/1.44 c 2 converted 3485 (40%) expressions
1.30/1.47 c 2 converted 4356 (50%) expressions
1.30/1.49 c 2 converted 5228 (60%) expressions
1.40/1.53 c 2 converted 6099 (70%) expressions
1.40/1.56 c 2 converted 6970 (80%) expressions
1.50/1.63 c 2 converted 7841 (90%) expressions
1.50/1.66 c 2 converted 8712 (100%) expressions
1.50/1.66 c 2 CSP : 450 integers, 0 booleans, 8260 clauses, largest domain size 15
1.50/1.66 c 2 Heap : 8 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.50/1.66 c 2 Propagation in CSP
1.60/1.71 c 2 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.60/1.71 c 2 CSP : 450 integers, 0 booleans, 8260 clauses, largest domain size 15
1.60/1.71 c 2 Heap : 8 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.60/1.72 c 2 Simplifing CSP by introducing new Boolean variables
1.70/1.88 c 2 CSP : 450 integers, 16520 booleans, 24780 clauses, largest domain size 15
1.70/1.88 c 2 Heap : 13 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.79/1.97 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.79/2.00 c 2 45 (10%) CSP integer variables are encoded (585 clauses, 6299 bytes)
1.89/2.00 c 2 90 (20%) CSP integer variables are encoded (1170 clauses, 13219 bytes)
1.89/2.00 c 2 135 (30%) CSP integer variables are encoded (1755 clauses, 20824 bytes)
1.89/2.00 c 2 180 (40%) CSP integer variables are encoded (2340 clauses, 28429 bytes)
1.89/2.01 c 2 225 (50%) CSP integer variables are encoded (2925 clauses, 36034 bytes)
1.89/2.01 c 2 270 (60%) CSP integer variables are encoded (3510 clauses, 43639 bytes)
1.89/2.01 c 2 315 (70%) CSP integer variables are encoded (4095 clauses, 51244 bytes)
1.89/2.01 c 2 360 (80%) CSP integer variables are encoded (4680 clauses, 58849 bytes)
1.89/2.01 c 2 405 (90%) CSP integer variables are encoded (5265 clauses, 66454 bytes)
1.89/2.01 c 2 450 (100%) CSP integer variables are encoded (5850 clauses, 74059 bytes)
1.99/2.12 c 2 2478 (10%) CSP clauses are encoded (31456 clauses, 504623 bytes)
1.99/2.17 c 2 4956 (20%) CSP clauses are encoded (57062 clauses, 942571 bytes)
2.09/2.22 c 3 7434 (30%) CSP clauses are encoded (82668 clauses, 1411797 bytes)
2.09/2.28 c 3 9912 (40%) CSP clauses are encoded (108274 clauses, 1900789 bytes)
2.20/2.33 c 3 12390 (50%) CSP clauses are encoded (133880 clauses, 2389781 bytes)
2.20/2.39 c 3 14868 (60%) CSP clauses are encoded (159486 clauses, 2878773 bytes)
2.29/2.44 c 3 17346 (70%) CSP clauses are encoded (185092 clauses, 3367765 bytes)
2.29/2.50 c 3 19824 (80%) CSP clauses are encoded (210698 clauses, 3856757 bytes)
2.39/2.55 c 3 22302 (90%) CSP clauses are encoded (236304 clauses, 4345749 bytes)
2.49/2.61 c 3 24780 (100%) CSP clauses are encoded (261910 clauses, 4834741 bytes)
2.49/2.61 c 3 24780 CSP clauses encoded
2.49/2.61 c 3 Writing map file : HOME/temp.map
2.49/2.63 c 3 Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
2.49/2.63 c 3 SAT : 22820 SAT variables, 261910 SAT clauses, 4834741 bytes
2.49/2.63 c 3 Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
2.49/2.65 c 3 SOLVING HOME/temp.cnf
2.49/2.65 c 3 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.09/1808.31 sh: line 1: 26116 Terminated HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.09/1808.31 c 1809 DECODING HOME/temp.out WITH HOME/temp.map
1800.09/1808.31 c 1809 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'
1800.09/1808.32 c ERROR INTERRUPTED
1800.09/1808.32 s UNKNOWN
1800.09/1808.32 c 1809 CPU 1800.12 (0.06 0.01 1798.63 1.42)
1800.09/1808.32 c 1809 END Sun Jul 12 09:09:07 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2084985-1247380738/watcher-2084985-1247380738 -o /tmp/evaluation-result-2084985-1247380738/solver-2084985-1247380738 -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-2084985-1247380738.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: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=7504 CPUtime=0
/proc/26092/stat : 26092 (sugar) R 26090 26092 26055 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 25138656 7684096 51 996147200 4194304 4206940 548682068608 18446744073709551615 254611092873 0 0 4096 0 0 0 0 17 1 0 0
/proc/26092/statm: 1876 51 38 3 0 55 0
[startup+0.102687 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.201693 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301702 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701748 s]
/proc/loadavg: 1.85 2.00 2.06 4/85 26092
/proc/meminfo: memFree=630960/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.06
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50284 s]
/proc/loadavg: 1.85 2.00 2.06 3/96 26114
/proc/meminfo: memFree=619544/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=0.78
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1309 8624 0 1 5 1 67 5 16 0 1 0 25138656 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1111 409 3 0 796 0
[pid=26105] ppid=26092 vsize=5356 CPUtime=0
/proc/26105/stat : 26105 (sh) S 26092 26092 26055 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25138742 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26105/statm: 1339 233 193 169 0 50 0
[pid=26106] ppid=26105 vsize=868560 CPUtime=0.62
/proc/26106/stat : 26106 (java) S 26105 26092 26055 0 -1 0 7509 0 1 0 58 4 0 0 18 0 9 0 25138742 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26106/statm: 217140 6737 2566 9 0 211645 0
[pid=26106/tid=26107] ppid=26105 vsize=868560 CPUtime=0.36
/proc/26106/task/26107/stat : 26107 (java) R 26105 26092 26055 0 -1 64 2673 0 1 0 34 2 0 0 19 0 9 0 25138743 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4126545107 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26108] ppid=26105 vsize=868560 CPUtime=0.1
/proc/26106/task/26108/stat : 26108 (java) S 26105 26092 26055 0 -1 64 2671 0 0 0 9 1 0 0 16 0 9 0 25138744 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26109] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26109/stat : 26109 (java) S 26105 26092 26055 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25138745 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26110] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26110/stat : 26110 (java) S 26105 26092 26055 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25138745 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26111] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26111/stat : 26111 (java) S 26105 26092 26055 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26112] ppid=26105 vsize=868560 CPUtime=0.13
/proc/26106/task/26112/stat : 26112 (java) S 26105 26092 26055 0 -1 64 1466 0 0 0 13 0 0 0 16 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26113] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26113/stat : 26113 (java) S 26105 26092 26055 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26106/tid=26114] ppid=26105 vsize=868560 CPUtime=0
/proc/26106/task/26114/stat : 26114 (java) S 26105 26092 26055 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25138747 889405440 6737 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890784
[startup+3.10302 s]
/proc/loadavg: 1.94 2.02 2.07 3/96 26114
/proc/meminfo: memFree=601240/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 16868
[startup+6.30138 s]
/proc/loadavg: 1.94 2.02 2.07 3/88 26116
/proc/meminfo: memFree=611544/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=12520 CPUtime=3.63
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 2882 0 0 0 249 114 0 0 25 0 1 0 25138921 12820480 2865 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 3130 2865 42 102 0 3025 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 34744
[startup+12.7011 s]
/proc/loadavg: 1.95 2.02 2.07 3/88 26116
/proc/meminfo: memFree=608536/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=16184 CPUtime=9.99
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 3573 0 0 0 885 114 0 0 25 0 1 0 25138921 16572416 3556 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4046 3556 42 102 0 3941 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 38408
[startup+25.5015 s]
/proc/loadavg: 1.95 2.02 2.07 3/88 26116
/proc/meminfo: memFree=607576/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=16716 CPUtime=22.73
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 3853 0 0 0 2159 114 0 0 25 0 1 0 25138921 17117184 3718 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4179 3718 48 102 0 4074 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 38940
[startup+51.1014 s]
/proc/loadavg: 1.97 2.02 2.06 3/88 26116
/proc/meminfo: memFree=606680/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=17904 CPUtime=48.19
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 4253 0 0 0 4704 115 0 0 25 0 1 0 25138921 18333696 3999 996147200 134512640 134931368 4294956256 18446744073709551615 134525741 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4476 3999 48 102 0 4371 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 40128
[startup+102.301 s]
/proc/loadavg: 1.99 2.01 2.06 3/88 26116
/proc/meminfo: memFree=580440/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=18952 CPUtime=99.15
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 4675 0 0 0 9799 116 0 0 25 0 1 0 25138921 19406848 4219 996147200 134512640 134931368 4294956256 18446744073709551615 134525794 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4738 4219 48 102 0 4633 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 41176
[startup+162.302 s]
/proc/loadavg: 1.99 2.01 2.05 3/88 26116
/proc/meminfo: memFree=580120/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=19084 CPUtime=158.86
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 4895 0 0 0 15770 116 0 0 25 0 1 0 25138921 19542016 4287 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4771 4287 48 102 0 4666 0
Current children cumulated CPU time (s) 161.4
Current children cumulated vsize (KiB) 41308
[startup+222.306 s]
/proc/loadavg: 1.99 2.00 2.05 3/88 26116
/proc/meminfo: memFree=579288/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=19876 CPUtime=218.58
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 5264 0 0 0 21741 117 0 0 25 0 1 0 25138921 20353024 4488 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/26116/statm: 4969 4488 48 102 0 4864 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 42100
################
# More data... #
################
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=25796 CPUtime=1233.86
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 8660 0 0 0 123266 120 0 0 25 0 1 0 25138921 26415104 5975 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6449 5975 48 102 0 6344 0
Current children cumulated CPU time (s) 1236.4
Current children cumulated vsize (KiB) 48020
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26190
/proc/meminfo: memFree=1032568/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=25796 CPUtime=1293.62
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 8660 0 0 0 129242 120 0 0 25 0 1 0 25138921 26415104 5975 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6449 5975 48 102 0 6344 0
Current children cumulated CPU time (s) 1296.16
Current children cumulated vsize (KiB) 48020
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1031416/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=26852 CPUtime=1353.36
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9096 0 0 0 135215 121 0 0 25 0 1 0 25138921 27496448 6250 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6713 6250 48 102 0 6608 0
Current children cumulated CPU time (s) 1355.9
Current children cumulated vsize (KiB) 49076
[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1031352/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=26852 CPUtime=1413.12
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9096 0 0 0 141191 121 0 0 25 0 1 0 25138921 27496448 6250 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6713 6250 48 102 0 6608 0
Current children cumulated CPU time (s) 1415.66
Current children cumulated vsize (KiB) 49076
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1031224/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=27116 CPUtime=1472.87
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9178 0 0 0 147165 122 0 0 25 0 1 0 25138921 27766784 6332 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6779 6332 48 102 0 6674 0
Current children cumulated CPU time (s) 1475.41
Current children cumulated vsize (KiB) 49340
[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030584/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=27644 CPUtime=1532.63
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9476 0 0 0 153141 122 0 0 25 0 1 0 25138921 28307456 6463 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6911 6463 48 102 0 6806 0
Current children cumulated CPU time (s) 1535.17
Current children cumulated vsize (KiB) 49868
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030520/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=27644 CPUtime=1592.38
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9476 0 0 0 159116 122 0 0 25 0 1 0 25138921 28307456 6463 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 6911 6463 48 102 0 6806 0
Current children cumulated CPU time (s) 1594.92
Current children cumulated vsize (KiB) 49868
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030072/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28040 CPUtime=1652.14
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9769 0 0 0 165091 123 0 0 25 0 1 0 25138921 28712960 6579 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7010 6579 48 102 0 6905 0
Current children cumulated CPU time (s) 1654.68
Current children cumulated vsize (KiB) 50264
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030072/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28040 CPUtime=1711.9
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9769 0 0 0 171067 123 0 0 25 0 1 0 25138921 28712960 6579 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7010 6579 48 102 0 6905 0
Current children cumulated CPU time (s) 1714.44
Current children cumulated vsize (KiB) 50264
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1030008/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28040 CPUtime=1771.65
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 9769 0 0 0 177042 123 0 0 25 0 1 0 25138921 28712960 6579 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7010 6579 48 102 0 6905 0
Current children cumulated CPU time (s) 1774.19
Current children cumulated vsize (KiB) 50264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/76 26196
/proc/meminfo: memFree=1029752/2055920 swapFree=4192948/4192956
[pid=26092] ppid=26090 vsize=16868 CPUtime=2.54
/proc/26092/stat : 26092 (sugar) S 26090 26092 26055 0 -1 4194304 1365 18702 0 2 6 1 230 17 16 0 1 0 25138656 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26092/statm: 4217 1113 409 3 0 796 0
[pid=26115] ppid=26092 vsize=5356 CPUtime=0
/proc/26115/stat : 26115 (sh) S 26092 26092 26055 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25138921 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26115/statm: 1339 232 193 169 0 50 0
[pid=26116] ppid=26115 vsize=28304 CPUtime=1797.55
/proc/26116/stat : 26116 (picosat) R 26115 26092 26055 0 -1 4194304 10019 0 0 0 179632 123 0 0 25 0 1 0 25138921 28983296 6651 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26116/statm: 7076 6651 48 102 0 6971 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 50528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1808.32
CPU time (s): 1800.14
CPU user time (s): 1798.69
CPU system time (s): 1.44578
CPU usage (%): 99.5472
Max. virtual memory (cumulated for all children) (KiB): 891004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.44578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30868
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= 3117
involuntary context switches= 38622
runsolver used 2.25266 second user time and 5.00524 second system time
The end
Begin job on node87 at 2009-07-12 08:38:58
IDJOB=2084985
IDBENCH=58263
IDSOLVER=738
FILE ID=node87/2084985-1247380738
PBS_JOBID= 9507260
Free space on /tmp= 66292 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/graphColoring/leighton/leighton-25/normalized-lei450-25a-15.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-2084985-1247380738/watcher-2084985-1247380738 -o /tmp/evaluation-result-2084985-1247380738/solver-2084985-1247380738 -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-2084985-1247380738.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 36f7bb4525a596900e07fbeb72405348
RANDOM SEED=1537491337
node87.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.236
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.236
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 631440 kB
Buffers: 95504 kB
Cached: 792228 kB
SwapCached: 8 kB
Active: 632652 kB
Inactive: 706488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 631440 kB
SwapTotal: 4192956 kB
SwapFree: 4192948 kB
Dirty: 2464 kB
Writeback: 0 kB
Mapped: 465816 kB
Slab: 69644 kB
Committed_AS: 906584 kB
PageTables: 2724 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= 66292 MiB
End job on node87 at 2009-07-12 09:09:09