0.00/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.07 c 0 BEGIN Wed Jul 23 06:27:06 2008
0.00/0.07 c 0 PID 6719
0.00/0.07 c 0 HOST node34.alineos.net
0.00/0.07 c 0 CONVERTING HOME/instance-1128651-1216787226.xml TO HOME/temp.csp
0.00/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1128651-1216787226.xml' 'HOME/temp.csp'
0.06/0.84 c 1 1 domains, 40 variables, 0 predicates, 255 relations, 255 constraints
0.06/0.90 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.90 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.41/1.06 c 1 Parsing HOME/temp.csp
0.61/1.22 c 1 parsed 551 expressions
0.61/1.22 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.61/1.23 c 1 MAX CSP: 255 constraints
0.61/1.23 c 1 Converting to clausal form CSP
0.61/1.25 c 1 converted 81 (10%) expressions
0.61/1.26 c 1 converted 162 (20%) expressions
0.61/1.26 c 1 converted 243 (30%) expressions
0.61/1.27 c 1 converted 324 (40%) expressions
0.61/1.28 c 1 converted 405 (50%) expressions
0.61/1.28 c 1 converted 486 (60%) expressions
0.61/1.29 c 1 converted 567 (70%) expressions
0.61/1.30 c 1 converted 648 (80%) expressions
0.71/1.30 c 1 converted 729 (90%) expressions
0.81/1.45 c 2 converted 809 (100%) expressions
0.81/1.45 c 2 CSP : 550 integers, 0 booleans, 764 clauses, largest domain size 383
0.81/1.45 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.81/1.45 c 2 Propagation in CSP
0.81/1.47 c 2 247 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.81/1.47 c 2 CSP : 550 integers, 0 booleans, 764 clauses, largest domain size 256
0.81/1.47 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.81/1.47 c 2 Simplifing CSP by introducing new Boolean variables
0.81/1.48 c 2 CSP : 550 integers, 0 booleans, 764 clauses, largest domain size 256
0.81/1.48 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.91/1.50 c 2 Encoding CSP to SAT : HOME/temp.cnf
0.92/1.60 c 2 55 (10%) CSP integer variables are encoded (120 clauses, 1222 bytes)
0.92/1.60 c 2 110 (20%) CSP integer variables are encoded (120 clauses, 1222 bytes)
0.92/1.61 c 2 165 (30%) CSP integer variables are encoded (120 clauses, 1222 bytes)
0.92/1.61 c 2 220 (40%) CSP integer variables are encoded (120 clauses, 1222 bytes)
0.92/1.61 c 2 275 (50%) CSP integer variables are encoded (120 clauses, 1222 bytes)
0.92/1.61 c 2 330 (60%) CSP integer variables are encoded (508 clauses, 5490 bytes)
0.92/1.62 c 2 385 (70%) CSP integer variables are encoded (767 clauses, 8592 bytes)
0.92/1.62 c 2 440 (80%) CSP integer variables are encoded (1194 clauses, 14143 bytes)
0.92/1.62 c 2 495 (90%) CSP integer variables are encoded (1483 clauses, 17900 bytes)
0.92/1.62 c 2 550 (100%) CSP integer variables are encoded (3443 clauses, 43380 bytes)
0.92/1.65 c 2 77 (10%) CSP clauses are encoded (3948 clauses, 50668 bytes)
0.92/1.67 c 2 153 (20%) CSP clauses are encoded (4451 clauses, 58199 bytes)
0.92/1.68 c 2 230 (30%) CSP clauses are encoded (4962 clauses, 66241 bytes)
0.92/1.69 c 2 306 (40%) CSP clauses are encoded (5634 clauses, 76042 bytes)
1.01/1.70 c 2 382 (50%) CSP clauses are encoded (9934 clauses, 142180 bytes)
1.01/1.71 c 2 459 (60%) CSP clauses are encoded (11353 clauses, 166232 bytes)
1.01/1.73 c 2 535 (70%) CSP clauses are encoded (23339 clauses, 382625 bytes)
1.01/1.73 c 2 612 (80%) CSP clauses are encoded (24907 clauses, 409297 bytes)
1.01/1.75 c 2 688 (90%) CSP clauses are encoded (28488 clauses, 472693 bytes)
1.12/1.85 c 2 764 (100%) CSP clauses are encoded (92931 clauses, 1640257 bytes)
1.12/1.85 c 2 764 CSP clauses encoded
1.12/1.85 c 2 Writing map file : HOME/temp.map
1.12/1.86 c 2 Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.12/1.86 c 2 SAT : 3993 SAT variables, 92931 SAT clauses, 1640257 bytes
1.12/1.86 c 2 Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.12/1.88 c 2 OBJECTIVE minimize _COST
1.12/1.88 c 2 SOLVING HOME/temp.cnf
1.12/1.88 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.12/1.88 c 2 This is MiniSat 2.0 beta incremental
1.12/1.88 c 2 WARNING: for repeatability, setting FPU to use double precision
1.12/1.88 c 2 ============================[ Problem Statistics ]=============================
1.12/1.88 c 2 | |
1.12/1.88 c 2 | Number of variables: 3993 |
1.12/1.88 c 2 | Number of clauses: 92931 |
1.20/1.92 c 2 | Parsing time: 0.04 s |
1.20/1.92 c 2 OK
1.20/1.92 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.20/1.92 c 2 SEARCHING: _COST <= 128
1.20/1.92 c 2 ============================[ Search Statistics ]==============================
1.20/1.92 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.20/1.92 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.20/1.92 c 2 ===============================================================================
1.20/1.92 c 2 | 0 | 3993 92931 268818 | 30977 0 nan | 0.000 % |
1.20/1.95 c 2 | 100 | 3993 92931 268818 | 34074 100 14 | 0.006 % |
1.20/1.98 c 2 | 250 | 3993 92931 268818 | 37482 250 18 | 0.006 % |
1.20/2.00 c 2 | 476 | 3993 92931 268818 | 41230 476 20 | 0.006 % |
1.20/2.03 c 2 | 813 | 3993 92931 268818 | 45353 813 21 | 0.006 % |
1.20/2.09 c 2 | 1320 | 3993 92931 268818 | 49888 1320 22 | 0.006 % |
1.20/2.17 c 2 | 2080 | 3993 92931 268818 | 54877 2080 22 | 0.006 % |
1.60/2.31 c 2 | 3220 | 3993 92931 268818 | 60365 3220 24 | 0.006 % |
1.70/2.46 c 3 | 4930 | 3993 92931 268818 | 66401 4930 23 | 0.006 % |
2.00/2.76 c 3 | 7493 | 3993 92931 268818 | 73042 7493 25 | 0.006 % |
2.60/3.35 c 3 | 11337 | 3993 92931 268818 | 80346 11337 27 | 0.006 % |
3.70/4.44 c 5 | 17107 | 3993 92931 268818 | 88380 17107 29 | 0.006 % |
5.38/6.13 c 6 | 25756 | 3993 92931 268818 | 97219 25756 29 | 0.006 % |
8.86/9.61 c 10 | 38731 | 3993 92931 268818 | 106941 38731 28 | 0.006 % |
16.53/17.31 c 17 | 58192 | 3993 92931 268818 | 117635 58192 28 | 0.006 % |
36.63/37.54 c 38 | 87386 | 3993 92931 268818 | 129398 87386 28 | 0.006 % |
71.78/72.80 c 73 | 131175 | 3993 92931 268818 | 142338 131175 27 | 0.006 % |
105.34/106.59 c 107 | 196859 | 3993 92931 268818 | 156572 65928 26 | 0.006 % |
187.91/189.46 c 190 | 295387 | 3993 92931 268818 | 172229 21606 29 | 0.006 % |
336.32/338.42 c 339 | 443176 | 3993 92931 268818 | 189452 169395 34 | 0.006 % |
610.22/613.47 c 614 | 664860 | 3993 92931 268818 | 208397 43056 30 | 0.006 % |
977.45/982.19 c 982 | 997385 | 3993 92931 268818 | 229237 184220 35 | 0.006 % |
1612.61/1619.87 c 1620 | 1496174 | 3993 92931 268818 | 252161 41745 38 | 0.006 % |
2687.61/2699.17 c 2699 | 2244360 | 3993 92931 268818 | 277377 81251 33 | 0.006 % |
3600.06/3615.21 c ERROR INTERRUPTED
3600.06/3615.21 s UNKNOWN
3600.06/3615.22 c 3615 CPU 3599.71 (0.05 0.02 3599.66 0.35)
3600.06/3615.22 c 3615 END Wed Jul 23 07:27:21 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-1128651-1216787226/watcher-1128651-1216787226 -o /tmp/evaluation-result-1128651-1216787226/solver-1128651-1216787226 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1128651-1216787226.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.77 2.70 2.65 5/80 6719
/proc/meminfo: memFree=1284032/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=12268 CPUtime=0
/proc/6719/stat : 6719 (sugar++) R 6717 6719 3950 0 -1 4194304 348 0 0 0 0 0 0 0 23 0 1 0 5812211 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 254195497573 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/6719/statm: 3067 316 241 3 0 167 0
[startup+0.105651 s]
/proc/loadavg: 2.77 2.70 2.65 5/80 6719
/proc/meminfo: memFree=1284032/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16740 CPUtime=0.06
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1219 128 0 0 5 1 0 0 22 0 1 0 5812211 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.202658 s]
/proc/loadavg: 2.77 2.70 2.65 5/80 6719
/proc/meminfo: memFree=1284032/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16740 CPUtime=0.06
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1219 128 0 0 5 1 0 0 22 0 1 0 5812211 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.302667 s]
/proc/loadavg: 2.77 2.70 2.65 5/80 6719
/proc/meminfo: memFree=1284032/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16740 CPUtime=0.06
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1219 128 0 0 5 1 0 0 22 0 1 0 5812211 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.702695 s]
/proc/loadavg: 2.77 2.70 2.65 5/80 6719
/proc/meminfo: memFree=1284032/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16740 CPUtime=0.06
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1219 128 0 0 5 1 0 0 22 0 1 0 5812211 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.50176 s]
/proc/loadavg: 2.78 2.70 2.65 4/91 6741
/proc/meminfo: memFree=1276136/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16740 CPUtime=0.42
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1297 4548 0 1 5 2 31 4 15 0 1 0 5812211 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4185 1104 409 3 0 764 0
[pid=6732] ppid=6719 vsize=5356 CPUtime=0
/proc/6732/stat : 6732 (sh) S 6719 6719 3950 0 -1 4194304 278 0 0 0 0 0 0 0 19 0 1 0 5812302 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6732/statm: 1339 233 193 169 0 50 0
[pid=6733] ppid=6732 vsize=868364 CPUtime=0.49
/proc/6733/stat : 6733 (java) S 6732 6719 3950 0 -1 0 6243 0 1 0 47 2 0 0 18 0 9 0 5812302 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6733/statm: 217091 5504 2536 9 0 211666 0
[pid=6733/tid=6734] ppid=6732 vsize=868364 CPUtime=0.25
/proc/6733/task/6734/stat : 6734 (java) R 6732 6719 3950 0 -1 64 2636 0 1 0 25 0 0 0 25 0 9 0 5812303 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6733/tid=6735] ppid=6732 vsize=868364 CPUtime=0.03
/proc/6733/task/6735/stat : 6735 (java) R 6732 6719 3950 0 -1 64 1469 0 0 0 3 0 0 0 16 0 9 0 5812312 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 102731959 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6733/tid=6736] ppid=6732 vsize=868364 CPUtime=0
/proc/6733/task/6736/stat : 6736 (java) S 6732 6719 3950 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 5812312 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6733/tid=6737] ppid=6732 vsize=868364 CPUtime=0
/proc/6733/task/6737/stat : 6737 (java) S 6732 6719 3950 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 5812312 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6733/tid=6738] ppid=6732 vsize=868364 CPUtime=0
/proc/6733/task/6738/stat : 6738 (java) S 6732 6719 3950 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 5812314 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6733/tid=6739] ppid=6732 vsize=868364 CPUtime=0.18
/proc/6733/task/6739/stat : 6739 (java) S 6732 6719 3950 0 -1 64 1446 0 0 0 18 0 0 0 17 0 9 0 5812314 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6733/tid=6740] ppid=6732 vsize=868364 CPUtime=0
/proc/6733/task/6740/stat : 6740 (java) S 6732 6719 3950 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 5812314 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6733/tid=6741] ppid=6732 vsize=868364 CPUtime=0
/proc/6733/task/6741/stat : 6741 (java) S 6732 6719 3950 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 5812314 889204736 5504 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 890460
[startup+3.10187 s]
/proc/loadavg: 2.78 2.70 2.65 4/82 6742
/proc/meminfo: memFree=1273840/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 15 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=7464 CPUtime=1.2
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 1781 0 0 0 120 0 0 0 25 0 1 0 5812399 7643136 1730 996147200 134512640 135134323 4294956192 18446744073709551615 134708315 0 0 4096 3 0 0 0 17 1 0 0
/proc/6742/statm: 1866 1730 73 151 0 1712 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 24336
[startup+6.30113 s]
/proc/loadavg: 2.72 2.69 2.64 4/82 6742
/proc/meminfo: memFree=1270512/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=10252 CPUtime=4.38
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 2458 0 0 0 437 1 0 0 25 0 1 0 5812399 10498048 2407 996147200 134512640 135134323 4294956192 18446744073709551615 134532120 0 0 4096 3 0 0 0 17 1 0 0
/proc/6742/statm: 2563 2407 73 151 0 2409 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 27124
[startup+12.7016 s]
/proc/loadavg: 2.74 2.70 2.65 4/82 6742
/proc/meminfo: memFree=1267056/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=13276 CPUtime=10.76
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 3222 0 0 0 1074 2 0 0 25 0 1 0 5812399 13594624 3171 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/6742/statm: 3319 3171 73 151 0 3165 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 30148
[startup+25.5026 s]
/proc/loadavg: 2.72 2.70 2.64 3/82 6742
/proc/meminfo: memFree=1263024/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=17072 CPUtime=23.49
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 4150 0 0 0 2346 3 0 0 25 0 1 0 5812399 17481728 4099 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/6742/statm: 4268 4099 73 151 0 4114 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 33944
[startup+51.1025 s]
/proc/loadavg: 2.68 2.69 2.64 4/82 6742
/proc/meminfo: memFree=1258480/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=21856 CPUtime=48.97
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 5292 0 0 0 4893 4 0 0 25 0 1 0 5812399 22380544 5241 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/6742/statm: 5464 5241 73 151 0 5310 0
Current children cumulated CPU time (s) 50.17
Current children cumulated vsize (KiB) 38728
[startup+102.302 s]
/proc/loadavg: 2.52 2.64 2.63 3/83 6783
/proc/meminfo: memFree=1318560/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=27868 CPUtime=99.96
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 6757 0 0 0 9989 7 0 0 25 0 1 0 5812399 28536832 6706 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 6967 6706 73 151 0 6813 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 44740
[startup+162.303 s]
/proc/loadavg: 2.31 2.55 2.60 3/83 6783
/proc/meminfo: memFree=1317728/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=28848 CPUtime=159.72
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 6979 0 0 0 15965 7 0 0 25 0 1 0 5812399 29540352 6928 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 7212 6928 73 151 0 7058 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 45720
[startup+222.306 s]
/proc/loadavg: 2.25 2.48 2.57 3/83 6783
/proc/meminfo: memFree=1313568/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=32868 CPUtime=219.48
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 7984 0 0 0 21940 8 0 0 25 0 1 0 5812399 33656832 7933 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 8217 7933 73 151 0 8063 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 49740
[startup+282.303 s]
/proc/loadavg: 2.12 2.40 2.53 3/83 6783
/proc/meminfo: memFree=1312224/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=34356 CPUtime=279.25
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 8303 0 0 0 27916 9 0 0 25 0 1 0 5812399 35180544 8252 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 8589 8252 73 151 0 8435 0
Current children cumulated CPU time (s) 280.45
Current children cumulated vsize (KiB) 51228
[startup+342.302 s]
/proc/loadavg: 2.04 2.33 2.50 3/83 6783
/proc/meminfo: memFree=1305376/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[pid=6742] ppid=6719 vsize=78300 CPUtime=2908.72
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 18780 0 0 0 290849 23 0 0 25 0 1 0 5812399 80179200 18720 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 19575 18720 73 151 0 19421 0
Current children cumulated CPU time (s) 2909.92
Current children cumulated vsize (KiB) 95172
[startup+2982.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/83 6789
/proc/meminfo: memFree=1268128/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=78888 CPUtime=2968.48
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 18934 0 0 0 296825 23 0 0 25 0 1 0 5812399 80781312 18874 996147200 134512640 135134323 4294956192 18446744073709551615 134524822 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 19722 18874 73 151 0 19568 0
Current children cumulated CPU time (s) 2969.68
Current children cumulated vsize (KiB) 95760
[startup+3042.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/83 6789
/proc/meminfo: memFree=1268000/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=79048 CPUtime=3028.24
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 18954 0 0 0 302801 23 0 0 25 0 1 0 5812399 80945152 18894 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 19762 18894 73 151 0 19608 0
Current children cumulated CPU time (s) 3029.44
Current children cumulated vsize (KiB) 95920
[startup+3102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 6789
/proc/meminfo: memFree=1267744/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=79224 CPUtime=3088.01
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 19018 0 0 0 308777 24 0 0 25 0 1 0 5812399 81125376 18958 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 19806 18958 73 151 0 19652 0
Current children cumulated CPU time (s) 3089.21
Current children cumulated vsize (KiB) 96096
[startup+3162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 6791
/proc/meminfo: memFree=1267360/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=79624 CPUtime=3147.76
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 19093 0 0 0 314752 24 0 0 25 0 1 0 5812399 81534976 19033 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 19906 19033 73 151 0 19752 0
Current children cumulated CPU time (s) 3148.96
Current children cumulated vsize (KiB) 96496
[startup+3222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 6791
/proc/meminfo: memFree=1267104/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=79940 CPUtime=3207.53
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 19182 0 0 0 320729 24 0 0 25 0 1 0 5812399 81858560 19114 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 19985 19114 73 151 0 19831 0
Current children cumulated CPU time (s) 3208.73
Current children cumulated vsize (KiB) 96812
[startup+3282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 6791
/proc/meminfo: memFree=1267104/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=80152 CPUtime=3267.29
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 19207 0 0 0 326705 24 0 0 25 0 1 0 5812399 82075648 19139 996147200 134512640 135134323 4294956192 18446744073709551615 134532056 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 20038 19139 73 151 0 19884 0
Current children cumulated CPU time (s) 3268.49
Current children cumulated vsize (KiB) 97024
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6791
/proc/meminfo: memFree=1266080/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=81060 CPUtime=3327.05
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 19448 0 0 0 332680 25 0 0 25 0 1 0 5812399 83005440 19380 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 20265 19380 73 151 0 20111 0
Current children cumulated CPU time (s) 3328.25
Current children cumulated vsize (KiB) 97932
[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6791
/proc/meminfo: memFree=1263904/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=83252 CPUtime=3386.82
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 19986 0 0 0 338657 25 0 0 25 0 1 0 5812399 85250048 19918 996147200 134512640 135134323 4294956192 18446744073709551615 134532054 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 20813 19918 73 151 0 20659 0
Current children cumulated CPU time (s) 3388.02
Current children cumulated vsize (KiB) 100124
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6791
/proc/meminfo: memFree=1263712/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=83472 CPUtime=3446.58
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 20009 0 0 0 344633 25 0 0 25 0 1 0 5812399 85475328 19941 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 20868 19941 73 151 0 20714 0
Current children cumulated CPU time (s) 3447.78
Current children cumulated vsize (KiB) 100344
[startup+3522.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6791
/proc/meminfo: memFree=1263648/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=83472 CPUtime=3506.34
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 20011 0 0 0 350609 25 0 0 25 0 1 0 5812399 85475328 19943 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 20868 19943 73 151 0 20714 0
Current children cumulated CPU time (s) 3507.54
Current children cumulated vsize (KiB) 100344
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6791
/proc/meminfo: memFree=1263200/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=83880 CPUtime=3566.1
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 20122 0 0 0 356585 25 0 0 25 0 1 0 5812399 85893120 20054 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 20970 20054 73 151 0 20816 0
Current children cumulated CPU time (s) 3567.3
Current children cumulated vsize (KiB) 100752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6791
/proc/meminfo: memFree=1263008/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=84044 CPUtime=3598.86
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 20161 0 0 0 359861 25 0 0 25 0 1 0 5812399 86061056 20093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 21011 20093 73 151 0 20857 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 100916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3615.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 6791
/proc/meminfo: memFree=1263008/2055920 swapFree=4192956/4192956
[pid=6719] ppid=6717 vsize=16872 CPUtime=1.2
/proc/6719/stat : 6719 (sugar++) S 6717 6719 3950 0 -1 4194304 1470 11248 0 2 5 2 105 8 16 0 1 0 5812211 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/6719/statm: 4218 1119 414 3 0 797 0
[pid=6742] ppid=6719 vsize=84044 CPUtime=3598.86
/proc/6742/stat : 6742 (minisat-inc) R 6719 6719 3950 0 -1 4194304 20161 0 0 0 359861 25 0 0 25 0 1 0 5812399 86061056 20093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/6742/statm: 21011 20093 73 151 0 20857 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 100916
Child status: 0
Real time (s): 3615.22
CPU time (s): 3600.11
CPU user time (s): 3599.73
CPU system time (s): 0.376942
CPU usage (%): 99.5819
Max. virtual memory (cumulated for all children) (KiB): 890572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.73
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32952
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1981
involuntary context switches= 54065
runsolver used 3.47147 second user time and 9.68953 second system time
The end
Begin job on node34 at 2008-07-23 06:27:06
IDJOB=1128651
IDBENCH=65874
IDSOLVER=367
FILE ID=node34/1128651-1216787226
PBS_JOBID= 7974115
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-80/normalized-kbtree-9-5-3-5-80-47_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1128651-1216787226/watcher-1128651-1216787226 -o /tmp/evaluation-result-1128651-1216787226/solver-1128651-1216787226 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1128651-1216787226.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a3062c9f12dc51a939831899df0117ed
RANDOM SEED=1918177780
node34.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: 1284768 kB
Buffers: 43356 kB
Cached: 566876 kB
SwapCached: 0 kB
Active: 236640 kB
Inactive: 463420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1284768 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 860 kB
Writeback: 0 kB
Mapped: 110128 kB
Slab: 56376 kB
Committed_AS: 907996 kB
PageTables: 1916 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= 66560 MiB
End job on node34 at 2008-07-23 07:27:23