0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sat Jul 12 06:51:02 2008
0.00/0.04 c 0 PID 15124
0.00/0.05 c 0 HOST node14.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1110856-1215838262.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-1110856-1215838262.xml' 'HOME/temp.csp'
0.03/0.48 c 1 1 domains, 288 variables, 0 predicates, 2 relations, 34 constraints
0.03/0.52 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.52 c 1 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.45/0.60 c 1 Parsing HOME/temp.csp
0.45/0.77 c 1 parsed 325 expressions
0.45/0.77 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.45/0.77 c 1 MAX CSP: 34 constraints
0.45/0.77 c 1 Converting to clausal form CSP
0.45/0.80 c 1 converted 37 (10%) expressions
0.45/0.80 c 1 converted 73 (20%) expressions
0.45/0.80 c 1 converted 109 (30%) expressions
0.45/0.80 c 1 converted 145 (40%) expressions
0.45/0.80 c 1 converted 181 (50%) expressions
0.45/0.80 c 1 converted 218 (60%) expressions
0.45/0.80 c 1 converted 254 (70%) expressions
0.45/0.80 c 1 converted 290 (80%) expressions
1.90/2.09 c 2 converted 326 (90%) expressions
2.49/2.68 c 3 converted 362 (100%) expressions
2.49/2.68 c 3 CSP : 356 integers, 0 booleans, 101 clauses, largest domain size 52
2.49/2.68 c 3 Heap : 74 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.49/2.68 c 3 Propagation in CSP
2.49/2.70 c 3 32 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.49/2.70 c 3 CSP : 356 integers, 0 booleans, 101 clauses, largest domain size 35
2.49/2.70 c 3 Heap : 74 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.49/2.70 c 3 Simplifing CSP by introducing new Boolean variables
2.49/2.70 c 3 CSP : 356 integers, 0 booleans, 101 clauses, largest domain size 35
2.49/2.70 c 3 Heap : 74 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.79/2.96 c 3 Encoding CSP to SAT : HOME/temp.cnf
2.79/2.98 c 3 36 (10%) CSP integer variables are encoded (864 clauses, 9360 bytes)
2.79/2.99 c 3 72 (20%) CSP integer variables are encoded (1728 clauses, 20401 bytes)
2.79/2.99 c 3 107 (30%) CSP integer variables are encoded (2568 clauses, 31321 bytes)
2.79/2.99 c 3 143 (40%) CSP integer variables are encoded (3432 clauses, 42553 bytes)
2.79/2.99 c 3 178 (50%) CSP integer variables are encoded (4272 clauses, 53473 bytes)
2.79/2.99 c 3 214 (60%) CSP integer variables are encoded (5136 clauses, 64705 bytes)
2.79/2.99 c 3 250 (70%) CSP integer variables are encoded (6000 clauses, 75937 bytes)
2.79/2.99 c 3 285 (80%) CSP integer variables are encoded (6840 clauses, 86857 bytes)
2.79/3.00 c 3 321 (90%) CSP integer variables are encoded (6912 clauses, 87793 bytes)
2.79/3.00 c 3 356 (100%) CSP integer variables are encoded (7191 clauses, 91420 bytes)
145.47/147.10 c 147 11 (10%) CSP clauses are encoded (643134 clauses, 69117320 bytes)
243.81/246.31 c 247 21 (20%) CSP clauses are encoded (1116030 clauses, 120582065 bytes)
268.95/271.74 c 272 31 (30%) CSP clauses are encoded (1343380 clauses, 148032585 bytes)
277.03/279.94 c 280 41 (40%) CSP clauses are encoded (1411618 clauses, 156268250 bytes)
277.03/279.94 c 280 51 (50%) CSP clauses are encoded (1411782 clauses, 156270835 bytes)
277.03/279.94 c 280 61 (60%) CSP clauses are encoded (1412204 clauses, 156277674 bytes)
277.03/279.95 c 280 71 (70%) CSP clauses are encoded (1413170 clauses, 156294626 bytes)
277.03/279.95 c 280 81 (80%) CSP clauses are encoded (1413223 clauses, 156295448 bytes)
277.03/279.95 c 280 91 (90%) CSP clauses are encoded (1413320 clauses, 156297021 bytes)
277.03/279.95 c 280 101 (100%) CSP clauses are encoded (1413588 clauses, 156301516 bytes)
277.03/279.95 c 280 101 CSP clauses encoded
277.03/279.95 c 280 Writing map file : HOME/temp.map
277.03/279.96 c 280 Heap : 87 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
277.03/279.96 c 280 SAT : 7547 SAT variables, 1413588 SAT clauses, 156301516 bytes
277.03/279.96 c 280 Heap : 87 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
277.10/280.01 c 280 OBJECTIVE minimize _COST
277.10/280.01 c 280 OBJECTIVE BOUND: 0 <= _COST <=
277.10/280.01 c 280 SEARCHING: _COST <= 17
277.10/280.01 c 280 SOLVING HOME/temp.cnf
277.10/280.01 c 280 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
277.10/280.02 c 280 This is MiniSat 2.0 beta
277.10/280.02 c 280 WARNING: for repeatability, setting FPU to use double precision
277.10/280.02 c 280 ============================[ Problem Statistics ]=============================
277.10/280.02 c 280 | |
277.10/280.02 c 280 | Number of variables: 7547 |
277.10/280.02 c 280 | Number of clauses: 1413589 |
280.16/283.13 c 283 | Parsing time: 2.77 s |
280.27/283.29 c 283 ============================[ Search Statistics ]==============================
280.27/283.29 c 283 | Conflicts | ORIGINAL | LEARNT | Progress |
280.27/283.29 c 283 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
280.27/283.29 c 283 ===============================================================================
280.27/283.30 c 283 | 0 | 7445 1412781 28791797 | 470927 0 nan | 0.000 % |
280.47/283.42 c 284 | 101 | 7445 1412781 28791797 | 518019 101 8 | 1.352 % |
280.47/283.47 c 284 | 252 | 7445 1412781 28791797 | 569821 252 8 | 1.352 % |
280.67/283.67 c 284 | 477 | 7445 1412781 28791797 | 626803 477 9 | 1.352 % |
280.77/283.75 c 284 | 815 | 7445 1412781 28791797 | 689484 815 9 | 1.352 % |
280.87/283.86 c 284 | 1322 | 7445 1412781 28791797 | 758432 1322 9 | 1.352 % |
281.06/284.03 c 284 | 2082 | 7445 1412781 28791797 | 834275 2082 9 | 1.352 % |
281.35/284.31 c 285 | 3222 | 7445 1412781 28791797 | 917703 3222 10 | 1.352 % |
281.65/284.69 c 285 | 4932 | 7445 1412781 28791797 | 1009473 4932 10 | 1.352 % |
282.15/285.20 c 285 | 7495 | 7445 1412781 28791797 | 1110421 7495 10 | 1.352 % |
283.05/286.01 c 286 | 11339 | 7445 1412781 28791797 | 1221463 11339 10 | 1.352 % |
285.13/288.19 c 288 | 17108 | 7445 1412781 28791797 | 1343609 17108 10 | 1.352 % |
287.89/290.90 c 291 | 25758 | 7445 1412781 28791797 | 1477970 25758 11 | 1.352 % |
290.38/293.48 c 294 | 38736 | 7445 1412781 28791797 | 1625767 38736 11 | 1.352 % |
295.82/298.94 c 299 | 58200 | 7445 1412781 28791797 | 1788344 58200 11 | 1.352 % |
305.73/308.99 c 309 | 87392 | 7445 1412781 28791797 | 1967178 87392 12 | 1.352 % |
324.45/327.81 c 328 | 131181 | 7445 1412781 28791797 | 2163896 131181 12 | 1.352 % |
362.67/366.48 c 367 | 196866 | 7445 1412781 28791797 | 2380286 196866 13 | 1.352 % |
420.53/424.84 c 425 | 295393 | 7445 1412781 28791797 | 2618315 295393 13 | 1.352 % |
532.76/538.15 c 538 | 443186 | 7445 1412781 28791797 | 2880146 443186 14 | 1.352 % |
938.87/948.12 c 948 | 664871 | 7445 1412781 28791797 | 3168161 664871 16 | 1.352 % |
1899.32/1917.70 c 1918 | 997397 | 7445 1412781 28791797 | 3484977 997397 20 | 1.352 % |
3600.08/3633.42 c ERROR INTERRUPTED
3600.08/3633.47 s UNKNOWN
3600.08/3633.47 c 3634 CPU 275.71 (0.03 0 275.68 1.42)
3600.08/3633.47 c 3634 END Sat Jul 12 07:51:36 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-1110856-1215838262/watcher-1110856-1215838262 -o /tmp/evaluation-result-1110856-1215838262/solver-1110856-1215838262 -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-1110856-1215838262.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/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=12268 CPUtime=0
/proc/15124/stat : 15124 (sugar) R 15122 15124 13928 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 40528835 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 212234631781 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/15124/statm: 3067 316 241 3 0 167 0
[startup+0.099494 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.03
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 40528835 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101487 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.03
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 40528835 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301524 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.03
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 40528835 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701595 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 16 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13600
[startup+1.50274 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 15146
/proc/meminfo: memFree=1810040/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864144 CPUtime=0.95
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 11457 0 1 0 90 5 0 0 18 0 9 0 40528888 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216036 10597 2540 9 0 210611 0
[pid=15138/tid=15139] ppid=15137 vsize=864144 CPUtime=0.37
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 2962 0 1 0 36 1 0 0 22 0 9 0 40528889 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864144 CPUtime=0.49
/proc/15138/task/15140/stat : 15140 (java) R 15137 15124 13928 0 -1 64 7467 0 0 0 46 3 0 0 17 0 9 0 40528890 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 102723006 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864144 CPUtime=0.07
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 335 0 0 0 7 0 0 0 16 0 9 0 40528892 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 883100
[startup+3.10201 s]
/proc/loadavg: 2.08 2.02 2.01 4/84 15146
/proc/meminfo: memFree=1765816/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=2.53
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 24732 0 1 0 241 12 0 0 18 0 9 0 40528888 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 23751 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=0.8
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4011 0 1 0 79 1 0 0 24 0 9 0 40528889 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4126646340 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.59
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 19668 0 0 0 150 9 0 0 16 0 9 0 40528890 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864388 CPUtime=0.1
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 360 0 0 0 10 0 0 0 16 0 9 0 40528892 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 883344
[startup+6.30256 s]
/proc/loadavg: 2.08 2.02 2.01 3/84 15146
/proc/meminfo: memFree=1734456/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=5.7
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 25817 0 1 0 557 13 0 0 18 0 9 0 40528888 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 24823 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=3.93
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4024 0 1 0 391 2 0 0 25 0 9 0 40528889 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4126640640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.64
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 20739 0 0 0 154 10 0 0 16 0 9 0 40528890 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864388 CPUtime=0.11
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 361 0 0 0 11 0 0 0 16 0 9 0 40528892 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 883344
[startup+12.7027 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 15146
/proc/meminfo: memFree=1728248/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=12.04
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 27642 0 1 0 1190 14 0 0 18 0 9 0 40528888 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 26625 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=10.18
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4047 0 1 0 1016 2 0 0 25 0 9 0 40528889 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4126582904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.73
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 22541 0 0 0 162 11 0 0 16 0 9 0 40528890 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864388 CPUtime=0.11
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 361 0 0 0 11 0 0 0 16 0 9 0 40528892 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 883344
[startup+25.5029 s]
/proc/loadavg: 2.06 2.01 2.00 3/84 15146
/proc/meminfo: memFree=1710584/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=24.72
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 30425 0 1 0 2453 19 0 0 18 0 9 0 40528888 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 29348 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=22.66
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4107 0 1 0 2261 5 0 0 25 0 9 0 40528889 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4126574992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.91
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 25255 0 0 0 178 13 0 0 16 0 9 0 40528890 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=357736 CPUtime=2914.46
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 88121 0 0 0 291369 77 0 0 25 0 1 0 40556837 366321664 88107 996147200 134512640 135127466 4294956256 18446744073709551615 134530772 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 89434 88107 76 150 0 89281 0
Current children cumulated CPU time (s) 3191.59
Current children cumulated vsize (KiB) 376692
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1312568/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=359500 CPUtime=2973.9
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 88584 0 0 0 297312 78 0 0 25 0 1 0 40556837 368128000 88570 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 89875 88570 76 150 0 89722 0
Current children cumulated CPU time (s) 3251.03
Current children cumulated vsize (KiB) 378456
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1311096/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=360968 CPUtime=3033.33
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 88943 0 0 0 303255 78 0 0 25 0 1 0 40556837 369631232 88929 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 90242 88929 76 150 0 90089 0
Current children cumulated CPU time (s) 3310.46
Current children cumulated vsize (KiB) 379924
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1309816/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=362316 CPUtime=3092.77
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 89275 0 0 0 309198 79 0 0 25 0 1 0 40556837 371011584 89261 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 90579 89261 76 150 0 90426 0
Current children cumulated CPU time (s) 3369.9
Current children cumulated vsize (KiB) 381272
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1308152/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=363884 CPUtime=3152.2
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 89672 0 0 0 315141 79 0 0 25 0 1 0 40556837 372617216 89658 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 90971 89658 76 150 0 90818 0
Current children cumulated CPU time (s) 3429.33
Current children cumulated vsize (KiB) 382840
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15188
/proc/meminfo: memFree=891384/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=365376 CPUtime=3211.93
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90048 0 0 0 321112 81 0 0 25 0 1 0 40556837 374145024 90034 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 91344 90034 76 150 0 91191 0
Current children cumulated CPU time (s) 3489.06
Current children cumulated vsize (KiB) 384332
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15188
/proc/meminfo: memFree=616824/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=366888 CPUtime=3271.88
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90425 0 0 0 327104 84 0 0 25 0 1 0 40556837 375693312 90411 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 91722 90411 76 150 0 91569 0
Current children cumulated CPU time (s) 3549.01
Current children cumulated vsize (KiB) 385844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3633.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=368036 CPUtime=3322.95
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90758 0 0 0 332207 88 0 0 25 0 1 0 40556837 376868864 90744 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 92009 90744 76 150 0 91856 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 386992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3633.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=368036 CPUtime=3322.95
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90758 0 0 0 332207 88 0 0 25 0 1 0 40556837 376868864 90744 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 92009 90744 76 150 0 91856 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 386992
# WARNING:
# current cumulated CPU time (277.19 s) is less than in the last sample (3600.08 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (3322.89 s) to the 'lost time'.
[startup+3633.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.19
/proc/15124/stat : 15124 (sugar) R 15122 15124 13928 0 -1 4194304 1092 71608 0 2 3 6 27568 142 17 0 1 0 40528835 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 212234638377 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15124/statm: 3400 804 375 3 0 500 0
Current children cumulated CPU time (s) 277.19
Current children cumulated vsize (KiB) 13600
Solver just ended. Dumping a history of the last processes samples
[startup+3633.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.19
/proc/15124/stat : 15124 (sugar) R 15122 15124 13928 0 -1 4194304 1092 71608 0 2 3 6 27568 142 17 0 1 0 40528835 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 212234638377 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15124/statm: 3400 804 375 3 0 500 0
Current children cumulated CPU time (s) 277.19
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): 3322.89
# lost CPU user time (s): 3322.07
# lost CPU system time (s): 0.82
Real time (s): 3633.54
CPU time (s): 3600.12
CPU user time (s): 3597.79
CPU system time (s): 2.32977
CPU usage (%): 99.0804
Max. virtual memory (cumulated for all children) (KiB): 894096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.724
system time used= 1.50977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72731
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= 17082
involuntary context switches= 22620
runsolver used 4.69229 second user time and 11.8732 second system time
The end
Begin job on node14 at 2008-07-12 06:51:02
IDJOB=1110856
IDBENCH=61161
IDSOLVER=368
FILE ID=node14/1110856-1215838262
PBS_JOBID= 7903331
Free space on /tmp= 66452 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg16-18_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-1110856-1215838262/watcher-1110856-1215838262 -o /tmp/evaluation-result-1110856-1215838262/solver-1110856-1215838262 -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-1110856-1215838262.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b9a123c3462c681e773444fb1d5bb234
RANDOM SEED=47165044
node14.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.270
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.270
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: 1827120 kB
Buffers: 39844 kB
Cached: 91192 kB
SwapCached: 0 kB
Active: 102704 kB
Inactive: 67284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1827120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1396 kB
Writeback: 0 kB
Mapped: 49956 kB
Slab: 44176 kB
Committed_AS: 155664 kB
PageTables: 1872 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= 66172 MiB
End job on node14 at 2008-07-12 07:51:38