0.00/0.05 c 0 Sugar v1-13 + HOME/minisat
0.00/0.05 c 0 BEGIN Sat Jul 12 01:58:23 2008
0.00/0.05 c 0 PID 14703
0.00/0.05 c 0 HOST node10.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1110356-1215820703.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-1110356-1215820703.xml' 'HOME/temp.csp'
0.04/0.53 c 1 1 domains, 60 variables, 0 predicates, 2 relations, 16 constraints
0.04/0.58 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.58 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.51/0.67 c 1 Parsing HOME/temp.csp
0.51/0.96 c 1 parsed 79 expressions
0.51/0.96 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.51/0.96 c 1 MAX CSP: 16 constraints
0.51/0.96 c 1 Converting to clausal form CSP
0.51/0.99 c 1 converted 10 (10%) expressions
0.51/0.99 c 1 converted 20 (20%) expressions
0.51/0.99 c 1 converted 30 (30%) expressions
0.51/0.99 c 1 converted 40 (40%) expressions
0.51/0.99 c 1 converted 49 (50%) expressions
0.51/0.99 c 1 converted 59 (60%) expressions
1.10/1.21 c 1 converted 69 (70%) expressions
1.40/1.57 c 2 converted 79 (80%) expressions
1.79/1.98 c 2 converted 89 (90%) expressions
1.99/2.20 c 2 converted 98 (100%) expressions
1.99/2.20 c 2 CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
1.99/2.20 c 2 Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.99/2.20 c 2 Propagation in CSP
2.10/2.21 c 2 15 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.10/2.21 c 2 CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
2.10/2.21 c 2 Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.10/2.21 c 2 Simplifing CSP by introducing new Boolean variables
2.10/2.21 c 2 CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
2.10/2.21 c 2 Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.29/2.44 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.29/2.46 c 2 10 (10%) CSP integer variables are encoded (240 clauses, 2496 bytes)
2.29/2.46 c 2 19 (20%) CSP integer variables are encoded (456 clauses, 4872 bytes)
2.29/2.46 c 2 28 (30%) CSP integer variables are encoded (672 clauses, 7248 bytes)
2.29/2.47 c 2 37 (40%) CSP integer variables are encoded (888 clauses, 9624 bytes)
2.29/2.47 c 2 46 (50%) CSP integer variables are encoded (1104 clauses, 12289 bytes)
2.29/2.47 c 2 56 (60%) CSP integer variables are encoded (1344 clauses, 15409 bytes)
2.29/2.47 c 2 65 (70%) CSP integer variables are encoded (1440 clauses, 16657 bytes)
2.29/2.47 c 2 74 (80%) CSP integer variables are encoded (1440 clauses, 16657 bytes)
2.29/2.47 c 2 83 (90%) CSP integer variables are encoded (1503 clauses, 17476 bytes)
2.29/2.47 c 2 92 (100%) CSP integer variables are encoded (1538 clauses, 17931 bytes)
19.91/20.25 c 20 5 (10%) CSP clauses are encoded (156398 clauses, 7434687 bytes)
37.63/38.19 c 38 10 (20%) CSP clauses are encoded (311258 clauses, 15116274 bytes)
107.14/108.30 c 108 15 (30%) CSP clauses are encoded (609853 clauses, 35736237 bytes)
120.91/122.26 c 122 19 (40%) CSP clauses are encoded (669667 clauses, 40597871 bytes)
120.91/122.26 c 122 24 (50%) CSP clauses are encoded (669800 clauses, 40600014 bytes)
120.91/122.27 c 122 29 (60%) CSP clauses are encoded (669820 clauses, 40600320 bytes)
120.91/122.27 c 122 33 (70%) CSP clauses are encoded (669979 clauses, 40603027 bytes)
120.91/122.27 c 122 38 (80%) CSP clauses are encoded (670004 clauses, 40603412 bytes)
120.91/122.27 c 122 43 (90%) CSP clauses are encoded (670024 clauses, 40603718 bytes)
120.91/122.27 c 122 47 (100%) CSP clauses are encoded (670088 clauses, 40604738 bytes)
120.91/122.27 c 122 47 CSP clauses encoded
120.91/122.27 c 122 Writing map file : HOME/temp.map
120.91/122.27 c 122 Heap : 62 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
120.91/122.27 c 122 SAT : 1630 SAT variables, 670088 SAT clauses, 40604738 bytes
120.91/122.27 c 122 Heap : 62 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
120.99/122.31 c 122 OBJECTIVE minimize _COST
120.99/122.31 c 122 OBJECTIVE BOUND: 0 <= _COST <=
120.99/122.31 c 122 SEARCHING: _COST <= 8
120.99/122.31 c 122 SOLVING HOME/temp.cnf
120.99/122.31 c 122 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
120.99/122.32 c 122 This is MiniSat 2.0 beta
120.99/122.32 c 122 WARNING: for repeatability, setting FPU to use double precision
120.99/122.32 c 122 ============================[ Problem Statistics ]=============================
120.99/122.32 c 122 | |
120.99/122.32 c 122 | Number of variables: 1630 |
120.99/122.32 c 122 | Number of clauses: 670089 |
121.88/123.27 c 123 | Parsing time: 0.82 s |
121.97/123.33 c 123 ============================[ Search Statistics ]==============================
121.97/123.33 c 123 | Conflicts | ORIGINAL | LEARNT | Progress |
121.97/123.33 c 123 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
121.97/123.33 c 123 ===============================================================================
121.97/123.33 c 123 | 0 | 1590 669863 8175847 | 223287 0 nan | 0.000 % |
121.97/123.39 c 123 | 100 | 1590 669863 8175847 | 245616 100 6 | 2.454 % |
122.07/123.47 c 123 | 250 | 1590 669863 8175847 | 270178 250 6 | 2.454 % |
122.17/123.53 c 124 | 478 | 1590 669863 8175847 | 297195 478 7 | 2.454 % |
122.17/123.57 c 124 | 815 | 1590 669863 8175847 | 326915 815 7 | 2.454 % |
122.37/123.72 c 124 | 1322 | 1590 669863 8175847 | 359607 1322 8 | 2.454 % |
122.57/123.90 c 124 | 2082 | 1590 669863 8175847 | 395567 2082 9 | 2.454 % |
122.77/124.16 c 124 | 3222 | 1590 669863 8175847 | 435124 3222 10 | 2.454 % |
123.26/124.60 c 125 | 4930 | 1590 669863 8175847 | 478636 4930 10 | 2.454 % |
123.55/124.92 c 125 | 7492 | 1590 669863 8175847 | 526500 7492 10 | 2.454 % |
123.95/125.33 c 125 | 11336 | 1590 669863 8175847 | 579150 11336 10 | 2.454 % |
125.15/126.57 c 127 | 17102 | 1590 669863 8175847 | 637065 17102 11 | 2.454 % |
126.14/127.59 c 128 | 25752 | 1590 669863 8175847 | 700772 25752 11 | 2.454 % |
130.29/131.78 c 132 | 38726 | 1590 669863 8175847 | 770849 38726 11 | 2.454 % |
135.05/136.57 c 137 ===============================================================================
135.05/136.57 c 137 restarts : 14
135.05/136.57 c 137 conflicts : 46452 (3324 /sec)
135.05/136.57 c 137 decisions : 62303 (1.46 % random) (4458 /sec)
135.05/136.57 c 137 propagations : 713088 (51026 /sec)
135.05/136.57 c 137 conflict literals : 538120 (20.85 % deleted)
135.05/136.57 c 137 Memory used : 63.35 MB
135.05/136.57 c 137 CPU time : 13.9749 s
135.05/136.57 c 137
135.05/136.57 c 137 SATISFIABLE
135.05/136.59 c 137 FOUND: _COST <= 8
135.05/136.59 s SATISFIABLE
135.05/136.59 c 137 DECODING HOME/temp.out WITH HOME/temp.map
135.05/136.59 c 137 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
135.14/136.67 c 137 Decoding HOME/temp.out
135.14/136.71 c 137 OBJECTIVE _COST 8
135.14/136.71 o 8
135.14/136.71 v 4 24 4 22 8 19 13 4 18 18 18 25 12 25 25 25 25 21 2 20 18 20 1 21 4 17 18 8 14 13 0 25 17 25 25 25 25 13 19 3 24 25 24 25 25 25 25 2 8 4 18 15 14 17 19 18 22 4 0 17
135.14/136.73 c 137 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
135.14/136.76 c 137 OBJECTIVE BOUND: 0 <= _COST <= 8
135.14/136.76 c 137 SEARCHING: _COST <= 4
135.14/136.76 c 137 SOLVING HOME/temp.cnf
135.14/136.76 c 137 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
135.14/136.77 c 137 This is MiniSat 2.0 beta
135.14/136.77 c 137 WARNING: for repeatability, setting FPU to use double precision
135.14/136.77 c 137 ============================[ Problem Statistics ]=============================
135.14/136.77 c 137 | |
135.14/136.77 c 137 | Number of variables: 1630 |
135.14/136.77 c 137 | Number of clauses: 670089 |
136.19/137.72 c 138 | Parsing time: 0.84 s |
136.19/137.78 c 138 ============================[ Search Statistics ]==============================
136.19/137.78 c 138 | Conflicts | ORIGINAL | LEARNT | Progress |
136.19/137.78 c 138 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
136.19/137.78 c 138 ===============================================================================
136.19/137.78 c 138 | 0 | 1566 669725 8175501 | 223241 0 nan | 0.000 % |
136.29/137.84 c 138 | 100 | 1566 669725 8175501 | 245565 100 6 | 3.926 % |
136.39/137.95 c 138 | 250 | 1566 669725 8175501 | 270122 250 6 | 3.927 % |
136.49/138.05 c 138 | 476 | 1566 669725 8175501 | 297134 476 7 | 3.927 % |
136.69/138.26 c 138 | 813 | 1566 669725 8175501 | 326848 813 8 | 3.927 % |
136.99/138.53 c 139 | 1320 | 1566 669725 8175501 | 359532 1320 9 | 3.927 % |
137.28/138.83 c 139 | 2081 | 1566 669725 8175501 | 395486 2081 9 | 3.927 % |
137.68/139.21 c 139 | 3220 | 1566 669725 8175501 | 435034 3220 10 | 3.927 % |
138.47/140.05 c 140 | 4929 | 1566 669725 8175501 | 478538 4929 10 | 3.927 % |
142.33/143.98 c 144 | 7494 | 1566 669725 8175501 | 526392 7494 12 | 3.927 % |
143.03/144.65 c 145 | 11338 | 1566 669725 8175501 | 579031 11338 12 | 3.927 % |
148.57/150.25 c 150 | 17104 | 1566 669725 8175501 | 636934 17104 13 | 3.927 % |
152.24/153.95 c 154 | 25753 | 1566 669725 8175501 | 700627 25753 13 | 3.927 % |
161.83/163.60 c 164 | 38728 | 1566 669725 8175501 | 770690 38728 14 | 3.927 % |
174.11/176.03 c 176 | 58189 | 1566 669725 8175501 | 847759 58189 14 | 3.927 % |
191.25/193.36 c 193 | 87381 | 1566 669725 8175501 | 932535 87381 15 | 3.927 % |
220.57/222.97 c 223 | 131170 | 1566 669725 8175501 | 1025789 131170 15 | 3.927 % |
350.04/353.60 c 354 | 196857 | 1566 669725 8175501 | 1128368 196857 18 | 3.927 % |
432.26/436.62 c 437 | 295386 | 1566 669725 8175501 | 1241205 295386 18 | 3.927 % |
821.38/829.43 c 829 | 443175 | 1566 669725 8175501 | 1365325 443175 20 | 3.927 % |
1199.79/1211.43 c 1211 ===============================================================================
1199.79/1211.43 c 1211 restarts : 20
1199.79/1211.43 c 1211 conflicts : 551723 (518 /sec)
1199.79/1211.43 c 1211 decisions : 741662 (1.43 % random) (697 /sec)
1199.79/1211.43 c 1211 propagations : 25544634 (24003 /sec)
1199.79/1211.43 c 1211 conflict literals : 11322690 (23.48 % deleted)
1199.79/1211.43 c 1211 Memory used : 125.63 MB
1199.79/1211.43 c 1211 CPU time : 1064.22 s
1199.79/1211.43 c 1211
1199.79/1211.43 c 1211 SATISFIABLE
1199.79/1211.45 c 1211 FOUND: _COST <= 4
1199.79/1211.45 c 1211 DECODING HOME/temp.out WITH HOME/temp.map
1199.79/1211.45 c 1211 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1199.85/1211.54 c 1212 Decoding HOME/temp.out
1199.85/1211.58 c 1212 OBJECTIVE _COST 4
1199.85/1211.58 o 4
1199.85/1211.58 v 18 14 15 14 25 0 20 21 18 0 15 17 14 15 14 17 19 8 14 13 4 13 11 8 18 19 12 4 13 19 17 4 11 0 19 8 14 13 0 11 17 17 20 19 25 18 18 13 19 4 24 24 23 4 25 19 19 0 0 17
1199.85/1211.58 c 1212 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1199.85/1211.64 c 1212 OBJECTIVE BOUND: 0 <= _COST <= 4
1199.85/1211.64 c 1212 SEARCHING: _COST <= 2
1199.85/1211.64 c 1212 SOLVING HOME/temp.cnf
1199.85/1211.64 c 1212 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1199.85/1211.64 c 1212 This is MiniSat 2.0 beta
1199.85/1211.64 c 1212 WARNING: for repeatability, setting FPU to use double precision
1199.85/1211.64 c 1212 ============================[ Problem Statistics ]=============================
1199.85/1211.64 c 1212 | |
1199.85/1211.64 c 1212 | Number of variables: 1630 |
1199.85/1211.64 c 1212 | Number of clauses: 670089 |
1200.85/1212.60 c 1213 | Parsing time: 0.83 s |
1200.96/1212.66 c 1213 ============================[ Search Statistics ]==============================
1200.96/1212.66 c 1213 | Conflicts | ORIGINAL | LEARNT | Progress |
1200.96/1212.66 c 1213 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1200.96/1212.66 c 1213 ===============================================================================
1200.96/1212.66 c 1213 | 0 | 1548 669616 8175226 | 223205 0 nan | 0.000 % |
1201.06/1212.72 c 1213 | 100 | 1548 669616 8175226 | 245525 100 6 | 5.031 % |
1201.16/1212.81 c 1213 | 251 | 1548 669616 8175226 | 270078 251 7 | 5.031 % |
1201.35/1213.08 c 1213 | 476 | 1548 669616 8175226 | 297086 476 8 | 5.031 % |
1201.75/1213.42 c 1213 | 813 | 1548 669616 8175226 | 326794 813 10 | 5.031 % |
1201.85/1213.58 c 1214 | 1319 | 1548 669616 8175226 | 359474 1319 10 | 5.031 % |
1202.54/1214.29 c 1214 | 2079 | 1548 669616 8175226 | 395421 2079 11 | 5.031 % |
1203.43/1215.12 c 1215 | 3220 | 1548 669616 8175226 | 434964 3220 11 | 5.031 % |
1207.10/1218.88 c 1219 | 4928 | 1548 669616 8175226 | 478460 4928 13 | 5.031 % |
1210.76/1222.59 c 1223 | 7491 | 1548 669616 8175226 | 526306 7491 14 | 5.031 % |
1214.72/1226.51 c 1226 | 11335 | 1548 669616 8175226 | 578937 11335 15 | 5.031 % |
1226.80/1238.70 c 1239 | 17101 | 1548 669616 8175226 | 636830 17101 17 | 5.031 % |
1243.65/1255.77 c 1256 | 25751 | 1548 669616 8175226 | 700513 25751 18 | 5.031 % |
1266.63/1278.97 c 1279 | 38727 | 1548 669616 8175226 | 770565 38727 20 | 5.031 % |
1310.12/1322.87 c 1323 | 58189 | 1548 669616 8175226 | 847621 58189 20 | 5.031 % |
1366.78/1380.04 c 1380 | 87382 | 1548 669616 8175226 | 932384 87382 21 | 5.031 % |
1461.08/1475.29 c 1475 | 131172 | 1548 669616 8175226 | 1025622 131172 21 | 5.031 % |
1686.16/1702.42 c 1702 | 196856 | 1548 669616 8175226 | 1128184 196856 22 | 5.031 % |
2056.35/2076.10 c 2076 | 295383 | 1548 669616 8175226 | 1241003 295383 24 | 5.031 % |
2828.94/2856.09 c 2856 | 443174 | 1548 669616 8175226 | 1365103 443174 25 | 5.031 % |
3600.05/3631.91 c ERROR INTERRUPTED
3600.05/3631.93 c 3632 CPU 1198.87 (0.04 0.02 1198.83 1.13)
3600.05/3631.93 c 3632 END Sat Jul 12 02:58:55 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-1110356-1215820703/watcher-1110356-1215820703 -o /tmp/evaluation-result-1110356-1215820703/solver-1110356-1215820703 -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-1110356-1215820703.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.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=18572 CPUtime=0
/proc/14703/stat : 14703 (runsolver) R 14701 14703 13430 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 38773191 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14703/statm: 4643 292 257 25 0 2626 0
[startup+0.098304 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.04
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 38773191 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.101301 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.04
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 38773191 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301331 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.04
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 38773191 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701385 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 16 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13600
[startup+1.5025 s]
/proc/loadavg: 1.92 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1697720/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864408 CPUtime=0.89
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 8326 0 1 0 85 4 0 0 18 0 9 0 38773250 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216102 7547 2540 9 0 210677 0
[pid=14717/tid=14718] ppid=14716 vsize=864408 CPUtime=0.47
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 2654 0 1 0 47 0 0 0 21 0 9 0 38773251 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864408 CPUtime=0.33
/proc/14717/task/14719/stat : 14719 (java) R 14716 14703 13430 0 -1 64 4659 0 0 0 31 2 0 0 17 0 9 0 38773252 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 104182224 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864408 CPUtime=0.06
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 320 0 0 0 6 0 0 0 16 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 883364
[startup+3.1027 s]
/proc/loadavg: 1.92 1.98 1.99 4/84 14725
/proc/meminfo: memFree=1667256/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864300 CPUtime=2.47
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 14383 0 1 0 240 7 0 0 18 0 9 0 38773250 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216075 13489 2564 9 0 210622 0
[pid=14717/tid=14718] ppid=14716 vsize=864300 CPUtime=1.34
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3149 0 1 0 133 1 0 0 23 0 9 0 38773251 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4126602052 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864300 CPUtime=1.01
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 10199 0 0 0 96 5 0 0 16 0 9 0 38773252 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864300 CPUtime=0.1
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 342 0 0 0 10 0 0 0 16 0 9 0 38773255 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885043200 13489 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) 883256
[startup+6.30213 s]
/proc/loadavg: 1.93 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1660216/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864300 CPUtime=5.64
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 14871 0 1 0 555 9 0 0 18 0 9 0 38773250 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216075 13940 2564 9 0 210622 0
[pid=14717/tid=14718] ppid=14716 vsize=864300 CPUtime=4.42
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3186 0 1 0 440 2 0 0 25 0 9 0 38773251 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4126541850 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864300 CPUtime=1.1
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 10647 0 0 0 104 6 0 0 16 0 9 0 38773252 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864300 CPUtime=0.1
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 345 0 0 0 10 0 0 0 16 0 9 0 38773255 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885043200 13940 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) 883256
[startup+12.703 s]
/proc/loadavg: 1.93 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1650040/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864300 CPUtime=11.98
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 16576 0 1 0 1187 11 0 0 18 0 9 0 38773250 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216075 15591 2564 9 0 210622 0
[pid=14717/tid=14718] ppid=14716 vsize=864300 CPUtime=10.63
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3240 0 1 0 1060 3 0 0 25 0 9 0 38773251 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864300 CPUtime=1.21
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 12297 0 0 0 115 6 0 0 16 0 9 0 38773252 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864300 CPUtime=0.1
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 346 0 0 0 10 0 0 0 17 0 9 0 38773255 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885043200 15591 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) 883256
[startup+25.5017 s]
/proc/loadavg: 1.95 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1631544/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 16 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864376 CPUtime=24.64
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 22051 0 1 0 2445 19 0 0 18 0 9 0 38773250 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216094 18378 2564 9 0 210641 0
[pid=14717/tid=14718] ppid=14716 vsize=864376 CPUtime=22.74
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3374 0 1 0 2267 7 0 0 25 0 9 0 38773251 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 103215168 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864376 CPUtime=1.76
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 17635 0 0 0 166 10 0 0 16 0 9 0 38773252 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864376 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864376 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38773253 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/meminfo: memFree=1720200/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=131796 CPUtime=1932.69
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 32313 0 0 0 193229 40 0 0 25 0 1 0 38894356 134959104 32299 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 32949 32299 75 150 0 32796 0
Current children cumulated CPU time (s) 3132.71
Current children cumulated vsize (KiB) 150752
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1718536/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=133380 CPUtime=1992.4
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 32707 0 0 0 199199 41 0 0 25 0 1 0 38894356 136581120 32693 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 33345 32693 75 150 0 33192 0
Current children cumulated CPU time (s) 3192.42
Current children cumulated vsize (KiB) 152336
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1716744/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=134876 CPUtime=2052.11
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 33096 0 0 0 205170 41 0 0 25 0 1 0 38894356 138113024 33082 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 33719 33082 75 150 0 33566 0
Current children cumulated CPU time (s) 3252.13
Current children cumulated vsize (KiB) 153832
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1714888/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=136640 CPUtime=2111.82
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 33545 0 0 0 211140 42 0 0 25 0 1 0 38894356 139919360 33531 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 34160 33531 75 150 0 34007 0
Current children cumulated CPU time (s) 3311.84
Current children cumulated vsize (KiB) 155596
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1713288/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=138092 CPUtime=2171.54
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 33936 0 0 0 217111 43 0 0 25 0 1 0 38894356 141406208 33922 996147200 134512640 135127466 4294956256 18446744073709551615 134530752 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 34523 33922 75 150 0 34370 0
Current children cumulated CPU time (s) 3371.56
Current children cumulated vsize (KiB) 157048
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1711752/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=139628 CPUtime=2231.24
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 34310 0 0 0 223081 43 0 0 25 0 1 0 38894356 142979072 34296 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 34907 34296 75 150 0 34754 0
Current children cumulated CPU time (s) 3431.26
Current children cumulated vsize (KiB) 158584
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1710152/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=141108 CPUtime=2290.95
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 34695 0 0 0 229051 44 0 0 25 0 1 0 38894356 144494592 34681 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35277 34681 75 150 0 35124 0
Current children cumulated CPU time (s) 3490.97
Current children cumulated vsize (KiB) 160064
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1708552/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=142592 CPUtime=2350.66
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 35080 0 0 0 235021 45 0 0 25 0 1 0 38894356 146014208 35066 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35648 35066 75 150 0 35495 0
Current children cumulated CPU time (s) 3550.68
Current children cumulated vsize (KiB) 161548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3631.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1707336/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=143812 CPUtime=2400.03
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 35379 0 0 0 239957 46 0 0 25 0 1 0 38894356 147263488 35365 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35953 35365 75 150 0 35800 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 162768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3631.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1707336/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=143812 CPUtime=2400.03
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 35379 0 0 0 239957 46 0 0 25 0 1 0 38894356 147263488 35365 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35953 35365 75 150 0 35800 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 162768
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14703 and gives
# childrusage.ru_utime.tv_sec=1198
# childrusage.ru_utime.tv_usec=874743
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=178820
# CPU time returned by wait4() is 1200.05
# while last known CPU time is 3600.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3631.95
CPU time (s): 3600.05
CPU user time (s): 3598.44
CPU system time (s): 1.61
CPU usage (%): 99.1216
Max. virtual memory (cumulated for all children) (KiB): 888964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.87
system time used= 1.17882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95433
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10177
involuntary context switches= 36272
runsolver used 4.37733 second user time and 11.6732 second system time
The end
Begin job on node10 at 2008-07-12 01:58:23
IDJOB=1110356
IDBENCH=61095
IDSOLVER=368
FILE ID=node10/1110356-1215820703
PBS_JOBID= 7903296
Free space on /tmp= 66432 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg6-10_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-1110356-1215820703/watcher-1110356-1215820703 -o /tmp/evaluation-result-1110356-1215820703/solver-1110356-1215820703 -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-1110356-1215820703.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9adead530525957babaa0ae74a947472
RANDOM SEED=608508363
node10.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.236
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.236
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: 1708912 kB
Buffers: 8240 kB
Cached: 132792 kB
SwapCached: 0 kB
Active: 280996 kB
Inactive: 16752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1708912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1572 kB
Writeback: 0 kB
Mapped: 167976 kB
Slab: 34272 kB
Committed_AS: 274928 kB
PageTables: 2164 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= 66508 MiB
End job on node10 at 2008-07-12 02:58:57