0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sun Jul 12 00:25:05 2009
0.00/0.08 c 0 PID 17310
0.00/0.08 c 0 HOST node52.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2070124-1247351104.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-2070124-1247351104.xml' 'HOME/temp.csp'
0.07/0.33 c 0 1 domains, 285 variables, 0 predicates, 2 relations, 34 constraints
0.07/0.36 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.36 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.33/0.44 c 0 Parsing HOME/temp.csp
0.33/0.50 c 0 parsed 322 expressions
0.33/0.50 c 0 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.33/0.50 c 0 Converting to clausal form CSP
0.33/0.53 c 0 converted 33 (10%) expressions
0.33/0.53 c 0 converted 65 (20%) expressions
0.33/0.53 c 0 converted 97 (30%) expressions
0.33/0.53 c 0 converted 129 (40%) expressions
0.33/0.53 c 0 converted 161 (50%) expressions
0.33/0.53 c 0 converted 194 (60%) expressions
0.33/0.53 c 0 converted 226 (70%) expressions
0.33/0.53 c 0 converted 258 (80%) expressions
0.33/0.56 c 0 converted 290 (90%) expressions
0.33/0.75 c 0 converted 322 (100%) expressions
0.33/0.75 c 0 CSP : 285 integers, 0 booleans, 34 clauses, largest domain size 26
0.33/0.75 c 0 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.33/0.75 c 0 Propagation in CSP
0.33/0.75 c 0 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.33/0.75 c 0 CSP : 285 integers, 0 booleans, 34 clauses, largest domain size 26
0.33/0.75 c 0 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.33/0.75 c 0 Simplifing CSP by introducing new Boolean variables
0.33/0.75 c 0 CSP : 285 integers, 0 booleans, 34 clauses, largest domain size 26
0.33/0.75 c 0 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.33/0.80 c 0 Encoding CSP to SAT : HOME/temp.cnf
0.33/0.82 c 0 29 (10%) CSP integer variables are encoded (696 clauses, 7512 bytes)
0.33/0.82 c 0 57 (20%) CSP integer variables are encoded (1368 clauses, 15721 bytes)
0.33/0.83 c 0 86 (30%) CSP integer variables are encoded (2064 clauses, 24769 bytes)
0.33/0.83 c 0 114 (40%) CSP integer variables are encoded (2736 clauses, 33505 bytes)
0.33/0.83 c 0 143 (50%) CSP integer variables are encoded (3432 clauses, 42553 bytes)
0.33/0.83 c 0 171 (60%) CSP integer variables are encoded (4104 clauses, 51289 bytes)
0.33/0.83 c 0 200 (70%) CSP integer variables are encoded (4800 clauses, 60337 bytes)
0.33/0.83 c 0 228 (80%) CSP integer variables are encoded (5472 clauses, 69073 bytes)
0.33/0.84 c 0 257 (90%) CSP integer variables are encoded (6168 clauses, 78121 bytes)
0.33/0.84 c 0 285 (100%) CSP integer variables are encoded (6840 clauses, 86857 bytes)
2.92/3.05 c 3 4 (10%) CSP clauses are encoded (39260 clauses, 3018694 bytes)
4.50/4.62 c 4 7 (20%) CSP clauses are encoded (63575 clauses, 5292049 bytes)
6.59/6.75 c 6 11 (30%) CSP clauses are encoded (95995 clauses, 8323189 bytes)
8.16/8.35 c 8 14 (40%) CSP clauses are encoded (120310 clauses, 10596544 bytes)
9.74/9.95 c 9 17 (50%) CSP clauses are encoded (144625 clauses, 12869899 bytes)
10.73/10.99 c 10 21 (60%) CSP clauses are encoded (161143 clauses, 14411165 bytes)
10.84/11.02 c 11 24 (70%) CSP clauses are encoded (161605 clauses, 14459671 bytes)
10.84/11.05 c 11 28 (80%) CSP clauses are encoded (162221 clauses, 14525071 bytes)
10.84/11.07 c 11 31 (90%) CSP clauses are encoded (162683 clauses, 14574121 bytes)
10.84/11.09 c 11 34 (100%) CSP clauses are encoded (163145 clauses, 14623171 bytes)
10.84/11.09 c 11 34 CSP clauses encoded
10.84/11.09 c 11 Writing map file : HOME/temp.map
10.84/11.10 c 11 Heap : 14 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
10.84/11.10 c 11 SAT : 7125 SAT variables, 163145 SAT clauses, 14623171 bytes
10.84/11.10 c 11 Heap : 14 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
10.93/11.11 c 11 SOLVING HOME/temp.cnf
10.93/11.11 c 11 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
17.96/18.27 c 18 DECODING HOME/temp.out WITH HOME/temp.map
17.96/18.27 c 18 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'
18.05/18.35 c 18 Decoding HOME/temp.out
18.05/18.41 s UNSATISFIABLE
18.05/18.42 c 18 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
18.05/18.45 c 18 CPU 18.2 (0.06 0.02 14.27 3.85)
18.05/18.45 c 18 END Sun Jul 12 00:25:23 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2070124-1247351104/watcher-2070124-1247351104 -o /tmp/evaluation-result-2070124-1247351104/solver-2070124-1247351104 -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-2070124-1247351104.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.01 2.10 2.09 4/72 17310
/proc/meminfo: memFree=1599136/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=12000 CPUtime=0
/proc/17310/stat : 17310 (sugar) R 17308 17310 16875 0 -1 4194304 184 0 0 0 0 0 0 0 20 0 1 0 22173913 12288000 152 996147200 4194304 4206940 548682068608 18446744073709551615 273653600993 0 0 4224 0 0 0 0 17 1 0 0
/proc/17310/statm: 3000 152 116 3 0 100 0
[startup+0.108181 s]
/proc/loadavg: 2.01 2.10 2.09 4/72 17310
/proc/meminfo: memFree=1599136/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=0.07
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 22173913 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.202186 s]
/proc/loadavg: 2.01 2.10 2.09 4/72 17310
/proc/meminfo: memFree=1599136/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=0.07
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 22173913 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.30219 s]
/proc/loadavg: 2.01 2.10 2.09 4/72 17310
/proc/meminfo: memFree=1599136/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=0.07
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 22173913 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.702235 s]
/proc/loadavg: 2.01 2.10 2.09 4/72 17310
/proc/meminfo: memFree=1599136/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=0.33
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1309 4333 0 1 6 1 23 3 16 0 1 0 22173913 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 16868
[startup+1.50127 s]
/proc/loadavg: 2.01 2.10 2.09 3/83 17332
/proc/meminfo: memFree=1580488/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=0.33
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1310 4333 0 1 6 1 23 3 15 0 1 0 22173913 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1111 409 3 0 796 0
[pid=17323] ppid=17310 vsize=5356 CPUtime=0
/proc/17323/stat : 17323 (sh) S 17310 17310 16875 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22173950 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17323/statm: 1339 233 193 169 0 50 0
[pid=17324] ppid=17323 vsize=864320 CPUtime=1.1
/proc/17324/stat : 17324 (java) S 17323 17310 16875 0 -1 0 7467 0 1 0 104 6 0 0 18 0 9 0 22173950 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17324/statm: 216080 6654 2590 9 0 210557 0
[pid=17324/tid=17325] ppid=17323 vsize=864320 CPUtime=0.79
/proc/17324/task/17325/stat : 17325 (java) R 17323 17310 16875 0 -1 64 2788 0 1 0 77 2 0 0 23 0 9 0 22173951 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4126529862 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17326] ppid=17323 vsize=864320 CPUtime=0.22
/proc/17324/task/17326/stat : 17326 (java) S 17323 17310 16875 0 -1 64 3660 0 0 0 20 2 0 0 16 0 9 0 22173952 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17327] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17327/stat : 17327 (java) S 17323 17310 16875 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22173953 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17328] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17328/stat : 17328 (java) S 17323 17310 16875 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22173953 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17329] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17329/stat : 17329 (java) S 17323 17310 16875 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22173955 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17330] ppid=17323 vsize=864320 CPUtime=0.06
/proc/17324/task/17330/stat : 17330 (java) S 17323 17310 16875 0 -1 64 321 0 0 0 6 0 0 0 16 0 9 0 22173955 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17331] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17331/stat : 17331 (java) S 17323 17310 16875 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22173955 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17332] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17332/stat : 17332 (java) S 17323 17310 16875 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22173955 885063680 6654 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 886544
[startup+3.10238 s]
/proc/loadavg: 2.01 2.10 2.09 3/83 17332
/proc/meminfo: memFree=1575688/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=0.33
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1310 4333 0 1 6 1 23 3 16 0 1 0 22173913 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1111 409 3 0 796 0
[pid=17323] ppid=17310 vsize=5356 CPUtime=0
/proc/17323/stat : 17323 (sh) S 17310 17310 16875 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22173950 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17323/statm: 1339 233 193 169 0 50 0
[pid=17324] ppid=17323 vsize=864320 CPUtime=2.69
/proc/17324/stat : 17324 (java) S 17323 17310 16875 0 -1 0 8529 0 1 0 260 9 0 0 18 0 9 0 22173950 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17324/statm: 216080 7536 2589 9 0 210557 0
[pid=17324/tid=17325] ppid=17323 vsize=864320 CPUtime=2.22
/proc/17324/task/17325/stat : 17325 (java) R 17323 17310 16875 0 -1 64 2965 0 1 0 219 3 0 0 25 0 9 0 22173951 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4126531790 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17326] ppid=17323 vsize=864320 CPUtime=0.38
/proc/17324/task/17326/stat : 17326 (java) S 17323 17310 16875 0 -1 64 4545 0 0 0 34 4 0 0 16 0 9 0 22173952 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17327] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17327/stat : 17327 (java) S 17323 17310 16875 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22173953 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17328] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17328/stat : 17328 (java) S 17323 17310 16875 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22173953 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17329] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17329/stat : 17329 (java) S 17323 17310 16875 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22173955 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17330] ppid=17323 vsize=864320 CPUtime=0.06
/proc/17324/task/17330/stat : 17330 (java) S 17323 17310 16875 0 -1 64 321 0 0 0 6 0 0 0 16 0 9 0 22173955 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17331] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17331/stat : 17331 (java) S 17323 17310 16875 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22173955 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17332] ppid=17323 vsize=864320 CPUtime=0
/proc/17324/task/17332/stat : 17332 (java) S 17323 17310 16875 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22173955 885063680 7536 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 886544
[startup+6.3026 s]
/proc/loadavg: 2.01 2.09 2.09 3/83 17332
/proc/meminfo: memFree=1568584/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=0.33
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1310 4333 0 1 6 1 23 3 16 0 1 0 22173913 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1111 409 3 0 796 0
[pid=17323] ppid=17310 vsize=5356 CPUtime=0
/proc/17323/stat : 17323 (sh) S 17310 17310 16875 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22173950 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17323/statm: 1339 233 193 169 0 50 0
[pid=17324] ppid=17323 vsize=864380 CPUtime=5.86
/proc/17324/stat : 17324 (java) S 17323 17310 16875 0 -1 0 9668 0 1 0 570 16 0 0 18 0 9 0 22173950 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17324/statm: 216095 7754 2590 9 0 210572 0
[pid=17324/tid=17325] ppid=17323 vsize=864380 CPUtime=5.14
/proc/17324/task/17325/stat : 17325 (java) R 17323 17310 16875 0 -1 64 3312 0 1 0 506 8 0 0 25 0 9 0 22173951 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4126095869 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17326] ppid=17323 vsize=864380 CPUtime=0.61
/proc/17324/task/17326/stat : 17326 (java) S 17323 17310 16875 0 -1 64 5331 0 0 0 55 6 0 0 16 0 9 0 22173952 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17327] ppid=17323 vsize=864380 CPUtime=0
/proc/17324/task/17327/stat : 17327 (java) S 17323 17310 16875 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22173953 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17328] ppid=17323 vsize=864380 CPUtime=0
/proc/17324/task/17328/stat : 17328 (java) S 17323 17310 16875 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22173953 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17329] ppid=17323 vsize=864380 CPUtime=0
/proc/17324/task/17329/stat : 17329 (java) S 17323 17310 16875 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22173955 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17330] ppid=17323 vsize=864380 CPUtime=0.07
/proc/17324/task/17330/stat : 17330 (java) S 17323 17310 16875 0 -1 64 327 0 0 0 7 0 0 0 16 0 9 0 22173955 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17331] ppid=17323 vsize=864380 CPUtime=0
/proc/17324/task/17331/stat : 17331 (java) S 17323 17310 16875 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22173955 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17324/tid=17332] ppid=17323 vsize=864380 CPUtime=0
/proc/17324/task/17332/stat : 17332 (java) S 17323 17310 16875 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22173955 885125120 7754 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 886604
[startup+12.701 s]
/proc/loadavg: 2.01 2.09 2.09 3/75 17334
/proc/meminfo: memFree=1578248/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=10.94
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1365 15972 0 2 6 1 1057 30 16 0 1 0 22173913 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1113 409 3 0 796 0
[pid=17333] ppid=17310 vsize=5356 CPUtime=0
/proc/17333/stat : 17333 (sh) S 17310 17310 16875 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22175025 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17333/statm: 1339 232 193 169 0 50 0
[pid=17334] ppid=17333 vsize=4580 CPUtime=1.56
/proc/17334/stat : 17334 (picosat) R 17333 17310 16875 0 -1 4194304 1025 0 0 0 75 81 0 0 25 0 1 0 22175025 4689920 1011 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/17334/statm: 1145 1011 40 102 0 1040 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 26804
Solver just ended. Dumping a history of the last processes samples
[startup+12.801 s]
/proc/loadavg: 2.01 2.09 2.09 3/75 17334
/proc/meminfo: memFree=1578248/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=10.94
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1365 15972 0 2 6 1 1057 30 16 0 1 0 22173913 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1113 409 3 0 796 0
[pid=17333] ppid=17310 vsize=5356 CPUtime=0
/proc/17333/stat : 17333 (sh) S 17310 17310 16875 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22175025 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17333/statm: 1339 232 193 169 0 50 0
[pid=17334] ppid=17333 vsize=4712 CPUtime=1.67
/proc/17334/stat : 17334 (picosat) R 17333 17310 16875 0 -1 4194304 1078 0 0 0 80 87 0 0 25 0 1 0 22175025 4825088 1064 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/17334/statm: 1178 1064 40 102 0 1073 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 26936
[startup+16.0012 s]
/proc/loadavg: 2.01 2.09 2.09 3/75 17334
/proc/meminfo: memFree=1571464/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=10.94
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1365 15972 0 2 6 1 1057 30 16 0 1 0 22173913 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1113 409 3 0 796 0
[pid=17333] ppid=17310 vsize=5356 CPUtime=0
/proc/17333/stat : 17333 (sh) S 17310 17310 16875 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22175025 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17333/statm: 1339 232 193 169 0 50 0
[pid=17334] ppid=17333 vsize=11304 CPUtime=4.83
/proc/17334/stat : 17334 (picosat) R 17333 17310 16875 0 -1 4194304 2720 0 0 0 236 247 0 0 25 0 1 0 22175025 11575296 2706 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/17334/statm: 2826 2706 40 102 0 2721 0
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (KiB) 33528
[startup+17.6024 s]
/proc/loadavg: 2.01 2.09 2.09 3/75 17334
/proc/meminfo: memFree=1566920/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=10.94
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1365 15972 0 2 6 1 1057 30 16 0 1 0 22173913 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1113 409 3 0 796 0
[pid=17333] ppid=17310 vsize=5356 CPUtime=0
/proc/17333/stat : 17333 (sh) S 17310 17310 16875 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22175025 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17333/statm: 1339 232 193 169 0 50 0
[pid=17334] ppid=17333 vsize=14852 CPUtime=6.42
/proc/17334/stat : 17334 (picosat) R 17333 17310 16875 0 -1 4194304 3540 0 0 0 311 331 0 0 25 0 1 0 22175025 15208448 3526 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/17334/statm: 3713 3526 40 102 0 3608 0
Current children cumulated CPU time (s) 17.36
Current children cumulated vsize (KiB) 37076
[startup+18.0014 s]
/proc/loadavg: 2.01 2.09 2.09 3/75 17334
/proc/meminfo: memFree=1566920/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=10.94
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1365 15972 0 2 6 1 1057 30 16 0 1 0 22173913 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1113 409 3 0 796 0
[pid=17333] ppid=17310 vsize=5356 CPUtime=0
/proc/17333/stat : 17333 (sh) S 17310 17310 16875 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22175025 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17333/statm: 1339 232 193 169 0 50 0
[pid=17334] ppid=17333 vsize=15776 CPUtime=6.82
/proc/17334/stat : 17334 (picosat) R 17333 17310 16875 0 -1 4194304 3756 0 0 0 331 351 0 0 25 0 1 0 22175025 16154624 3742 996147200 134512640 134931368 4294956256 18446744073709551615 134541035 0 0 4096 0 0 0 0 17 1 0 0
/proc/17334/statm: 3944 3742 41 102 0 3839 0
Current children cumulated CPU time (s) 17.76
Current children cumulated vsize (KiB) 38000
[startup+18.4014 s]
/proc/loadavg: 2.01 2.09 2.09 3/75 17334
/proc/meminfo: memFree=1566920/2055920 swapFree=4192812/4192956
[pid=17310] ppid=17308 vsize=16868 CPUtime=18.05
/proc/17310/stat : 17310 (sugar) S 17308 17310 16875 0 -1 4194304 1446 20034 0 2 6 2 1415 382 16 0 1 0 22173913 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 273662652514 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17310/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 18.05
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 18.4511
CPU time (s): 18.2252
CPU user time (s): 14.3438
CPU system time (s): 3.88141
CPU usage (%): 98.7759
Max. virtual memory (cumulated for all children) (KiB): 887892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3438
system time used= 3.88141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25377
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= 11305
involuntary context switches= 11544
runsolver used 0.023996 second user time and 0.068989 second system time
The end
Begin job on node52 at 2009-07-12 00:25:04
IDJOB=2070124
IDBENCH=55138
IDSOLVER=738
FILE ID=node52/2070124-1247351104
PBS_JOBID= 9506948
Free space on /tmp= 66136 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg15-19_ext.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-2070124-1247351104/watcher-2070124-1247351104 -o /tmp/evaluation-result-2070124-1247351104/solver-2070124-1247351104 -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-2070124-1247351104.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e2bc6ddc97acb6fa0447766d1d8b9c3d
RANDOM SEED=190652676
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: 1599616 kB
Buffers: 6564 kB
Cached: 88160 kB
SwapCached: 0 kB
Active: 384652 kB
Inactive: 21076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1599616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1660 kB
Writeback: 0 kB
Mapped: 322552 kB
Slab: 35228 kB
Committed_AS: 458828 kB
PageTables: 2464 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= 66136 MiB
End job on node52 at 2009-07-12 00:25:23