0.00/0.05 c 0 Sugar v1-13 + HOME/minisat
0.00/0.05 c 0 BEGIN Sat Jul 12 03:47:39 2008
0.00/0.05 c 0 PID 14244
0.00/0.05 c 0 HOST node5.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1110516-1215827259.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-1110516-1215827259.xml' 'HOME/temp.csp'
0.03/0.48 c 1 1 domains, 192 variables, 0 predicates, 2 relations, 28 constraints
0.03/0.53 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.53 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.61 c 1 Parsing HOME/temp.csp
0.45/0.75 c 1 parsed 223 expressions
0.45/0.76 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.45/0.76 c 1 MAX CSP: 28 constraints
0.45/0.76 c 1 Converting to clausal form CSP
0.45/0.78 c 1 converted 26 (10%) expressions
0.45/0.79 c 1 converted 51 (20%) expressions
0.45/0.79 c 1 converted 77 (30%) expressions
0.45/0.79 c 1 converted 102 (40%) expressions
0.45/0.79 c 1 converted 127 (50%) expressions
0.45/0.79 c 1 converted 153 (60%) expressions
0.45/0.79 c 1 converted 178 (70%) expressions
0.46/0.98 c 1 converted 204 (80%) expressions
1.50/1.62 c 2 converted 229 (90%) expressions
1.50/1.67 c 2 converted 254 (100%) expressions
1.50/1.68 c 2 CSP : 248 integers, 0 booleans, 83 clauses, largest domain size 43
1.50/1.68 c 2 Heap : 29 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.50/1.68 c 2 Propagation in CSP
1.50/1.69 c 2 25 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.50/1.69 c 2 CSP : 248 integers, 0 booleans, 83 clauses, largest domain size 29
1.50/1.69 c 2 Heap : 29 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.50/1.69 c 2 Simplifing CSP by introducing new Boolean variables
1.50/1.69 c 2 CSP : 248 integers, 0 booleans, 83 clauses, largest domain size 29
1.50/1.69 c 2 Heap : 29 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.70/1.83 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.70/1.85 c 2 25 (10%) CSP integer variables are encoded (600 clauses, 6456 bytes)
1.70/1.85 c 2 50 (20%) CSP integer variables are encoded (1200 clauses, 13537 bytes)
1.70/1.85 c 2 75 (30%) CSP integer variables are encoded (1800 clauses, 21337 bytes)
1.70/1.85 c 2 100 (40%) CSP integer variables are encoded (2400 clauses, 29137 bytes)
1.70/1.86 c 2 124 (50%) CSP integer variables are encoded (2976 clauses, 36625 bytes)
1.70/1.86 c 2 149 (60%) CSP integer variables are encoded (3576 clauses, 44425 bytes)
1.70/1.86 c 2 174 (70%) CSP integer variables are encoded (4176 clauses, 52225 bytes)
1.70/1.86 c 2 199 (80%) CSP integer variables are encoded (4608 clauses, 57841 bytes)
1.70/1.86 c 2 224 (90%) CSP integer variables are encoded (4640 clauses, 58257 bytes)
1.70/1.86 c 2 248 (100%) CSP integer variables are encoded (4804 clauses, 60389 bytes)
47.65/48.21 c 49 9 (10%) CSP clauses are encoded (311965 clauses, 26069620 bytes)
83.78/84.71 c 85 17 (20%) CSP clauses are encoded (554357 clauses, 47207302 bytes)
85.16/86.17 c 87 25 (30%) CSP clauses are encoded (582269 clauses, 50053123 bytes)
85.75/86.72 c 87 34 (40%) CSP clauses are encoded (592764 clauses, 51161234 bytes)
85.75/86.72 c 87 42 (50%) CSP clauses are encoded (593316 clauses, 51170459 bytes)
85.75/86.72 c 87 50 (60%) CSP clauses are encoded (593350 clauses, 51170978 bytes)
85.75/86.73 c 87 59 (70%) CSP clauses are encoded (593813 clauses, 51179051 bytes)
85.75/86.73 c 87 67 (80%) CSP clauses are encoded (593867 clauses, 51179907 bytes)
85.75/86.73 c 87 75 (90%) CSP clauses are encoded (593917 clauses, 51180689 bytes)
85.75/86.73 c 87 83 (100%) CSP clauses are encoded (594108 clauses, 51183856 bytes)
85.75/86.73 c 87 83 CSP clauses encoded
85.75/86.73 c 87 Writing map file : HOME/temp.map
85.75/86.73 c 87 Heap : 40 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
85.75/86.73 c 87 SAT : 5052 SAT variables, 594108 SAT clauses, 51183856 bytes
85.75/86.73 c 87 Heap : 40 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
85.75/86.78 c 87 OBJECTIVE minimize _COST
85.75/86.78 c 87 OBJECTIVE BOUND: 0 <= _COST <=
85.75/86.78 c 87 SEARCHING: _COST <= 14
85.75/86.78 c 87 SOLVING HOME/temp.cnf
85.75/86.78 c 87 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
85.75/86.79 c 87 This is MiniSat 2.0 beta
85.75/86.79 c 87 WARNING: for repeatability, setting FPU to use double precision
85.75/86.79 c 87 ============================[ Problem Statistics ]=============================
85.75/86.79 c 87 | |
85.75/86.79 c 87 | Number of variables: 5052 |
85.75/86.79 c 87 | Number of clauses: 594109 |
86.80/87.89 c 88 | Parsing time: 0.97 s |
86.90/87.95 c 88 ============================[ Search Statistics ]==============================
86.90/87.95 c 88 | Conflicts | ORIGINAL | LEARNT | Progress |
86.90/87.95 c 88 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
86.90/87.95 c 88 ===============================================================================
86.90/87.95 c 88 | 0 | 4982 593562 9559782 | 197854 0 nan | 0.000 % |
87.00/88.01 c 88 | 101 | 4982 593562 9559782 | 217639 101 8 | 1.386 % |
87.00/88.03 c 88 | 251 | 4982 593562 9559782 | 239403 251 8 | 1.386 % |
87.09/88.16 c 89 | 476 | 4982 593562 9559782 | 263343 476 8 | 1.386 % |
87.19/88.26 c 89 | 813 | 4982 593562 9559782 | 289678 813 8 | 1.386 % |
87.29/88.37 c 89 | 1320 | 4982 593562 9559782 | 318645 1320 9 | 1.386 % |
87.39/88.48 c 89 | 2080 | 4982 593562 9559782 | 350510 2080 9 | 1.386 % |
87.69/88.71 c 89 | 3221 | 4982 593562 9559782 | 385561 3221 9 | 1.386 % |
87.88/88.94 c 89 | 4930 | 4982 593562 9559782 | 424117 4930 9 | 1.386 % |
88.27/89.34 c 90 | 7492 | 4982 593562 9559782 | 466529 7492 10 | 1.386 % |
88.98/90.08 c 90 | 11337 | 4982 593562 9559782 | 513182 11337 10 | 1.386 % |
89.76/90.89 c 91 | 17103 | 4982 593562 9559782 | 564500 17103 10 | 1.386 % |
91.54/92.64 c 93 | 25756 | 4982 593562 9559782 | 620950 25756 11 | 1.386 % |
93.62/94.75 c 95 | 38731 | 4982 593562 9559782 | 683045 38731 11 | 1.386 % |
98.48/99.60 c 100 | 58194 | 4982 593562 9559782 | 751350 58194 11 | 1.386 % |
105.41/106.69 c 107 | 87386 | 4982 593562 9559782 | 826485 87386 12 | 1.386 % |
134.54/136.04 c 136 | 131175 | 4982 593562 9559782 | 909133 131175 14 | 1.386 % |
162.36/164.16 c 165 | 196860 | 4982 593562 9559782 | 1000047 196860 14 | 1.386 % |
186.64/188.60 c 189 ===============================================================================
186.64/188.60 c 189 restarts : 18
186.64/188.60 c 189 conflicts : 240483 (2390 /sec)
186.64/188.60 c 189 decisions : 366018 (1.64 % random) (3638 /sec)
186.64/188.60 c 189 propagations : 11739879 (116683 /sec)
186.64/188.60 c 189 conflict literals : 3679541 (24.43 % deleted)
186.64/188.60 c 189 Memory used : 91.50 MB
186.64/188.60 c 189 CPU time : 100.614 s
186.64/188.60 c 189
186.64/188.60 c 189 SATISFIABLE
186.64/188.62 c 189 FOUND: _COST <= 14
186.64/188.62 s SATISFIABLE
186.64/188.62 c 189 DECODING HOME/temp.out WITH HOME/temp.map
186.64/188.62 c 189 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
186.68/188.71 c 189 Decoding HOME/temp.out
186.68/188.78 c 189 OBJECTIVE _COST 14
186.68/188.78 o 14
186.68/188.78 v 8 18 8 0 25 2 25 21 7 18 17 14 2 2 1 25 13 20 13 15 25 14 25 8 24 20 0 21 14 14 14 25 19 17 3 15 25 13 25 11 15 18 19 4 12 13 22 25 17 15 8 17 25 19 25 11 14 15 8 17 15 2 3 25 14 17 6 0 13 8 25 0 19 8 14 13 0 11 11 24 3 8 4 8 25 13 25 8 7 2 13 8 17 20 4 25 20 18 13 18 25 20 25 13 4 8 0 6 19 18 17 25 2 8 14 8 25 14 25 14 18 14 11 7 12 8 8 25 19 13 20 13 25 20 25 20 8 20 8 19 4 21 25 25 14 6 18 6 25 18 25 18 25 18 25 4 13 4 8 25 17 11 11 11 25 11 25 11 4 11 4 17 19 11 13 25 24 24 24 24 25 24 25 24 18 24 18 18 18 24 6 25
186.68/188.79 c 189 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
186.69/188.84 c 189 OBJECTIVE BOUND: 0 <= _COST <= 14
186.69/188.84 c 189 SEARCHING: _COST <= 7
186.69/188.84 c 189 SOLVING HOME/temp.cnf
186.69/188.84 c 189 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
186.69/188.84 c 189 This is MiniSat 2.0 beta
186.69/188.84 c 189 WARNING: for repeatability, setting FPU to use double precision
186.69/188.84 c 189 ============================[ Problem Statistics ]=============================
186.69/188.84 c 189 | |
186.69/188.85 c 189 | Number of variables: 5052 |
186.69/188.85 c 189 | Number of clauses: 594109 |
187.87/189.95 c 190 | Parsing time: 0.96 s |
187.97/190.01 c 190 ============================[ Search Statistics ]==============================
187.97/190.01 c 190 | Conflicts | ORIGINAL | LEARNT | Progress |
187.97/190.01 c 190 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
187.97/190.01 c 190 ===============================================================================
187.97/190.01 c 190 | 0 | 4940 593226 9558893 | 197742 0 nan | 0.000 % |
187.97/190.02 c 190 | 100 | 4940 593226 9558893 | 217516 100 6 | 2.217 % |
187.97/190.05 c 190 | 250 | 4940 593226 9558893 | 239267 250 7 | 2.217 % |
188.07/190.11 c 191 | 475 | 4940 593226 9558893 | 263194 475 8 | 2.217 % |
188.07/190.15 c 191 | 812 | 4940 593226 9558893 | 289514 812 7 | 2.217 % |
188.18/190.21 c 191 | 1318 | 4940 593226 9558893 | 318465 1318 8 | 2.217 % |
188.27/190.33 c 191 | 2077 | 4940 593226 9558893 | 350312 2077 9 | 2.217 % |
188.36/190.47 c 191 | 3218 | 4940 593226 9558893 | 385343 3218 9 | 2.217 % |
188.56/190.65 c 191 | 4928 | 4940 593226 9558893 | 423877 4928 10 | 2.217 % |
188.86/190.97 c 191 | 7491 | 4940 593226 9558893 | 466265 7491 10 | 2.217 % |
189.45/191.50 c 192 | 11335 | 4940 593226 9558893 | 512891 11335 9 | 2.217 % |
190.25/192.34 c 193 | 17103 | 4940 593226 9558893 | 564181 17103 10 | 2.217 % |
192.13/194.26 c 195 | 25752 | 4940 593226 9558893 | 620599 25752 11 | 2.217 % |
197.08/199.25 c 200 | 38727 | 4940 593226 9558893 | 682659 38727 11 | 2.217 % |
206.19/208.43 c 209 | 58188 | 4940 593226 9558893 | 750924 58188 13 | 2.217 % |
224.92/227.31 c 228 | 87382 | 4940 593226 9558893 | 826017 87382 14 | 2.217 % |
282.28/285.28 c 286 | 131171 | 4940 593226 9558893 | 908619 131171 15 | 2.217 % |
416.31/420.52 c 421 | 196857 | 4940 593226 9558893 | 999481 196857 17 | 2.217 % |
670.31/676.92 c 677 | 295383 | 4940 593226 9558893 | 1099429 295383 18 | 2.217 % |
1205.38/1219.40 c 1220 | 443173 | 4940 593226 9558893 | 1209372 443173 20 | 2.217 % |
1861.10/1879.01 c 1879 | 664856 | 4940 593226 9558893 | 1330309 664856 22 | 2.217 % |
3600.01/3618.62 c ERROR INTERRUPTED
3600.01/3618.64 c 3619 CPU 185.9 (0.04 0.01 185.86 0.93)
3600.01/3618.64 c 3619 END Sat Jul 12 04:47:58 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-1110516-1215827259/watcher-1110516-1215827259 -o /tmp/evaluation-result-1110516-1215827259/solver-1110516-1215827259 -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-1110516-1215827259.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: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=12000 CPUtime=0
/proc/14244/stat : 14244 (sugar) R 14242 14244 13113 0 -1 4194304 195 0 0 0 0 0 0 0 22 0 1 0 39429243 12288000 163 996147200 4194304 4206940 548682068592 18446744073709551615 226913093167 0 0 4224 0 0 0 0 17 1 0 0
/proc/14244/statm: 3000 163 125 3 0 100 0
[startup+0.055045 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.03
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 39429243 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.100936 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.03
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 39429243 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301792 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.03
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 39429243 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701837 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.45
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 3 0 38 4 16 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13600
[startup+1.50193 s]
/proc/loadavg: 2.07 2.00 2.01 4/84 14266
/proc/meminfo: memFree=1658360/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864156 CPUtime=0.93
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 10657 0 1 0 88 5 0 0 18 0 9 0 39429297 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216039 9904 2540 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864156 CPUtime=0.36
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 2784 0 1 0 35 1 0 0 19 0 9 0 39429298 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864156 CPUtime=0.47
/proc/14258/task/14260/stat : 14260 (java) R 14257 14244 13113 0 -1 64 6846 0 0 0 45 2 0 0 17 0 9 0 39429299 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 104456976 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864156 CPUtime=0.07
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 334 0 0 0 7 0 0 0 16 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 883112
[startup+3.1021 s]
/proc/loadavg: 2.07 2.00 2.01 3/84 14266
/proc/meminfo: memFree=1634424/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864268 CPUtime=2.52
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 13142 0 1 0 245 7 0 0 18 0 9 0 39429297 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216067 12345 2565 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864268 CPUtime=1.63
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3070 0 1 0 161 2 0 0 25 0 9 0 39429298 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4126619812 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864268 CPUtime=0.75
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 9019 0 0 0 72 3 0 0 16 0 9 0 39429299 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864268 CPUtime=0.11
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 360 0 0 0 11 0 0 0 16 0 9 0 39429301 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 885010432 12345 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) 883224
[startup+6.30246 s]
/proc/loadavg: 2.07 2.00 2.00 3/84 14266
/proc/meminfo: memFree=1629944/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864268 CPUtime=5.69
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 14064 0 1 0 561 8 0 0 18 0 9 0 39429297 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216067 13237 2565 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864268 CPUtime=4.74
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3100 0 1 0 472 2 0 0 25 0 9 0 39429298 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864268 CPUtime=0.81
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 9911 0 0 0 77 4 0 0 16 0 9 0 39429299 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864268 CPUtime=0.11
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 360 0 0 0 11 0 0 0 16 0 9 0 39429301 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 885010432 13237 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) 883224
[startup+12.7022 s]
/proc/loadavg: 2.06 2.00 2.00 3/84 14266
/proc/meminfo: memFree=1618296/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864268 CPUtime=12.03
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 15955 0 1 0 1190 13 0 0 18 0 9 0 39429297 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216067 15011 2565 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864268 CPUtime=10.91
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3217 0 1 0 1085 6 0 0 25 0 9 0 39429298 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4126095819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864268 CPUtime=0.97
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 11681 0 0 0 92 5 0 0 16 0 9 0 39429299 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864268 CPUtime=0.12
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 364 0 0 0 12 0 0 0 16 0 9 0 39429301 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 885010432 15011 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) 883224
[startup+25.5026 s]
/proc/loadavg: 2.05 2.00 2.00 3/84 14266
/proc/meminfo: memFree=1602424/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864388 CPUtime=24.71
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 20365 0 1 0 2451 20 0 0 18 0 9 0 39429297 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216097 16755 2565 9 0 210644 0
[pid=14258/tid=14259] ppid=14257 vsize=864388 CPUtime=23.12
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3383 0 1 0 2302 10 0 0 25 0 9 0 39429298 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4125952101 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864388 CPUtime=1.43
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 15920 0 0 0 135 8 0 0 16 0 9 0 39429299 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864388 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864388 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39429299 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/meminfo: memFree=1637488/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=180652 CPUtime=2897.07
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 44338 0 0 0 289653 54 0 0 25 0 1 0 39448128 184987648 44324 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 45163 44324 76 150 0 45010 0
Current children cumulated CPU time (s) 3083.91
Current children cumulated vsize (KiB) 199608
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/84 14836
/proc/meminfo: memFree=1635952/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=182052 CPUtime=2957.04
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 44694 0 0 0 295650 54 0 0 25 0 1 0 39448128 186421248 44680 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 45513 44680 76 150 0 45360 0
Current children cumulated CPU time (s) 3143.88
Current children cumulated vsize (KiB) 201008
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1634608/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=183340 CPUtime=3017.03
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45002 0 0 0 301648 55 0 0 25 0 1 0 39448128 187740160 44988 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 45835 44988 76 150 0 45682 0
Current children cumulated CPU time (s) 3203.87
Current children cumulated vsize (KiB) 202296
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1633456/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=184404 CPUtime=3077
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45272 0 0 0 307645 55 0 0 25 0 1 0 39448128 188829696 45258 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 46101 45258 76 150 0 45948 0
Current children cumulated CPU time (s) 3263.84
Current children cumulated vsize (KiB) 203360
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1632176/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=185752 CPUtime=3136.98
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45576 0 0 0 313642 56 0 0 25 0 1 0 39448128 190210048 45562 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 46438 45562 76 150 0 46285 0
Current children cumulated CPU time (s) 3323.82
Current children cumulated vsize (KiB) 204708
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1630576/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=187308 CPUtime=3196.96
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45949 0 0 0 319640 56 0 0 25 0 1 0 39448128 191803392 45935 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 46827 45935 76 150 0 46674 0
Current children cumulated CPU time (s) 3383.8
Current children cumulated vsize (KiB) 206264
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1629168/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=188580 CPUtime=3256.93
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 46282 0 0 0 325637 56 0 0 25 0 1 0 39448128 193105920 46268 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47145 46268 76 150 0 46992 0
Current children cumulated CPU time (s) 3443.77
Current children cumulated vsize (KiB) 207536
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1627760/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=189768 CPUtime=3316.91
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 46588 0 0 0 331634 57 0 0 25 0 1 0 39448128 194322432 46574 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47442 46574 76 150 0 47289 0
Current children cumulated CPU time (s) 3503.75
Current children cumulated vsize (KiB) 208724
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1626544/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=191024 CPUtime=3376.88
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 46893 0 0 0 337631 57 0 0 25 0 1 0 39448128 195608576 46879 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47756 46879 76 150 0 47603 0
Current children cumulated CPU time (s) 3563.72
Current children cumulated vsize (KiB) 209980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3618.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1625840/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=191552 CPUtime=3413.17
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 47063 0 0 0 341260 57 0 0 25 0 1 0 39448128 196149248 47049 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47888 47049 76 150 0 47735 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 210508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14244 and gives
# childrusage.ru_utime.tv_sec=185
# childrusage.ru_utime.tv_usec=915736
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=978851
# CPU time returned by wait4() is 186.895
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3618.66
CPU time (s): 3600.01
CPU user time (s): 3598.5
CPU system time (s): 1.51
CPU usage (%): 99.4845
Max. virtual memory (cumulated for all children) (KiB): 888724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.916
system time used= 0.978851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64541
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11790
involuntary context switches= 15419
runsolver used 4.25035 second user time and 12.2201 second system time
The end
Begin job on node5 at 2008-07-12 03:47:39
IDJOB=1110516
IDBENCH=61115
IDSOLVER=368
FILE ID=node5/1110516-1215827259
PBS_JOBID= 7903325
Free space on /tmp= 66464 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg12-16_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-1110516-1215827259/watcher-1110516-1215827259 -o /tmp/evaluation-result-1110516-1215827259/solver-1110516-1215827259 -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-1110516-1215827259.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d5a5b46f918ed24babfe0cb73c479416
RANDOM SEED=2023686006
node5.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.212
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.212
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: 1675440 kB
Buffers: 14164 kB
Cached: 126816 kB
SwapCached: 5356 kB
Active: 310388 kB
Inactive: 18792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1675440 kB
SwapTotal: 4192956 kB
SwapFree: 4181128 kB
Dirty: 1356 kB
Writeback: 0 kB
Mapped: 195616 kB
Slab: 36056 kB
Committed_AS: 320532 kB
PageTables: 2280 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= 66532 MiB
End job on node5 at 2008-07-12 04:48:00