0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sat Jul 11 19:35:48 2009
0.00/0.08 c 0 PID 14661
0.00/0.08 c 0 HOST node52.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2064041-1247333747.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-2064041-1247333747.xml' 'HOME/temp.csp'
1.65/1.75 c 1 25 domains, 700 variables, 1 predicates, 0 relations, 21437 constraints
1.71/1.81 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.71/1.81 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'
1.71/1.89 c 2 Parsing HOME/temp.csp
1.73/2.06 c 2 parsed 10000 expressions
2.10/2.21 c 2 parsed 20000 expressions
2.20/2.31 c 2 parsed 22163 expressions
2.20/2.32 c 2 Heap : 8 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.20/2.32 c 2 Converting to clausal form CSP
2.49/2.66 c 2 converted 2217 (10%) expressions
2.80/2.92 c 3 converted 4433 (20%) expressions
2.89/3.09 c 3 converted 6649 (30%) expressions
3.09/3.26 c 3 converted 8866 (40%) expressions
3.28/3.44 c 3 converted 11082 (50%) expressions
3.58/3.77 c 3 converted 13298 (60%) expressions
3.78/3.93 c 4 converted 15515 (70%) expressions
3.98/4.10 c 4 converted 17731 (80%) expressions
4.08/4.28 c 4 converted 19947 (90%) expressions
6.45/6.69 c 6 converted 22163 (100%) expressions
6.45/6.69 c 6 CSP : 700 integers, 0 booleans, 65633 clauses, largest domain size 45
6.45/6.69 c 6 Heap : 69 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
6.45/6.69 c 6 Propagation in CSP
6.95/7.12 c 7 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.95/7.12 c 7 CSP : 700 integers, 0 booleans, 65633 clauses, largest domain size 45
6.95/7.12 c 7 Heap : 72 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
6.95/7.15 c 7 Simplifing CSP by introducing new Boolean variables
8.63/8.87 c 8 CSP : 700 integers, 162557 booleans, 228190 clauses, largest domain size 45
8.63/8.87 c 8 Heap : 117 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
9.42/9.67 c 9 Encoding CSP to SAT : HOME/temp.cnf
9.52/9.72 c 9 70 (10%) CSP integer variables are encoded (3010 clauses, 37031 bytes)
9.52/9.73 c 9 140 (20%) CSP integer variables are encoded (6020 clauses, 76161 bytes)
9.52/9.73 c 9 210 (30%) CSP integer variables are encoded (9030 clauses, 115291 bytes)
9.52/9.73 c 9 280 (40%) CSP integer variables are encoded (12040 clauses, 158958 bytes)
9.52/9.74 c 9 350 (50%) CSP integer variables are encoded (15050 clauses, 204108 bytes)
9.52/9.74 c 9 420 (60%) CSP integer variables are encoded (15076 clauses, 204498 bytes)
9.52/9.74 c 9 490 (70%) CSP integer variables are encoded (15110 clauses, 205008 bytes)
9.52/9.74 c 9 560 (80%) CSP integer variables are encoded (15159 clauses, 205743 bytes)
9.52/9.75 c 9 630 (90%) CSP integer variables are encoded (15209 clauses, 206493 bytes)
9.52/9.76 c 9 700 (100%) CSP integer variables are encoded (15272 clauses, 207438 bytes)
10.61/10.84 c 10 22819 (10%) CSP clauses are encoded (491840 clauses, 9512525 bytes)
11.60/11.81 c 11 45638 (20%) CSP clauses are encoded (961055 clauses, 18947401 bytes)
12.50/12.79 c 12 68457 (30%) CSP clauses are encoded (1434584 clauses, 28522848 bytes)
13.48/13.78 c 13 91276 (40%) CSP clauses are encoded (1905435 clauses, 38293957 bytes)
14.76/15.04 c 15 114095 (50%) CSP clauses are encoded (2547483 clauses, 51523658 bytes)
16.14/16.40 c 16 136914 (60%) CSP clauses are encoded (3236374 clauses, 66155586 bytes)
17.43/17.74 c 17 159733 (70%) CSP clauses are encoded (3925441 clauses, 80778781 bytes)
18.80/19.10 c 19 182552 (80%) CSP clauses are encoded (4614772 clauses, 95435461 bytes)
20.08/20.46 c 20 205371 (90%) CSP clauses are encoded (5304103 clauses, 110147279 bytes)
21.46/21.82 c 21 228190 (100%) CSP clauses are encoded (5993698 clauses, 124915161 bytes)
21.46/21.82 c 21 228190 CSP clauses encoded
21.46/21.82 c 21 Writing map file : HOME/temp.map
21.46/21.85 c 21 Heap : 92 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
21.46/21.85 c 21 SAT : 178374 SAT variables, 5993698 SAT clauses, 124915161 bytes
21.46/21.85 c 21 Heap : 92 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
21.53/21.91 c 22 SOLVING HOME/temp.cnf
21.53/21.91 c 22 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
79.72/80.64 c 80 DECODING HOME/temp.out WITH HOME/temp.map
79.72/80.64 c 80 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'
79.76/80.72 c 80 Decoding HOME/temp.out
79.76/81.04 s SATISFIABLE
79.76/81.07 v 7 32 42 0 42 5 38 0 38 31 25 15 2 26 1 12 37 4 10 10 6 1 40 1 26 20 7 15 34 2 3 42 0 6 28 0 21 13 1 4 31 17 29 42 5 2 22 10 6 1 8 6 0 38 1 3 2 36 11 9 17 13 18 29 19 0 3 3 11 3 9 7 41 15 2 8 23 1 39 37 4 40 5 14 2 14 3 23 7 20 19 40 42 16 4 34 2 4 5 5 14 18 16 39 17 40 15 23 8 24 1 33 7 5 3 17 34 12 8 20 6 6 18 6 12 8 19 16 27 7 8 19 25 26 0 10 9 29 13 10 21 37 10 4 10 28 25 22 13 11 28 22 5 5 3 20 15 42 24 2 41 16 11 35 24 10 12 8 23 14 27 11 24 11 16 24 9 25 3 23 15 28 12 12 26 7 13 25 14 16 31 0 5 18 8 16 28 32 17 18 22 29 4 21 29 35 30 12 13 15 13 31 11 15 23 10 43 24 4 0 31 22 41 18 19 27 33 7 35 17 12 28 30 19 29 8 43 19 14 9 27 30 21 18 44 16 20 27 29 21 24 22 23 22 38 30 31 31 36 26 2 32 18 35 33 22 11 9 27 30 31 20 3 17 43 32 34 19 9 33 41 34 25 32 33 34 22 35 21 40 35 36 17 12 38 23 6 32 24 44 9 37 42 26 20 39 39 21 38 30 37 6 33 25 39 37 11 39 37 36 43 27 31 38 38 43 37 39 30 40 40 41 36 44 33 42 34 26 41 44 15 36 14 43 44 44 43 32 41 44 2 1 3 9 0 6 1 4 9 5 8 7 1 5 9 1 0 2 1 5 6 6 2 8 2 5 9 9 0 6 3 7 8 4 5 5 4 8 0 1 0 8 2 1 5 5 1 2 9 2 0 5 7 0 1 4 9 8 7 5 5 1 0 6 5 0 2 6 1 1 9 5 4 1 8 7 1 5 0 2 0 1 2 9 0 7 9 5 8 7 7 0 9 3 4 5 7 9 4 9 1 6 9 9 0 8 5 0 4 8 7 2 0 0 5 6 7 3 3 1 2 8 7 0 7 9 0 5 1 4 1 4 0 0 1 7 8 1 9 8 1 1 6 6 0 8 9 0 6 2 0 5 1 7 8 8 6 5 4 3 0 4 5 0 7 3 2 6 7 0 6 0 0 9 8 1 7 5 0 9 2 1 9 8 9 7 2 1 2 0 4 2 8 2 8 6 4 5 9 9 7 0 8 0 9 9 0 6 0 4 7 6 8 8 3 9 2 9 7 3 3 2 8 5 3 4 4 1 2 1 5 9 8 1 8 2 0 9 4 1 0 9 9 8 9 7 2 8 7 7 2 6 6 9 8 1 9 8 1 6 4 9 1 1 1 4 6 0 2 4 1 0 7 3 1 0 9 8 2 7 7 3 6 4 0 1 3 4 8 7 8 9 4 0 4 8 3 2 3 8 6 7 4 3 9 8 1 5 2 3 8 7 5 4 5 4 4 4 5 5 5 9 2 6 7 9 9 2 7 5 9 9 0 0 8 2 2 1 6 2 0 6 3 8 7 4 3 7 1 6
79.76/81.08 c 81 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
79.76/81.13 c 81 CPU 80.19 (0.06 0.02 49.72 30.39)
79.76/81.13 c 81 END Sat Jul 11 19:37:09 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2064041-1247333747/watcher-2064041-1247333747 -o /tmp/evaluation-result-2064041-1247333747/solver-2064041-1247333747 -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-2064041-1247333747.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.07 2.00 4/73 14661
/proc/meminfo: memFree=1890776/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=18576 CPUtime=0
/proc/14661/stat : 14661 (runsolver) R 14659 14661 12540 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 20438225 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 273653755175 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14661/statm: 4644 284 249 26 0 2626 0
[startup+0.084004 s]
/proc/loadavg: 2.00 2.07 2.00 4/73 14661
/proc/meminfo: memFree=1890776/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=0.06
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1209 128 0 0 5 1 0 0 18 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.101369 s]
/proc/loadavg: 2.00 2.07 2.00 4/73 14661
/proc/meminfo: memFree=1890776/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=0.06
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301371 s]
/proc/loadavg: 2.00 2.07 2.00 4/73 14661
/proc/meminfo: memFree=1890776/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=0.06
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.70141 s]
/proc/loadavg: 2.00 2.07 2.00 4/73 14661
/proc/meminfo: memFree=1890776/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=0.06
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50246 s]
/proc/loadavg: 2.00 2.07 2.00 3/84 14673
/proc/meminfo: memFree=1864128/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=0.06
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
[pid=14664] ppid=14661 vsize=5356 CPUtime=0
/proc/14664/stat : 14664 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20438233 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14664/statm: 1339 233 193 169 0 50 0
[pid=14665] ppid=14664 vsize=864788 CPUtime=1.39
/proc/14665/stat : 14665 (java) S 14664 14661 12540 0 -1 0 13587 0 1 0 131 8 0 0 18 0 9 0 20438234 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14665/statm: 216197 11610 2557 9 0 210709 0
[pid=14665/tid=14666] ppid=14664 vsize=864788 CPUtime=0.81
/proc/14665/task/14666/stat : 14666 (java) R 14664 14661 12540 0 -1 64 3067 0 1 0 79 2 0 0 24 0 9 0 20438235 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4125950752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14665/tid=14667] ppid=14664 vsize=864788 CPUtime=0.42
/proc/14665/task/14667/stat : 14667 (java) S 14664 14661 12540 0 -1 64 9291 0 0 0 38 4 0 0 16 0 9 0 20438236 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14665/tid=14668] ppid=14664 vsize=864788 CPUtime=0
/proc/14665/task/14668/stat : 14668 (java) S 14664 14661 12540 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20438236 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14665/tid=14669] ppid=14664 vsize=864788 CPUtime=0
/proc/14665/task/14669/stat : 14669 (java) S 14664 14661 12540 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 20438236 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14665/tid=14670] ppid=14664 vsize=864788 CPUtime=0
/proc/14665/task/14670/stat : 14670 (java) S 14664 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20438238 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14665/tid=14671] ppid=14664 vsize=864788 CPUtime=0.13
/proc/14665/task/14671/stat : 14671 (java) S 14664 14661 12540 0 -1 64 524 0 0 0 13 0 0 0 16 0 9 0 20438238 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14665/tid=14672] ppid=14664 vsize=864788 CPUtime=0
/proc/14665/task/14672/stat : 14672 (java) S 14664 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 20438239 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14665/tid=14673] ppid=14664 vsize=864788 CPUtime=0
/proc/14665/task/14673/stat : 14673 (java) S 14664 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20438239 885542912 11610 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 887012
[startup+3.10256 s]
/proc/loadavg: 2.00 2.07 2.00 4/84 14683
/proc/meminfo: memFree=1876480/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=1.73
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1309 14107 0 1 5 2 156 10 16 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
[pid=14674] ppid=14661 vsize=5356 CPUtime=0
/proc/14674/stat : 14674 (sh) S 14661 14661 12540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20438406 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14674/statm: 1339 233 193 169 0 50 0
[pid=14675] ppid=14674 vsize=868604 CPUtime=1.27
/proc/14675/stat : 14675 (java) S 14674 14661 12540 0 -1 0 10694 0 1 0 121 6 0 0 18 0 9 0 20438406 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14675/statm: 217151 9712 2566 9 0 211656 0
[pid=14675/tid=14676] ppid=14674 vsize=868604 CPUtime=0.71
/proc/14675/task/14676/stat : 14676 (java) R 14674 14661 12540 0 -1 64 2719 0 1 0 70 1 0 0 21 0 9 0 20438407 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14677] ppid=14674 vsize=868604 CPUtime=0.35
/proc/14675/task/14677/stat : 14677 (java) R 14674 14661 12540 0 -1 64 5818 0 0 0 33 2 0 0 16 0 9 0 20438408 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 104193966 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14678] ppid=14674 vsize=868604 CPUtime=0
/proc/14675/task/14678/stat : 14678 (java) S 14674 14661 12540 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20438409 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14679] ppid=14674 vsize=868604 CPUtime=0
/proc/14675/task/14679/stat : 14679 (java) S 14674 14661 12540 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 20438409 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14680] ppid=14674 vsize=868604 CPUtime=0
/proc/14675/task/14680/stat : 14680 (java) S 14674 14661 12540 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 20438411 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14681] ppid=14674 vsize=868604 CPUtime=0.16
/proc/14675/task/14681/stat : 14681 (java) S 14674 14661 12540 0 -1 64 1454 0 0 0 16 0 0 0 16 0 9 0 20438411 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14682] ppid=14674 vsize=868604 CPUtime=0
/proc/14675/task/14682/stat : 14682 (java) S 14674 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 20438411 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14683] ppid=14674 vsize=868604 CPUtime=0
/proc/14675/task/14683/stat : 14683 (java) S 14674 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20438411 889450496 9712 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890828
[startup+6.30279 s]
/proc/loadavg: 2.00 2.07 2.00 3/84 14683
/proc/meminfo: memFree=1820672/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=1.73
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1309 14107 0 1 5 2 156 10 15 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
[pid=14674] ppid=14661 vsize=5356 CPUtime=0
/proc/14674/stat : 14674 (sh) S 14661 14661 12540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20438406 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14674/statm: 1339 233 193 169 0 50 0
[pid=14675] ppid=14674 vsize=869608 CPUtime=4.43
/proc/14675/stat : 14675 (java) S 14674 14661 12540 0 -1 0 24110 0 1 0 428 15 0 0 18 0 9 0 20438406 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14675/statm: 217402 22561 2566 9 0 211907 0
[pid=14675/tid=14676] ppid=14674 vsize=869608 CPUtime=2.6
/proc/14675/task/14676/stat : 14676 (java) R 14674 14661 12540 0 -1 64 3249 0 1 0 258 2 0 0 25 0 9 0 20438407 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14677] ppid=14674 vsize=869608 CPUtime=1.61
/proc/14675/task/14677/stat : 14677 (java) R 14674 14661 12540 0 -1 64 18682 0 0 0 151 10 0 0 16 0 9 0 20438408 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 104188830 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14678] ppid=14674 vsize=869608 CPUtime=0
/proc/14675/task/14678/stat : 14678 (java) S 14674 14661 12540 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20438409 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14679] ppid=14674 vsize=869608 CPUtime=0
/proc/14675/task/14679/stat : 14679 (java) S 14674 14661 12540 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 20438409 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14680] ppid=14674 vsize=869608 CPUtime=0
/proc/14675/task/14680/stat : 14680 (java) S 14674 14661 12540 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 20438411 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14681] ppid=14674 vsize=869608 CPUtime=0.17
/proc/14675/task/14681/stat : 14681 (java) S 14674 14661 12540 0 -1 64 1476 0 0 0 17 0 0 0 16 0 9 0 20438411 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14682] ppid=14674 vsize=869608 CPUtime=0
/proc/14675/task/14682/stat : 14682 (java) S 14674 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 20438411 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14683] ppid=14674 vsize=869608 CPUtime=0
/proc/14675/task/14683/stat : 14683 (java) S 14674 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20438411 890478592 22561 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 891832
[startup+12.7022 s]
/proc/loadavg: 2.08 2.08 2.01 3/84 14683
/proc/meminfo: memFree=1725696/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=1.74
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1310 14107 0 1 6 2 156 10 16 0 1 0 20438225 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1111 409 3 0 796 0
[pid=14674] ppid=14661 vsize=5356 CPUtime=0
/proc/14674/stat : 14674 (sh) S 14661 14661 12540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20438406 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14674/statm: 1339 233 193 169 0 50 0
[pid=14675] ppid=14674 vsize=868716 CPUtime=10.76
/proc/14675/stat : 14675 (java) S 14674 14661 12540 0 -1 0 53241 0 1 0 1027 49 0 0 18 0 9 0 20438406 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14675/statm: 217179 37412 2593 9 0 211656 0
[pid=14675/tid=14676] ppid=14674 vsize=868716 CPUtime=6.29
/proc/14675/task/14676/stat : 14676 (java) R 14674 14661 12540 0 -1 64 4613 0 1 0 607 22 0 0 25 0 9 0 20438407 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4126912544 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14677] ppid=14674 vsize=868716 CPUtime=4.18
/proc/14675/task/14677/stat : 14677 (java) S 14674 14661 12540 0 -1 64 46402 0 0 0 393 25 0 0 16 0 9 0 20438408 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14678] ppid=14674 vsize=868716 CPUtime=0
/proc/14675/task/14678/stat : 14678 (java) S 14674 14661 12540 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20438409 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14679] ppid=14674 vsize=868716 CPUtime=0
/proc/14675/task/14679/stat : 14679 (java) S 14674 14661 12540 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 20438409 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14680] ppid=14674 vsize=868716 CPUtime=0
/proc/14675/task/14680/stat : 14680 (java) S 14674 14661 12540 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 20438411 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14681] ppid=14674 vsize=868716 CPUtime=0.27
/proc/14675/task/14681/stat : 14681 (java) S 14674 14661 12540 0 -1 64 1523 0 0 0 26 1 0 0 16 0 9 0 20438411 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14682] ppid=14674 vsize=868716 CPUtime=0
/proc/14675/task/14682/stat : 14682 (java) S 14674 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 20438411 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14675/tid=14683] ppid=14674 vsize=868716 CPUtime=0
/proc/14675/task/14683/stat : 14683 (java) S 14674 14661 12540 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20438411 889565184 37412 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 890940
[startup+25.5011 s]
/proc/loadavg: 2.06 2.08 2.00 3/76 14685
/proc/meminfo: memFree=1748352/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=21.56
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1365 67869 0 2 6 2 2025 123 16 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
[pid=14684] ppid=14661 vsize=5356 CPUtime=0
/proc/14684/stat : 14684 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20440416 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14684/statm: 1339 232 193 169 0 50 0
[pid=14685] ppid=14684 vsize=16712 CPUtime=3.53
/proc/14685/stat : 14685 (picosat) R 14684 14661 12540 0 -1 4194304 3933 0 0 0 159 194 0 0 25 0 1 0 20440417 17113088 3919 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/14685/statm: 4178 3919 40 102 0 4073 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 38936
[startup+51.1018 s]
/proc/loadavg: 2.04 2.07 2.00 3/76 14685
/proc/meminfo: memFree=1648320/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=21.56
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1365 67869 0 2 6 2 2025 123 16 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
[pid=14684] ppid=14661 vsize=5356 CPUtime=0
/proc/14684/stat : 14684 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20440416 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14684/statm: 1339 232 193 169 0 50 0
[pid=14685] ppid=14684 vsize=123396 CPUtime=28.91
/proc/14685/stat : 14685 (picosat) R 14684 14661 12540 0 -1 4194304 29442 0 0 0 1310 1581 0 0 25 0 1 0 20440417 126357504 29428 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/14685/statm: 30849 29428 40 102 0 30744 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 145620
Solver just ended. Dumping a history of the last processes samples
[startup+63.9016 s]
/proc/loadavg: 2.03 2.06 2.00 3/76 14685
/proc/meminfo: memFree=1596800/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=21.56
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1365 67869 0 2 6 2 2025 123 16 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
[pid=14684] ppid=14661 vsize=5356 CPUtime=0
/proc/14684/stat : 14684 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20440416 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14684/statm: 1339 232 193 169 0 50 0
[pid=14685] ppid=14684 vsize=190484 CPUtime=41.6
/proc/14685/stat : 14685 (picosat) R 14684 14661 12540 0 -1 4194304 41907 0 0 0 1897 2263 0 0 25 0 1 0 20440417 195055616 41893 996147200 134512640 134931368 4294956256 18446744073709551615 134514676 0 0 4096 0 0 0 0 17 1 0 0
/proc/14685/statm: 47621 41893 40 102 0 47516 0
Current children cumulated CPU time (s) 63.16
Current children cumulated vsize (KiB) 212708
[startup+70.3011 s]
/proc/loadavg: 2.03 2.06 2.00 3/76 14685
/proc/meminfo: memFree=1570944/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=21.56
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1365 67869 0 2 6 2 2025 123 16 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
[pid=14684] ppid=14661 vsize=5356 CPUtime=0
/proc/14684/stat : 14684 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20440416 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14684/statm: 1339 232 193 169 0 50 0
[pid=14685] ppid=14684 vsize=211868 CPUtime=47.95
/proc/14685/stat : 14685 (picosat) R 14684 14661 12540 0 -1 4194304 48150 0 0 0 2193 2602 0 0 25 0 1 0 20440417 216952832 48136 996147200 134512640 134931368 4294956256 18446744073709551615 134545568 0 0 4096 0 0 0 0 17 1 0 0
/proc/14685/statm: 52967 48136 40 102 0 52862 0
Current children cumulated CPU time (s) 69.51
Current children cumulated vsize (KiB) 234092
[startup+76.7015 s]
/proc/loadavg: 2.02 2.06 2.00 3/76 14685
/proc/meminfo: memFree=1549568/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=21.56
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1365 67869 0 2 6 2 2025 123 16 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
[pid=14684] ppid=14661 vsize=5356 CPUtime=0
/proc/14684/stat : 14684 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20440416 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14684/statm: 1339 232 193 169 0 50 0
[pid=14685] ppid=14684 vsize=232184 CPUtime=54.3
/proc/14685/stat : 14685 (picosat) R 14684 14661 12540 0 -1 4194304 53951 0 0 0 2521 2909 0 0 25 0 1 0 20440417 237756416 53905 996147200 134512640 134931368 4294956256 18446744073709551615 134525802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14685/statm: 58046 53905 42 102 0 57941 0
Current children cumulated CPU time (s) 75.86
Current children cumulated vsize (KiB) 254408
[startup+78.3016 s]
/proc/loadavg: 2.02 2.06 2.00 3/76 14685
/proc/meminfo: memFree=1547328/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=21.56
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1365 67869 0 2 6 2 2025 123 16 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
[pid=14684] ppid=14661 vsize=5356 CPUtime=0
/proc/14684/stat : 14684 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20440416 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14684/statm: 1339 232 193 169 0 50 0
[pid=14685] ppid=14684 vsize=233468 CPUtime=55.88
/proc/14685/stat : 14685 (picosat) R 14684 14661 12540 0 -1 4194304 54080 0 0 0 2679 2909 0 0 25 0 1 0 20440417 239071232 54034 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/14685/statm: 58367 54034 42 102 0 58262 0
Current children cumulated CPU time (s) 77.44
Current children cumulated vsize (KiB) 255692
[startup+79.9017 s]
/proc/loadavg: 2.02 2.06 2.00 3/76 14685
/proc/meminfo: memFree=1547328/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=21.56
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1365 67869 0 2 6 2 2025 123 16 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
[pid=14684] ppid=14661 vsize=5356 CPUtime=0
/proc/14684/stat : 14684 (sh) S 14661 14661 12540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20440416 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14684/statm: 1339 232 193 169 0 50 0
[pid=14685] ppid=14684 vsize=235524 CPUtime=57.47
/proc/14685/stat : 14685 (picosat) R 14684 14661 12540 0 -1 4194304 54120 0 0 0 2838 2909 0 0 25 0 1 0 20440417 241176576 54072 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/14685/statm: 58881 54072 48 102 0 58776 0
Current children cumulated CPU time (s) 79.03
Current children cumulated vsize (KiB) 257748
[startup+80.7018 s]
/proc/loadavg: 2.02 2.06 2.00 3/76 14685
/proc/meminfo: memFree=1545856/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=79.76
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1428 122297 0 2 6 2 4932 3036 17 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 79.76
Current children cumulated vsize (KiB) 16868
[startup+81.1018 s]
/proc/loadavg: 2.02 2.06 2.00 3/76 14685
/proc/meminfo: memFree=1545856/2055920 swapFree=4192812/4192956
[pid=14661] ppid=14659 vsize=16868 CPUtime=79.76
/proc/14661/stat : 14661 (sugar) S 14659 14661 12540 0 -1 4194304 1449 122297 0 2 6 2 4932 3036 15 0 1 0 20438225 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14661/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 79.76
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 81.1942
CPU time (s): 80.2838
CPU user time (s): 49.7934
CPU system time (s): 30.4904
CPU usage (%): 98.8787
Max. virtual memory (cumulated for all children) (KiB): 916440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.7934
system time used= 30.4904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127831
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= 7348
involuntary context switches= 8800
runsolver used 0.089986 second user time and 0.254961 second system time
The end
Begin job on node52 at 2009-07-11 19:35:48
IDJOB=2064041
IDBENCH=54117
IDSOLVER=738
FILE ID=node52/2064041-1247333747
PBS_JOBID= 9506526
Free space on /tmp= 66140 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-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-2064041-1247333747/watcher-2064041-1247333747 -o /tmp/evaluation-result-2064041-1247333747/solver-2064041-1247333747 -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-2064041-1247333747.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fa28d59847bbf3c05de00d920280fcee
RANDOM SEED=306221360
node52.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1891256 kB
Buffers: 13472 kB
Cached: 67984 kB
SwapCached: 144 kB
Active: 90560 kB
Inactive: 21840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1891256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4308 kB
Writeback: 0 kB
Mapped: 41468 kB
Slab: 37468 kB
Committed_AS: 223704 kB
PageTables: 1896 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= 66140 MiB
End job on node52 at 2009-07-11 19:37:09