0.00/0.14 c 0 Sugar v1-13 + HOME/picosat
0.00/0.15 c 0 BEGIN Tue Jul 8 03:06:07 2008
0.00/0.15 c 0 PID 3204
0.00/0.15 c 0 HOST node3.alineos.net
0.00/0.15 c 0 CONVERTING HOME/instance-1093829-1215479166.xml TO HOME/temp.csp
0.00/0.15 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1093829-1215479166.xml' 'HOME/temp.csp'
0.86/1.08 c 1 1 domains, 120 variables, 1 predicates, 0 relations, 7140 constraints
0.94/1.10 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.94/1.10 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.94/1.19 c 1 Parsing HOME/temp.csp
0.94/1.53 c 1 parsed 7262 expressions
0.94/1.54 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.94/1.54 c 1 Converting to clausal form CSP
0.94/1.85 c 1 converted 727 (10%) expressions
0.94/1.94 c 1 converted 1453 (20%) expressions
0.94/2.03 c 2 converted 2179 (30%) expressions
1.91/2.15 c 2 converted 2905 (40%) expressions
2.00/2.23 c 2 converted 3631 (50%) expressions
2.00/2.30 c 2 converted 4358 (60%) expressions
2.20/2.44 c 2 converted 5084 (70%) expressions
2.30/2.53 c 2 converted 5810 (80%) expressions
2.40/2.60 c 2 converted 6536 (90%) expressions
2.40/2.67 c 2 converted 7262 (100%) expressions
2.40/2.67 c 2 CSP : 120 integers, 7140 booleans, 28560 clauses, largest domain size 120
2.40/2.67 c 2 Heap : 17 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.40/2.67 c 2 Propagation in CSP
2.60/2.80 c 2 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.60/2.80 c 2 CSP : 120 integers, 7140 booleans, 28560 clauses, largest domain size 120
2.60/2.80 c 2 Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.60/2.81 c 2 Simplifing CSP by introducing new Boolean variables
2.89/3.12 c 3 CSP : 120 integers, 35698 booleans, 57118 clauses, largest domain size 120
2.89/3.13 c 3 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.10/3.32 c 3 Encoding CSP to SAT : HOME/temp.cnf
3.10/3.35 c 3 12 (10%) CSP integer variables are encoded (1416 clauses, 16277 bytes)
3.10/3.35 c 3 24 (20%) CSP integer variables are encoded (2832 clauses, 34685 bytes)
3.10/3.36 c 3 36 (30%) CSP integer variables are encoded (4248 clauses, 53093 bytes)
3.10/3.36 c 3 48 (40%) CSP integer variables are encoded (5664 clauses, 71501 bytes)
3.10/3.36 c 3 60 (50%) CSP integer variables are encoded (7080 clauses, 89909 bytes)
3.10/3.36 c 3 72 (60%) CSP integer variables are encoded (8496 clauses, 108317 bytes)
3.10/3.36 c 3 84 (70%) CSP integer variables are encoded (9912 clauses, 126725 bytes)
3.10/3.37 c 3 96 (80%) CSP integer variables are encoded (11328 clauses, 147960 bytes)
3.10/3.37 c 3 108 (90%) CSP integer variables are encoded (12744 clauses, 169200 bytes)
3.10/3.37 c 3 120 (100%) CSP integer variables are encoded (14160 clauses, 190440 bytes)
3.78/4.10 c 4 5712 (10%) CSP clauses are encoded (365126 clauses, 6823383 bytes)
4.47/4.78 c 4 11424 (20%) CSP clauses are encoded (724386 clauses, 13925752 bytes)
5.17/5.48 c 5 17136 (30%) CSP clauses are encoded (1090290 clauses, 21301288 bytes)
5.87/6.19 c 6 22848 (40%) CSP clauses are encoded (1462858 clauses, 28830166 bytes)
6.66/6.92 c 6 28559 (50%) CSP clauses are encoded (1849258 clauses, 36648683 bytes)
7.33/7.70 c 7 34271 (60%) CSP clauses are encoded (2249770 clauses, 44771686 bytes)
8.13/8.48 c 8 39983 (70%) CSP clauses are encoded (2662510 clauses, 53174519 bytes)
8.91/9.29 c 9 45695 (80%) CSP clauses are encoded (3091338 clauses, 61951971 bytes)
9.80/10.13 c 10 51407 (90%) CSP clauses are encoded (3539938 clauses, 71229677 bytes)
10.70/11.04 c 11 57118 (100%) CSP clauses are encoded (4017318 clauses, 81633512 bytes)
10.70/11.04 c 11 57118 CSP clauses encoded
10.70/11.04 c 11 Writing map file : HOME/temp.map
10.70/11.05 c 11 Heap : 21 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
10.70/11.05 c 11 SAT : 49978 SAT variables, 4017318 SAT clauses, 81633512 bytes
10.70/11.05 c 11 Heap : 21 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
10.75/11.11 c 11 SOLVING HOME/temp.cnf
10.75/11.11 c 11 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
52.04/52.83 c 52 DECODING HOME/temp.out WITH HOME/temp.map
52.04/52.83 c 52 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
52.07/52.91 c 52 Decoding HOME/temp.out
52.07/53.14 s SATISFIABLE
52.07/53.15 v 15 8 65 11 109 71 119 105 13 106 104 12 108 103 16 107 9 78 21 18 20 66 81 100 19 101 80 23 99 26 22 41 115 102 96 24 93 27 98 95 92 29 91 47 30 4 31 90 32 89 25 28 88 33 37 34 94 35 85 87 36 83 112 118 2 84 38 6 39 86 40 82 111 79 10 42 120 110 43 77 44 113 76 45 75 3 116 74 97 114 72 48 73 49 14 50 70 51 7 52 68 53 17 69 67 117 54 56 1 55 57 46 63 5 64 58 61 59 62 60
52.07/53.15 c 53 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
52.07/53.21 c 53 CPU 32.05 (0.03 0.01 32.02 20.34)
52.07/53.21 c 53 END Tue Jul 8 03:07:00 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-1093829-1215479166/watcher-1093829-1215479166 -o /tmp/evaluation-result-1093829-1215479166/solver-1093829-1215479166 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1093829-1215479166.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): 2200 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: 1.92 1.98 1.90 4/73 3204
/proc/meminfo: memFree=1665304/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=18572 CPUtime=0
/proc/3204/stat : 3204 (runsolver) D 3202 3204 2913 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 4620028 19017728 292 996147200 4194304 4296836 548682068272 18446744073709551615 233632754983 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/3204/statm: 4643 292 257 25 0 2626 0
[startup+0.077148 s]
/proc/loadavg: 1.92 1.98 1.90 4/73 3204
/proc/meminfo: memFree=1665304/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=8540 CPUtime=0
/proc/3204/stat : 3204 (sugar) D 3202 3204 2913 0 -1 4194304 65 0 2 0 0 0 0 0 18 0 1 0 4620028 8744960 52 996147200 4194304 4206940 548682068608 18446744073709551615 233630139140 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/3204/statm: 2135 52 39 3 0 55 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8540
[startup+0.101151 s]
/proc/loadavg: 1.92 1.98 1.90 4/73 3204
/proc/meminfo: memFree=1665304/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=12412 CPUtime=0
/proc/3204/stat : 3204 (sugar) D 3202 3204 2913 0 -1 4194304 411 0 3 0 0 0 0 0 18 0 1 0 4620028 12709888 382 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/3204/statm: 3103 382 275 3 0 203 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12412
[startup+0.301172 s]
/proc/loadavg: 1.92 1.98 1.90 4/73 3204
/proc/meminfo: memFree=1665304/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=0.04
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 897 127 3 0 3 1 0 0 19 0 1 0 4620028 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.70121 s]
/proc/loadavg: 1.92 1.98 1.90 4/73 3204
/proc/meminfo: memFree=1665304/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=0.04
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 897 127 3 0 3 1 0 0 19 0 1 0 4620028 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+1.50228 s]
/proc/loadavg: 1.92 1.98 1.90 3/84 3216
/proc/meminfo: memFree=1645760/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=0.94
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 970 8080 3 1 3 1 84 6 16 0 1 0 4620028 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 13600
[startup+3.10142 s]
/proc/loadavg: 1.92 1.98 1.90 3/84 3226
/proc/meminfo: memFree=1643456/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=0.94
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 971 8080 3 1 3 1 84 6 15 0 1 0 4620028 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 797 370 3 0 500 0
[pid=3217] ppid=3204 vsize=5356 CPUtime=0
/proc/3217/stat : 3217 (sh) S 3204 3204 2913 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4620138 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3217/statm: 1339 233 193 169 0 50 0
[pid=3218] ppid=3217 vsize=868368 CPUtime=1.95
/proc/3218/stat : 3218 (java) S 3217 3204 2913 0 -1 0 13141 0 2 0 187 8 0 0 19 0 9 0 4620139 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3218/statm: 217092 12045 2540 9 0 211667 0
[pid=3218/tid=3219] ppid=3217 vsize=868368 CPUtime=1.06
/proc/3218/task/3219/stat : 3219 (java) R 3217 3204 2913 0 -1 64 3030 0 2 0 104 2 0 0 24 0 9 0 4620140 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4125952169 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3220] ppid=3217 vsize=868368 CPUtime=0.65
/proc/3218/task/3220/stat : 3220 (java) S 3217 3204 2913 0 -1 64 7932 0 0 0 61 4 0 0 16 0 9 0 4620141 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3221] ppid=3217 vsize=868368 CPUtime=0
/proc/3218/task/3221/stat : 3221 (java) S 3217 3204 2913 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4620141 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3222] ppid=3217 vsize=868368 CPUtime=0
/proc/3218/task/3222/stat : 3222 (java) S 3217 3204 2913 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4620141 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3223] ppid=3217 vsize=868368 CPUtime=0
/proc/3218/task/3223/stat : 3223 (java) S 3217 3204 2913 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4620143 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3224] ppid=3217 vsize=868368 CPUtime=0.2
/proc/3218/task/3224/stat : 3224 (java) S 3217 3204 2913 0 -1 64 1486 0 0 0 20 0 0 0 15 0 9 0 4620143 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3225] ppid=3217 vsize=868368 CPUtime=0
/proc/3218/task/3225/stat : 3225 (java) S 3217 3204 2913 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4620143 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3226] ppid=3217 vsize=868368 CPUtime=0
/proc/3218/task/3226/stat : 3226 (java) S 3217 3204 2913 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4620143 889208832 12045 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 887324
[startup+6.30268 s]
/proc/loadavg: 1.93 1.98 1.90 3/84 3226
/proc/meminfo: memFree=1600960/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=0.94
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 971 8080 3 1 3 1 84 6 15 0 1 0 4620028 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 797 370 3 0 500 0
[pid=3217] ppid=3204 vsize=5356 CPUtime=0
/proc/3217/stat : 3217 (sh) S 3204 3204 2913 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4620138 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3217/statm: 1339 233 193 169 0 50 0
[pid=3218] ppid=3217 vsize=868480 CPUtime=5.12
/proc/3218/stat : 3218 (java) S 3217 3204 2913 0 -1 0 14148 0 3 0 483 29 0 0 19 0 9 0 4620139 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3218/statm: 217120 12505 2565 9 0 211667 0
[pid=3218/tid=3219] ppid=3217 vsize=868480 CPUtime=3.85
/proc/3218/task/3219/stat : 3219 (java) R 3217 3204 2913 0 -1 64 3414 0 3 0 364 21 0 0 25 0 9 0 4620140 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4126977752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3220] ppid=3217 vsize=868480 CPUtime=0.99
/proc/3218/task/3220/stat : 3220 (java) S 3217 3204 2913 0 -1 64 8525 0 0 0 93 6 0 0 16 0 9 0 4620141 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3221] ppid=3217 vsize=868480 CPUtime=0
/proc/3218/task/3221/stat : 3221 (java) S 3217 3204 2913 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4620141 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3222] ppid=3217 vsize=868480 CPUtime=0
/proc/3218/task/3222/stat : 3222 (java) S 3217 3204 2913 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4620141 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3223] ppid=3217 vsize=868480 CPUtime=0
/proc/3218/task/3223/stat : 3223 (java) S 3217 3204 2913 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4620143 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3224] ppid=3217 vsize=868480 CPUtime=0.25
/proc/3218/task/3224/stat : 3224 (java) S 3217 3204 2913 0 -1 64 1516 0 0 0 25 0 0 0 16 0 9 0 4620143 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3225] ppid=3217 vsize=868480 CPUtime=0
/proc/3218/task/3225/stat : 3225 (java) S 3217 3204 2913 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4620143 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3218/tid=3226] ppid=3217 vsize=868480 CPUtime=0
/proc/3218/task/3226/stat : 3226 (java) S 3217 3204 2913 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4620143 889323520 12505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 887436
[startup+12.7012 s]
/proc/loadavg: 2.01 2.00 1.91 3/76 3228
/proc/meminfo: memFree=1575424/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=10.77
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 1020 23077 3 4 3 1 999 74 16 0 1 0 4620028 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 798 370 3 0 500 0
[pid=3227] ppid=3204 vsize=5356 CPUtime=0
/proc/3227/stat : 3227 (sh) S 3204 3204 2913 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4621139 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3227/statm: 1339 232 193 169 0 50 0
[pid=3228] ppid=3227 vsize=9016 CPUtime=1.55
/proc/3228/stat : 3228 (picosat) R 3227 3204 2913 0 -1 4194304 1939 0 0 0 70 85 0 0 25 0 1 0 4621139 9232384 1925 996147200 134512640 134931368 4294956256 18446744073709551615 134597664 0 0 4096 0 0 0 0 17 1 0 0
/proc/3228/statm: 2254 1925 40 102 0 2149 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 27972
[startup+25.5013 s]
/proc/loadavg: 2.08 2.02 1.92 3/76 3228
/proc/meminfo: memFree=1525184/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=10.77
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 1020 23077 3 4 3 1 999 74 16 0 1 0 4620028 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 798 370 3 0 500 0
[pid=3227] ppid=3204 vsize=5356 CPUtime=0
/proc/3227/stat : 3227 (sh) S 3204 3204 2913 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4621139 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3227/statm: 1339 232 193 169 0 50 0
[pid=3228] ppid=3227 vsize=61796 CPUtime=14.23
/proc/3228/stat : 3228 (picosat) R 3227 3204 2913 0 -1 4194304 14358 0 0 0 652 771 0 0 25 0 1 0 4621139 63279104 14344 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/3228/statm: 15449 14344 40 102 0 15344 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 80752
[startup+51.1014 s]
/proc/loadavg: 2.05 2.01 1.92 3/76 3228
/proc/meminfo: memFree=1437440/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=10.77
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 1020 23077 3 4 3 1 999 74 16 0 1 0 4620028 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 798 370 3 0 500 0
[pid=3227] ppid=3204 vsize=5356 CPUtime=0
/proc/3227/stat : 3227 (sh) S 3204 3204 2913 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4621139 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3227/statm: 1339 232 193 169 0 50 0
[pid=3228] ppid=3227 vsize=146892 CPUtime=39.57
/proc/3228/stat : 3228 (picosat) R 3227 3204 2913 0 -1 4194304 36057 0 0 0 2003 1954 0 0 25 0 1 0 4621139 150417408 36019 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3228/statm: 36723 36019 48 102 0 36618 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 165848
Solver just ended. Dumping a history of the last processes samples
[startup+51.9025 s]
/proc/loadavg: 2.05 2.01 1.92 3/76 3228
/proc/meminfo: memFree=1437440/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=10.77
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 1020 23077 3 4 3 1 999 74 16 0 1 0 4620028 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 798 370 3 0 500 0
[pid=3227] ppid=3204 vsize=5356 CPUtime=0
/proc/3227/stat : 3227 (sh) S 3204 3204 2913 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4621139 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3227/statm: 1339 232 193 169 0 50 0
[pid=3228] ppid=3227 vsize=146892 CPUtime=40.37
/proc/3228/stat : 3228 (picosat) R 3227 3204 2913 0 -1 4194304 36059 0 0 0 2083 1954 0 0 25 0 1 0 4621139 150417408 36021 996147200 134512640 134931368 4294956256 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 1 0 0
/proc/3228/statm: 36723 36021 48 102 0 36618 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 165848
[startup+52.7026 s]
/proc/loadavg: 2.05 2.01 1.92 3/76 3228
/proc/meminfo: memFree=1437056/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=10.77
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 1020 23077 3 4 3 1 999 74 16 0 1 0 4620028 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 798 370 3 0 500 0
[pid=3227] ppid=3204 vsize=5356 CPUtime=0
/proc/3227/stat : 3227 (sh) S 3204 3204 2913 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4621139 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3227/statm: 1339 232 193 169 0 50 0
[pid=3228] ppid=3227 vsize=146896 CPUtime=41.16
/proc/3228/stat : 3228 (picosat) R 3227 3204 2913 0 -1 4194304 36065 0 0 0 2162 1954 0 0 25 0 1 0 4621139 150421504 36027 996147200 134512640 134931368 4294956256 18446744073709551615 134579014 0 0 4096 0 0 0 0 17 1 0 0
/proc/3228/statm: 36724 36027 52 102 0 36619 0
Current children cumulated CPU time (s) 51.93
Current children cumulated vsize (KiB) 165852
[startup+53.1016 s]
/proc/loadavg: 2.05 2.01 1.92 3/76 3228
/proc/meminfo: memFree=1437056/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=52.07
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 1086 59428 3 4 3 1 3172 2031 16 0 1 0 4620028 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 798 370 3 0 500 0
Current children cumulated CPU time (s) 52.07
Current children cumulated vsize (KiB) 13600
[startup+53.2026 s]
/proc/loadavg: 2.05 2.01 1.92 3/76 3228
/proc/meminfo: memFree=1437056/2055920 swapFree=4192812/4192956
[pid=3204] ppid=3202 vsize=13600 CPUtime=52.07
/proc/3204/stat : 3204 (sugar) S 3202 3204 2913 0 -1 4194304 1087 59428 3 4 3 1 3172 2031 15 0 1 0 4620028 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3204/statm: 3400 798 370 3 0 500 0
Current children cumulated CPU time (s) 52.07
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 53.2484
CPU time (s): 52.465
CPU user time (s): 32.0621
CPU system time (s): 20.4029
CPU usage (%): 98.5288
Max. virtual memory (cumulated for all children) (KiB): 887828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.0621
system time used= 20.4029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64347
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9314
involuntary context switches= 10164
runsolver used 0.06199 second user time and 0.19497 second system time
The end
Begin job on node3 at 2008-07-08 03:06:06
IDJOB=1093829
IDBENCH=58730
IDSOLVER=345
FILE ID=node3/1093829-1215479166
PBS_JOBID= 7888608
Free space on /tmp= 66500 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/queens/normalized-queens-120.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093829-1215479166/watcher-1093829-1215479166 -o /tmp/evaluation-result-1093829-1215479166/solver-1093829-1215479166 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1093829-1215479166.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e474d160d95b285007e3c29a382ac11f
RANDOM SEED=263663905
node3.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.238
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.238
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: 1665784 kB
Buffers: 9208 kB
Cached: 88440 kB
SwapCached: 0 kB
Active: 327984 kB
Inactive: 25704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1665784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2176 kB
Writeback: 0 kB
Mapped: 266448 kB
Slab: 21240 kB
Committed_AS: 321584 kB
PageTables: 2360 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= 66500 MiB
End job on node3 at 2008-07-08 03:07:00