0.01/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.01/0.07 c 0 BEGIN Wed Jul 16 02:56:20 2008
0.01/0.07 c 0 PID 27192
0.01/0.07 c 0 HOST node90.alineos.net
0.01/0.07 c 0 CONVERTING HOME/instance-1125363-1216169776.xml TO HOME/temp.csp
0.01/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1125363-1216169776.xml' 'HOME/temp.csp'
1.26/1.32 c 1 7 domains, 142 variables, 0 predicates, 1134 relations, 1945 constraints
1.26/1.37 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.26/1.37 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.30/1.45 c 1 Parsing HOME/temp.csp
3.44/3.61 c 4 parsed 3228 expressions
3.44/3.62 c 4 Heap : 32 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.44/3.65 c 4 MAX CSP: 1945 constraints
3.44/3.65 c 4 Converting to clausal form CSP
3.52/3.71 c 4 converted 518 (10%) expressions
3.52/3.74 c 4 converted 1036 (20%) expressions
3.82/4.09 c 4 converted 1553 (30%) expressions
4.03/4.23 c 4 converted 2071 (40%) expressions
4.22/4.47 c 4 converted 2588 (50%) expressions
4.41/4.63 c 5 converted 3106 (60%) expressions
4.53/4.80 c 5 converted 3624 (70%) expressions
4.93/5.19 c 5 converted 4141 (80%) expressions
5.12/5.37 c 5 converted 4659 (90%) expressions
5.42/5.62 c 6 converted 5176 (100%) expressions
5.42/5.62 c 6 CSP : 4032 integers, 0 booleans, 5834 clauses, largest domain size 2918
5.42/5.62 c 6 Heap : 75 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.42/5.62 c 6 Propagation in CSP
5.42/5.69 c 6 1938 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.42/5.69 c 6 CSP : 4032 integers, 0 booleans, 5834 clauses, largest domain size 1946
5.42/5.69 c 6 Heap : 82 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.51/5.71 c 6 Simplifing CSP by introducing new Boolean variables
5.51/5.71 c 6 CSP : 4032 integers, 0 booleans, 5834 clauses, largest domain size 1946
5.51/5.71 c 6 Heap : 75 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.81/6.03 c 6 Encoding CSP to SAT : HOME/temp.cnf
5.81/6.06 c 6 404 (10%) CSP integer variables are encoded (4878 clauses, 61329 bytes)
5.81/6.06 c 6 807 (20%) CSP integer variables are encoded (4878 clauses, 61329 bytes)
5.81/6.06 c 6 1210 (30%) CSP integer variables are encoded (4878 clauses, 61329 bytes)
5.81/6.06 c 6 1613 (40%) CSP integer variables are encoded (4878 clauses, 61329 bytes)
5.81/6.07 c 6 2016 (50%) CSP integer variables are encoded (4878 clauses, 61329 bytes)
5.81/6.07 c 6 2420 (60%) CSP integer variables are encoded (8916 clauses, 116180 bytes)
5.81/6.08 c 6 2823 (70%) CSP integer variables are encoded (12400 clauses, 168440 bytes)
5.81/6.08 c 6 3226 (80%) CSP integer variables are encoded (16426 clauses, 228830 bytes)
5.91/6.10 c 6 3629 (90%) CSP integer variables are encoded (36301 clauses, 526955 bytes)
5.91/6.11 c 6 4032 (100%) CSP integer variables are encoded (41738 clauses, 608510 bytes)
6.21/6.40 c 6 584 (10%) CSP clauses are encoded (52803 clauses, 888997 bytes)
6.40/6.68 c 7 1167 (20%) CSP clauses are encoded (64933 clauses, 1216083 bytes)
6.60/6.85 c 7 1751 (30%) CSP clauses are encoded (72018 clauses, 1403345 bytes)
6.70/6.94 c 7 2334 (40%) CSP clauses are encoded (94447 clauses, 1819739 bytes)
7.10/7.31 c 7 2917 (50%) CSP clauses are encoded (318817 clauses, 6572151 bytes)
7.20/7.42 c 7 3501 (60%) CSP clauses are encoded (383107 clauses, 7925088 bytes)
8.19/8.43 c 8 4084 (70%) CSP clauses are encoded (1044264 clauses, 22090635 bytes)
9.68/9.94 c 10 4668 (80%) CSP clauses are encoded (2034788 clauses, 43145940 bytes)
11.17/11.43 c 11 5251 (90%) CSP clauses are encoded (2992021 clauses, 63668941 bytes)
14.06/14.36 c 14 5834 (100%) CSP clauses are encoded (4874948 clauses, 104074689 bytes)
14.06/14.36 c 14 5834 CSP clauses encoded
14.06/14.36 c 14 Writing map file : HOME/temp.map
14.06/14.40 c 14 Heap : 40 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
14.06/14.40 c 14 SAT : 45769 SAT variables, 4874948 SAT clauses, 104074689 bytes
14.06/14.40 c 14 Heap : 40 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
14.15/14.48 c 14 OBJECTIVE minimize _COST
14.15/14.48 c 14 SOLVING HOME/temp.cnf
14.15/14.48 c 14 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
14.15/14.48 c 14 This is MiniSat 2.0 beta incremental
14.15/14.48 c 14 WARNING: for repeatability, setting FPU to use double precision
14.15/14.48 c 14 ============================[ Problem Statistics ]=============================
14.15/14.48 c 14 | |
14.15/14.48 c 14 | Number of variables: 45769 |
14.15/14.48 c 14 | Number of clauses: 4874948 |
16.20/16.56 c 17 | Parsing time: 1.80 s |
16.29/16.65 c 17 OK
16.29/16.65 c 17 OBJECTIVE BOUND: 0 <= _COST <=
16.29/16.65 c 17 SEARCHING: _COST <= 973
16.29/16.65 c 17 ============================[ Search Statistics ]==============================
16.29/16.65 c 17 | Conflicts | ORIGINAL | LEARNT | Progress |
16.29/16.65 c 17 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
16.29/16.65 c 17 ===============================================================================
16.29/16.65 c 17 | 0 | 45769 4874948 14551928 | 1624982 0 nan | 0.000 % |
18.18/18.55 c 19 | 102 | 45767 4874948 14551928 | 1787480 101 16 | 0.029 % |
18.78/19.14 c 19 | 255 | 45767 4874948 14551928 | 1966229 254 22 | 0.029 % |
19.30/19.91 c 20 | 482 | 45767 4874948 14551928 | 2162851 481 19 | 0.029 % |
20.00/20.68 c 21 | 819 | 45767 4874948 14551928 | 2379137 818 33 | 0.029 % |
20.89/21.51 c 22 ===============================================================================
20.89/21.52 c 22 restarts : 5
20.89/21.52 c 22 conflicts : 905 (141 /sec)
20.89/21.52 c 22 decisions : 8401 (0.64 % random) (1305 /sec)
20.89/21.52 c 22 propagations : 2091441 (324959 /sec)
20.89/21.52 c 22 conflict literals : 28007 (17.52 % deleted)
20.89/21.52 c 22 Memory used : 205.34 MB
20.89/21.52 c 22 CPU time : 6.43602 s
20.89/21.52 c 22
20.89/21.52 c 22 SATISFIABLE
20.89/21.53 c 22 OK
20.89/21.53 c 22 FOUND: _COST <= 973
20.89/21.53 s SATISFIABLE
20.89/21.53 c 22 DECODING HOME/temp.out WITH HOME/temp.map
20.89/21.53 c 22 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
20.93/21.61 c 22 Decoding HOME/temp.out
20.93/21.82 c 22 OBJECTIVE _COST 973
20.93/21.82 o 973
20.93/21.83 v 35 43 0 43 1 11 31 41 33 27 11 9 3 27 43 36 2 26 4 2 43 35 3 2 43 4 30 21 22 32 41 20 30 16 32 15 18 1 43 35 43 39 32 10 0 30 2 43 10 41 30 36 0 21 4 3 42 43 5 37 18 43 5 43 43 33 43 43 10 41 40 4 43 34 26 41 10 43 43 31 36 43 39 30 2 2 43 35 35 0 34 35 4 43 5 43 2 27 7 41 43 43 41 32 3 33 19 35 31 23 40 18 0 27 43 35 38 43 0 31 41 43 34 35 1 12 34 20 30 0 2 10 41 43 2 4 19 34 5 35 17 -1
20.93/21.83 c 22 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
20.93/21.85 c 22 OK
20.93/21.85 c 22 OBJECTIVE BOUND: 0 <= _COST <= 973
20.93/21.85 c 22 SEARCHING: _COST <= 486
20.93/21.85 c 22 ============================[ Search Statistics ]==============================
20.93/21.85 c 22 | Conflicts | ORIGINAL | LEARNT | Progress |
20.93/21.85 c 22 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
20.93/21.85 c 22 ===============================================================================
20.93/21.85 c 22 | 905 | 45756 4874948 14551928 | 1624982 904 31 | 0.029 % |
22.15/22.83 c 23 | 1006 | 45756 4874948 14551928 | 1787480 1005 32 | 23.389 % |
22.54/23.27 c 23 | 1157 | 45756 4874948 14551928 | 1966229 1156 31 | 23.389 % |
23.64/24.33 c 24 | 1384 | 45756 4874948 14551928 | 2162851 1383 31 | 23.389 % |
24.55/25.29 c 25 | 1721 | 45756 4874948 14551928 | 2379137 1720 29 | 23.389 % |
25.82/26.59 c 27 | 2227 | 45756 4874948 14551928 | 2617050 2226 28 | 23.389 % |
27.22/27.98 c 28 | 2987 | 45756 4874948 14551928 | 2878755 2986 29 | 23.389 % |
29.81/30.54 c 31 | 4126 | 45756 4874948 14551928 | 3166631 4125 29 | 23.389 % |
30.01/30.80 c 31 ===============================================================================
30.01/30.80 c 31 restarts : 13
30.01/30.80 c 31 conflicts : 4168 (272 /sec)
30.01/30.80 c 31 decisions : 16334 (0.61 % random) (1066 /sec)
30.01/30.80 c 31 propagations : 7038810 (459342 /sec)
30.01/30.80 c 31 conflict literals : 120326 (19.42 % deleted)
30.01/30.80 c 31 Memory used : 205.59 MB
30.01/30.80 c 31 CPU time : 15.3237 s
30.01/30.80 c 31
30.01/30.80 c 31 SATISFIABLE
30.10/30.81 c 31 OK
30.10/30.81 c 31 FOUND: _COST <= 486
30.10/30.81 c 31 DECODING HOME/temp.out WITH HOME/temp.map
30.10/30.81 c 31 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
30.34/83.81 c 84 Decoding HOME/temp.out
30.54/84.04 c 84 OBJECTIVE _COST 486
30.54/84.04 o 486
30.54/84.04 v 35 43 9 43 10 0 31 9 6 35 0 9 1 31 0 26 35 26 2 2 43 35 34 13 32 4 17 15 4 27 33 31 11 25 37 30 10 41 32 35 39 29 6 16 25 28 2 2 14 2 30 34 0 17 2 0 43 43 5 21 4 25 14 43 4 33 14 32 40 1 43 4 32 34 35 17 36 0 0 31 20 0 20 35 2 2 32 5 33 0 5 22 2 41 41 0 2 27 7 38 43 43 0 21 15 33 5 35 31 3 2 30 0 27 8 35 2 35 0 31 34 43 12 21 5 12 23 20 30 26 2 35 18 0 2 43 19 34 1 30 7 -1
30.54/84.05 c 84 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
30.62/84.10 c 84 OK
30.62/84.10 c 84 OBJECTIVE BOUND: 0 <= _COST <= 486
30.62/84.10 c 84 SEARCHING: _COST <= 243
30.62/84.10 c 84 ============================[ Search Statistics ]==============================
30.62/84.10 c 84 | Conflicts | ORIGINAL | LEARNT | Progress |
30.62/84.10 c 84 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
30.62/84.10 c 84 ===============================================================================
30.62/84.10 c 84 | 4168 | 35064 4874948 14551928 | 1624982 4167 29 | 23.389 % |
31.41/84.97 c 85 | 4268 | 35063 4874948 14551928 | 1787480 4266 28 | 36.199 % |
32.59/86.11 c 86 | 4419 | 35063 4874948 14551928 | 1966229 4415 28 | 36.271 % |
33.38/86.98 c 87 | 4644 | 35063 4874948 14551928 | 2162851 4640 28 | 36.271 % |
34.76/88.39 c 88 | 4981 | 35063 4874948 14551928 | 2379137 4976 27 | 36.306 % |
36.94/90.51 c 91 | 5489 | 35063 4874948 14551928 | 2617050 5484 26 | 36.306 % |
40.20/93.86 c 94 | 6249 | 35063 4874948 14551928 | 2878755 6244 24 | 36.306 % |
44.65/98.33 c 98 | 7389 | 35063 4874948 14551928 | 3166631 7384 23 | 36.306 % |
48.41/102.12 c 102 | 9097 | 35063 4874948 14551928 | 3483294 9092 23 | 36.306 % |
60.13/114.03 c 114 | 11659 | 29152 2012057 6011683 | 3831624 11650 26 | 36.306 % |
70.11/124.15 c 124 | 15503 | 29152 2012057 6011683 | 4214786 15494 34 | 36.306 % |
79.99/134.70 c 135 | 21269 | 29152 2012057 6011683 | 4636265 21260 34 | 36.306 % |
99.15/154.02 c 154 | 29918 | 29152 2012057 6011683 | 5099891 29909 34 | 36.306 % |
107.13/162.15 c 162 ===============================================================================
107.13/162.15 c 162 restarts : 26
107.13/162.15 c 162 conflicts : 34360 (374 /sec)
107.13/162.15 c 162 decisions : 57202 (0.81 % random) (622 /sec)
107.13/162.15 c 162 propagations : 50946965 (554410 /sec)
107.13/162.15 c 162 conflict literals : 1156883 (21.44 % deleted)
107.13/162.15 c 162 Memory used : 205.77 MB
107.13/162.15 c 162 CPU time : 91.894 s
107.13/162.15 c 162
107.13/162.15 c 162 SATISFIABLE
107.13/162.17 c 162 OK
107.13/162.17 c 162 FOUND: _COST <= 243
107.13/162.17 c 162 DECODING HOME/temp.out WITH HOME/temp.map
107.13/162.17 c 162 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
107.19/162.25 c 162 Decoding HOME/temp.out
107.20/162.46 c 162 OBJECTIVE _COST 243
107.20/162.46 o 243
107.20/162.47 v 35 0 9 43 1 11 31 2 33 27 0 9 1 27 0 36 31 6 2 23 0 35 34 43 11 4 43 17 19 27 33 31 30 16 35 35 0 31 43 35 39 33 6 2 0 30 2 2 2 2 30 41 0 11 2 1 43 29 5 9 4 43 2 43 4 33 43 43 41 30 13 2 32 34 35 17 36 11 0 43 36 0 8 35 2 2 32 35 33 0 5 34 2 9 1 0 2 27 7 9 43 43 0 0 3 33 5 35 31 3 2 18 0 34 8 35 2 12 0 31 41 43 41 35 1 12 23 19 30 0 2 35 4 0 2 4 19 34 2 30 7 -1
107.20/162.47 c 162 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
108.31/163.32 c 163 OK
108.31/163.32 c 163 OBJECTIVE BOUND: 0 <= _COST <= 243
108.31/163.32 c 163 SEARCHING: _COST <= 121
108.31/163.32 c 163 ============================[ Search Statistics ]==============================
108.31/163.32 c 163 | Conflicts | ORIGINAL | LEARNT | Progress |
108.31/163.32 c 163 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
108.31/163.32 c 163 ===============================================================================
108.31/163.32 c 163 | 34360 | 25446 1131979 3382324 | 377326 34260 34 | 36.306 % |
108.70/163.71 c 164 | 34461 | 25446 1131979 3382324 | 415058 34361 34 | 44.404 % |
108.90/163.99 c 164 | 34611 | 25446 1131979 3382324 | 456564 34511 34 | 44.404 % |
109.50/164.52 c 165 | 34836 | 25446 1131979 3382324 | 502221 34736 33 | 44.404 % |
110.19/165.26 c 165 | 35175 | 25446 1131979 3382324 | 552443 35075 33 | 44.404 % |
111.28/166.31 c 166 | 35682 | 25446 1131979 3382324 | 607687 35582 33 | 44.404 % |
112.66/167.80 c 168 | 36443 | 25446 1131979 3382324 | 668456 36342 32 | 44.406 % |
115.12/170.25 c 170 | 37582 | 25446 1131979 3382324 | 735302 37481 32 | 44.406 % |
119.11/174.85 c 175 | 39291 | 25445 1131853 3381950 | 808832 39189 31 | 44.454 % |
124.83/180.63 c 181 | 41854 | 25445 1131853 3381950 | 889715 41752 30 | 44.454 % |
133.43/189.36 c 189 | 45700 | 25423 1128146 3370903 | 978687 45596 29 | 44.454 % |
145.08/201.74 c 202 | 51466 | 25400 1124086 3358800 | 1076556 51361 27 | 44.504 % |
163.17/220.03 c 220 | 60118 | 25400 1124086 3358800 | 1184211 60013 26 | 44.504 % |
194.95/252.23 c 252 | 73092 | 25400 1124086 3358800 | 1302632 72987 30 | 44.504 % |
243.41/301.96 c 302 | 92553 | 25400 1124086 3358800 | 1432896 92448 31 | 44.504 % |
318.77/377.65 c 378 | 121749 | 25400 1124086 3358800 | 1576185 121644 31 | 44.504 % |
438.22/498.34 c 498 | 165538 | 25400 1124086 3358800 | 1733804 165433 30 | 44.504 % |
634.15/696.85 c 697 | 231226 | 25400 1124086 3358800 | 1907184 231121 29 | 44.504 % |
930.95/995.43 c 995 | 329753 | 25340 1114408 3329965 | 2097903 329645 29 | 44.635 % |
1424.44/1491.81 c 1492 | 477542 | 25340 1114408 3329965 | 2307693 477434 29 | 44.635 % |
2521.96/2595.85 c 2596 | 699225 | 25340 1114408 3329965 | 2538462 699117 30 | 44.635 % |
3600.10/3680.42 c ERROR INTERRUPTED
3600.10/3680.45 c 3680 CPU 3598.54 (0.08 0.02 3598.46 1.58)
3600.10/3680.45 c 3680 END Wed Jul 16 03:57:40 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-1125363-1216169776/watcher-1125363-1216169776 -o /tmp/evaluation-result-1125363-1216169776/solver-1125363-1216169776 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1125363-1216169776.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: 3.52 2.62 2.23 4/103 27192
/proc/meminfo: memFree=1685524/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=12272 CPUtime=0
/proc/27192/stat : 27192 (sugar++) R 27190 27192 26307 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 73674578 12566528 365 996147200 4194304 4206940 548682068528 18446744073709551615 256365001317 0 0 4224 0 0 0 0 17 0 0 0
/proc/27192/statm: 3068 365 274 3 0 168 0
[startup+0.023228 s]
/proc/loadavg: 3.52 2.62 2.23 4/103 27192
/proc/meminfo: memFree=1685524/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=12808 CPUtime=0.01
/proc/27192/stat : 27192 (sugar++) R 27190 27192 26307 0 -1 4194304 585 0 0 0 1 0 0 0 18 0 1 0 73674578 13115392 553 996147200 4194304 4206940 548682068528 18446744073709551615 256364679905 0 0 4224 0 0 0 0 17 0 0 0
/proc/27192/statm: 3202 553 316 3 0 302 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12808
[startup+0.111859 s]
/proc/loadavg: 3.52 2.62 2.23 4/103 27192
/proc/meminfo: memFree=1685524/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=16740 CPUtime=0.06
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73674578 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301276 s]
/proc/loadavg: 3.52 2.62 2.23 4/103 27192
/proc/meminfo: memFree=1685524/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=16740 CPUtime=0.06
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73674578 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701349 s]
/proc/loadavg: 3.52 2.62 2.23 4/103 27192
/proc/meminfo: memFree=1685524/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=16740 CPUtime=0.06
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73674578 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.5015 s]
/proc/loadavg: 3.52 2.62 2.23 4/114 27204
/proc/meminfo: memFree=1666684/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=16740 CPUtime=1.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1297 7527 0 1 5 1 118 6 15 0 1 0 73674578 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 16740
[startup+3.1028 s]
/proc/loadavg: 3.52 2.62 2.23 3/114 27214
/proc/meminfo: memFree=1663292/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=16740 CPUtime=1.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1297 7527 0 1 5 1 118 6 15 0 1 0 73674578 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4185 1104 409 3 0 764 0
[pid=27205] ppid=27192 vsize=5356 CPUtime=0
/proc/27205/stat : 27205 (sh) S 27192 27192 26307 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73674716 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27205/statm: 1339 233 193 169 0 50 0
[pid=27206] ppid=27205 vsize=864044 CPUtime=1.65
/proc/27206/stat : 27206 (java) S 27205 27192 26307 0 -1 0 10381 0 1 0 161 4 0 0 20 0 9 0 73674716 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27206/statm: 216011 9643 2532 9 0 210593 0
[pid=27206/tid=27207] ppid=27205 vsize=864044 CPUtime=0.77
/proc/27206/task/27207/stat : 27207 (java) S 27205 27192 26307 0 -1 64 2598 0 1 0 76 1 0 0 25 0 9 0 73674717 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27208] ppid=27205 vsize=864044 CPUtime=0.79
/proc/27206/task/27208/stat : 27208 (java) R 27205 27192 26307 0 -1 64 6753 0 0 0 77 2 0 0 19 0 9 0 73674718 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 102732001 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27209] ppid=27205 vsize=864044 CPUtime=0
/proc/27206/task/27209/stat : 27209 (java) S 27205 27192 26307 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73674718 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27210] ppid=27205 vsize=864044 CPUtime=0
/proc/27206/task/27210/stat : 27210 (java) S 27205 27192 26307 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73674718 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27211] ppid=27205 vsize=864044 CPUtime=0
/proc/27206/task/27211/stat : 27211 (java) S 27205 27192 26307 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73674720 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27212] ppid=27205 vsize=864044 CPUtime=0.06
/proc/27206/task/27212/stat : 27212 (java) S 27205 27192 26307 0 -1 64 334 0 0 0 6 0 0 0 16 0 9 0 73674720 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27213] ppid=27205 vsize=864044 CPUtime=0
/proc/27206/task/27213/stat : 27213 (java) S 27205 27192 26307 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73674720 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27214] ppid=27205 vsize=864044 CPUtime=0
/proc/27206/task/27214/stat : 27214 (java) S 27205 27192 26307 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 73674720 884781056 9643 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 886140
[startup+6.30138 s]
/proc/loadavg: 3.64 2.66 2.24 4/114 27214
/proc/meminfo: memFree=1594108/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=16740 CPUtime=1.31
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1297 7527 0 1 6 1 118 6 15 0 1 0 73674578 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4185 1104 409 3 0 764 0
[pid=27205] ppid=27192 vsize=5356 CPUtime=0
/proc/27205/stat : 27205 (sh) S 27192 27192 26307 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73674716 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27205/statm: 1339 233 193 169 0 50 0
[pid=27206] ppid=27205 vsize=868512 CPUtime=4.8
/proc/27206/stat : 27206 (java) S 27205 27192 26307 0 -1 0 31700 0 1 0 464 16 0 0 20 0 9 0 73674716 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27206/statm: 217128 25789 2565 9 0 211675 0
[pid=27206/tid=27207] ppid=27205 vsize=868512 CPUtime=2.14
/proc/27206/task/27207/stat : 27207 (java) R 27205 27192 26307 0 -1 64 3805 0 1 0 212 2 0 0 25 0 9 0 73674717 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4125925115 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27208] ppid=27205 vsize=868512 CPUtime=2.38
/proc/27206/task/27208/stat : 27208 (java) S 27205 27192 26307 0 -1 64 25712 0 0 0 227 11 0 0 16 0 9 0 73674718 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27209] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27209/stat : 27209 (java) S 27205 27192 26307 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73674718 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27210] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27210/stat : 27210 (java) S 27205 27192 26307 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 73674718 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27211] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27211/stat : 27211 (java) S 27205 27192 26307 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73674720 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27212] ppid=27205 vsize=868512 CPUtime=0.25
/proc/27206/task/27212/stat : 27212 (java) S 27205 27192 26307 0 -1 64 1487 0 0 0 24 1 0 0 15 0 9 0 73674720 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27213] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27213/stat : 27213 (java) S 27205 27192 26307 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73674720 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27214] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27214/stat : 27214 (java) S 27205 27192 26307 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 73674720 889356288 25789 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 890608
[startup+12.7026 s]
/proc/loadavg: 3.67 2.68 2.25 3/114 27214
/proc/meminfo: memFree=1513212/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=16740 CPUtime=1.31
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1297 7527 0 1 6 1 118 6 16 0 1 0 73674578 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4185 1104 409 3 0 764 0
[pid=27205] ppid=27192 vsize=5356 CPUtime=0
/proc/27205/stat : 27205 (sh) S 27192 27192 26307 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73674716 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27205/statm: 1339 233 193 169 0 50 0
[pid=27206] ppid=27205 vsize=868512 CPUtime=11.16
/proc/27206/stat : 27206 (java) S 27205 27192 26307 0 -1 0 32007 0 1 0 1053 63 0 0 20 0 9 0 73674716 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27206/statm: 217128 25806 2565 9 0 211675 0
[pid=27206/tid=27207] ppid=27205 vsize=868512 CPUtime=8.33
/proc/27206/task/27207/stat : 27207 (java) R 27205 27192 26307 0 -1 64 4096 0 1 0 786 47 0 0 25 0 9 0 73674717 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27208] ppid=27205 vsize=868512 CPUtime=2.52
/proc/27206/task/27208/stat : 27208 (java) S 27205 27192 26307 0 -1 64 25712 0 0 0 239 13 0 0 16 0 9 0 73674718 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27209] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27209/stat : 27209 (java) S 27205 27192 26307 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73674718 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27210] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27210/stat : 27210 (java) S 27205 27192 26307 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 73674718 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27211] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27211/stat : 27211 (java) S 27205 27192 26307 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73674720 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27212] ppid=27205 vsize=868512 CPUtime=0.28
/proc/27206/task/27212/stat : 27212 (java) S 27205 27192 26307 0 -1 64 1503 0 0 0 27 1 0 0 16 0 9 0 73674720 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27213] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27213/stat : 27213 (java) S 27205 27192 26307 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73674720 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27206/tid=27214] ppid=27205 vsize=868512 CPUtime=0
/proc/27206/task/27214/stat : 27214 (java) S 27205 27192 26307 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 73674720 889356288 25806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 890608
[startup+25.5019 s]
/proc/loadavg: 3.66 2.73 2.27 3/105 27225
/proc/meminfo: memFree=1361908/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=14.49
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1601 43933 0 3 7 1 1355 86 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=210260 CPUtime=10.34
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 51990 0 0 0 1005 29 0 0 25 0 1 0 73676025 215306240 51937 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 0 0 0
/proc/27215/statm: 52565 51937 80 151 0 52411 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 227264
[startup+51.1016 s]
/proc/loadavg: 4.56 3.01 2.38 2/107 27227
/proc/meminfo: memFree=1361204/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=14.5
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1635 43933 0 3 7 2 1355 86 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=210524 CPUtime=15.62
/proc/27215/stat : 27215 (minisat-inc) S 27192 27192 26307 0 -1 4194304 52037 0 0 0 1533 29 0 0 25 0 1 0 73676025 215576576 51982 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 0 0 0
/proc/27215/statm: 52631 51982 80 151 0 52477 0
[pid=27226] ppid=27192 vsize=5356 CPUtime=0.1
/proc/27226/stat : 27226 (sh) S 27192 27192 26307 0 -1 4194304 278 0 0 0 2 8 0 0 17 0 1 0 73677659 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27226/statm: 1339 233 193 169 0 50 0
[pid=27227] ppid=27226 vsize=10196 CPUtime=0.06
/proc/27227/stat : 27227 (java) D 27226 27192 26307 0 -1 0 356 0 0 0 0 6 0 0 18 0 1 0 73678192 10440704 161 996147200 134512640 134550740 4294956000 18446744073709551615 10261284 0 0 4096 0 18446744072099202260 0 0 17 0 0 0
/proc/27227/statm: 2549 161 134 9 0 1102 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 243080
[startup+102.301 s]
/proc/loadavg: 5.79 3.60 2.61 3/105 27235
/proc/meminfo: memFree=1361668/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=14.99
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1673 47947 0 4 7 2 1386 104 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=210524 CPUtime=33.61
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 52055 0 0 0 3332 29 0 0 25 0 1 0 73676025 215576576 52000 996147200 134512640 135134323 4294956192 18446744073709551615 134524828 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 52631 52000 80 151 0 52477 0
Current children cumulated CPU time (s) 48.6
Current children cumulated vsize (KiB) 227528
################
# More data... #
################
[pid=27215] ppid=27192 vsize=241540 CPUtime=2831.25
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 59242 0 0 0 283086 39 0 0 25 0 1 0 73676025 247336960 59177 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 60385 59177 80 151 0 60231 0
Current children cumulated CPU time (s) 2846.55
Current children cumulated vsize (KiB) 258544
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/105 27253
/proc/meminfo: memFree=1337092/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=243084 CPUtime=2890.89
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 59651 0 0 0 289049 40 0 0 25 0 1 0 73676025 248918016 59586 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 60771 59586 80 151 0 60617 0
Current children cumulated CPU time (s) 2906.19
Current children cumulated vsize (KiB) 260088
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/105 27253
/proc/meminfo: memFree=1335620/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=244704 CPUtime=2950.54
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 60034 0 0 0 295014 40 0 0 25 0 1 0 73676025 250576896 59969 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 61176 59969 80 151 0 61022 0
Current children cumulated CPU time (s) 2965.84
Current children cumulated vsize (KiB) 261708
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/105 27253
/proc/meminfo: memFree=1333764/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=246496 CPUtime=3010.19
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 60506 0 0 0 300978 41 0 0 25 0 1 0 73676025 252411904 60433 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 61624 60433 80 151 0 61470 0
Current children cumulated CPU time (s) 3025.49
Current children cumulated vsize (KiB) 263500
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/105 27253
/proc/meminfo: memFree=1332100/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=248292 CPUtime=3069.83
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 60916 0 0 0 306942 41 0 0 25 0 1 0 73676025 254251008 60843 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 62073 60843 80 151 0 61919 0
Current children cumulated CPU time (s) 3085.13
Current children cumulated vsize (KiB) 265296
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/105 27253
/proc/meminfo: memFree=1330564/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=249776 CPUtime=3129.49
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 61310 0 0 0 312907 42 0 0 25 0 1 0 73676025 255770624 61237 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 62444 61237 80 151 0 62290 0
Current children cumulated CPU time (s) 3144.79
Current children cumulated vsize (KiB) 266780
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/105 27253
/proc/meminfo: memFree=1328708/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=251508 CPUtime=3189.13
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 61743 0 0 0 318871 42 0 0 25 0 1 0 73676025 257544192 61670 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 62877 61670 80 151 0 62723 0
Current children cumulated CPU time (s) 3204.43
Current children cumulated vsize (KiB) 268512
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/105 27253
/proc/meminfo: memFree=1326980/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=253024 CPUtime=3248.79
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 62136 0 0 0 324836 43 0 0 25 0 1 0 73676025 259096576 62063 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 63256 62063 80 151 0 63102 0
Current children cumulated CPU time (s) 3264.09
Current children cumulated vsize (KiB) 270028
[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/105 27253
/proc/meminfo: memFree=1325252/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=254544 CPUtime=3308.43
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 62538 0 0 0 330800 43 0 0 25 0 1 0 73676025 260653056 62465 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 63636 62465 80 151 0 63482 0
Current children cumulated CPU time (s) 3323.73
Current children cumulated vsize (KiB) 271548
[startup+3462.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/105 27253
/proc/meminfo: memFree=1323780/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=256096 CPUtime=3368.09
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 62933 0 0 0 336765 44 0 0 25 0 1 0 73676025 262242304 62860 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 64024 62860 80 151 0 63870 0
Current children cumulated CPU time (s) 3383.39
Current children cumulated vsize (KiB) 273100
[startup+3522.3 s]
/proc/loadavg: 1.93 1.98 2.05 3/112 27322
/proc/meminfo: memFree=1309132/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=257972 CPUtime=3427.69
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 63355 0 0 0 342725 44 0 0 25 0 1 0 73676025 264163328 63282 996147200 134512640 135134323 4294956192 18446744073709551615 134531803 0 0 4096 3 0 0 0 17 0 0 0
/proc/27215/statm: 64493 63282 80 151 0 64339 0
Current children cumulated CPU time (s) 3442.99
Current children cumulated vsize (KiB) 274976
[startup+3582.3 s]
/proc/loadavg: 2.27 2.06 2.07 3/112 27322
/proc/meminfo: memFree=1278220/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=259424 CPUtime=3487.3
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 63720 0 0 0 348684 46 0 0 25 0 1 0 73676025 265650176 63647 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/27215/statm: 64856 63647 80 151 0 64702 0
Current children cumulated CPU time (s) 3502.6
Current children cumulated vsize (KiB) 276428
[startup+3642.3 s]
/proc/loadavg: 2.63 2.19 2.11 2/100 27333
/proc/meminfo: memFree=1342636/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=260824 CPUtime=3546.71
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 64086 0 0 0 354624 47 0 0 25 0 1 0 73676025 267083776 64013 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 65206 64013 80 151 0 65052 0
Current children cumulated CPU time (s) 3562.01
Current children cumulated vsize (KiB) 277828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3680.4 s]
/proc/loadavg: 3.71 2.51 2.22 2/100 27340
/proc/meminfo: memFree=1353900/2055920 swapFree=4152088/4192956
[pid=27192] ppid=27190 vsize=17004 CPUtime=15.3
/proc/27192/stat : 27192 (sugar++) S 27190 27192 26307 0 -1 4194304 1744 51959 0 5 8 2 1413 107 16 0 1 0 73674578 17412096 1168 996147200 4194304 4206940 548682068528 18446744073709551615 256373731426 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27192/statm: 4251 1168 414 3 0 830 0
[pid=27215] ppid=27192 vsize=261840 CPUtime=3584.8
/proc/27215/stat : 27215 (minisat-inc) R 27192 27192 26307 0 -1 4194304 64323 0 0 0 358433 47 0 0 25 0 1 0 73676025 268124160 64250 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/27215/statm: 65460 64250 80 151 0 65306 0
Current children cumulated CPU time (s) 3600.1
Current children cumulated vsize (KiB) 278844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 3680.51
CPU time (s): 3600.21
CPU user time (s): 3598.55
CPU system time (s): 1.66675
CPU usage (%): 97.8184
Max. virtual memory (cumulated for all children) (KiB): 900808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.54
system time used= 1.66675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118106
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7964
involuntary context switches= 49821
runsolver used 8.05678 second user time and 19.627 second system time
The end
Begin job on node90 at 2008-07-16 02:56:20
IDJOB=1125363
IDBENCH=63110
IDSOLVER=367
FILE ID=node90/1125363-1216169776
PBS_JOBID= 7905782
Free space on /tmp= 66548 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/celar/graphs/normalized-graphw-07_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1125363-1216169776/watcher-1125363-1216169776 -o /tmp/evaluation-result-1125363-1216169776/solver-1125363-1216169776 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1125363-1216169776.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7737d5e4ecec37ba4d3e307594bfe00e
RANDOM SEED=1188054164
node90.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.256
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.256
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1685940 kB
Buffers: 73408 kB
Cached: 168896 kB
SwapCached: 21196 kB
Active: 247276 kB
Inactive: 60384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1685940 kB
SwapTotal: 4192956 kB
SwapFree: 4152088 kB
Dirty: 2732 kB
Writeback: 0 kB
Mapped: 73708 kB
Slab: 44072 kB
Committed_AS: 465636 kB
PageTables: 4524 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= 66544 MiB
End job on node90 at 2008-07-16 03:57:42