0.01/0.12 c 0 Sugar v1-13 + HOME/minisat
0.01/0.12 c 0 BEGIN Wed Jul 23 02:26:43 2008
0.01/0.12 c 0 PID 10166
0.01/0.13 c 0 HOST node59.alineos.net
0.01/0.13 c 0 CONVERTING HOME/instance-1127604-1216772803.xml TO HOME/temp.csp
0.01/0.13 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127604-1216772803.xml' 'HOME/temp.csp'
0.03/0.70 c 0 1 domains, 80 variables, 0 predicates, 11 relations, 995 constraints
0.03/0.74 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.74 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.41/0.82 c 1 Parsing HOME/temp.csp
0.41/0.97 c 1 parsed 1087 expressions
0.41/0.97 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.41/1.00 c 1 MAX CSP: 995 constraints
0.41/1.00 c 1 Converting to clausal form CSP
0.65/1.04 c 1 converted 209 (10%) expressions
0.65/1.06 c 1 converted 417 (20%) expressions
0.65/1.08 c 1 converted 626 (30%) expressions
0.65/1.09 c 1 converted 834 (40%) expressions
0.75/1.11 c 1 converted 1043 (50%) expressions
0.75/1.18 c 1 converted 1251 (60%) expressions
0.75/1.19 c 1 converted 1460 (70%) expressions
0.85/1.21 c 1 converted 1668 (80%) expressions
0.85/1.21 c 1 converted 1877 (90%) expressions
0.94/1.34 c 1 converted 2085 (100%) expressions
0.94/1.34 c 1 CSP : 2070 integers, 0 booleans, 2984 clauses, largest domain size 1493
0.94/1.34 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.94/1.34 c 1 Propagation in CSP
0.94/1.40 c 1 988 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.94/1.40 c 1 CSP : 2070 integers, 0 booleans, 2984 clauses, largest domain size 996
1.04/1.40 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.40 c 1 Simplifing CSP by introducing new Boolean variables
1.04/1.41 c 1 CSP : 2070 integers, 0 booleans, 2984 clauses, largest domain size 996
1.04/1.41 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.04/1.45 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.04/1.46 c 1 207 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.04/1.46 c 1 414 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.04/1.46 c 1 621 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.04/1.47 c 1 828 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.04/1.47 c 1 1035 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.04/1.48 c 1 1242 (60%) CSP integer variables are encoded (1890 clauses, 24634 bytes)
1.04/1.48 c 1 1449 (70%) CSP integer variables are encoded (3480 clauses, 45304 bytes)
1.04/1.49 c 1 1656 (80%) CSP integer variables are encoded (5339 clauses, 69471 bytes)
1.04/1.49 c 1 1863 (90%) CSP integer variables are encoded (11767 clauses, 160268 bytes)
1.14/1.50 c 1 2070 (100%) CSP integer variables are encoded (16894 clauses, 237173 bytes)
1.14/1.54 c 1 299 (10%) CSP clauses are encoded (17194 clauses, 242063 bytes)
1.14/1.57 c 1 597 (20%) CSP clauses are encoded (17492 clauses, 247265 bytes)
1.14/1.58 c 1 896 (30%) CSP clauses are encoded (17793 clauses, 252523 bytes)
1.24/1.61 c 1 1194 (40%) CSP clauses are encoded (23898 clauses, 358922 bytes)
1.34/1.72 c 1 1492 (50%) CSP clauses are encoded (83618 clauses, 1447448 bytes)
1.34/1.76 c 1 1791 (60%) CSP clauses are encoded (101365 clauses, 1764520 bytes)
1.64/2.07 c 2 2089 (70%) CSP clauses are encoded (276049 clauses, 4976397 bytes)
1.74/2.11 c 2 2388 (80%) CSP clauses are encoded (296389 clauses, 5340441 bytes)
2.03/2.44 c 2 2686 (90%) CSP clauses are encoded (477232 clauses, 8920657 bytes)
3.42/3.86 c 4 2984 (100%) CSP clauses are encoded (1288715 clauses, 25872630 bytes)
3.42/3.86 c 4 2984 CSP clauses encoded
3.42/3.86 c 4 Writing map file : HOME/temp.map
3.42/3.88 c 4 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.42/3.88 c 4 SAT : 18964 SAT variables, 1288715 SAT clauses, 25872630 bytes
3.42/3.88 c 4 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.50/3.92 c 4 OBJECTIVE minimize _COST
3.50/3.92 c 4 OBJECTIVE BOUND: 0 <= _COST <=
3.50/3.92 c 4 SEARCHING: _COST <= 498
3.50/3.92 c 4 SOLVING HOME/temp.cnf
3.50/3.92 c 4 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.50/3.93 c 4 This is MiniSat 2.0 beta
3.50/3.93 c 4 WARNING: for repeatability, setting FPU to use double precision
3.50/3.93 c 4 ============================[ Problem Statistics ]=============================
3.50/3.93 c 4 | |
3.50/3.93 c 4 | Number of variables: 18964 |
3.50/3.93 c 4 | Number of clauses: 1288716 |
4.07/4.57 c 4 | Parsing time: 0.57 s |
4.68/5.18 c 5 ============================[ Search Statistics ]==============================
4.68/5.18 c 5 | Conflicts | ORIGINAL | LEARNT | Progress |
4.68/5.18 c 5 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.68/5.18 c 5 ===============================================================================
4.68/5.18 c 5 | 0 | 13994 821794 2429116 | 273931 0 nan | 0.000 % |
4.88/5.30 c 5 | 100 | 13994 821794 2429116 | 301324 100 23 | 26.208 % |
4.98/5.42 c 5 ===============================================================================
4.98/5.42 c 5 restarts : 2
4.98/5.42 c 5 conflicts : 169 (119 /sec)
4.98/5.42 c 5 decisions : 805 (1.24 % random) (569 /sec)
4.98/5.42 c 5 propagations : 153903 (108705 /sec)
4.98/5.42 c 5 conflict literals : 4749 (11.00 % deleted)
4.98/5.42 c 5 Memory used : 52.85 MB
4.98/5.42 c 5 CPU time : 1.41578 s
4.98/5.42 c 5
4.98/5.43 c 5 SATISFIABLE
4.98/5.44 c 5 FOUND: _COST <= 498
4.98/5.44 s SATISFIABLE
4.98/5.44 c 5 DECODING HOME/temp.out WITH HOME/temp.map
4.98/5.44 c 5 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
5.02/5.51 c 5 Decoding HOME/temp.out
5.02/5.61 c 5 OBJECTIVE _COST 343
5.02/5.61 o 343
5.02/5.62 v 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1
5.02/5.62 c 5 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
5.02/5.65 c 5 OBJECTIVE BOUND: 0 <= _COST <= 343
5.02/5.65 c 5 SEARCHING: _COST <= 171
5.02/5.65 c 5 SOLVING HOME/temp.cnf
5.02/5.65 c 5 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
5.02/5.65 c 5 This is MiniSat 2.0 beta
5.02/5.65 c 5 WARNING: for repeatability, setting FPU to use double precision
5.02/5.65 c 5 ============================[ Problem Statistics ]=============================
5.02/5.65 c 5 | |
5.02/5.65 c 5 | Number of variables: 18964 |
5.02/5.65 c 5 | Number of clauses: 1288716 |
5.26/6.31 c 6 | Parsing time: 0.58 s |
6.79/7.22 c 7 ============================[ Search Statistics ]==============================
6.79/7.22 c 7 | Conflicts | ORIGINAL | LEARNT | Progress |
6.79/7.22 c 7 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.79/7.22 c 7 ===============================================================================
6.79/7.22 c 7 | 0 | 10163 386191 1133473 | 128730 0 nan | 0.000 % |
6.89/7.36 c 7 | 101 | 10163 386191 1133473 | 141603 101 31 | 46.409 % |
6.99/7.41 c 7 | 252 | 10163 386191 1133473 | 155763 252 30 | 46.409 % |
6.99/7.50 c 7 | 479 | 10163 386191 1133473 | 171340 479 28 | 46.409 % |
7.38/7.80 c 8 | 816 | 10163 386191 1133473 | 188474 816 36 | 46.409 % |
7.38/7.84 c 8 ===============================================================================
7.38/7.84 c 8 restarts : 5
7.38/7.84 c 8 conflicts : 937 (448 /sec)
7.38/7.84 c 8 decisions : 2021 (1.39 % random) (966 /sec)
7.38/7.84 c 8 propagations : 726313 (347239 /sec)
7.38/7.84 c 8 conflict literals : 34423 (11.90 % deleted)
7.38/7.84 c 8 Memory used : 53.66 MB
7.38/7.84 c 8 CPU time : 2.09168 s
7.38/7.84 c 8
7.38/7.85 c 8 SATISFIABLE
7.38/7.86 c 8 FOUND: _COST <= 171
7.38/7.86 c 8 DECODING HOME/temp.out WITH HOME/temp.map
7.38/7.86 c 8 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
7.45/7.94 c 8 Decoding HOME/temp.out
7.45/8.07 c 8 OBJECTIVE _COST 171
7.45/8.07 o 171
7.45/8.08 v 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 0
7.45/8.08 c 8 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
7.45/8.13 c 8 OBJECTIVE BOUND: 0 <= _COST <= 171
7.45/8.13 c 8 SEARCHING: _COST <= 85
7.45/8.13 c 8 SOLVING HOME/temp.cnf
7.45/8.13 c 8 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
7.45/8.13 c 8 This is MiniSat 2.0 beta
7.45/8.13 c 8 WARNING: for repeatability, setting FPU to use double precision
7.45/8.13 c 8 ============================[ Problem Statistics ]=============================
7.45/8.13 c 8 | |
7.45/8.13 c 8 | Number of variables: 18964 |
7.45/8.13 c 8 | Number of clauses: 1288716 |
8.34/8.81 c 9 | Parsing time: 0.60 s |
9.23/9.73 c 9 ============================[ Search Statistics ]==============================
9.23/9.73 c 9 | Conflicts | ORIGINAL | LEARNT | Progress |
9.23/9.73 c 9 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.23/9.73 c 9 ===============================================================================
9.23/9.73 c 9 | 0 | 8683 213818 620708 | 71272 0 nan | 0.000 % |
9.33/9.84 c 10 | 101 | 8683 213818 620708 | 78399 101 22 | 54.213 % |
9.43/9.90 c 10 | 251 | 8683 213818 620708 | 86239 251 27 | 54.213 % |
9.43/9.98 c 10 | 476 | 8683 213818 620708 | 94863 476 26 | 54.213 % |
9.63/10.12 c 10 | 814 | 8683 213818 620708 | 104350 814 29 | 54.213 % |
9.73/10.26 c 10 | 1320 | 8683 213818 620708 | 114785 1320 29 | 54.213 % |
9.93/10.49 c 10 | 2079 | 8683 213818 620708 | 126263 2079 29 | 54.213 % |
10.62/11.12 c 11 | 3220 | 8683 213818 620708 | 138890 3220 31 | 54.213 % |
11.22/11.77 c 11 | 4928 | 8683 213818 620708 | 152779 4928 32 | 54.213 % |
12.42/12.94 c 13 | 7490 | 8683 213818 620708 | 168057 7490 33 | 54.213 % |
14.20/14.72 c 14 | 11335 | 8683 213818 620708 | 184862 11335 33 | 54.213 % |
16.79/17.30 c 17 | 17101 | 8683 213818 620708 | 203349 17101 33 | 54.213 % |
20.77/21.34 c 21 | 25751 | 8683 213818 620708 | 223684 25751 32 | 54.213 % |
28.23/28.81 c 29 | 38725 | 8683 213818 620708 | 246052 38725 33 | 54.213 % |
42.26/42.94 c 43 | 58186 | 8683 213818 620708 | 270657 58186 32 | 54.213 % |
70.52/71.38 c 71 | 87380 | 8683 213818 620708 | 297723 87380 32 | 54.213 % |
133.60/134.79 c 135 | 131169 | 8683 213818 620708 | 327495 131169 36 | 54.213 % |
248.24/249.94 c 250 | 196854 | 8683 213818 620708 | 360245 196854 40 | 54.213 % |
466.07/468.88 c 469 | 295380 | 8683 213818 620708 | 396270 295380 42 | 54.213 % |
789.98/794.34 c 794 | 443170 | 8683 213818 620708 | 435897 49600 24 | 54.213 % |
1129.61/1135.64 c 1135 | 664854 | 8683 213818 620708 | 479486 271284 46 | 54.213 % |
1860.62/1870.20 c 1870 ===============================================================================
1860.62/1870.20 c 1870 restarts : 21
1860.62/1870.20 c 1870 conflicts : 946171 (511 /sec)
1860.62/1870.20 c 1870 decisions : 1134286 (0.94 % random) (612 /sec)
1860.62/1870.20 c 1870 propagations : 729729373 (393886 /sec)
1860.62/1870.20 c 1870 conflict literals : 41833819 (19.93 % deleted)
1860.62/1870.20 c 1870 Memory used : 144.84 MB
1860.62/1870.20 c 1870 CPU time : 1852.64 s
1860.62/1870.20 c 1870
1860.62/1870.21 c 1870 SATISFIABLE
1860.62/1870.23 c 1870 FOUND: _COST <= 85
1860.62/1870.23 c 1870 DECODING HOME/temp.out WITH HOME/temp.map
1860.62/1870.23 c 1870 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1860.68/1870.32 c 1870 Decoding HOME/temp.out
1860.68/1870.56 c 1870 OBJECTIVE _COST 85
1860.68/1870.56 o 85
1860.68/1870.57 v 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1
1860.68/1870.57 c 1870 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1860.68/1870.63 c 1870 OBJECTIVE BOUND: 0 <= _COST <= 85
1860.68/1870.63 c 1870 SEARCHING: _COST <= 42
1860.68/1870.63 c 1870 SOLVING HOME/temp.cnf
1860.68/1870.63 c 1870 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1860.68/1870.63 c 1870 This is MiniSat 2.0 beta
1860.68/1870.63 c 1870 WARNING: for repeatability, setting FPU to use double precision
1860.68/1870.63 c 1870 ============================[ Problem Statistics ]=============================
1860.68/1870.63 c 1870 | |
1860.68/1870.63 c 1870 | Number of variables: 18964 |
1860.68/1870.63 c 1870 | Number of clauses: 1288716 |
1861.66/1871.32 c 1871 | Parsing time: 0.60 s |
1862.56/1872.22 c 1872 ============================[ Search Statistics ]==============================
1862.56/1872.22 c 1872 | Conflicts | ORIGINAL | LEARNT | Progress |
1862.56/1872.22 c 1872 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1862.56/1872.22 c 1872 ===============================================================================
1862.56/1872.22 c 1872 | 0 | 7477 116526 332407 | 38842 0 nan | 0.000 % |
1862.66/1872.30 c 1872 | 100 | 7477 116526 332407 | 42726 100 25 | 60.573 % |
1862.66/1872.36 c 1872 | 251 | 7477 116526 332407 | 46998 251 25 | 60.573 % |
1862.76/1872.43 c 1872 | 476 | 7477 116526 332407 | 51698 476 24 | 60.573 % |
1862.86/1872.54 c 1872 | 813 | 7477 116526 332407 | 56868 813 26 | 60.573 % |
1863.06/1872.73 c 1872 | 1320 | 7477 116526 332407 | 62555 1320 28 | 60.573 % |
1863.26/1872.99 c 1873 | 2079 | 7477 116526 332407 | 68810 2079 28 | 60.573 % |
1863.66/1873.32 c 1873 | 3219 | 7477 116526 332407 | 75692 3219 28 | 60.573 % |
1864.15/1873.80 c 1874 | 4927 | 7477 116526 332407 | 83261 4927 28 | 60.573 % |
1865.25/1874.92 c 1875 | 7490 | 7477 116526 332407 | 91587 7490 24 | 60.573 % |
1867.34/1877.06 c 1877 | 11334 | 7477 116526 332407 | 100746 11334 27 | 60.573 % |
1870.42/1880.19 c 1880 | 17101 | 7477 116526 332407 | 110820 17101 29 | 60.573 % |
1876.09/1885.87 c 1886 | 25750 | 7477 116526 332407 | 121902 25750 30 | 60.573 % |
1884.55/1894.36 c 1894 | 38724 | 7477 116526 332407 | 134093 38724 31 | 60.573 % |
1903.06/1912.97 c 1913 | 58188 | 7477 116526 332407 | 147502 58188 32 | 60.573 % |
1937.99/1948.08 c 1948 | 87382 | 7477 116526 332407 | 162252 87382 33 | 60.573 % |
1998.89/2009.22 c 2009 | 131171 | 7477 116526 332407 | 178477 131171 34 | 60.573 % |
2110.83/2121.71 c 2121 | 196856 | 7477 116526 332407 | 196325 20775 31 | 60.573 % |
2224.57/2236.05 c 2236 | 295382 | 7477 116526 332407 | 215958 119301 34 | 60.573 % |
2448.36/2460.94 c 2461 | 443174 | 7477 116526 332407 | 237554 53779 32 | 60.573 % |
2782.22/2796.44 c 2796 | 664857 | 7477 116526 332407 | 261309 43631 37 | 60.573 % |
3345.26/3362.26 c 3362 | 997382 | 7477 116526 332407 | 287440 119329 36 | 60.573 % |
3600.00/3618.23 c ERROR INTERRUPTED
3600.00/3618.23 c 3618 CPU 1860.06 (0.04 0.02 1860.02 0.93)
3600.00/3618.23 c 3618 END Wed Jul 23 03:27:01 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-1127604-1216772803/watcher-1127604-1216772803 -o /tmp/evaluation-result-1127604-1216772803/solver-1127604-1216772803 -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-1127604-1216772803.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.01 1.00 1.00 4/68 10166
/proc/meminfo: memFree=1242952/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=12268 CPUtime=0
/proc/10166/stat : 10166 (sugar) D 10163 10166 10102 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 4367734 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 217051789925 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/10166/statm: 3067 316 241 3 0 167 0
[startup+0.0304859 s]
/proc/loadavg: 1.01 1.00 1.00 4/68 10166
/proc/meminfo: memFree=1242952/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=12268 CPUtime=0
/proc/10166/stat : 10166 (sugar) D 10163 10166 10102 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 4367734 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 217051789925 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/10166/statm: 3067 316 241 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.105574 s]
/proc/loadavg: 1.01 1.00 1.00 4/68 10166
/proc/meminfo: memFree=1242952/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=12676 CPUtime=0.01
/proc/10166/stat : 10166 (sugar) R 10163 10166 10102 0 -1 4194304 531 0 0 0 0 1 0 0 18 0 1 0 4367734 12980224 499 996147200 4194304 4206940 548682068592 18446744073709551615 217051789925 0 0 4224 0 0 0 0 17 0 0 0
/proc/10166/statm: 3169 499 315 3 0 269 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12676
[startup+0.301615 s]
/proc/loadavg: 1.01 1.00 1.00 4/68 10166
/proc/meminfo: memFree=1242952/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13600 CPUtime=0.03
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 898 127 0 0 2 1 0 0 19 0 1 0 4367734 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10166/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701681 s]
/proc/loadavg: 1.01 1.00 1.00 4/68 10166
/proc/meminfo: memFree=1242952/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13600 CPUtime=0.03
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 898 127 0 0 2 1 0 0 19 0 1 0 4367734 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10166/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50284 s]
/proc/loadavg: 1.01 1.00 1.00 3/84 10199
/proc/meminfo: memFree=1193984/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13600 CPUtime=0.42
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 974 4473 0 71 3 1 28 10 15 0 1 0 4367734 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3400 797 370 3 0 500 0
[pid=10190] ppid=10166 vsize=5356 CPUtime=0
/proc/10190/stat : 10190 (sh) S 10166 10166 10102 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4367808 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10190/statm: 1339 233 193 169 0 50 0
[pid=10191] ppid=10190 vsize=868376 CPUtime=0.72
/proc/10191/stat : 10191 (java) S 10190 10166 10102 0 -1 0 6780 0 10 0 69 3 0 0 18 0 9 0 4367808 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10191/statm: 217094 6025 2562 9 0 211641 0
[pid=10191/tid=10192] ppid=10190 vsize=868376 CPUtime=0.4
/proc/10191/task/10192/stat : 10192 (java) R 10190 10166 10102 0 -1 64 2700 0 5 0 39 1 0 0 18 0 9 0 4367809 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4126476169 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10193] ppid=10190 vsize=868376 CPUtime=0.07
/proc/10191/task/10193/stat : 10193 (java) S 10190 10166 10102 0 -1 64 1910 0 5 0 7 0 0 0 16 0 9 0 4367810 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10194] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10194/stat : 10194 (java) S 10190 10166 10102 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4367810 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10195] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10195/stat : 10195 (java) S 10190 10166 10102 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4367811 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10196] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10196/stat : 10196 (java) S 10190 10166 10102 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4367812 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10197] ppid=10190 vsize=868376 CPUtime=0.22
/proc/10191/task/10197/stat : 10197 (java) S 10190 10166 10102 0 -1 64 1478 0 0 0 22 0 0 0 16 0 9 0 4367812 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10198] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10198/stat : 10198 (java) S 10190 10166 10102 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4367813 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10199] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10199/stat : 10199 (java) S 10190 10166 10102 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4367813 889217024 6025 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 887332
[startup+3.10214 s]
/proc/loadavg: 1.01 1.00 1.00 3/84 10199
/proc/meminfo: memFree=1179328/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13600 CPUtime=0.42
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 974 4473 0 71 3 1 28 10 15 0 1 0 4367734 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3400 797 370 3 0 500 0
[pid=10190] ppid=10166 vsize=5356 CPUtime=0
/proc/10190/stat : 10190 (sh) S 10166 10166 10102 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4367808 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10190/statm: 1339 233 193 169 0 50 0
[pid=10191] ppid=10190 vsize=868376 CPUtime=2.3
/proc/10191/stat : 10191 (java) S 10190 10166 10102 0 -1 0 7297 0 10 0 215 15 0 0 18 0 9 0 4367808 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10191/statm: 217094 6061 2563 9 0 211641 0
[pid=10191/tid=10192] ppid=10190 vsize=868376 CPUtime=1.81
/proc/10191/task/10192/stat : 10192 (java) R 10190 10166 10102 0 -1 64 3191 0 5 0 170 11 0 0 25 0 9 0 4367809 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4126997243 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10193] ppid=10190 vsize=868376 CPUtime=0.21
/proc/10191/task/10193/stat : 10193 (java) S 10190 10166 10102 0 -1 64 1911 0 5 0 18 3 0 0 16 0 9 0 4367810 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10194] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10194/stat : 10194 (java) S 10190 10166 10102 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4367810 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10195] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10195/stat : 10195 (java) S 10190 10166 10102 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4367811 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10196] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10196/stat : 10196 (java) S 10190 10166 10102 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4367812 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10197] ppid=10190 vsize=868376 CPUtime=0.26
/proc/10191/task/10197/stat : 10197 (java) S 10190 10166 10102 0 -1 64 1503 0 0 0 26 0 0 0 16 0 9 0 4367812 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10198] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10198/stat : 10198 (java) S 10190 10166 10102 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4367813 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10191/tid=10199] ppid=10190 vsize=868376 CPUtime=0
/proc/10191/task/10199/stat : 10199 (java) S 10190 10166 10102 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4367813 889217024 6061 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 887332
[startup+6.30176 s]
/proc/loadavg: 1.09 1.02 1.01 2/76 10201
/proc/meminfo: memFree=1118720/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=5.26
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1201 29590 0 82 3 2 477 44 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 13732
[startup+12.702 s]
/proc/loadavg: 1.24 1.05 1.02 3/76 10225
/proc/meminfo: memFree=1119168/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=7.68
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1317 47091 0 83 3 2 707 56 15 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10224] ppid=10166 vsize=5356 CPUtime=0
/proc/10224/stat : 10224 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4368547 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10224/statm: 1339 232 193 169 0 50 0
[pid=10225] ppid=10224 vsize=55220 CPUtime=4.53
/proc/10225/stat : 10225 (minisat) R 10224 10166 10102 0 -1 4194304 13376 0 0 0 446 7 0 0 25 0 1 0 4368547 56545280 13362 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10225/statm: 13805 13362 75 150 0 13652 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 74308
[startup+25.5014 s]
/proc/loadavg: 1.47 1.12 1.04 3/76 10225
/proc/meminfo: memFree=1119360/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=7.68
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1317 47091 0 83 3 2 707 56 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10224] ppid=10166 vsize=5356 CPUtime=0
/proc/10224/stat : 10224 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4368547 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10224/statm: 1339 232 193 169 0 50 0
[pid=10225] ppid=10224 vsize=55220 CPUtime=17.27
/proc/10225/stat : 10225 (minisat) R 10224 10166 10102 0 -1 4194304 13376 0 0 0 1720 7 0 0 25 0 1 0 4368547 56545280 13362 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10225/statm: 13805 13362 75 150 0 13652 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 74308
[startup+51.1013 s]
/proc/loadavg: 1.65 1.19 1.06 3/76 10225
/proc/meminfo: memFree=1119168/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=7.68
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1317 47091 0 83 3 2 707 56 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10224] ppid=10166 vsize=5356 CPUtime=0
/proc/10224/stat : 10224 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4368547 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10224/statm: 1339 232 193 169 0 50 0
[pid=10225] ppid=10224 vsize=55584 CPUtime=42.74
/proc/10225/stat : 10225 (minisat) R 10224 10166 10102 0 -1 4194304 13442 0 0 0 4267 7 0 0 25 0 1 0 4368547 56918016 13428 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10225/statm: 13896 13428 75 150 0 13743 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 74672
[startup+102.307 s]
/proc/loadavg: 1.90 1.33 1.12 3/76 10225
/proc/meminfo: memFree=1118912/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=7.68
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1317 47091 0 83 3 2 707 56 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10224] ppid=10166 vsize=5356 CPUtime=0
/proc/10224/stat : 10224 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4368547 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10224/statm: 1339 232 193 169 0 50 0
[pid=10225] ppid=10224 vsize=55764 CPUtime=93.69
/proc/10225/stat : 10225 (minisat) R 10224 10166 10102 0 -1 4194304 13484 0 0 0 9362 7 0 0 25 0 1 0 4368547 57102336 13470 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/10225/statm: 13941 13470 75 150 0 13788 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 74852
[startup+162.301 s]
/proc/loadavg: 2.00 1.46 1.17 3/76 10225
/proc/meminfo: memFree=1118080/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=7.68
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1317 47091 0 83 3 2 707 56 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10224] ppid=10166 vsize=5356 CPUtime=0
/proc/10224/stat : 10224 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4368547 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10224/statm: 1339 232 193 169 0 50 0
[pid=10225] ppid=10224 vsize=56692 CPUtime=153.4
/proc/10225/stat : 10225 (minisat) R 10224 10166 10102 0 -1 4194304 13706 0 0 0 15332 8 0 0 25 0 1 0 4368547 58052608 13692 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10225/statm: 14173 13692 75 150 0 14020 0
Current children cumulated CPU time (s) 161.08
################
# More data... #
################
/proc/meminfo: memFree=1095744/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=78552 CPUtime=1225.62
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 18831 0 0 0 122548 14 0 0 25 0 1 0 4554797 80437248 18793 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 19638 18793 75 150 0 19485 0
Current children cumulated CPU time (s) 3086.63
Current children cumulated vsize (KiB) 97640
[startup+3162.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10243
/proc/meminfo: memFree=1094528/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=79760 CPUtime=1285.32
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 19152 0 0 0 128518 14 0 0 25 0 1 0 4554797 81674240 19114 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 19940 19114 75 150 0 19787 0
Current children cumulated CPU time (s) 3146.33
Current children cumulated vsize (KiB) 98848
[startup+3222.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10245
/proc/meminfo: memFree=1089984/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=84120 CPUtime=1345.03
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20249 0 0 0 134488 15 0 0 25 0 1 0 4554797 86138880 20211 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 21030 20211 75 150 0 20877 0
Current children cumulated CPU time (s) 3206.04
Current children cumulated vsize (KiB) 103208
[startup+3282.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10245
/proc/meminfo: memFree=1089792/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=84252 CPUtime=1404.74
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20287 0 0 0 140459 15 0 0 25 0 1 0 4554797 86274048 20249 996147200 134512640 135127466 4294956256 18446744073709551615 134530665 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 21063 20249 75 150 0 20910 0
Current children cumulated CPU time (s) 3265.75
Current children cumulated vsize (KiB) 103340
[startup+3342.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10245
/proc/meminfo: memFree=1089664/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=84396 CPUtime=1464.44
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20309 0 0 0 146429 15 0 0 25 0 1 0 4554797 86421504 20271 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 21099 20271 75 150 0 20946 0
Current children cumulated CPU time (s) 3325.45
Current children cumulated vsize (KiB) 103484
[startup+3402.31 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10245
/proc/meminfo: memFree=1089472/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=84560 CPUtime=1524.15
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20358 0 0 0 152400 15 0 0 25 0 1 0 4554797 86589440 20320 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 21140 20320 75 150 0 20987 0
Current children cumulated CPU time (s) 3385.16
Current children cumulated vsize (KiB) 103648
[startup+3462.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10245
/proc/meminfo: memFree=1089216/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=84724 CPUtime=1583.86
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20385 0 0 0 158371 15 0 0 25 0 1 0 4554797 86757376 20347 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 21181 20347 75 150 0 21028 0
Current children cumulated CPU time (s) 3444.87
Current children cumulated vsize (KiB) 103812
[startup+3522.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10245
/proc/meminfo: memFree=1089024/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=85048 CPUtime=1643.56
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20448 0 0 0 164341 15 0 0 25 0 1 0 4554797 87089152 20410 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 21262 20410 75 150 0 21109 0
Current children cumulated CPU time (s) 3504.57
Current children cumulated vsize (KiB) 104136
[startup+3582.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/76 10245
/proc/meminfo: memFree=1088832/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=85168 CPUtime=1703.27
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20468 0 0 0 170312 15 0 0 25 0 1 0 4554797 87212032 20430 996147200 134512640 135127466 4294956256 18446744073709551615 134530665 0 0 4096 3 0 0 0 17 1 0 0
/proc/10237/statm: 21292 20430 75 150 0 21139 0
Current children cumulated CPU time (s) 3564.28
Current children cumulated vsize (KiB) 104256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3618.2 s]
/proc/loadavg: 2.08 1.99 1.91 3/85 10294
/proc/meminfo: memFree=1077816/2055920 swapFree=4192956/4192956
[pid=10166] ppid=10163 vsize=13732 CPUtime=1861.01
/proc/10166/stat : 10166 (sugar) S 10163 10166 10102 0 -1 4194304 1431 87385 0 84 4 2 186002 93 16 0 1 0 4367734 14061568 830 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10166/statm: 3433 830 374 3 0 533 0
[pid=10236] ppid=10166 vsize=5356 CPUtime=0
/proc/10236/stat : 10236 (sh) S 10166 10166 10102 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4554797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10236/statm: 1339 232 193 169 0 50 0
[pid=10237] ppid=10236 vsize=85792 CPUtime=1738.99
/proc/10237/stat : 10237 (minisat) R 10236 10166 10102 0 -1 4194304 20589 0 0 0 173883 16 0 0 25 0 1 0 4554797 87851008 20551 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/10237/statm: 21448 20551 75 150 0 21295 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 104880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10166 and gives
# childrusage.ru_utime.tv_sec=1860
# childrusage.ru_utime.tv_usec=67226
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=973851
# CPU time returned by wait4() is 1861.04
# while last known CPU time is 3600
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3618.23
CPU time (s): 3600
CPU user time (s): 3598.89
CPU system time (s): 1.11
CPU usage (%): 99.4961
Max. virtual memory (cumulated for all children) (KiB): 887332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1860.07
system time used= 0.973851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89158
page faults= 84
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8607
involuntary context switches= 28559
runsolver used 5.8951 second user time and 10.5834 second system time
The end
Begin job on node59 at 2008-07-23 02:26:43
IDJOB=1127604
IDBENCH=63685
IDSOLVER=368
FILE ID=node59/1127604-1216772803
PBS_JOBID= 7974162
Free space on /tmp= 66564 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/cnf/3-80-100-1000/normalized-cnf-3-80-1000-266847_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-1127604-1216772803/watcher-1127604-1216772803 -o /tmp/evaluation-result-1127604-1216772803/solver-1127604-1216772803 -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-1127604-1216772803.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= cc4f254709e06b29e915ddf8fd34c33d
RANDOM SEED=1393790096
node59.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.272
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.272
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: 1243816 kB
Buffers: 31212 kB
Cached: 691492 kB
SwapCached: 0 kB
Active: 389672 kB
Inactive: 347744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1243816 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1376 kB
Writeback: 0 kB
Mapped: 24532 kB
Slab: 60208 kB
Committed_AS: 59412 kB
PageTables: 1704 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= 66540 MiB
End job on node59 at 2008-07-23 03:27:03