0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Wed Jul 23 04:01:11 2008
0.00/0.04 c 0 PID 8650
0.03/0.05 c 0 HOST node54.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1127956-1216778471.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127956-1216778471.xml' 'HOME/temp.csp'
0.33/1.14 c 2 1 domains, 62 variables, 0 predicates, 201 relations, 211 constraints
0.33/1.17 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.33/1.17 c 2 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.38/1.27 c 2 Parsing HOME/temp.csp
0.38/1.39 c 2 parsed 475 expressions
0.39/1.40 c 2 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.39/1.40 c 2 MAX CSP: 211 constraints
0.39/1.40 c 2 Converting to clausal form CSP
0.39/1.42 c 2 converted 69 (10%) expressions
0.39/1.43 c 2 converted 138 (20%) expressions
0.39/1.43 c 2 converted 207 (30%) expressions
0.39/1.44 c 2 converted 276 (40%) expressions
0.39/1.45 c 2 converted 345 (50%) expressions
0.39/1.46 c 2 converted 414 (60%) expressions
0.39/1.46 c 2 converted 483 (70%) expressions
0.39/1.47 c 2 converted 552 (80%) expressions
0.39/1.47 c 2 converted 621 (90%) expressions
0.39/1.61 c 2 converted 689 (100%) expressions
0.39/1.61 c 2 CSP : 484 integers, 0 booleans, 632 clauses, largest domain size 317
0.39/1.61 c 2 Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.39/1.61 c 2 Propagation in CSP
0.39/1.63 c 2 206 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.39/1.63 c 2 CSP : 484 integers, 0 booleans, 632 clauses, largest domain size 212
0.39/1.63 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.39/1.63 c 2 Simplifing CSP by introducing new Boolean variables
0.39/1.63 c 2 CSP : 484 integers, 0 booleans, 632 clauses, largest domain size 212
0.39/1.63 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.39/1.65 c 2 Encoding CSP to SAT : HOME/temp.cnf
0.39/1.66 c 2 49 (10%) CSP integer variables are encoded (147 clauses, 1519 bytes)
0.39/1.67 c 2 97 (20%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.39/1.67 c 2 146 (30%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.39/1.67 c 2 194 (40%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.39/1.67 c 2 242 (50%) CSP integer variables are encoded (186 clauses, 1948 bytes)
0.39/1.67 c 2 291 (60%) CSP integer variables are encoded (443 clauses, 4775 bytes)
0.39/1.67 c 2 339 (70%) CSP integer variables are encoded (692 clauses, 7566 bytes)
0.39/1.68 c 2 388 (80%) CSP integer variables are encoded (1030 clauses, 11960 bytes)
0.39/1.68 c 2 436 (90%) CSP integer variables are encoded (1274 clauses, 15132 bytes)
0.39/1.68 c 2 484 (100%) CSP integer variables are encoded (2890 clauses, 36140 bytes)
0.39/1.71 c 2 64 (10%) CSP clauses are encoded (3263 clauses, 41211 bytes)
0.39/1.72 c 2 127 (20%) CSP clauses are encoded (3623 clauses, 46412 bytes)
0.39/1.73 c 2 190 (30%) CSP clauses are encoded (3990 clauses, 52219 bytes)
0.39/1.74 c 2 253 (40%) CSP clauses are encoded (4491 clauses, 59277 bytes)
0.39/1.75 c 2 316 (50%) CSP clauses are encoded (7476 clauses, 103484 bytes)
0.39/1.76 c 2 380 (60%) CSP clauses are encoded (8520 clauses, 120697 bytes)
0.39/1.77 c 2 443 (70%) CSP clauses are encoded (16799 clauses, 264747 bytes)
0.39/1.78 c 2 506 (80%) CSP clauses are encoded (17928 clauses, 283759 bytes)
0.39/1.80 c 2 569 (90%) CSP clauses are encoded (27375 clauses, 445890 bytes)
0.39/1.86 c 2 632 (100%) CSP clauses are encoded (65057 clauses, 1133075 bytes)
0.39/1.86 c 2 632 CSP clauses encoded
0.39/1.86 c 2 Writing map file : HOME/temp.map
0.39/1.87 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.39/1.87 c 2 SAT : 3374 SAT variables, 65057 SAT clauses, 1133075 bytes
0.39/1.87 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.39/1.94 c 2 OBJECTIVE minimize _COST
0.39/1.94 c 2 OBJECTIVE BOUND: 0 <= _COST <=
0.39/1.94 c 2 SEARCHING: _COST <= 106
0.39/1.94 c 2 SOLVING HOME/temp.cnf
0.39/1.94 c 2 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
0.39/1.95 c 2 This is MiniSat 2.0 beta
0.39/1.95 c 2 WARNING: for repeatability, setting FPU to use double precision
0.39/1.95 c 2 ============================[ Problem Statistics ]=============================
0.39/1.95 c 2 | |
0.39/1.95 c 2 | Number of variables: 3374 |
0.39/1.95 c 2 | Number of clauses: 65058 |
0.39/1.98 c 2 | Parsing time: 0.03 s |
0.39/1.99 c 2 ============================[ Search Statistics ]==============================
0.39/1.99 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
0.39/1.99 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.39/1.99 c 2 ===============================================================================
0.39/1.99 c 2 | 0 | 2534 42503 121362 | 14167 0 nan | 0.000 % |
1.05/2.01 c 2 | 100 | 2531 42503 121362 | 15584 99 15 | 25.193 % |
1.05/2.02 c 2 | 250 | 2531 42503 121362 | 17142 249 12 | 25.195 % |
1.05/2.04 c 2 | 476 | 2531 42503 121362 | 18857 475 13 | 25.193 % |
1.05/2.07 c 2 | 814 | 2531 42503 121362 | 20742 813 12 | 25.193 % |
1.19/2.11 c 3 | 1321 | 2524 42308 120814 | 22817 1320 12 | 25.194 % |
1.19/2.18 c 3 | 2081 | 2524 42308 120814 | 25098 2080 11 | 25.193 % |
1.29/2.28 c 3 | 3222 | 2524 42308 120814 | 27608 3221 11 | 25.193 % |
1.48/2.45 c 3 | 4931 | 2512 42008 119957 | 30369 4929 16 | 25.549 % |
1.78/2.72 c 3 | 7496 | 2512 42008 119957 | 33406 7494 16 | 25.549 % |
2.28/3.23 c 4 | 11341 | 2512 42008 119957 | 36747 11339 17 | 25.549 % |
3.07/4.03 c 4 | 17108 | 2512 42008 119957 | 40422 17106 18 | 25.551 % |
4.66/5.61 c 6 | 25758 | 2512 42008 119957 | 44464 25756 19 | 25.549 % |
8.45/9.44 c 10 | 38732 | 2512 42008 119957 | 48910 38730 19 | 25.551 % |
14.42/15.45 c 16 | 58193 | 2512 42008 119957 | 53801 20425 21 | 25.551 % |
23.76/24.82 c 25 | 87385 | 2512 42008 119957 | 59181 49617 23 | 25.551 % |
40.09/41.21 c 42 | 131176 | 2512 42008 119957 | 65100 45300 24 | 25.548 % |
76.78/82.03 c 82 | 196861 | 2512 42008 119957 | 71610 59090 24 | 25.550 % |
123.94/129.49 c 130 | 295387 | 2512 42008 119957 | 78771 39874 23 | 25.551 % |
200.07/205.92 c 206 | 443177 | 2512 42008 119957 | 86648 57398 29 | 25.551 % |
326.76/333.29 c 334 | 664860 | 2512 42008 119957 | 95312 62786 23 | 25.548 % |
546.98/554.55 c 555 | 997386 | 2512 42008 119957 | 104844 75953 22 | 25.550 % |
888.82/898.05 c 898 | 1496174 | 2512 42008 119957 | 115328 34400 33 | 25.548 % |
1419.63/1431.46 c 1432 | 2244358 | 2512 42008 119957 | 126861 85054 32 | 25.551 % |
2356.77/2373.14 c 2374 | 3366633 | 2512 42008 119957 | 139547 94045 37 | 25.548 % |
3600.08/3622.51 c ERROR unknown output in HOME/temp.out
3600.08/3622.51 s UNKNOWN
3600.08/3622.51 c 3623 CPU 0.95 (0.04 0 0.91 0.1)
3600.08/3622.51 c 3623 END Wed Jul 23 05:01:34 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127956-1216778471/watcher-1127956-1216778471 -o /tmp/evaluation-result-1127956-1216778471/solver-1127956-1216778471 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1127956-1216778471.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.58 2.30 2.07 5/81 8650
/proc/meminfo: memFree=1410648/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=12268 CPUtime=0
/proc/8650/stat : 8650 (sugar) R 8648 8650 8419 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 4936410 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 234211736165 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/8650/statm: 3067 316 241 3 0 167 0
[startup+0.049829 s]
/proc/loadavg: 2.58 2.30 2.07 5/81 8650
/proc/meminfo: memFree=1410648/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=0.03
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 838 0 0 0 3 0 0 0 18 0 1 0 4936410 13926400 792 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101762 s]
/proc/loadavg: 2.58 2.30 2.07 5/81 8650
/proc/meminfo: memFree=1410648/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=0.03
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 4936410 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301786 s]
/proc/loadavg: 2.58 2.30 2.07 5/81 8650
/proc/meminfo: memFree=1410648/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=0.03
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 4936410 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701836 s]
/proc/loadavg: 2.58 2.30 2.07 5/81 8650
/proc/meminfo: memFree=1410648/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=0.03
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 4936410 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50193 s]
/proc/loadavg: 2.58 2.30 2.07 4/92 8662
/proc/meminfo: memFree=1402360/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=0.39
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 974 4540 0 1 4 0 31 4 15 0 1 0 4936410 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8650/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 13600
[startup+3.10214 s]
/proc/loadavg: 2.69 2.33 2.08 3/84 8674
/proc/meminfo: memFree=1403064/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 15 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=5280 CPUtime=1.13
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 1212 0 0 0 113 0 0 0 25 0 1 0 4936605 5406720 1198 996147200 134512640 135127466 4294956256 18446744073709551615 134530613 0 0 4096 3 0 0 0 17 0 0 0
/proc/8674/statm: 1320 1198 75 150 0 1167 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 24236
[startup+6.30156 s]
/proc/loadavg: 2.69 2.33 2.08 3/84 8674
/proc/meminfo: memFree=1400760/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=7468 CPUtime=4.32
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 1749 0 0 0 431 1 0 0 25 0 1 0 4936605 7647232 1735 996147200 134512640 135127466 4294956256 18446744073709551615 134531120 0 0 4096 3 0 0 0 17 0 0 0
/proc/8674/statm: 1867 1735 75 150 0 1714 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 26424
[startup+12.7024 s]
/proc/loadavg: 2.67 2.34 2.08 3/84 8674
/proc/meminfo: memFree=1398200/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=9720 CPUtime=10.68
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 2313 0 0 0 1066 2 0 0 25 0 1 0 4936605 9953280 2299 996147200 134512640 135127466 4294956256 18446744073709551615 134528349 0 0 4096 3 0 0 0 17 0 0 0
/proc/8674/statm: 2430 2299 75 150 0 2277 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 28676
[startup+25.502 s]
/proc/loadavg: 2.64 2.34 2.08 3/84 8674
/proc/meminfo: memFree=1396408/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=11576 CPUtime=23.41
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 2748 0 0 0 2339 2 0 0 25 0 1 0 4936605 11853824 2734 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8674/statm: 2894 2734 75 150 0 2741 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 30532
[startup+51.1012 s]
/proc/loadavg: 2.76 2.39 2.11 4/98 8692
/proc/meminfo: memFree=1387160/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=13884 CPUtime=48.86
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 3316 0 0 0 4883 3 0 0 25 0 1 0 4936605 14217216 3302 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8674/statm: 3471 3302 75 150 0 3318 0
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (KiB) 32840
[startup+102.307 s]
/proc/loadavg: 2.95 2.52 2.17 4/84 9170
/proc/meminfo: memFree=1391288/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=15996 CPUtime=95.93
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 3826 0 0 0 9589 4 0 0 25 0 1 0 4936605 16379904 3812 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 3999 3812 75 150 0 3846 0
Current children cumulated CPU time (s) 96.98
Current children cumulated vsize (KiB) 34952
[startup+162.301 s]
/proc/loadavg: 2.71 2.53 2.19 3/84 9170
/proc/meminfo: memFree=1389048/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=18280 CPUtime=155.64
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 4376 0 0 0 15559 5 0 0 25 0 1 0 4936605 18718720 4362 996147200 134512640 135127466 4294956256 18446744073709551615 134530759 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 4570 4362 75 150 0 4417 0
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (KiB) 37236
[startup+222.302 s]
/proc/loadavg: 2.63 2.54 2.21 3/84 9170
/proc/meminfo: memFree=1386424/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=20948 CPUtime=215.35
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 5047 0 0 0 21529 6 0 0 25 0 1 0 4936605 21450752 5033 996147200 134512640 135127466 4294956256 18446744073709551615 134530654 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 5237 5033 75 150 0 5084 0
Current children cumulated CPU time (s) 216.4
Current children cumulated vsize (KiB) 39904
[startup+282.302 s]
/proc/loadavg: 2.67 2.56 2.24 4/84 9170
/proc/meminfo: memFree=1385784/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=21784 CPUtime=275.06
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 5216 0 0 0 27500 6 0 0 25 0 1 0 4936605 22306816 5202 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 5446 5202 75 150 0 5293 0
Current children cumulated CPU time (s) 276.11
Current children cumulated vsize (KiB) 40740
################
# More data... #
################
/proc/meminfo: memFree=1351736/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=56184 CPUtime=3141.09
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13237 0 0 0 314094 15 0 0 25 0 1 0 4936605 57532416 13223 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14046 13223 75 150 0 13893 0
Current children cumulated CPU time (s) 3142.14
Current children cumulated vsize (KiB) 75140
[startup+3222.3 s]
/proc/loadavg: 2.79 2.80 2.68 5/84 9172
/proc/meminfo: memFree=1351608/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=56184 CPUtime=3200.79
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13262 0 0 0 320064 15 0 0 25 0 1 0 4936605 57532416 13248 996147200 134512640 135127466 4294956256 18446744073709551615 134531083 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14046 13248 75 150 0 13893 0
Current children cumulated CPU time (s) 3201.84
Current children cumulated vsize (KiB) 75140
[startup+3282.3 s]
/proc/loadavg: 2.86 2.81 2.69 4/84 9172
/proc/meminfo: memFree=1351544/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=56184 CPUtime=3260.51
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13263 0 0 0 326036 15 0 0 25 0 1 0 4936605 57532416 13249 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14046 13249 75 150 0 13893 0
Current children cumulated CPU time (s) 3261.56
Current children cumulated vsize (KiB) 75140
[startup+3342.3 s]
/proc/loadavg: 2.87 2.82 2.70 4/84 9172
/proc/meminfo: memFree=1351224/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=56480 CPUtime=3320.21
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13334 0 0 0 332006 15 0 0 25 0 1 0 4936605 57835520 13320 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14120 13320 75 150 0 13967 0
Current children cumulated CPU time (s) 3321.26
Current children cumulated vsize (KiB) 75436
[startup+3402.31 s]
/proc/loadavg: 2.65 2.76 2.68 4/84 9172
/proc/meminfo: memFree=1351032/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=56700 CPUtime=3379.92
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13371 0 0 0 337977 15 0 0 25 0 1 0 4936605 58060800 13357 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14175 13357 75 150 0 14022 0
Current children cumulated CPU time (s) 3380.97
Current children cumulated vsize (KiB) 75656
[startup+3462.3 s]
/proc/loadavg: 2.57 2.72 2.68 4/84 9172
/proc/meminfo: memFree=1350584/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=57020 CPUtime=3439.63
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13449 0 0 0 343948 15 0 0 25 0 1 0 4936605 58388480 13435 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14255 13435 75 150 0 14102 0
Current children cumulated CPU time (s) 3440.68
Current children cumulated vsize (KiB) 75976
[startup+3522.3 s]
/proc/loadavg: 2.64 2.71 2.67 5/84 9172
/proc/meminfo: memFree=1350520/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=57268 CPUtime=3499.33
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13494 0 0 0 349918 15 0 0 25 0 1 0 4936605 58642432 13480 996147200 134512640 135127466 4294956256 18446744073709551615 134530775 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14317 13480 75 150 0 14164 0
Current children cumulated CPU time (s) 3500.38
Current children cumulated vsize (KiB) 76224
[startup+3582.3 s]
/proc/loadavg: 2.47 2.65 2.65 4/84 9172
/proc/meminfo: memFree=1350264/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=57440 CPUtime=3559.04
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13550 0 0 0 355889 15 0 0 25 0 1 0 4936605 58818560 13528 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14360 13528 75 150 0 14207 0
Current children cumulated CPU time (s) 3560.09
Current children cumulated vsize (KiB) 76396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3622.5 s]
/proc/loadavg: 2.66 2.68 2.66 3/84 9178
/proc/meminfo: memFree=1350008/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=57572 CPUtime=3599.03
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13551 0 0 0 359888 15 0 0 25 0 1 0 4936605 58953728 13529 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14393 13529 75 150 0 14240 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 76528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3622.5 s]
/proc/loadavg: 2.66 2.68 2.66 3/84 9178
/proc/meminfo: memFree=1350008/2055920 swapFree=4192956/4192956
[pid=8650] ppid=8648 vsize=13600 CPUtime=1.05
/proc/8650/stat : 8650 (sugar) S 8648 8650 8419 0 -1 4194304 1060 11120 0 2 4 0 91 10 16 0 1 0 4936410 13926400 808 996147200 4194304 4206940 548682068592 18446744073709551615 234220466274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8650/statm: 3400 808 374 3 0 500 0
[pid=8673] ppid=8650 vsize=5356 CPUtime=0
/proc/8673/stat : 8673 (sh) S 8650 8650 8419 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4936604 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8673/statm: 1339 232 193 169 0 50 0
[pid=8674] ppid=8673 vsize=57572 CPUtime=3599.03
/proc/8674/stat : 8674 (minisat) R 8673 8650 8419 0 -1 4194304 13551 0 0 0 359888 15 0 0 25 0 1 0 4936605 58953728 13529 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/8674/statm: 14393 13529 75 150 0 14240 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 76528
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8650 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=964853
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=113982
# CPU time returned by wait4() is 1.07884
# while last known CPU time is 3600.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3622.52
CPU time (s): 3600.08
CPU user time (s): 3599.83
CPU system time (s): 0.25
CPU usage (%): 99.3806
Max. virtual memory (cumulated for all children) (KiB): 884568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.964853
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12526
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= 1729
involuntary context switches= 4796
runsolver used 4.35434 second user time and 12.1352 second system time
The end
Begin job on node54 at 2008-07-23 04:01:11
IDJOB=1127956
IDBENCH=64420
IDSOLVER=368
FILE ID=node54/1127956-1216778471
PBS_JOBID= 7974202
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-90/normalized-kbtree-5-2-4-5-90-34_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127956-1216778471/watcher-1127956-1216778471 -o /tmp/evaluation-result-1127956-1216778471/solver-1127956-1216778471 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1127956-1216778471.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d2a951bf42d330f22fe013b0c8baa403
RANDOM SEED=1733248335
node54.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.220
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 : 8388.60
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.220
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: 1411128 kB
Buffers: 37260 kB
Cached: 448124 kB
SwapCached: 0 kB
Active: 360532 kB
Inactive: 215412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1411128 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1408 kB
Writeback: 0 kB
Mapped: 110900 kB
Slab: 54176 kB
Committed_AS: 907068 kB
PageTables: 1892 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node54 at 2008-07-23 05:01:34