0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sat Jul 12 06:01:22 2008
0.00/0.04 c 0 PID 16413
0.00/0.05 c 0 HOST node18.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1110808-1215835281.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110808-1215835281.xml' 'HOME/temp.csp'
0.04/0.57 c 0 1 domains, 238 variables, 0 predicates, 2 relations, 31 constraints
0.04/0.57 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.57 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.54/0.65 c 0 Parsing HOME/temp.csp
0.54/0.87 c 0 parsed 272 expressions
0.54/0.88 c 0 Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.54/0.88 c 0 MAX CSP: 31 constraints
0.54/0.88 c 0 Converting to clausal form CSP
0.54/0.91 c 0 converted 31 (10%) expressions
0.54/0.91 c 0 converted 62 (20%) expressions
0.54/0.91 c 0 converted 92 (30%) expressions
0.54/0.91 c 0 converted 123 (40%) expressions
0.54/0.91 c 0 converted 153 (50%) expressions
0.54/0.91 c 0 converted 184 (60%) expressions
0.54/0.91 c 0 converted 215 (70%) expressions
1.34/1.41 c 1 converted 245 (80%) expressions
4.69/4.89 c 4 converted 276 (90%) expressions
5.18/5.35 c 5 converted 306 (100%) expressions
5.18/5.35 c 5 CSP : 300 integers, 0 booleans, 92 clauses, largest domain size 47
5.18/5.35 c 5 Heap : 156 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.18/5.35 c 5 Propagation in CSP
5.18/5.37 c 5 26 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.18/5.37 c 5 CSP : 300 integers, 0 booleans, 92 clauses, largest domain size 32
5.18/5.37 c 5 Heap : 156 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.18/5.37 c 5 Simplifing CSP by introducing new Boolean variables
5.18/5.37 c 5 CSP : 300 integers, 0 booleans, 92 clauses, largest domain size 32
5.18/5.37 c 5 Heap : 156 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.17/6.39 c 6 Encoding CSP to SAT : HOME/temp.cnf
6.27/6.41 c 6 30 (10%) CSP integer variables are encoded (720 clauses, 7776 bytes)
6.27/6.42 c 6 60 (20%) CSP integer variables are encoded (1440 clauses, 16657 bytes)
6.27/6.42 c 6 90 (30%) CSP integer variables are encoded (2160 clauses, 26017 bytes)
6.27/6.42 c 6 120 (40%) CSP integer variables are encoded (2880 clauses, 35377 bytes)
6.27/6.42 c 6 150 (50%) CSP integer variables are encoded (3600 clauses, 44737 bytes)
6.27/6.42 c 6 180 (60%) CSP integer variables are encoded (4320 clauses, 54097 bytes)
6.27/6.42 c 6 210 (70%) CSP integer variables are encoded (5040 clauses, 63457 bytes)
6.27/6.43 c 6 240 (80%) CSP integer variables are encoded (5712 clauses, 72193 bytes)
6.27/6.43 c 6 270 (90%) CSP integer variables are encoded (5742 clauses, 72583 bytes)
6.27/6.43 c 6 300 (100%) CSP integer variables are encoded (5934 clauses, 75079 bytes)
950.25/955.62 c 955 10 (10%) CSP clauses are encoded (1493734 clauses, 149357330 bytes)
1632.22/1637.96 c 1638 19 (20%) CSP clauses are encoded (2606342 clauses, 262607221 bytes)
1690.37/1696.17 c 1696 28 (30%) CSP clauses are encoded (2926508 clauses, 299936248 bytes)
1709.46/1715.25 c 1715 37 (40%) CSP clauses are encoded (3033258 clauses, 312510353 bytes)
1709.46/1715.25 c 1715 46 (50%) CSP clauses are encoded (3033337 clauses, 312511628 bytes)
1709.46/1715.26 c 1715 56 (60%) CSP clauses are encoded (3033382 clauses, 312512319 bytes)
1709.46/1715.26 c 1715 65 (70%) CSP clauses are encoded (3033610 clauses, 312516205 bytes)
1709.46/1715.26 c 1715 74 (80%) CSP clauses are encoded (3033678 clauses, 312517295 bytes)
1709.46/1715.26 c 1715 83 (90%) CSP clauses are encoded (3033736 clauses, 312518206 bytes)
1709.46/1715.26 c 1715 92 (100%) CSP clauses are encoded (3034860 clauses, 312537443 bytes)
1709.46/1715.27 c 1715 92 CSP clauses encoded
1709.46/1715.27 c 1715 Writing map file : HOME/temp.map
1709.46/1715.27 c 1715 Heap : 243 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1709.46/1715.27 c 1715 SAT : 6234 SAT variables, 3034860 SAT clauses, 312537443 bytes
1709.46/1715.27 c 1715 Heap : 243 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1709.54/1715.34 c 1715 OBJECTIVE minimize _COST
1709.54/1715.34 c 1715 OBJECTIVE BOUND: 0 <= _COST <=
1709.54/1715.34 c 1715 SEARCHING: _COST <= 16
1709.54/1715.34 c 1715 SOLVING HOME/temp.cnf
1709.54/1715.34 c 1715 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1709.54/1715.35 c 1715 This is MiniSat 2.0 beta
1709.54/1715.35 c 1715 WARNING: for repeatability, setting FPU to use double precision
1709.54/1715.35 c 1715 ============================[ Problem Statistics ]=============================
1709.54/1715.35 c 1715 | |
1709.54/1715.35 c 1715 | Number of variables: 6234 |
1709.54/1715.35 c 1715 | Number of clauses: 3034861 |
1715.78/1721.67 c 1721 | Parsing time: 5.73 s |
1716.17/1722.02 c 1722 ============================[ Search Statistics ]==============================
1716.17/1722.02 c 1722 | Conflicts | ORIGINAL | LEARNT | Progress |
1716.17/1722.02 c 1722 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1716.17/1722.02 c 1722 ===============================================================================
1716.17/1722.02 c 1722 | 0 | 6159 3034250 57901056 | 1011416 0 nan | 0.000 % |
1716.67/1722.53 c 1722 | 100 | 6159 3034250 57901056 | 1112558 100 7 | 1.203 % |
1717.06/1722.93 c 1723 | 251 | 6159 3034250 57901056 | 1223814 251 8 | 1.203 % |
1717.16/1723.04 c 1723 | 477 | 6159 3034250 57901056 | 1346195 477 8 | 1.203 % |
1717.36/1723.21 c 1723 | 815 | 6159 3034250 57901056 | 1480815 815 9 | 1.203 % |
1717.46/1723.37 c 1723 | 1322 | 6159 3034250 57901056 | 1628896 1322 9 | 1.203 % |
1717.87/1723.79 c 1723 | 2081 | 6159 3034250 57901056 | 1791786 2081 9 | 1.203 % |
1718.15/1724.03 c 1724 | 3220 | 6159 3034250 57901056 | 1970964 3220 10 | 1.203 % |
1718.45/1724.37 c 1724 | 4928 | 6159 3034250 57901056 | 2168061 4928 9 | 1.203 % |
1719.94/1725.87 c 1725 | 7491 | 6159 3034250 57901056 | 2384867 7491 10 | 1.203 % |
1721.62/1727.59 c 1727 | 11336 | 6159 3034250 57901056 | 2623354 11336 11 | 1.203 % |
1724.79/1730.80 c 1730 | 17102 | 6159 3034250 57901056 | 2885689 17102 10 | 1.203 % |
1729.25/1735.28 c 1735 | 25751 | 6159 3034250 57901056 | 3174258 25751 11 | 1.203 % |
1734.39/1740.41 c 1740 | 38725 | 6159 3034250 57901056 | 3491684 38725 11 | 1.203 % |
1749.25/1755.41 c 1755 | 58187 | 6159 3034250 57901056 | 3840853 58187 11 | 1.203 % |
1763.11/1769.43 c 1769 | 87381 | 6159 3034250 57901056 | 4224938 87381 12 | 1.203 % |
1799.85/1806.54 c 1806 | 131171 | 6159 3034250 57901056 | 4647432 131171 12 | 1.203 % |
1866.52/1873.83 c 1873 | 196855 | 6159 3034250 57901056 | 5112175 196855 12 | 1.203 % |
1952.74/1960.98 c 1961 | 295382 | 6159 3034250 57901056 | 5623393 295382 13 | 1.203 % |
2094.90/2104.44 c 2104 | 443171 | 6159 3034250 57901056 | 6185732 443171 13 | 1.203 % |
2524.59/2538.23 c 2538 | 664855 | 6159 3034250 57901056 | 6804305 664855 16 | 1.203 % |
3227.49/3247.82 c 3247 | 997380 | 6159 3034250 57901056 | 7484736 997380 17 | 1.203 % |
3600.07/3623.91 c ERROR INTERRUPTED
3600.07/3623.99 s UNKNOWN
3600.07/3623.99 c 3624 CPU 1707.04 (0.03 0.01 1707.01 2.55)
3600.07/3623.99 c 3624 END Sat Jul 12 07:01:46 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-1110808-1215835281/watcher-1110808-1215835281 -o /tmp/evaluation-result-1110808-1215835281/solver-1110808-1215835281 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1110808-1215835281.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.00 2.00 2.00 4/80 16413
/proc/meminfo: memFree=1784416/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=12268 CPUtime=0
/proc/16413/stat : 16413 (sugar) R 16411 16413 15641 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 40230467 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 227848976997 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16413/statm: 3067 316 241 3 0 167 0
[startup+0.0905249 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 16413
/proc/meminfo: memFree=1784416/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.04
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 40230467 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.101523 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 16413
/proc/meminfo: memFree=1784416/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.04
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 40230467 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301543 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 16413
/proc/meminfo: memFree=1784416/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.04
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 40230467 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701582 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 16413
/proc/meminfo: memFree=1784416/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.54
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 974 6601 0 1 3 1 47 3 16 0 1 0 40230467 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13600
[startup+1.50267 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 16435
/proc/meminfo: memFree=1771080/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.54
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 974 6601 0 1 3 1 47 3 15 0 1 0 40230467 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 797 370 3 0 500 0
[pid=16426] ppid=16413 vsize=5356 CPUtime=0
/proc/16426/stat : 16426 (sh) S 16413 16413 15641 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40230525 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16426/statm: 1339 233 193 169 0 50 0
[pid=16427] ppid=16426 vsize=864444 CPUtime=0.89
/proc/16427/stat : 16427 (java) S 16426 16413 15641 0 -1 0 10431 0 1 0 85 4 0 0 18 0 9 0 40230526 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16427/statm: 216111 9564 2540 9 0 210686 0
[pid=16427/tid=16428] ppid=16426 vsize=864444 CPUtime=0.39
/proc/16427/task/16428/stat : 16428 (java) R 16426 16413 15641 0 -1 64 2753 0 1 0 38 1 0 0 22 0 9 0 40230527 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16429] ppid=16426 vsize=864444 CPUtime=0.42
/proc/16427/task/16429/stat : 16429 (java) R 16426 16413 15641 0 -1 64 6650 0 0 0 40 2 0 0 17 0 9 0 40230528 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 103735776 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16430] ppid=16426 vsize=864444 CPUtime=0
/proc/16427/task/16430/stat : 16430 (java) S 16426 16413 15641 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40230528 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16431] ppid=16426 vsize=864444 CPUtime=0
/proc/16427/task/16431/stat : 16431 (java) S 16426 16413 15641 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40230528 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16432] ppid=16426 vsize=864444 CPUtime=0
/proc/16427/task/16432/stat : 16432 (java) S 16426 16413 15641 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40230530 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16433] ppid=16426 vsize=864444 CPUtime=0.07
/proc/16427/task/16433/stat : 16433 (java) S 16426 16413 15641 0 -1 64 335 0 0 0 7 0 0 0 16 0 9 0 40230530 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16434] ppid=16426 vsize=864444 CPUtime=0
/proc/16427/task/16434/stat : 16434 (java) S 16426 16413 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40230530 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16435] ppid=16426 vsize=864444 CPUtime=0
/proc/16427/task/16435/stat : 16435 (java) S 16426 16413 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40230530 885190656 9564 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 883400
[startup+3.10282 s]
/proc/loadavg: 2.00 2.00 2.00 5/91 16435
/proc/meminfo: memFree=1736648/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.54
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 974 6601 0 1 3 1 47 3 15 0 1 0 40230467 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 797 370 3 0 500 0
[pid=16426] ppid=16413 vsize=5356 CPUtime=0
/proc/16426/stat : 16426 (sh) S 16413 16413 15641 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40230525 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16426/statm: 1339 233 193 169 0 50 0
[pid=16427] ppid=16426 vsize=864192 CPUtime=2.47
/proc/16427/stat : 16427 (java) S 16426 16413 15641 0 -1 0 23224 0 1 0 237 10 0 0 18 0 9 0 40230526 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16427/statm: 216048 22102 2540 9 0 210623 0
[pid=16427/tid=16428] ppid=16426 vsize=864192 CPUtime=0.83
/proc/16427/task/16428/stat : 16428 (java) R 16426 16413 15641 0 -1 64 3607 0 1 0 82 1 0 0 25 0 9 0 40230527 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16429] ppid=16426 vsize=864192 CPUtime=1.55
/proc/16427/task/16429/stat : 16429 (java) R 16426 16413 15641 0 -1 64 18589 0 0 0 148 7 0 0 17 0 9 0 40230528 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16430] ppid=16426 vsize=864192 CPUtime=0
/proc/16427/task/16430/stat : 16430 (java) S 16426 16413 15641 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40230528 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16431] ppid=16426 vsize=864192 CPUtime=0
/proc/16427/task/16431/stat : 16431 (java) S 16426 16413 15641 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40230528 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16432] ppid=16426 vsize=864192 CPUtime=0
/proc/16427/task/16432/stat : 16432 (java) S 16426 16413 15641 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40230530 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16433] ppid=16426 vsize=864192 CPUtime=0.07
/proc/16427/task/16433/stat : 16433 (java) S 16426 16413 15641 0 -1 64 335 0 0 0 7 0 0 0 16 0 9 0 40230530 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16434] ppid=16426 vsize=864192 CPUtime=0
/proc/16427/task/16434/stat : 16434 (java) S 16426 16413 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40230530 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16435] ppid=16426 vsize=864192 CPUtime=0
/proc/16427/task/16435/stat : 16435 (java) S 16426 16413 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40230530 884932608 22102 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 883148
[startup+6.30213 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 16435
/proc/meminfo: memFree=1616584/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.54
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 974 6601 0 1 3 1 47 3 15 0 1 0 40230467 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 797 370 3 0 500 0
[pid=16426] ppid=16413 vsize=5356 CPUtime=0
/proc/16426/stat : 16426 (sh) S 16413 16413 15641 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40230525 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16426/statm: 1339 233 193 169 0 50 0
[pid=16427] ppid=16426 vsize=884932 CPUtime=5.63
/proc/16427/stat : 16427 (java) S 16426 16413 15641 0 -1 0 55147 0 1 0 540 23 0 0 18 0 9 0 40230526 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16427/statm: 221233 48833 2540 9 0 215808 0
[pid=16427/tid=16428] ppid=16426 vsize=884932 CPUtime=1.59
/proc/16427/task/16428/stat : 16428 (java) S 16426 16413 15641 0 -1 64 4326 0 1 0 157 2 0 0 25 0 9 0 40230527 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16429] ppid=16426 vsize=884932 CPUtime=3.94
/proc/16427/task/16429/stat : 16429 (java) R 16426 16413 15641 0 -1 64 49787 0 0 0 374 20 0 0 23 0 9 0 40230528 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 104182483 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16430] ppid=16426 vsize=884932 CPUtime=0
/proc/16427/task/16430/stat : 16430 (java) S 16426 16413 15641 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40230528 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16431] ppid=16426 vsize=884932 CPUtime=0
/proc/16427/task/16431/stat : 16431 (java) S 16426 16413 15641 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40230528 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16432] ppid=16426 vsize=884932 CPUtime=0
/proc/16427/task/16432/stat : 16432 (java) S 16426 16413 15641 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40230530 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16433] ppid=16426 vsize=884932 CPUtime=0.08
/proc/16427/task/16433/stat : 16433 (java) S 16426 16413 15641 0 -1 64 341 0 0 0 8 0 0 0 16 0 9 0 40230530 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16434] ppid=16426 vsize=884932 CPUtime=0
/proc/16427/task/16434/stat : 16434 (java) S 16426 16413 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40230530 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16435] ppid=16426 vsize=884932 CPUtime=0
/proc/16427/task/16435/stat : 16435 (java) S 16426 16413 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40230530 906170368 48833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 903888
[startup+12.7027 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 16435
/proc/meminfo: memFree=1605064/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.54
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 974 6601 0 1 3 1 47 3 16 0 1 0 40230467 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 797 370 3 0 500 0
[pid=16426] ppid=16413 vsize=5356 CPUtime=0
/proc/16426/stat : 16426 (sh) S 16413 16413 15641 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40230525 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16426/statm: 1339 233 193 169 0 50 0
[pid=16427] ppid=16426 vsize=864304 CPUtime=11.96
/proc/16427/stat : 16427 (java) S 16426 16413 15641 0 -1 0 58020 0 1 0 1171 25 0 0 18 0 9 0 40230526 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16427/statm: 216076 46491 2565 9 0 210623 0
[pid=16427/tid=16428] ppid=16426 vsize=864304 CPUtime=7.74
/proc/16427/task/16428/stat : 16428 (java) R 16426 16413 15641 0 -1 64 5157 0 1 0 771 3 0 0 25 0 9 0 40230527 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4126635664 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16429] ppid=16426 vsize=864304 CPUtime=4.09
/proc/16427/task/16429/stat : 16429 (java) S 16426 16413 15641 0 -1 64 51810 0 0 0 388 21 0 0 16 0 9 0 40230528 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16430] ppid=16426 vsize=864304 CPUtime=0
/proc/16427/task/16430/stat : 16430 (java) S 16426 16413 15641 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40230528 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16431] ppid=16426 vsize=864304 CPUtime=0
/proc/16427/task/16431/stat : 16431 (java) S 16426 16413 15641 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40230528 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16432] ppid=16426 vsize=864304 CPUtime=0
/proc/16427/task/16432/stat : 16432 (java) S 16426 16413 15641 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40230530 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16433] ppid=16426 vsize=864304 CPUtime=0.1
/proc/16427/task/16433/stat : 16433 (java) S 16426 16413 15641 0 -1 64 360 0 0 0 10 0 0 0 16 0 9 0 40230530 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16434] ppid=16426 vsize=864304 CPUtime=0
/proc/16427/task/16434/stat : 16434 (java) S 16426 16413 15641 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40230530 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16435] ppid=16426 vsize=864304 CPUtime=0
/proc/16427/task/16435/stat : 16435 (java) S 16426 16413 15641 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40230530 885047296 46491 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 883260
[startup+25.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 16435
/proc/meminfo: memFree=1601672/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=0.54
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 974 6601 0 1 3 1 47 3 16 0 1 0 40230467 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 797 370 3 0 500 0
[pid=16426] ppid=16413 vsize=5356 CPUtime=0
/proc/16426/stat : 16426 (sh) S 16413 16413 15641 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40230525 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16426/statm: 1339 233 193 169 0 50 0
[pid=16427] ppid=16426 vsize=864304 CPUtime=24.63
/proc/16427/stat : 16427 (java) S 16426 16413 15641 0 -1 0 58868 0 1 0 2437 26 0 0 18 0 9 0 40230526 885047296 47334 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16427/statm: 216076 47334 2565 9 0 210623 0
[pid=16427/tid=16428] ppid=16426 vsize=864304 CPUtime=20.36
/proc/16427/task/16428/stat : 16428 (java) R 16426 16413 15641 0 -1 64 5162 0 1 0 2033 3 0 0 25 0 9 0 40230527 885047296 47334 996147200 134512640 134550740 4294955936 18446744073709551615 4126635584 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16429] ppid=16426 vsize=864304 CPUtime=4.13
/proc/16427/task/16429/stat : 16429 (java) S 16426 16413 15641 0 -1 64 52653 0 0 0 392 21 0 0 16 0 9 0 40230528 885047296 47334 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16430] ppid=16426 vsize=864304 CPUtime=0
/proc/16427/task/16430/stat : 16430 (java) S 16426 16413 15641 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40230528 885047296 47334 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16427/tid=16431] ppid=16426 vsize=864304 CPUtime=0
/proc/16427/task/16431/stat : 16431 (java) S 16426 16413 15641 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40230528 885047296 47334 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 16490
/proc/meminfo: memFree=332352/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=491888 CPUtime=1552.07
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 120375 0 0 0 155110 97 0 0 25 0 1 0 40402003 503693312 120361 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/16490/statm: 122972 120361 76 150 0 122819 0
Current children cumulated CPU time (s) 3261.67
Current children cumulated vsize (KiB) 510844
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 16490
/proc/meminfo: memFree=327808/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=498628 CPUtime=1611.51
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 121531 0 0 0 161053 98 0 0 25 0 1 0 40402003 510595072 121517 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/16490/statm: 124657 121517 76 150 0 124504 0
Current children cumulated CPU time (s) 3321.11
Current children cumulated vsize (KiB) 517584
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 16490
/proc/meminfo: memFree=302464/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=503324 CPUtime=1670.93
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 122741 0 0 0 166993 100 0 0 25 0 1 0 40402003 515403776 122727 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/16490/statm: 125831 122727 76 150 0 125678 0
Current children cumulated CPU time (s) 3380.53
Current children cumulated vsize (KiB) 522280
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 16490
/proc/meminfo: memFree=297216/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=508580 CPUtime=1730.37
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 124038 0 0 0 172936 101 0 0 25 0 1 0 40402003 520785920 124024 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/16490/statm: 127145 124024 76 150 0 126992 0
Current children cumulated CPU time (s) 3439.97
Current children cumulated vsize (KiB) 527536
[startup+3522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/85 16490
/proc/meminfo: memFree=292544/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=513116 CPUtime=1789.8
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 125184 0 0 0 178878 102 0 0 25 0 1 0 40402003 525430784 125170 996147200 134512640 135127466 4294956256 18446744073709551615 134530772 0 0 4096 3 0 0 0 17 1 0 0
/proc/16490/statm: 128279 125170 76 150 0 128126 0
Current children cumulated CPU time (s) 3499.4
Current children cumulated vsize (KiB) 532072
[startup+3582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/85 16496
/proc/meminfo: memFree=240936/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=517064 CPUtime=1849.22
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 126194 0 0 0 184818 104 0 0 25 0 1 0 40402003 529473536 126180 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 1 0 0
/proc/16490/statm: 129266 126180 76 150 0 129113 0
Current children cumulated CPU time (s) 3558.82
Current children cumulated vsize (KiB) 536020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3623.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16498
/proc/meminfo: memFree=299704/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=519640 CPUtime=1890.47
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 126860 0 0 0 188942 105 0 0 25 0 1 0 40402003 532111360 126846 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16490/statm: 129910 126846 76 150 0 129757 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 538596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3623.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16498
/proc/meminfo: memFree=299704/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.6
/proc/16413/stat : 16413 (sugar) S 16411 16413 15641 0 -1 4194304 1054 143069 0 2 3 1 170701 255 16 0 1 0 40230467 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16413/statm: 3400 803 374 3 0 500 0
[pid=16489] ppid=16413 vsize=5356 CPUtime=0
/proc/16489/stat : 16489 (sh) S 16413 16413 15641 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40402002 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16489/statm: 1339 232 193 169 0 50 0
[pid=16490] ppid=16489 vsize=519640 CPUtime=1890.47
/proc/16490/stat : 16490 (minisat) R 16489 16413 15641 0 -1 4194304 126860 0 0 0 188942 105 0 0 25 0 1 0 40402003 532111360 126846 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16490/statm: 129910 126846 76 150 0 129757 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 538596
# WARNING:
# current cumulated CPU time (1709.63 s) is less than in the last sample (3600.07 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1890.44 s) to the 'lost time'.
[startup+3624.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16498
/proc/meminfo: memFree=299704/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.63
/proc/16413/stat : 16413 (sugar) R 16411 16413 15641 0 -1 4194304 1092 143346 0 2 3 4 170701 255 17 0 1 0 40230467 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 227848983593 0 0 4224 16386 0 0 0 17 0 0 0
/proc/16413/statm: 3400 804 375 3 0 500 0
Current children cumulated CPU time (s) 1709.63
Current children cumulated vsize (KiB) 13600
Solver just ended. Dumping a history of the last processes samples
[startup+3624.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16498
/proc/meminfo: memFree=299704/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.63
/proc/16413/stat : 16413 (sugar) R 16411 16413 15641 0 -1 4194304 1092 143346 0 2 3 4 170701 255 17 0 1 0 40230467 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 227848983593 0 0 4224 16386 0 0 0 17 0 0 0
/proc/16413/statm: 3400 804 375 3 0 500 0
Current children cumulated CPU time (s) 1709.63
Current children cumulated vsize (KiB) 13600
[startup+3624.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 16498
/proc/meminfo: memFree=299704/2055920 swapFree=4180820/4192956
[pid=16413] ppid=16411 vsize=13600 CPUtime=1709.72
/proc/16413/stat : 16413 (sugar) R 16411 16413 15641 0 -1 4194304 1092 143346 0 2 3 13 170701 255 17 0 1 0 40230467 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 227848983593 0 0 4224 16386 0 0 0 17 0 0 0
/proc/16413/statm: 3400 804 375 3 0 500 0
Current children cumulated CPU time (s) 1709.72
Current children cumulated vsize (KiB) 13600
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1890.44
# lost CPU user time (s): 1889.42
# lost CPU system time (s): 1.02
Real time (s): 3624.13
CPU time (s): 3600.2
CPU user time (s): 3596.47
CPU system time (s): 3.73559
CPU usage (%): 99.3397
Max. virtual memory (cumulated for all children) (KiB): 909876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.05
system time used= 2.71559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144469
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= 45247
involuntary context switches= 41105
runsolver used 4.41333 second user time and 12.2521 second system time
The end
Begin job on node18 at 2008-07-12 06:01:22
IDJOB=1110808
IDBENCH=61155
IDSOLVER=368
FILE ID=node18/1110808-1215835281
PBS_JOBID= 7903351
Free space on /tmp= 66556 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg14-17_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110808-1215835281/watcher-1110808-1215835281 -o /tmp/evaluation-result-1110808-1215835281/solver-1110808-1215835281 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1110808-1215835281.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5ee30fcd9fb7e75f6504269d4bfa591b
RANDOM SEED=1313817367
node18.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.218
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 : 5931.00
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.218
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: 1784896 kB
Buffers: 50968 kB
Cached: 134828 kB
SwapCached: 6848 kB
Active: 116716 kB
Inactive: 108420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1784896 kB
SwapTotal: 4192956 kB
SwapFree: 4180820 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 54244 kB
Slab: 31092 kB
Committed_AS: 936836 kB
PageTables: 1864 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= 66184 MiB
End job on node18 at 2008-07-12 07:01:47