0.03/0.47 c 0 Sugar v1-14-6 + HOME/minisat
0.03/0.48 c 0 BEGIN Sat Jul 11 17:29:59 2009
0.03/0.48 c 0 PID 12629
0.03/0.49 c 0 HOST node59.alineos.net
0.03/0.49 c 0 CONVERTING HOME/instance-2060896-1247326198.xml TO HOME/temp.csp
0.03/0.49 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2060896-1247326198.xml' 'HOME/temp.csp'
0.54/1.15 c 1 25 domains, 1152 variables, 2 predicates, 0 relations, 1383 constraints
0.54/1.17 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.54/1.17 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.59/1.25 c 1 Parsing HOME/temp.csp
0.59/1.36 c 1 parsed 2562 expressions
0.59/1.37 c 1 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.59/1.37 c 1 Converting to clausal form CSP
0.59/1.39 c 1 converted 257 (10%) expressions
0.59/1.40 c 1 converted 513 (20%) expressions
0.59/1.40 c 1 converted 769 (30%) expressions
0.59/1.40 c 1 converted 1025 (40%) expressions
0.59/1.54 c 1 converted 1281 (50%) expressions
0.59/1.60 c 1 converted 1538 (60%) expressions
0.59/1.63 c 1 converted 1794 (70%) expressions
0.59/1.66 c 1 converted 2050 (80%) expressions
0.59/1.68 c 1 converted 2306 (90%) expressions
1.79/2.41 c 2 converted 2562 (100%) expressions
1.79/2.41 c 2 CSP : 4932 integers, 2116 booleans, 14369 clauses, largest domain size 71
1.79/2.41 c 2 Heap : 11 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
1.79/2.41 c 2 Propagation in CSP
1.79/2.47 c 2 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.79/2.47 c 2 CSP : 4932 integers, 2116 booleans, 14369 clauses, largest domain size 71
1.79/2.47 c 2 Heap : 11 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
1.79/2.49 c 2 Simplifing CSP by introducing new Boolean variables
1.89/2.50 c 2 CSP : 4932 integers, 2116 booleans, 14369 clauses, largest domain size 71
1.89/2.50 c 2 Heap : 11 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
1.89/2.58 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.98/2.61 c 2 494 (10%) CSP integer variables are encoded (2666 clauses, 32545 bytes)
1.98/2.61 c 2 987 (20%) CSP integer variables are encoded (2666 clauses, 32545 bytes)
1.98/2.62 c 2 1480 (30%) CSP integer variables are encoded (4586 clauses, 57505 bytes)
1.98/2.62 c 2 1973 (40%) CSP integer variables are encoded (7410 clauses, 94217 bytes)
1.98/2.63 c 2 2466 (50%) CSP integer variables are encoded (10290 clauses, 136374 bytes)
1.98/2.63 c 2 2960 (60%) CSP integer variables are encoded (13261 clauses, 180939 bytes)
1.98/2.64 c 2 3453 (70%) CSP integer variables are encoded (16210 clauses, 225174 bytes)
1.98/2.64 c 2 3946 (80%) CSP integer variables are encoded (19034 clauses, 267534 bytes)
1.98/2.65 c 2 4439 (90%) CSP integer variables are encoded (21914 clauses, 310734 bytes)
1.98/2.65 c 2 4932 (100%) CSP integer variables are encoded (24954 clauses, 356334 bytes)
2.18/2.82 c 2 1437 (10%) CSP clauses are encoded (92961 clauses, 1525201 bytes)
2.28/2.98 c 2 2874 (20%) CSP clauses are encoded (132874 clauses, 2346385 bytes)
2.58/3.21 c 3 4311 (30%) CSP clauses are encoded (156224 clauses, 3019302 bytes)
2.78/3.42 c 3 5748 (40%) CSP clauses are encoded (176369 clauses, 3624029 bytes)
2.97/3.62 c 3 7185 (50%) CSP clauses are encoded (196193 clauses, 4281662 bytes)
3.27/3.99 c 3 8622 (60%) CSP clauses are encoded (283022 clauses, 6206959 bytes)
3.57/4.24 c 4 10059 (70%) CSP clauses are encoded (307661 clauses, 7037221 bytes)
3.77/4.45 c 4 11496 (80%) CSP clauses are encoded (327806 clauses, 7710878 bytes)
3.96/4.64 c 4 12933 (90%) CSP clauses are encoded (346815 clauses, 8343422 bytes)
4.26/4.99 c 4 14369 (100%) CSP clauses are encoded (433169 clauses, 10335904 bytes)
4.26/4.99 c 4 14369 CSP clauses encoded
4.26/5.00 c 4 Writing map file : HOME/temp.map
4.36/5.01 c 4 Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
4.36/5.01 c 4 SAT : 31954 SAT variables, 433169 SAT clauses, 10335904 bytes
4.36/5.01 c 4 Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
4.36/5.04 c 4 SOLVING HOME/temp.cnf
4.36/5.04 c 4 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
4.36/5.04 c 4 This is MiniSat 2.0 beta
4.36/5.04 c 4 WARNING: for repeatability, setting FPU to use double precision
4.36/5.04 c 4 ============================[ Problem Statistics ]=============================
4.36/5.04 c 4 | |
4.36/5.05 c 4 | Number of variables: 31954 |
4.36/5.05 c 4 | Number of clauses: 433169 |
4.39/5.31 c 5 | Parsing time: 0.21 s |
4.39/5.33 c 5 ============================[ Search Statistics ]==============================
4.39/5.33 c 5 | Conflicts | ORIGINAL | LEARNT | Progress |
4.39/5.33 c 5 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.39/5.33 c 5 ===============================================================================
4.39/5.33 c 5 | 0 | 31954 433169 1591810 | 144389 0 nan | 0.000 % |
4.83/5.54 c 5 | 103 | 31954 433169 1591810 | 158828 103 44 | 0.000 % |
5.12/5.88 c 5 | 253 | 31954 433169 1591810 | 174711 253 32 | 0.000 % |
5.52/6.23 c 6 | 480 | 31954 433169 1591810 | 192182 480 27 | 0.000 % |
6.21/6.91 c 6 | 817 | 31954 433169 1591810 | 211400 817 27 | 0.000 % |
7.10/7.85 c 7 | 1323 | 31954 433169 1591810 | 232541 1323 28 | 0.000 % |
8.49/9.21 c 9 | 2084 | 31954 433169 1591810 | 255795 2084 29 | 0.000 % |
10.97/11.79 c 11 | 3223 | 31954 433169 1591810 | 281374 3223 28 | 0.000 % |
13.83/14.62 c 14 | 4931 | 31954 433169 1591810 | 309512 4931 29 | 0.000 % |
19.18/20.01 c 19 | 7493 | 31954 433169 1591810 | 340463 7493 28 | 0.000 % |
26.42/27.39 c 27 | 11339 | 31954 433169 1591810 | 374509 11339 27 | 0.000 % |
38.79/39.88 c 39 | 17108 | 31954 433169 1591810 | 411960 17108 28 | 0.000 % |
59.70/60.92 c 60 | 25760 | 31954 433169 1591810 | 453156 25760 29 | 0.000 % |
91.59/93.10 c 93 | 38734 | 31954 433169 1591810 | 498472 38734 29 | 0.000 % |
143.30/145.33 c 145 | 58195 | 31954 433169 1591810 | 548319 58195 31 | 0.000 % |
226.71/229.60 c 229 | 87388 | 31954 433169 1591810 | 603151 87388 30 | 0.000 % |
380.97/384.71 c 384 | 131177 | 31954 433169 1591810 | 663466 131177 30 | 0.000 % |
634.04/637.95 c 637 | 196861 | 31954 433169 1591810 | 729813 196861 33 | 0.000 % |
1107.43/1111.59 c 1111 | 295387 | 31912 430083 1577891 | 802794 146433 28 | 0.132 % |
1771.22/1775.64 c 1775 | 443176 | 31912 430083 1577891 | 883074 294222 33 | 0.132 % |
1800.01/1804.42 c ERROR INTERRUPTED
1800.01/1804.42 s UNKNOWN
1800.01/1804.42 c 1804 CPU 4.4 (0.06 0.01 4.1 0.23)
1800.01/1804.42 c 1804 END Sat Jul 11 18:00:03 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2060896-1247326198/watcher-2060896-1247326198 -o /tmp/evaluation-result-2060896-1247326198/solver-2060896-1247326198 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2060896-1247326198.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.93 3.02 2.58 4/74 12629
/proc/meminfo: memFree=1921096/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=18576 CPUtime=0
/proc/12629/stat : 12629 (runsolver) R 12627 12629 11545 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 19682959 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12629/statm: 4644 284 249 26 0 2626 0
[startup+0.106022 s]
/proc/loadavg: 2.93 3.02 2.58 4/74 12629
/proc/meminfo: memFree=1921096/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=12412 CPUtime=0
/proc/12629/stat : 12629 (sugar) D 12627 12629 11545 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 1 0 19682959 12709888 382 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/12629/statm: 3103 382 275 3 0 203 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12412
[startup+0.20104 s]
/proc/loadavg: 2.93 3.02 2.58 4/74 12629
/proc/meminfo: memFree=1921096/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=13336 CPUtime=0.03
/proc/12629/stat : 12629 (sugar) D 12627 12629 11545 0 -1 4194304 733 0 0 0 3 0 0 0 18 0 1 0 19682959 13656064 701 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/12629/statm: 3334 701 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336
[startup+0.301054 s]
/proc/loadavg: 2.93 3.02 2.58 4/74 12629
/proc/meminfo: memFree=1921096/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=13336 CPUtime=0.03
/proc/12629/stat : 12629 (sugar) D 12627 12629 11545 0 -1 4194304 733 0 0 0 3 0 0 0 18 0 1 0 19682959 13656064 701 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/12629/statm: 3334 701 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336
[startup+0.701141 s]
/proc/loadavg: 2.93 3.02 2.58 4/74 12629
/proc/meminfo: memFree=1921096/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=0.07
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1227 128 0 0 6 1 0 0 18 0 1 0 19682959 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.5023 s]
/proc/loadavg: 2.93 3.02 2.58 3/85 12641
/proc/meminfo: memFree=1906608/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=0.59
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1309 5201 0 1 6 1 48 4 15 0 1 0 19682959 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 16868
[startup+3.1026 s]
/proc/loadavg: 2.93 3.02 2.58 3/85 12651
/proc/meminfo: memFree=1896624/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=0.59
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1310 5201 0 1 6 1 48 4 15 0 1 0 19682959 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1111 409 3 0 796 0
[pid=12642] ppid=12629 vsize=5356 CPUtime=0
/proc/12642/stat : 12642 (sh) S 12629 12629 11545 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 19683077 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12642/statm: 1339 233 193 169 0 50 0
[pid=12643] ppid=12642 vsize=868704 CPUtime=1.9
/proc/12643/stat : 12643 (java) S 12642 12629 11545 0 -1 0 9313 0 2 0 181 9 0 0 18 0 9 0 19683077 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12643/statm: 217176 8301 2591 9 0 211653 0
[pid=12643/tid=12644] ppid=12642 vsize=868704 CPUtime=1.26
/proc/12643/task/12644/stat : 12644 (java) R 12642 12629 11545 0 -1 64 2881 0 1 0 122 4 0 0 21 0 9 0 19683078 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4127059909 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12643/tid=12645] ppid=12642 vsize=868704 CPUtime=0.33
/proc/12643/task/12645/stat : 12645 (java) S 12642 12629 11545 0 -1 64 4183 0 0 0 31 2 0 0 16 0 9 0 19683079 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12643/tid=12646] ppid=12642 vsize=868704 CPUtime=0
/proc/12643/task/12646/stat : 12646 (java) S 12642 12629 11545 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19683079 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12643/tid=12647] ppid=12642 vsize=868704 CPUtime=0
/proc/12643/task/12647/stat : 12647 (java) S 12642 12629 11545 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 19683079 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12643/tid=12648] ppid=12642 vsize=868704 CPUtime=0
/proc/12643/task/12648/stat : 12648 (java) S 12642 12629 11545 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 19683081 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12643/tid=12649] ppid=12642 vsize=868704 CPUtime=0.27
/proc/12643/task/12649/stat : 12649 (java) S 12642 12629 11545 0 -1 64 1550 0 1 0 26 1 0 0 15 0 9 0 19683081 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12643/tid=12650] ppid=12642 vsize=868704 CPUtime=0
/proc/12643/task/12650/stat : 12650 (java) S 12642 12629 11545 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 19683081 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12643/tid=12651] ppid=12642 vsize=868704 CPUtime=0
/proc/12643/task/12651/stat : 12651 (java) S 12642 12629 11545 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 19683081 889552896 8301 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 890928
[startup+6.30222 s]
/proc/loadavg: 2.86 3.01 2.57 3/77 12653
/proc/meminfo: memFree=1882672/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 15 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=24100 CPUtime=1.23
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 5792 0 0 0 118 5 0 0 25 0 1 0 19683464 24678400 5778 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12653/statm: 6025 5778 76 150 0 5872 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 46324
[startup+12.7014 s]
/proc/loadavg: 2.79 2.99 2.57 3/77 12653
/proc/meminfo: memFree=1881520/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=25024 CPUtime=7.56
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 6022 0 0 0 751 5 0 0 25 0 1 0 19683464 25624576 6008 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12653/statm: 6256 6008 76 150 0 6103 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 47248
[startup+25.5029 s]
/proc/loadavg: 2.61 2.94 2.56 3/77 12653
/proc/meminfo: memFree=1880560/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=26456 CPUtime=20.24
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 6350 0 0 0 2018 6 0 0 25 0 1 0 19683464 27090944 6336 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12653/statm: 6614 6336 76 150 0 6461 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 48680
[startup+51.1028 s]
/proc/loadavg: 2.40 2.86 2.54 3/77 12653
/proc/meminfo: memFree=1878768/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=28268 CPUtime=45.6
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 6819 0 0 0 4553 7 0 0 25 0 1 0 19683464 28946432 6805 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/12653/statm: 7067 6805 76 150 0 6914 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 50492
[startup+102.303 s]
/proc/loadavg: 2.17 2.73 2.51 3/77 12653
/proc/meminfo: memFree=1874928/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=31812 CPUtime=96.32
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 7689 0 0 0 9624 8 0 0 25 0 1 0 19683464 32575488 7675 996147200 134512640 135127466 4294956256 18446744073709551615 134530613 0 0 4096 3 0 0 0 17 1 0 0
/proc/12653/statm: 7953 7675 76 150 0 7800 0
Current children cumulated CPU time (s) 100.71
Current children cumulated vsize (KiB) 54036
[startup+162.301 s]
/proc/loadavg: 2.06 2.59 2.48 3/77 12653
/proc/meminfo: memFree=1870960/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=35496 CPUtime=155.75
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 8595 0 0 0 15566 9 0 0 25 0 1 0 19683464 36347904 8581 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12653/statm: 8874 8581 76 150 0 8721 0
Current children cumulated CPU time (s) 160.14
Current children cumulated vsize (KiB) 57720
[startup+222.307 s]
/proc/loadavg: 2.02 2.48 2.44 3/77 12653
/proc/meminfo: memFree=1867696/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=38400 CPUtime=215.18
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 9354 0 0 0 21509 9 0 0 25 0 1 0 19683464 39321600 9340 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12653/statm: 9600 9340 76 150 0 9447 0
Current children cumulated CPU time (s) 219.57
Current children cumulated vsize (KiB) 60624
################
# More data... #
################
/proc/meminfo: memFree=1742768/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=74724 CPUtime=1353.71
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 18375 0 0 0 135347 24 0 0 25 0 1 0 19683464 76517376 18361 996147200 134512640 135127466 4294956256 18446744073709551615 134530641 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 18681 18361 76 150 0 18528 0
Current children cumulated CPU time (s) 1358.1
Current children cumulated vsize (KiB) 96948
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/77 12707
/proc/meminfo: memFree=1740592/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=74724 CPUtime=1413.68
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 18386 0 0 0 141344 24 0 0 25 0 1 0 19683464 76517376 18372 996147200 134512640 135127466 4294956256 18446744073709551615 134530679 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 18681 18372 76 150 0 18528 0
Current children cumulated CPU time (s) 1418.07
Current children cumulated vsize (KiB) 96948
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/77 12707
/proc/meminfo: memFree=1738416/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=74860 CPUtime=1473.65
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 18422 0 0 0 147341 24 0 0 25 0 1 0 19683464 76656640 18408 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 18715 18408 76 150 0 18562 0
Current children cumulated CPU time (s) 1478.04
Current children cumulated vsize (KiB) 97084
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/77 12707
/proc/meminfo: memFree=1735856/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=74992 CPUtime=1533.64
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 18468 0 0 0 153339 25 0 0 25 0 1 0 19683464 76791808 18454 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 18748 18454 76 150 0 18595 0
Current children cumulated CPU time (s) 1538.03
Current children cumulated vsize (KiB) 97216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/77 12707
/proc/meminfo: memFree=1733552/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=75128 CPUtime=1593.6
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 18476 0 0 0 159335 25 0 0 25 0 1 0 19683464 76931072 18462 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 18782 18462 76 150 0 18629 0
Current children cumulated CPU time (s) 1597.99
Current children cumulated vsize (KiB) 97352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/77 12707
/proc/meminfo: memFree=1731312/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=75128 CPUtime=1653.58
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 18493 0 0 0 165333 25 0 0 25 0 1 0 19683464 76931072 18479 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 18782 18479 76 150 0 18629 0
Current children cumulated CPU time (s) 1657.97
Current children cumulated vsize (KiB) 97352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/77 12707
/proc/meminfo: memFree=1727792/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=75968 CPUtime=1713.54
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 18699 0 0 0 171329 25 0 0 25 0 1 0 19683464 77791232 18685 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 18992 18685 76 150 0 18839 0
Current children cumulated CPU time (s) 1717.93
Current children cumulated vsize (KiB) 98192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/77 12707
/proc/meminfo: memFree=1723632/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=77964 CPUtime=1773.52
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 19190 0 0 0 177326 26 0 0 25 0 1 0 19683464 79835136 19176 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 19491 19176 76 150 0 19338 0
Current children cumulated CPU time (s) 1777.91
Current children cumulated vsize (KiB) 100188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/77 12707
/proc/meminfo: memFree=1722416/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=78492 CPUtime=1795.62
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 19318 0 0 0 179536 26 0 0 25 0 1 0 19683464 80375808 19304 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 19623 19304 76 150 0 19470 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 100716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/77 12707
/proc/meminfo: memFree=1722416/2055920 swapFree=4192812/4192956
[pid=12629] ppid=12627 vsize=16868 CPUtime=4.39
/proc/12629/stat : 12629 (sugar) S 12627 12629 11545 0 -1 4194304 1376 15050 0 4 6 1 410 22 16 0 1 0 19682959 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12629/statm: 4217 1113 409 3 0 796 0
[pid=12652] ppid=12629 vsize=5356 CPUtime=0
/proc/12652/stat : 12652 (sh) S 12629 12629 11545 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19683464 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12652/statm: 1339 232 193 169 0 50 0
[pid=12653] ppid=12652 vsize=78492 CPUtime=1795.62
/proc/12653/stat : 12653 (minisat) R 12652 12629 11545 0 -1 4194304 19318 0 0 0 179536 26 0 0 25 0 1 0 19683464 80375808 19304 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12653/statm: 19623 19304 76 150 0 19470 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 100716
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12629 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=173365
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=258960
# CPU time returned by wait4() is 4.43233
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1804.43
CPU time (s): 1800.01
CPU user time (s): 1799.52
CPU system time (s): 0.49
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 890928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.17337
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16809
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5716
involuntary context switches= 5519
runsolver used 2.09768 second user time and 6.12507 second system time
The end
Begin job on node59 at 2009-07-11 17:29:58
IDJOB=2060896
IDBENCH=53759
IDSOLVER=739
FILE ID=node59/2060896-1247326198
PBS_JOBID= 9506512
Free space on /tmp= 66368 MiB
SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-24-24.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2060896-1247326198/watcher-2060896-1247326198 -o /tmp/evaluation-result-2060896-1247326198/solver-2060896-1247326198 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2060896-1247326198.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 601e43bf7d49691779e40a92658cf9e2
RANDOM SEED=304975464
node59.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.263
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.263
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: 1921768 kB
Buffers: 6096 kB
Cached: 36744 kB
SwapCached: 0 kB
Active: 69340 kB
Inactive: 14604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1921768 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1672 kB
Writeback: 0 kB
Mapped: 52412 kB
Slab: 35204 kB
Committed_AS: 160900 kB
PageTables: 1964 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= 66348 MiB
End job on node59 at 2009-07-11 18:00:05