0.05/0.22 c 0 Sugar v1-14-6 + HOME/picosat
0.05/0.22 c 0 BEGIN Sat Jul 11 21:38:27 2009
0.05/0.22 c 0 PID 15982
0.05/0.22 c 0 HOST node75.alineos.net
0.05/0.22 c 0 CONVERTING HOME/instance-2066021-1247341107.xml TO HOME/temp.csp
0.05/0.22 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2066021-1247341107.xml' 'HOME/temp.csp'
0.07/0.51 c 0 2 domains, 35 variables, 2 predicates, 0 relations, 306 constraints
0.07/0.56 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.56 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.38/0.63 c 0 Parsing HOME/temp.csp
0.38/0.66 c 0 parsed 345 expressions
0.38/0.68 c 0 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.38/0.68 c 0 Converting to clausal form CSP
0.38/0.70 c 0 converted 35 (10%) expressions
0.38/0.73 c 0 converted 69 (20%) expressions
0.38/0.74 c 0 converted 104 (30%) expressions
0.38/0.76 c 1 converted 138 (40%) expressions
0.38/0.77 c 1 converted 173 (50%) expressions
0.38/0.78 c 1 converted 207 (60%) expressions
0.38/0.79 c 1 converted 242 (70%) expressions
0.38/0.80 c 1 converted 276 (80%) expressions
0.38/0.81 c 1 converted 311 (90%) expressions
0.38/0.88 c 1 converted 345 (100%) expressions
0.38/0.88 c 1 CSP : 35 integers, 0 booleans, 340 clauses, largest domain size 18
0.38/0.88 c 1 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.38/0.88 c 1 Propagation in CSP
0.38/0.88 c 1 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.38/0.88 c 1 CSP : 35 integers, 0 booleans, 340 clauses, largest domain size 18
0.38/0.88 c 1 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.38/0.89 c 1 Simplifing CSP by introducing new Boolean variables
0.38/0.90 c 1 CSP : 35 integers, 612 booleans, 952 clauses, largest domain size 18
0.38/0.90 c 1 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.38/0.92 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.38/0.93 c 1 4 (10%) CSP integer variables are encoded (64 clauses, 623 bytes)
0.38/0.93 c 1 7 (20%) CSP integer variables are encoded (112 clauses, 1092 bytes)
0.38/0.93 c 1 11 (30%) CSP integer variables are encoded (176 clauses, 1796 bytes)
0.38/0.93 c 1 14 (40%) CSP integer variables are encoded (224 clauses, 2324 bytes)
0.38/0.93 c 1 18 (50%) CSP integer variables are encoded (288 clauses, 3028 bytes)
0.38/0.93 c 1 21 (60%) CSP integer variables are encoded (333 clauses, 3523 bytes)
0.38/0.94 c 1 25 (70%) CSP integer variables are encoded (393 clauses, 4183 bytes)
0.38/0.94 c 1 28 (80%) CSP integer variables are encoded (438 clauses, 4678 bytes)
0.38/0.94 c 1 32 (90%) CSP integer variables are encoded (498 clauses, 5338 bytes)
0.38/0.94 c 1 35 (100%) CSP integer variables are encoded (543 clauses, 5833 bytes)
0.38/0.95 c 1 96 (10%) CSP clauses are encoded (1727 clauses, 22321 bytes)
0.38/0.96 c 1 191 (20%) CSP clauses are encoded (2910 clauses, 39213 bytes)
0.38/0.96 c 1 286 (30%) CSP clauses are encoded (4076 clauses, 56400 bytes)
0.38/0.97 c 1 381 (40%) CSP clauses are encoded (5242 clauses, 74297 bytes)
0.38/0.97 c 1 476 (50%) CSP clauses are encoded (6413 clauses, 92271 bytes)
0.38/0.98 c 1 572 (60%) CSP clauses are encoded (7533 clauses, 109423 bytes)
0.38/0.99 c 1 667 (70%) CSP clauses are encoded (8636 clauses, 126743 bytes)
0.38/0.99 c 1 762 (80%) CSP clauses are encoded (9739 clauses, 144767 bytes)
0.38/1.00 c 1 857 (90%) CSP clauses are encoded (10858 clauses, 163059 bytes)
0.81/1.02 c 1 952 (100%) CSP clauses are encoded (21385 clauses, 346245 bytes)
0.81/1.02 c 1 952 CSP clauses encoded
0.81/1.02 c 1 Writing map file : HOME/temp.map
0.81/1.02 c 1 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.81/1.02 c 1 SAT : 1190 SAT variables, 21385 SAT clauses, 346245 bytes
0.81/1.02 c 1 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.81/1.08 c 1 SOLVING HOME/temp.cnf
0.81/1.08 c 1 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
227.26/228.03 c 228 DECODING HOME/temp.out WITH HOME/temp.map
227.26/228.03 c 228 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'
227.30/228.11 c 228 Decoding HOME/temp.out
227.30/228.14 s SATISFIABLE
227.30/228.14 v 12 2 17 0 16 3 14 7 8 5 13 1 15 6 10 4 9 11 9 14 16 15 12 10 6 0 2 7 11 13 8 3 5 4 1
227.30/228.16 c 228 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
227.30/228.20 c 228 CPU 227.43 (0.05 0.02 227.14 0.22)
227.30/228.20 c 228 END Sat Jul 11 21:42:15 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066021-1247341107/watcher-2066021-1247341107 -o /tmp/evaluation-result-2066021-1247341107/solver-2066021-1247341107 -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-2066021-1247341107.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 2.07 4/81 15982
/proc/meminfo: memFree=1849376/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=18576 CPUtime=0
/proc/15982/stat : 15982 (runsolver) D 15980 15982 15006 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 21175125 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 231882681639 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/15982/statm: 4644 284 249 26 0 2626 0
[startup+0.0499811 s]
/proc/loadavg: 1.92 2.00 2.07 4/81 15982
/proc/meminfo: memFree=1849376/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=12268 CPUtime=0
/proc/15982/stat : 15982 (sugar) D 15980 15982 15006 0 -1 4194304 352 0 0 0 0 0 0 0 18 0 1 0 21175125 12562432 320 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/15982/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.101988 s]
/proc/loadavg: 1.92 2.00 2.07 4/81 15982
/proc/meminfo: memFree=1849376/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=12676 CPUtime=0.01
/proc/15982/stat : 15982 (sugar) D 15980 15982 15006 0 -1 4194304 533 0 0 0 1 0 0 0 18 0 1 0 21175125 12980224 501 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/15982/statm: 3169 501 315 3 0 269 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12676
[startup+0.302015 s]
/proc/loadavg: 1.92 2.00 2.07 4/81 15982
/proc/meminfo: memFree=1849376/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.07
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1227 128 0 0 5 2 0 0 16 0 1 0 21175125 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15982/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.701067 s]
/proc/loadavg: 1.92 2.00 2.07 4/81 15982
/proc/meminfo: memFree=1849376/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.38
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1309 4399 0 1 5 2 28 3 16 0 1 0 21175125 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 16868
[startup+1.50116 s]
/proc/loadavg: 1.92 2.00 2.07 3/92 16004
/proc/meminfo: memFree=1835144/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 16868
[startup+3.10135 s]
/proc/loadavg: 1.92 2.00 2.07 3/84 16006
/proc/meminfo: memFree=1843328/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=2076 CPUtime=2
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 448 0 0 0 190 10 0 0 25 0 1 0 21175233 2125824 432 996147200 134512640 134931368 4294956256 18446744073709551615 134525807 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 519 432 48 102 0 414 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 24300
[startup+6.30272 s]
/proc/loadavg: 1.93 2.00 2.07 3/84 16006
/proc/meminfo: memFree=1844736/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=2324 CPUtime=5.2
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 502 0 0 0 510 10 0 0 25 0 1 0 21175233 2379776 486 996147200 134512640 134931368 4294956256 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 581 486 48 102 0 476 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 24548
[startup+12.7015 s]
/proc/loadavg: 1.93 2.00 2.07 3/84 16006
/proc/meminfo: memFree=1844608/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=2560 CPUtime=11.6
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 575 0 0 0 1150 10 0 0 25 0 1 0 21175233 2621440 559 996147200 134512640 134931368 4294956256 18446744073709551615 134530799 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 640 559 48 102 0 535 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 24784
[startup+25.502 s]
/proc/loadavg: 1.95 2.00 2.07 3/84 16006
/proc/meminfo: memFree=1844096/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=3012 CPUtime=24.39
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 689 0 0 0 2429 10 0 0 25 0 1 0 21175233 3084288 673 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 753 673 48 102 0 648 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 25236
[startup+51.102 s]
/proc/loadavg: 1.96 2.00 2.07 3/84 16006
/proc/meminfo: memFree=1839360/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=3564 CPUtime=49.98
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 806 0 0 0 4988 10 0 0 25 0 1 0 21175233 3649536 790 996147200 134512640 134931368 4294956256 18446744073709551615 134525540 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 891 790 48 102 0 786 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 25788
[startup+102.306 s]
/proc/loadavg: 1.98 2.00 2.06 3/84 16006
/proc/meminfo: memFree=1840896/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=4304 CPUtime=101.16
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 985 0 0 0 10106 10 0 0 25 0 1 0 21175233 4407296 969 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 1076 969 48 102 0 971 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 26528
[startup+162.301 s]
/proc/loadavg: 2.03 2.00 2.06 3/85 16091
/proc/meminfo: memFree=1841904/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=4804 CPUtime=160.98
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 1121 0 0 0 16087 11 0 0 25 0 1 0 21175233 4919296 1105 996147200 134512640 134931368 4294956256 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 1201 1105 48 102 0 1096 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 27028
[startup+222.302 s]
/proc/loadavg: 2.18 2.04 2.07 3/85 16091
/proc/meminfo: memFree=1792944/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=5272 CPUtime=220.75
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 1245 0 0 0 22063 12 0 0 25 0 1 0 21175233 5398528 1229 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 1318 1229 48 102 0 1213 0
Current children cumulated CPU time (s) 221.59
Current children cumulated vsize (KiB) 27496
Solver just ended. Dumping a history of the last processes samples
[startup+223.901 s]
/proc/loadavg: 2.18 2.04 2.07 3/85 16091
/proc/meminfo: memFree=1791280/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=5272 CPUtime=222.34
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 1245 0 0 0 22222 12 0 0 25 0 1 0 21175233 5398528 1229 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 1318 1229 48 102 0 1213 0
Current children cumulated CPU time (s) 223.18
Current children cumulated vsize (KiB) 27496
[startup+225.506 s]
/proc/loadavg: 2.25 2.06 2.07 4/85 16091
/proc/meminfo: memFree=1791216/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=5272 CPUtime=223.94
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 1245 0 0 0 22382 12 0 0 25 0 1 0 21175233 5398528 1229 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 1318 1229 48 102 0 1213 0
Current children cumulated CPU time (s) 224.78
Current children cumulated vsize (KiB) 27496
[startup+227.102 s]
/proc/loadavg: 2.25 2.06 2.07 3/85 16091
/proc/meminfo: memFree=1791216/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=5272 CPUtime=225.53
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 1245 0 0 0 22541 12 0 0 25 0 1 0 21175233 5398528 1229 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 1318 1229 48 102 0 1213 0
Current children cumulated CPU time (s) 226.37
Current children cumulated vsize (KiB) 27496
[startup+227.903 s]
/proc/loadavg: 2.25 2.06 2.07 3/85 16091
/proc/meminfo: memFree=1791216/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=0.84
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1364 10959 0 2 5 2 70 7 16 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
[pid=16005] ppid=15982 vsize=5356 CPUtime=0
/proc/16005/stat : 16005 (sh) S 15982 15982 15006 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21175233 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16005/statm: 1339 232 193 169 0 50 0
[pid=16006] ppid=16005 vsize=5272 CPUtime=226.32
/proc/16006/stat : 16006 (picosat) R 16005 15982 15006 0 -1 4194304 1245 0 0 0 22620 12 0 0 25 0 1 0 21175233 5398528 1229 996147200 134512640 134931368 4294956256 18446744073709551615 134525785 0 0 4096 0 0 0 0 17 0 0 0
/proc/16006/statm: 1318 1229 48 102 0 1213 0
Current children cumulated CPU time (s) 227.16
Current children cumulated vsize (KiB) 27496
[startup+228.103 s]
/proc/loadavg: 2.25 2.06 2.07 3/85 16091
/proc/meminfo: memFree=1791216/2055920 swapFree=4192812/4192956
[pid=15982] ppid=15980 vsize=16868 CPUtime=227.3
/proc/15982/stat : 15982 (sugar) S 15980 15982 15006 0 -1 4194304 1425 12495 0 2 5 2 22704 19 17 0 1 0 21175125 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15982/statm: 4217 1112 409 3 0 796 0
Current children cumulated CPU time (s) 227.3
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 228.201
CPU time (s): 227.454
CPU user time (s): 227.202
CPU system time (s): 0.251961
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 890824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.202
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17773
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= 1086
involuntary context switches= 2480
runsolver used 0.243962 second user time and 0.661899 second system time
The end
Begin job on node75 at 2009-07-11 21:38:27
IDJOB=2066021
IDBENCH=54459
IDSOLVER=738
FILE ID=node75/2066021-1247341107
PBS_JOBID= 9506639
Free space on /tmp= 66236 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/allIntervalSeries/normalized-series-18.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-2066021-1247341107/watcher-2066021-1247341107 -o /tmp/evaluation-result-2066021-1247341107/solver-2066021-1247341107 -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-2066021-1247341107.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8eb80aac3e78ff14fab7058db635f260
RANDOM SEED=1308252774
node75.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.232
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1849920 kB
Buffers: 9356 kB
Cached: 87816 kB
SwapCached: 0 kB
Active: 126772 kB
Inactive: 26596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1849920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1440 kB
Writeback: 0 kB
Mapped: 68868 kB
Slab: 37756 kB
Committed_AS: 220032 kB
PageTables: 1948 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= 66256 MiB
End job on node75 at 2009-07-11 21:42:15