Trace number 1112238

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisatOPTIMUM1 577.034 583.621

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-80-5-add.xml
MD5SUM4a9833fa42d0a0932d635fb3733fa969
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark75.0596
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3170
Maximum constraint arity2
Maximum domain size6400
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3170
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Sat Jul 12 14:03:41 2008
0.00/0.04	c 0	PID 20192
0.00/0.05	c 0	HOST node25.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1112238-1215864220.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-1112238-1215864220.xml' 'HOME/temp.csp'
0.04/0.77	c 0	2 domains, 85 variables, 3 predicates, 0 relations, 3170 constraints
0.04/0.78	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.78	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.75/0.86	c 0	Parsing HOME/temp.csp
0.95/1.10	c 1	parsed 3260 expressions
0.95/1.10	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.05/1.14	c 1	MAX CSP: 3170 constraints
1.05/1.14	c 1	Converting to clausal form CSP
1.24/1.36	c 1	converted 644 (10%) expressions
1.35/1.42	c 1	converted 1287 (20%) expressions
1.44/1.51	c 1	converted 1930 (30%) expressions
1.44/1.55	c 1	converted 2574 (40%) expressions
1.53/1.61	c 1	converted 3217 (50%) expressions
1.53/1.64	c 1	converted 3860 (60%) expressions
1.64/1.73	c 1	converted 4504 (70%) expressions
1.64/1.77	c 1	converted 5147 (80%) expressions
1.74/1.81	c 1	converted 5790 (90%) expressions
2.03/2.18	c 2	converted 6433 (100%) expressions
2.03/2.18	c 2	CSP : 6445 integers, 6335 booleans, 22234 clauses, largest domain size 6400
2.03/2.18	c 2	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.03/2.18	c 2	Propagation in CSP
2.33/2.42	c 2	3165 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.33/2.42	c 2	CSP : 6445 integers, 6335 booleans, 22234 clauses, largest domain size 6400
2.33/2.42	c 2	Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.33/2.43	c 2	Simplifing CSP by introducing new Boolean variables
2.44/2.51	c 2	CSP : 6445 integers, 19023 booleans, 34922 clauses, largest domain size 6400
2.44/2.51	c 2	Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.53/2.63	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.62/2.71	c 2	645 (10%) CSP integer variables are encoded (38230 clauses, 551492 bytes)
2.62/2.71	c 2	1289 (20%) CSP integer variables are encoded (38230 clauses, 551492 bytes)
2.62/2.72	c 2	1934 (30%) CSP integer variables are encoded (38230 clauses, 551492 bytes)
2.62/2.72	c 2	2578 (40%) CSP integer variables are encoded (38230 clauses, 551492 bytes)
2.62/2.72	c 2	3223 (50%) CSP integer variables are encoded (38230 clauses, 551492 bytes)
2.62/2.73	c 2	3867 (60%) CSP integer variables are encoded (47055 clauses, 683867 bytes)
2.62/2.78	c 2	4512 (70%) CSP integer variables are encoded (80849 clauses, 1190777 bytes)
2.62/2.79	c 2	5156 (80%) CSP integer variables are encoded (91857 clauses, 1355897 bytes)
2.72/2.80	c 2	5801 (90%) CSP integer variables are encoded (97763 clauses, 1450970 bytes)
2.72/2.81	c 2	6445 (100%) CSP integer variables are encoded (105440 clauses, 1581479 bytes)
3.02/3.13	c 3	3493 (10%) CSP clauses are encoded (232899 clauses, 4317910 bytes)
3.31/3.43	c 3	6985 (20%) CSP clauses are encoded (365763 clauses, 7232420 bytes)
3.58/3.74	c 3	10477 (30%) CSP clauses are encoded (500411 clauses, 10283385 bytes)
3.88/4.05	c 4	13969 (40%) CSP clauses are encoded (639831 clauses, 13501941 bytes)
4.19/4.37	c 4	17461 (50%) CSP clauses are encoded (784579 clauses, 16853697 bytes)
4.58/4.70	c 4	20954 (60%) CSP clauses are encoded (936368 clauses, 20381477 bytes)
4.88/5.05	c 5	24446 (70%) CSP clauses are encoded (1095064 clauses, 24081933 bytes)
5.28/5.42	c 5	27938 (80%) CSP clauses are encoded (1264476 clauses, 28050289 bytes)
11.49/11.71	c 11	31430 (90%) CSP clauses are encoded (4748376 clauses, 102556523 bytes)
29.87/30.64	c 30	34922 (100%) CSP clauses are encoded (14181158 clauses, 311607210 bytes)
29.87/30.64	c 30	34922 CSP clauses encoded
29.87/30.64	c 30	Writing map file : HOME/temp.map
29.87/30.69	c 30	Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
29.87/30.69	c 30	SAT : 130908 SAT variables, 14181158 SAT clauses, 311607210 bytes
29.87/30.69	c 30	Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
29.96/30.77	c 30	OBJECTIVE minimize _COST
29.96/30.77	c 30	OBJECTIVE BOUND: 0 <= _COST <= 
29.96/30.77	c 30	SEARCHING: _COST <= 1585
29.96/30.77	c 30	SOLVING HOME/temp.cnf
29.96/30.77	c 30	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
29.96/30.77	c 30	This is MiniSat 2.0 beta
29.96/30.77	c 30	WARNING: for repeatability, setting FPU to use double precision
29.96/30.77	c 30	============================[ Problem Statistics ]=============================
29.96/30.77	c 30	|                                                                             |
29.96/30.77	c 30	|  Number of variables:  130908                                               |
29.96/30.77	c 30	|  Number of clauses:    14181159                                             |
37.03/37.90	c 37	|  Parsing time:         6.16         s                                       |
66.05/67.22	c 67	============================[ Search Statistics ]==============================
66.05/67.22	c 67	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
66.05/67.22	c 67	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
66.05/67.22	c 67	===============================================================================
66.05/67.22	c 67	|         0 |  111888  9521020 28688162 |  3173673        0    nan |  0.000 % |
69.22/70.44	c 70	===============================================================================
69.22/70.45	c 70	restarts              : 1
69.22/70.45	c 70	conflicts             : 24             (1 /sec)
69.22/70.45	c 70	decisions             : 12319          (1.17 % random) (321 /sec)
69.22/70.45	c 70	propagations          : 437687         (11401 /sec)
69.22/70.45	c 70	conflict literals     : 369            (0.27 % deleted)
69.22/70.45	c 70	Memory used           : 559.90 MB
69.22/70.45	c 70	CPU time              : 38.3892 s
69.22/70.45	c 70	
69.31/70.50	c 70	SATISFIABLE
69.31/70.59	c 70	FOUND: _COST <= 1585
69.31/70.59	s SATISFIABLE
69.31/70.59	c 70	DECODING HOME/temp.out WITH HOME/temp.map
69.31/70.59	c 70	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
69.42/70.68	c 70	Decoding HOME/temp.out
69.42/71.01	c 71	OBJECTIVE _COST 844
69.42/71.01	o 844
69.42/71.01	v 14 50 63 57 42 53 56 23 47 40 57 52 58 41 33 59 62 35 61 34 71 63 59 67 65 60 71 49 67 69 69 55 70 54 60 72 64 66 68 73 76 74 75 78 76 77 77 79 75 78 77 76 77 76 77 79 79 77 77 79 77 79 79 76 77 78 79 79 79 79 79 79 79 79 79 79 79 79 79 79 6398 6399 6399 6399 6319
69.42/71.02	c 71	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
69.42/71.07	c 71	OBJECTIVE BOUND: 0 <= _COST <= 844
69.42/71.07	c 71	SEARCHING: _COST <= 422
69.42/71.07	c 71	SOLVING HOME/temp.cnf
69.42/71.07	c 71	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
69.42/71.07	c 71	This is MiniSat 2.0 beta
69.42/71.07	c 71	WARNING: for repeatability, setting FPU to use double precision
69.42/71.07	c 71	============================[ Problem Statistics ]=============================
69.42/71.07	c 71	|                                                                             |
69.42/71.08	c 71	|  Number of variables:  130908                                               |
69.42/71.08	c 71	|  Number of clauses:    14181159                                             |
77.18/78.53	c 78	|  Parsing time:         6.51         s                                       |
118.28/120.06	c 120	============================[ Search Statistics ]==============================
118.28/120.06	c 120	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
118.28/120.06	c 120	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
118.28/120.06	c 120	===============================================================================
118.28/120.06	c 120	|         0 |   95657  4504543 13686261 |  1501514        0    nan |  0.000 % |
119.67/121.43	c 121	===============================================================================
119.67/121.44	c 121	restarts              : 1
119.67/121.44	c 121	conflicts             : 50             (1 /sec)
119.67/121.44	c 121	decisions             : 5339           (1.16 % random) (109 /sec)
119.67/121.44	c 121	propagations          : 357843         (7303 /sec)
119.67/121.44	c 121	conflict literals     : 1855           (0.43 % deleted)
119.67/121.44	c 121	Memory used           : 570.80 MB
119.67/121.44	c 121	CPU time              : 48.9995 s
119.67/121.44	c 121	
119.67/121.50	c 121	SATISFIABLE
119.77/121.59	c 121	FOUND: _COST <= 422
119.77/121.59	c 121	DECODING HOME/temp.out WITH HOME/temp.map
119.77/121.59	c 121	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
119.87/121.67	c 121	Decoding HOME/temp.out
119.87/121.95	c 122	OBJECTIVE _COST 334
119.87/121.95	o 334
119.87/121.96	v 36 6 68 42 37 0 55 44 51 67 62 3 53 11 44 47 39 46 7 45 48 52 47 12 16 63 17 72 18 71 14 54 28 77 58 69 57 15 65 56 55 60 54 38 50 39 62 40 66 71 48 61 72 70 68 66 63 59 73 64 67 69 75 77 65 74 78 76 79 79 76 70 76 76 78 79 76 76 78 76 6398 6399 6238 6399 6399
119.87/121.96	c 122	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
120.23/122.01	c 122	OBJECTIVE BOUND: 0 <= _COST <= 334
120.23/122.01	c 122	SEARCHING: _COST <= 167
120.23/122.01	c 122	SOLVING HOME/temp.cnf
120.23/122.01	c 122	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
120.23/122.01	c 122	This is MiniSat 2.0 beta
120.23/122.01	c 122	WARNING: for repeatability, setting FPU to use double precision
120.23/122.01	c 122	============================[ Problem Statistics ]=============================
120.23/122.01	c 122	|                                                                             |
120.23/122.01	c 122	|  Number of variables:  130908                                               |
120.23/122.01	c 122	|  Number of clauses:    14181159                                             |
127.85/129.75	c 129	|  Parsing time:         6.76         s                                       |
167.87/170.12	c 170	============================[ Search Statistics ]==============================
167.87/170.12	c 170	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
167.87/170.12	c 170	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
167.87/170.12	c 170	===============================================================================
167.87/170.12	c 170	|         0 |   89505  2740273  8411652 |   913424        0    nan |  0.000 % |
168.86/171.19	c 171	===============================================================================
168.86/171.19	c 171	restarts              : 1
168.86/171.19	c 171	conflicts             : 78             (2 /sec)
168.86/171.19	c 171	decisions             : 4577           (0.87 % random) (96 /sec)
168.86/171.19	c 171	propagations          : 337333         (7056 /sec)
168.86/171.19	c 171	conflict literals     : 1798           (0.61 % deleted)
168.86/171.19	c 171	Memory used           : 563.39 MB
168.86/171.19	c 171	CPU time              : 47.8077 s
168.86/171.19	c 171	
168.96/171.25	c 171	SATISFIABLE
169.06/171.34	c 171	FOUND: _COST <= 167
169.06/171.34	c 171	DECODING HOME/temp.out WITH HOME/temp.map
169.06/171.34	c 171	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
169.11/171.42	c 171	Decoding HOME/temp.out
169.65/171.92	c 171	OBJECTIVE _COST 167
169.65/171.92	o 167
169.65/171.92	v 52 66 36 27 21 20 31 34 64 50 38 51 39 61 32 4 75 48 30 42 46 43 51 6 16 11 5 8 47 59 50 52 41 49 78 72 14 69 40 15 54 56 29 47 55 35 56 71 37 62 59 44 53 66 45 73 64 60 75 65 67 49 67 58 76 57 62 65 63 74 71 68 70 72 78 69 61 79 77 79 6399 6398 6399 6399 6238
169.65/171.93	c 172	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
169.65/171.96	c 172	OBJECTIVE BOUND: 0 <= _COST <= 167
169.65/171.96	c 172	SEARCHING: _COST <= 83
169.65/171.96	c 172	SOLVING HOME/temp.cnf
169.65/171.96	c 172	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
169.65/171.97	c 172	This is MiniSat 2.0 beta
169.65/171.97	c 172	WARNING: for repeatability, setting FPU to use double precision
169.65/171.97	c 172	============================[ Problem Statistics ]=============================
169.65/171.97	c 172	|                                                                             |
169.65/171.97	c 172	|  Number of variables:  130908                                               |
169.65/171.97	c 172	|  Number of clauses:    14181159                                             |
177.43/179.80	c 179	|  Parsing time:         6.89         s                                       |
214.93/217.85	c 217	============================[ Search Statistics ]==============================
214.93/217.85	c 217	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.93/217.85	c 217	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
214.93/217.85	c 217	===============================================================================
214.93/217.85	c 217	|         0 |   85815  2117711  6554952 |   705903        0    nan |  0.000 % |
216.02/218.92	c 218	|       100 |   85815  2117711  6554952 |   776494      100     92 | 34.446 % |
216.71/219.67	c 219	|       250 |   85815  2117711  6554952 |   854143      250     54 | 34.446 % |
217.40/220.35	c 220	|       475 |   85815  2117711  6554952 |   939557      475     70 | 34.446 % |
217.90/220.82	c 220	|       812 |   85815  2117711  6554952 |  1033513      812     49 | 34.446 % |
218.20/221.16	c 221	===============================================================================
218.20/221.17	c 221	restarts              : 5
218.20/221.17	c 221	conflicts             : 880            (18 /sec)
218.20/221.17	c 221	decisions             : 6377           (0.96 % random) (134 /sec)
218.20/221.17	c 221	propagations          : 2109699        (44204 /sec)
218.20/221.17	c 221	conflict literals     : 42463          (5.47 % deleted)
218.20/221.17	c 221	Memory used           : 567.33 MB
218.20/221.17	c 221	CPU time              : 47.7267 s
218.20/221.17	c 221	
218.30/221.22	c 221	SATISFIABLE
218.39/221.31	c 221	FOUND: _COST <= 83
218.39/221.31	c 221	DECODING HOME/temp.out WITH HOME/temp.map
218.39/221.31	c 221	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
218.39/221.39	c 221	Decoding HOME/temp.out
218.43/221.68	c 221	OBJECTIVE _COST 83
218.43/221.68	o 83
218.43/221.69	v 76 78 22 37 43 50 14 52 57 75 73 64 73 32 79 29 3 0 59 71 46 33 45 34 75 69 62 54 68 76 48 56 74 49 69 57 68 58 62 2 70 9 38 74 72 19 55 60 12 66 47 51 21 35 58 53 42 41 16 40 66 28 72 70 10 26 65 55 18 63 1 51 67 63 39 77 61 52 79 30 6399 6399 6399 6399 6399
218.43/221.69	c 221	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
218.43/221.73	c 221	OBJECTIVE BOUND: 0 <= _COST <= 83
218.43/221.73	c 221	SEARCHING: _COST <= 41
218.43/221.73	c 221	SOLVING HOME/temp.cnf
218.43/221.73	c 221	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
218.43/221.74	c 221	This is MiniSat 2.0 beta
218.43/221.74	c 221	WARNING: for repeatability, setting FPU to use double precision
218.43/221.74	c 221	============================[ Problem Statistics ]=============================
218.43/221.74	c 221	|                                                                             |
218.43/221.74	c 221	|  Number of variables:  130908                                               |
218.43/221.74	c 221	|  Number of clauses:    14181159                                             |
226.68/229.71	c 229	|  Parsing time:         7.00         s                                       |
262.44/265.81	c 265	============================[ Search Statistics ]==============================
262.44/265.81	c 265	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
262.44/265.81	c 265	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
262.44/265.81	c 265	===============================================================================
262.44/265.81	c 265	|         0 |   82379  1792224  5588757 |   597408        0    nan |  0.000 % |
263.42/266.81	c 266	|       100 |   82379  1792224  5588757 |   657148      100    102 | 37.071 % |
263.72/267.18	c 267	|       250 |   82379  1792224  5588757 |   722863      250     60 | 37.071 % |
264.32/267.71	c 267	|       475 |   82379  1792224  5588757 |   795150      475     94 | 37.071 % |
265.41/268.82	c 268	|       812 |   82379  1792224  5588757 |   874665      812     80 | 37.071 % |
265.80/269.28	c 269	|      1319 |   82379  1792224  5588757 |   962131     1319     54 | 37.071 % |
266.00/269.45	c 269	===============================================================================
266.00/269.46	c 269	restarts              : 6
266.00/269.46	c 269	conflicts             : 1361           (29 /sec)
266.00/269.46	c 269	decisions             : 5143           (1.07 % random) (111 /sec)
266.00/269.46	c 269	propagations          : 2441992        (52660 /sec)
266.00/269.46	c 269	conflict literals     : 72804          (3.78 % deleted)
266.00/269.46	c 269	Memory used           : 566.67 MB
266.00/269.46	c 269	CPU time              : 46.373 s
266.00/269.46	c 269	
266.10/269.51	c 269	SATISFIABLE
266.19/269.61	c 269	FOUND: _COST <= 41
266.19/269.61	c 269	DECODING HOME/temp.out WITH HOME/temp.map
266.19/269.61	c 269	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
266.19/269.69	c 269	Decoding HOME/temp.out
266.22/270.18	c 270	OBJECTIVE _COST 41
266.22/270.18	o 41
266.22/270.19	v 26 51 31 37 35 23 70 60 17 65 9 71 56 68 46 27 1 34 2 30 21 13 71 68 73 55 66 42 33 77 18 69 75 79 69 49 78 76 79 72 50 63 36 62 52 38 53 47 54 39 45 67 77 57 74 79 29 59 79 7 11 64 58 61 25 12 43 5 40 32 28 15 3 0 41 4 73 10 48 44 6399 6399 6399 6399 6399
266.22/270.19	c 270	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
266.22/270.23	c 270	OBJECTIVE BOUND: 0 <= _COST <= 41
266.22/270.23	c 270	SEARCHING: _COST <= 20
266.22/270.23	c 270	SOLVING HOME/temp.cnf
266.22/270.23	c 270	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
266.22/270.23	c 270	This is MiniSat 2.0 beta
266.22/270.23	c 270	WARNING: for repeatability, setting FPU to use double precision
266.22/270.23	c 270	============================[ Problem Statistics ]=============================
266.22/270.23	c 270	|                                                                             |
266.22/270.23	c 270	|  Number of variables:  130908                                               |
266.22/270.23	c 270	|  Number of clauses:    14181159                                             |
274.67/278.21	c 278	|  Parsing time:         6.99         s                                       |
309.54/313.48	c 313	============================[ Search Statistics ]==============================
309.54/313.48	c 313	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
309.54/313.48	c 313	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
309.54/313.48	c 313	===============================================================================
309.54/313.48	c 313	|         0 |   79001  1622191  5088771 |   540730        0    nan |  0.000 % |
310.53/314.42	c 314	|       101 |   79001  1622191  5088771 |   594803      101     91 | 39.652 % |
310.92/314.84	c 314	|       252 |   79001  1622191  5088771 |   654283      252     97 | 39.652 % |
311.72/315.64	c 315	|       478 |   79001  1622191  5088771 |   719712      478    124 | 39.652 % |
312.61/316.55	c 316	|       815 |   79001  1622191  5088771 |   791683      815    127 | 39.652 % |
313.40/317.34	c 317	|      1321 |   79001  1622191  5088771 |   870851     1321    128 | 39.652 % |
314.78/318.71	c 318	|      2080 |   79001  1622191  5088771 |   957936     2080    118 | 39.652 % |
317.26/321.21	c 321	|      3219 |   79001  1622191  5088771 |  1053730     3219    105 | 39.652 % |
320.43/324.45	c 324	|      4928 |   79001  1622191  5088771 |  1159103     4928     73 | 39.652 % |
320.53/324.59	c 324	===============================================================================
320.63/324.60	c 324	restarts              : 9
320.63/324.60	c 324	conflicts             : 4954           (94 /sec)
320.63/324.60	c 324	decisions             : 11583          (0.82 % random) (219 /sec)
320.63/324.60	c 324	propagations          : 11288302       (213212 /sec)
320.63/324.60	c 324	conflict literals     : 358235         (2.55 % deleted)
320.63/324.60	c 324	Memory used           : 568.02 MB
320.63/324.60	c 324	CPU time              : 52.944 s
320.63/324.60	c 324	
320.63/324.65	c 324	SATISFIABLE
320.72/324.74	c 324	FOUND: _COST <= 20
320.72/324.74	c 324	DECODING HOME/temp.out WITH HOME/temp.map
320.72/324.74	c 324	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
320.79/324.83	c 324	Decoding HOME/temp.out
320.79/325.12	c 325	OBJECTIVE _COST 20
320.79/325.12	o 20
320.79/325.13	v 22 53 57 47 9 19 34 49 39 17 74 77 27 40 11 51 28 26 56 29 69 71 41 63 44 58 61 52 65 68 75 72 50 16 37 59 62 8 70 46 20 54 4 64 67 79 76 23 14 78 15 7 25 43 3 55 35 24 6 10 13 78 66 79 45 60 1 5 79 33 31 48 32 42 2 38 30 73 36 21 6399 6399 6399 6399 6399
320.79/325.13	c 325	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
320.79/325.17	c 325	OBJECTIVE BOUND: 0 <= _COST <= 20
320.79/325.17	c 325	SEARCHING: _COST <= 10
320.79/325.17	c 325	SOLVING HOME/temp.cnf
320.79/325.17	c 325	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
320.79/325.17	c 325	This is MiniSat 2.0 beta
320.79/325.17	c 325	WARNING: for repeatability, setting FPU to use double precision
320.79/325.17	c 325	============================[ Problem Statistics ]=============================
320.79/325.17	c 325	|                                                                             |
320.79/325.17	c 325	|  Number of variables:  130908                                               |
320.79/325.17	c 325	|  Number of clauses:    14181159                                             |
329.11/333.22	c 333	|  Parsing time:         7.07         s                                       |
363.98/368.41	c 368	============================[ Search Statistics ]==============================
363.98/368.41	c 368	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
363.98/368.41	c 368	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
363.98/368.41	c 368	===============================================================================
363.98/368.41	c 368	|         0 |   75803  1536238  4840496 |   512079        0    nan |  0.000 % |
364.87/369.38	c 369	|       101 |   75803  1536238  4840496 |   563287      101    134 | 42.094 % |
365.56/370.03	c 370	|       252 |   75803  1536238  4840496 |   619615      252    123 | 42.094 % |
366.25/370.73	c 370	|       477 |   75803  1536238  4840496 |   681577      477    102 | 42.094 % |
366.84/371.36	c 371	|       815 |   75803  1536238  4840496 |   749735      815     91 | 42.094 % |
367.34/371.81	c 371	|      1321 |   75803  1536238  4840496 |   824708     1321     64 | 42.094 % |
369.12/373.68	c 373	===============================================================================
369.12/373.68	c 373	restarts              : 6
369.12/373.68	c 373	conflicts             : 1919           (41 /sec)
369.12/373.68	c 373	decisions             : 5539           (0.79 % random) (117 /sec)
369.12/373.68	c 373	propagations          : 2587673        (54878 /sec)
369.12/373.68	c 373	conflict literals     : 134257         (2.29 % deleted)
369.12/373.68	c 373	Memory used           : 567.59 MB
369.12/373.68	c 373	CPU time              : 47.1528 s
369.12/373.68	c 373	
369.22/373.74	c 373	SATISFIABLE
369.33/373.83	c 373	FOUND: _COST <= 10
369.33/373.83	c 373	DECODING HOME/temp.out WITH HOME/temp.map
369.33/373.83	c 373	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
369.41/373.92	c 373	Decoding HOME/temp.out
369.71/374.21	c 374	OBJECTIVE _COST 10
369.71/374.21	o 10
369.71/374.22	v 32 20 38 26 0 19 49 42 23 34 27 39 46 74 52 41 47 66 60 35 70 48 62 69 76 45 21 64 67 7 71 28 50 24 10 17 9 59 37 63 53 1 4 55 30 54 5 57 29 56 14 25 58 61 65 16 6 40 15 8 12 33 18 2 51 3 68 22 11 72 36 75 77 13 43 73 44 78 31 79 6319 6399 6399 6399 6399
369.71/374.22	c 374	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
369.71/374.26	c 374	OBJECTIVE BOUND: 0 <= _COST <= 10
369.71/374.26	c 374	SEARCHING: _COST <= 5
369.71/374.26	c 374	SOLVING HOME/temp.cnf
369.71/374.26	c 374	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
369.71/374.26	c 374	This is MiniSat 2.0 beta
369.71/374.26	c 374	WARNING: for repeatability, setting FPU to use double precision
369.71/374.26	c 374	============================[ Problem Statistics ]=============================
369.71/374.26	c 374	|                                                                             |
369.71/374.26	c 374	|  Number of variables:  130908                                               |
369.71/374.26	c 374	|  Number of clauses:    14181159                                             |
377.62/382.23	c 382	|  Parsing time:         7.00         s                                       |
412.58/417.52	c 417	============================[ Search Statistics ]==============================
412.58/417.52	c 417	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
412.58/417.52	c 417	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
412.58/417.52	c 417	===============================================================================
412.58/417.52	c 417	|         0 |   72624  1488388  4706478 |   496129        0    nan |  0.000 % |
413.18/418.13	c 418	|       101 |   72624  1488388  4706478 |   545742      101     13 | 44.523 % |
413.67/418.67	c 418	|       251 |   72624  1488388  4706478 |   600316      251     76 | 44.523 % |
414.17/419.18	c 419	|       478 |   72624  1488388  4706478 |   660348      478     61 | 44.523 % |
414.66/419.64	c 419	|       816 |   72624  1488388  4706478 |   726382      816     61 | 44.523 % |
415.66/420.63	c 420	|      1324 |   72624  1488388  4706478 |   799021     1324     97 | 44.523 % |
416.35/421.31	c 421	|      2083 |   72624  1488388  4706478 |   878923     2083     67 | 44.523 % |
418.13/423.10	c 423	|      3222 |   72624  1488388  4706478 |   966815     3222     62 | 44.523 % |
421.70/426.77	c 426	|      4930 |   72624  1488388  4706478 |  1063497     4930     45 | 44.523 % |
427.15/432.26	c 432	|      7493 |   72624  1488388  4706478 |  1169847     7493     53 | 44.523 % |
427.34/432.48	c 432	===============================================================================
427.34/432.49	c 432	restarts              : 10
427.34/432.49	c 432	conflicts             : 7577           (133 /sec)
427.34/432.49	c 432	decisions             : 15009          (0.79 % random) (264 /sec)
427.34/432.49	c 432	propagations          : 14385843       (253386 /sec)
427.34/432.49	c 432	conflict literals     : 398725         (3.59 % deleted)
427.34/432.49	c 432	Memory used           : 564.50 MB
427.34/432.49	c 432	CPU time              : 56.7744 s
427.34/432.49	c 432	
427.44/432.54	c 432	SATISFIABLE
427.54/432.63	c 432	FOUND: _COST <= 5
427.54/432.63	c 432	DECODING HOME/temp.out WITH HOME/temp.map
427.54/432.63	c 432	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
427.58/432.71	c 432	Decoding HOME/temp.out
427.58/433.01	c 433	OBJECTIVE _COST 5
427.58/433.01	o 5
427.58/433.01	v 41 46 49 17 8 77 48 33 28 16 50 34 23 14 44 42 40 38 43 9 39 69 58 79 62 54 78 45 11 68 61 68 60 65 66 70 2 29 71 7 13 37 76 53 24 22 55 47 36 27 19 56 51 75 52 57 21 5 64 30 72 3 26 12 10 59 74 18 63 1 25 0 15 20 67 6 73 31 35 4 5999 6158 6319 6237 6398
427.58/433.02	c 433	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
427.58/433.06	c 433	OBJECTIVE BOUND: 0 <= _COST <= 5
427.58/433.06	c 433	SEARCHING: _COST <= 2
427.58/433.06	c 433	SOLVING HOME/temp.cnf
427.58/433.06	c 433	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
427.58/433.06	c 433	This is MiniSat 2.0 beta
427.58/433.06	c 433	WARNING: for repeatability, setting FPU to use double precision
427.58/433.06	c 433	============================[ Problem Statistics ]=============================
427.58/433.06	c 433	|                                                                             |
427.58/433.06	c 433	|  Number of variables:  130908                                               |
427.58/433.06	c 433	|  Number of clauses:    14181159                                             |
435.81/441.04	c 441	|  Parsing time:         6.99         s                                       |
470.48/476.06	c 476	============================[ Search Statistics ]==============================
470.48/476.06	c 476	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
470.48/476.06	c 476	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
470.48/476.06	c 476	===============================================================================
470.48/476.06	c 476	|         0 |   68428  1452726  4612077 |   484242        0    nan |  0.000 % |
471.57/477.11	c 477	|       100 |   68428  1452726  4612077 |   532666      100     11 | 47.728 % |
471.87/477.48	c 477	|       251 |   68428  1452726  4612077 |   585932      251     50 | 47.728 % |
472.46/478.04	c 478	|       477 |   68428  1452726  4612077 |   644526      477     76 | 47.728 % |
473.06/478.63	c 478	|       817 |   68428  1452726  4612077 |   708978      817     65 | 47.728 % |
473.46/479.03	c 479	|      1323 |   68428  1452726  4612077 |   779876     1323     48 | 47.728 % |
473.55/479.18	c 479	===============================================================================
473.55/479.19	c 479	restarts              : 6
473.55/479.19	c 479	conflicts             : 1372           (31 /sec)
473.55/479.19	c 479	decisions             : 3886           (0.75 % random) (87 /sec)
473.55/479.19	c 479	propagations          : 2127589        (47514 /sec)
473.55/479.19	c 479	conflict literals     : 66717          (2.42 % deleted)
473.55/479.19	c 479	Memory used           : 564.77 MB
473.55/479.19	c 479	CPU time              : 44.7782 s
473.55/479.19	c 479	
473.65/479.24	c 479	SATISFIABLE
473.75/479.33	c 479	FOUND: _COST <= 2
473.75/479.33	c 479	DECODING HOME/temp.out WITH HOME/temp.map
473.75/479.33	c 479	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
473.80/479.42	c 479	Decoding HOME/temp.out
474.34/479.91	c 479	OBJECTIVE _COST 2
474.34/479.91	o 2
474.34/479.91	v 23 54 50 66 37 42 26 39 51 63 44 40 78 58 75 20 62 45 7 34 18 22 41 72 5 2 4 48 11 16 1 13 8 24 3 73 47 49 35 31 70 68 52 74 38 53 12 27 43 56 76 36 55 67 6 64 46 19 71 33 28 0 61 69 60 65 59 14 17 30 10 57 29 77 32 9 21 79 15 25 6315 6398 6316 6238 6399
474.34/479.92	c 479	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
474.34/479.95	c 480	OBJECTIVE BOUND: 0 <= _COST <= 2
474.34/479.95	c 480	SEARCHING: _COST <= 1
474.34/479.95	c 480	SOLVING HOME/temp.cnf
474.34/479.95	c 480	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
474.34/479.95	c 480	This is MiniSat 2.0 beta
474.34/479.95	c 480	WARNING: for repeatability, setting FPU to use double precision
474.34/479.95	c 480	============================[ Problem Statistics ]=============================
474.34/479.95	c 480	|                                                                             |
474.34/479.95	c 480	|  Number of variables:  130908                                               |
474.34/479.95	c 480	|  Number of clauses:    14181159                                             |
482.23/487.99	c 488	|  Parsing time:         7.09         s                                       |
516.99/523.06	c 523	============================[ Search Statistics ]==============================
516.99/523.06	c 523	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
516.99/523.06	c 523	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
516.99/523.06	c 523	===============================================================================
516.99/523.06	c 523	|         0 |   65258  1435760  4570688 |   478586        0    nan |  0.000 % |
517.89/523.98	c 524	|       100 |   65258  1435760  4570688 |   526445      100     92 | 50.150 % |
518.18/524.27	c 524	|       251 |   65258  1435760  4570688 |   579089      251     63 | 50.150 % |
518.68/524.77	c 524	|       476 |   65258  1435760  4570688 |   636998      476     97 | 50.150 % |
519.67/525.75	c 525	|       814 |   65258  1435760  4570688 |   700698      814    119 | 50.150 % |
520.46/526.51	c 526	|      1322 |   65258  1435760  4570688 |   770768     1322     77 | 50.150 % |
521.45/527.57	c 527	|      2082 |   65258  1435760  4570688 |   847845     2082    114 | 50.150 % |
524.33/530.48	c 530	|      3221 |   65258  1435760  4570688 |   932630     3221    103 | 50.150 % |
526.40/532.58	c 532	|      4930 |   65258  1435760  4570688 |  1025893     4930     72 | 50.150 % |
526.60/532.79	c 532	===============================================================================
526.60/532.79	c 532	restarts              : 9
526.60/532.79	c 532	conflicts             : 5001           (97 /sec)
526.60/532.79	c 532	decisions             : 10069          (0.74 % random) (196 /sec)
526.60/532.79	c 532	propagations          : 7818278        (151911 /sec)
526.60/532.79	c 532	conflict literals     : 358408         (2.40 % deleted)
526.60/532.79	c 532	Memory used           : 564.57 MB
526.60/532.79	c 532	CPU time              : 51.4662 s
526.60/532.80	c 532	
526.70/532.85	c 532	SATISFIABLE
526.80/532.94	c 533	FOUND: _COST <= 1
526.80/532.95	c 533	DECODING HOME/temp.out WITH HOME/temp.map
526.80/532.95	c 533	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
526.86/533.03	c 533	Decoding HOME/temp.out
526.86/533.32	c 533	OBJECTIVE _COST 1
526.86/533.32	o 1
526.86/533.32	v 6 11 33 8 59 9 26 3 38 42 35 46 13 57 2 27 24 45 29 36 4 47 43 37 62 44 67 51 22 12 66 18 5 25 19 21 58 30 77 79 14 75 17 23 76 7 49 1 71 78 63 10 54 31 72 70 53 20 74 41 69 60 52 16 0 65 73 32 39 48 68 40 61 64 15 56 34 28 50 55 6237 6319 6397 6238 6399
526.86/533.32	c 533	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
526.86/533.37	c 533	OBJECTIVE BOUND: 0 <= _COST <= 1
526.86/533.37	c 533	SEARCHING: _COST <= 0
526.86/533.37	c 533	SOLVING HOME/temp.cnf
526.86/533.37	c 533	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
526.86/533.37	c 533	This is MiniSat 2.0 beta
526.86/533.37	c 533	WARNING: for repeatability, setting FPU to use double precision
526.86/533.37	c 533	============================[ Problem Statistics ]=============================
526.86/533.37	c 533	|                                                                             |
526.86/533.37	c 533	|  Number of variables:  130908                                               |
526.86/533.37	c 533	|  Number of clauses:    14181159                                             |
535.19/541.49	c 541	|  Parsing time:         7.16         s                                       |
570.25/576.84	c 576	============================[ Search Statistics ]==============================
570.25/576.84	c 576	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
570.25/576.84	c 576	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
570.25/576.84	c 576	===============================================================================
570.25/576.84	c 576	|         0 |   55752  1419917  4532664 |   473305        0    nan |  0.000 % |
571.14/577.75	c 577	|       100 |   55752  1419917  4532664 |   520636      100     41 | 57.411 % |
571.54/578.16	c 578	|       250 |   55752  1419917  4532664 |   572699      250     61 | 57.411 % |
571.94/578.57	c 578	|       476 |   55752  1419917  4532664 |   629969      476     56 | 57.411 % |
572.43/579.03	c 579	|       814 |   55752  1419917  4532664 |   692966      814     40 | 57.411 % |
573.52/580.18	c 580	|      1320 |   55752  1419917  4532664 |   762263     1320     27 | 57.411 % |
575.79/582.45	c 582	|      2079 |   55750  1419604  4531413 |   838489     1499     25 | 57.413 % |
576.69/583.36	c 583	===============================================================================
576.69/583.36	c 583	restarts              : 7
576.69/583.36	c 583	conflicts             : 2613           (54 /sec)
576.69/583.36	c 583	decisions             : 5353           (1.18 % random) (110 /sec)
576.69/583.36	c 583	propagations          : 11652052       (239574 /sec)
576.69/583.36	c 583	conflict literals     : 43609          (10.34 % deleted)
576.69/583.36	c 583	Memory used           : 564.27 MB
576.69/583.36	c 583	CPU time              : 48.6366 s
576.69/583.36	c 583	
576.69/583.36	c 583	UNSATISFIABLE
576.79/583.45	c 583	NOT FOUND: _COST <= 0
576.79/583.45	c 583	OBJECTIVE _COST 1
576.79/583.45	s OPTIMUM FOUND
576.79/583.45	c 583	CPU 563.41 (0.06 0.04 563.35 13.4)
576.79/583.45	c 583	END Sat Jul 12 14:13:24 2008

Verifier Data (download as text)

OK	1	3169
1 unsatisfied constraints, 3169 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112238-1215864220/watcher-1112238-1215864220 -o /tmp/evaluation-result-1112238-1215864220/solver-1112238-1215864220 -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-1112238-1215864220.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/81 20192
/proc/meminfo: memFree=1907504/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=12268 CPUtime=0
/proc/20192/stat : 20192 (sugar) R 20190 20192 19573 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 43123965 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 253307353701 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/20192/statm: 3067 316 241 3 0 167 0

[startup+0.0907331 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20192
/proc/meminfo: memFree=1907504/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.04
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 43123965 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.101734 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20192
/proc/meminfo: memFree=1907504/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.04
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 43123965 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.301764 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20192
/proc/meminfo: memFree=1907504/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.04
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 43123965 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.70184 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20192
/proc/meminfo: memFree=1907504/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.04
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 43123965 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+1.50297 s]
/proc/loadavg: 1.92 1.98 1.99 4/92 20214
/proc/meminfo: memFree=1899544/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.75
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 974 6671 0 1 3 1 67 4 15 0 1 0 43123965 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 797 370 3 0 500 0
[pid=20205] ppid=20192 vsize=5356 CPUtime=0
/proc/20205/stat : 20205 (sh) S 20192 20192 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43124043 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20205/statm: 1339 233 193 169 0 50 0
[pid=20206] ppid=20205 vsize=868392 CPUtime=0.69
/proc/20206/stat : 20206 (java) S 20205 20192 19573 0 -1 0 7087 0 1 0 66 3 0 0 18 0 9 0 43124044 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20206/statm: 217098 6330 2540 9 0 211673 0
[pid=20206/tid=20207] ppid=20205 vsize=868392 CPUtime=0.38
/proc/20206/task/20207/stat : 20207 (java) R 20205 20192 19573 0 -1 64 2661 0 1 0 37 1 0 0 19 0 9 0 43124045 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4126595079 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20208] ppid=20205 vsize=868392 CPUtime=0.09
/proc/20206/task/20208/stat : 20208 (java) S 20205 20192 19573 0 -1 64 2282 0 0 0 9 0 0 0 16 0 9 0 43124046 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20209] ppid=20205 vsize=868392 CPUtime=0
/proc/20206/task/20209/stat : 20209 (java) S 20205 20192 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43124046 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20210] ppid=20205 vsize=868392 CPUtime=0
/proc/20206/task/20210/stat : 20210 (java) S 20205 20192 19573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43124046 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20211] ppid=20205 vsize=868392 CPUtime=0
/proc/20206/task/20211/stat : 20211 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43124048 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20212] ppid=20205 vsize=868392 CPUtime=0.2
/proc/20206/task/20212/stat : 20212 (java) S 20205 20192 19573 0 -1 64 1452 0 0 0 20 0 0 0 16 0 9 0 43124048 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20213] ppid=20205 vsize=868392 CPUtime=0
/proc/20206/task/20213/stat : 20213 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43124048 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20214] ppid=20205 vsize=868392 CPUtime=0
/proc/20206/task/20214/stat : 20214 (java) S 20205 20192 19573 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43124048 889233408 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 887348

[startup+3.10125 s]
/proc/loadavg: 1.92 1.98 1.99 3/92 20214
/proc/meminfo: memFree=1881240/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.75
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 974 6671 0 1 3 1 67 4 15 0 1 0 43123965 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 797 370 3 0 500 0
[pid=20205] ppid=20192 vsize=5356 CPUtime=0
/proc/20205/stat : 20205 (sh) S 20192 20192 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43124043 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20205/statm: 1339 233 193 169 0 50 0
[pid=20206] ppid=20205 vsize=868504 CPUtime=2.27
/proc/20206/stat : 20206 (java) S 20205 20192 19573 0 -1 0 11357 0 1 0 218 9 0 0 18 0 9 0 43124044 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20206/statm: 217126 10357 2565 9 0 211673 0
[pid=20206/tid=20207] ppid=20205 vsize=868504 CPUtime=1.43
/proc/20206/task/20207/stat : 20207 (java) R 20205 20192 19573 0 -1 64 2949 0 1 0 138 5 0 0 20 0 9 0 43124045 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4126566949 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20208] ppid=20205 vsize=868504 CPUtime=0.53
/proc/20206/task/20208/stat : 20208 (java) S 20205 20192 19573 0 -1 64 6205 0 0 0 50 3 0 0 16 0 9 0 43124046 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20209] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20209/stat : 20209 (java) S 20205 20192 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43124046 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20210] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20210/stat : 20210 (java) S 20205 20192 19573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43124046 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20211] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20211/stat : 20211 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43124048 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20212] ppid=20205 vsize=868504 CPUtime=0.29
/proc/20206/task/20212/stat : 20212 (java) S 20205 20192 19573 0 -1 64 1511 0 0 0 29 0 0 0 16 0 9 0 43124048 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20213] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20213/stat : 20213 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43124048 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20214] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20214/stat : 20214 (java) S 20205 20192 19573 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43124048 889348096 10357 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 887460

[startup+6.3028 s]
/proc/loadavg: 1.93 1.98 1.99 3/92 20214
/proc/meminfo: memFree=1845528/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.75
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 974 6671 0 1 3 1 67 4 15 0 1 0 43123965 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 797 370 3 0 500 0
[pid=20205] ppid=20192 vsize=5356 CPUtime=0
/proc/20205/stat : 20205 (sh) S 20192 20192 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43124043 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20205/statm: 1339 233 193 169 0 50 0
[pid=20206] ppid=20205 vsize=868504 CPUtime=5.42
/proc/20206/stat : 20206 (java) S 20205 20192 19573 0 -1 0 11886 0 1 0 508 34 0 0 18 0 9 0 43124044 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20206/statm: 217126 10364 2565 9 0 211673 0
[pid=20206/tid=20207] ppid=20205 vsize=868504 CPUtime=4.37
/proc/20206/task/20207/stat : 20207 (java) R 20205 20192 19573 0 -1 64 3472 0 1 0 411 26 0 0 25 0 9 0 43124045 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4126476129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20208] ppid=20205 vsize=868504 CPUtime=0.71
/proc/20206/task/20208/stat : 20208 (java) S 20205 20192 19573 0 -1 64 6205 0 0 0 65 6 0 0 16 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20209] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20209/stat : 20209 (java) S 20205 20192 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20210] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20210/stat : 20210 (java) S 20205 20192 19573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20211] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20211/stat : 20211 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20212] ppid=20205 vsize=868504 CPUtime=0.3
/proc/20206/task/20212/stat : 20212 (java) S 20205 20192 19573 0 -1 64 1517 0 0 0 30 0 0 0 15 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20213] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20213/stat : 20213 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20214] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20214/stat : 20214 (java) S 20205 20192 19573 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 887460

[startup+12.7019 s]
/proc/loadavg: 2.01 2.00 2.00 3/92 20214
/proc/meminfo: memFree=1768024/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.75
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 974 6671 0 1 3 1 67 4 16 0 1 0 43123965 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 797 370 3 0 500 0
[pid=20205] ppid=20192 vsize=5356 CPUtime=0
/proc/20205/stat : 20205 (sh) S 20192 20192 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43124043 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20205/statm: 1339 233 193 169 0 50 0
[pid=20206] ppid=20205 vsize=868504 CPUtime=11.73
/proc/20206/stat : 20206 (java) S 20205 20192 19573 0 -1 0 12975 0 1 0 1087 86 0 0 18 0 9 0 43124044 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20206/statm: 217126 10364 2565 9 0 211673 0
[pid=20206/tid=20207] ppid=20205 vsize=868504 CPUtime=10.32
/proc/20206/task/20207/stat : 20207 (java) R 20205 20192 19573 0 -1 64 4561 0 1 0 959 73 0 0 25 0 9 0 43124045 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4127059448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20208] ppid=20205 vsize=868504 CPUtime=1.08
/proc/20206/task/20208/stat : 20208 (java) S 20205 20192 19573 0 -1 64 6205 0 0 0 97 11 0 0 16 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20209] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20209/stat : 20209 (java) S 20205 20192 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20210] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20210/stat : 20210 (java) S 20205 20192 19573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20211] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20211/stat : 20211 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20212] ppid=20205 vsize=868504 CPUtime=0.3
/proc/20206/task/20212/stat : 20212 (java) S 20205 20192 19573 0 -1 64 1517 0 0 0 30 0 0 0 15 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20213] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20213/stat : 20213 (java) S 20205 20192 19573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20214] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20214/stat : 20214 (java) S 20205 20192 19573 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43124048 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 887460

[startup+25.5021 s]
/proc/loadavg: 2.23 2.05 2.02 3/92 20214
/proc/meminfo: memFree=1628568/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13600 CPUtime=0.75
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 974 6671 0 1 3 1 67 4 16 0 1 0 43123965 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3400 797 370 3 0 500 0
[pid=20205] ppid=20192 vsize=5356 CPUtime=0
/proc/20205/stat : 20205 (sh) S 20192 20192 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43124043 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20205/statm: 1339 233 193 169 0 50 0
[pid=20206] ppid=20205 vsize=868504 CPUtime=24.15
/proc/20206/stat : 20206 (java) S 20205 20192 19573 0 -1 0 14991 0 1 0 2238 177 0 0 18 0 9 0 43124044 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20206/statm: 217126 10364 2565 9 0 211673 0
[pid=20206/tid=20207] ppid=20205 vsize=868504 CPUtime=22.04
/proc/20206/task/20207/stat : 20207 (java) R 20205 20192 19573 0 -1 64 6577 0 1 0 2053 151 0 0 25 0 9 0 43124045 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4127063744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20208] ppid=20205 vsize=868504 CPUtime=1.77
/proc/20206/task/20208/stat : 20208 (java) S 20205 20192 19573 0 -1 64 6205 0 0 0 153 24 0 0 16 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20209] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20209/stat : 20209 (java) S 20205 20192 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20206/tid=20210] ppid=20205 vsize=868504 CPUtime=0
/proc/20206/task/20210/stat : 20210 (java) S 20205 20192 19573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43124046 889348096 10364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

################
# More data... #
################


[startup+102.306 s]
/proc/loadavg: 2.12 2.06 2.02 3/84 20228
/proc/meminfo: memFree=1025368/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=69.84
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 1266 166578 0 3 5 1 6651 327 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20227] ppid=20192 vsize=5356 CPUtime=0
/proc/20227/stat : 20227 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43131072 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20227/statm: 1339 232 193 169 0 50 0
[pid=20228] ppid=20227 vsize=584120 CPUtime=30.92
/proc/20228/stat : 20228 (minisat) R 20227 20192 19573 0 -1 4194304 142070 0 0 0 3004 88 0 0 25 0 1 0 43131073 598138880 142056 996147200 134512640 135127466 4294956256 18446744073709551615 134523548 0 0 4096 3 0 0 0 17 1 0 0
/proc/20228/statm: 146030 142056 71 150 0 145877 0
Current children cumulated CPU time (s) 100.76
Current children cumulated vsize (KiB) 603472

[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/84 20240
/proc/meminfo: memFree=1032984/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=120.25
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 1383 313083 0 4 5 1 11591 428 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20239] ppid=20192 vsize=5356 CPUtime=0
/proc/20239/stat : 20239 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43136166 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20239/statm: 1339 232 193 169 0 50 0
[pid=20240] ppid=20239 vsize=576612 CPUtime=39.89
/proc/20240/stat : 20240 (minisat) R 20239 20192 19573 0 -1 4194304 140167 0 0 0 3899 90 0 0 25 0 1 0 43136166 590450688 140153 996147200 134512640 135127466 4294956256 18446744073709551615 134523430 0 0 4096 3 0 0 0 17 1 0 0
/proc/20240/statm: 144153 140153 71 150 0 144000 0
Current children cumulated CPU time (s) 160.14
Current children cumulated vsize (KiB) 595964

[startup+222.302 s]
/proc/loadavg: 2.01 2.04 2.01 3/84 20264
/proc/meminfo: memFree=1560984/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=218.8
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 1614 603310 0 6 5 2 21243 630 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20263] ppid=20192 vsize=5356 CPUtime=0
/proc/20263/stat : 20263 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43146139 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20263/statm: 1339 232 193 169 0 50 0
[pid=20264] ppid=20263 vsize=48580 CPUtime=0.55
/proc/20264/stat : 20264 (minisat) R 20263 20192 19573 0 -1 4194304 11722 0 0 0 47 8 0 0 24 0 1 0 43146139 49745920 11708 996147200 134512640 135127466 4294956256 18446744073709551615 134706298 0 0 4096 3 0 0 0 17 1 0 0
/proc/20264/statm: 12145 11708 62 150 0 11992 0
Current children cumulated CPU time (s) 219.35
Current children cumulated vsize (KiB) 67932

[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/84 20276
/proc/meminfo: memFree=1027800/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=266.79
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 1729 748748 0 7 5 2 25940 732 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20275] ppid=20192 vsize=5356 CPUtime=0
/proc/20275/stat : 20275 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43150988 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20275/statm: 1339 232 193 169 0 50 0
[pid=20276] ppid=20275 vsize=581352 CPUtime=11.94
/proc/20276/stat : 20276 (minisat) R 20275 20192 19573 0 -1 4194304 141378 0 0 0 1104 90 0 0 25 0 1 0 43150989 595304448 141364 996147200 134512640 135127466 4294956256 18446744073709551615 134523553 0 0 4096 3 0 0 0 17 1 0 0
/proc/20276/statm: 145338 141364 71 150 0 145185 0
Current children cumulated CPU time (s) 278.73
Current children cumulated vsize (KiB) 600704

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/84 20288
/proc/meminfo: memFree=1028248/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=321.17
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 1844 894547 0 8 5 2 31276 834 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20287] ppid=20192 vsize=5356 CPUtime=0
/proc/20287/stat : 20287 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43156482 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20287/statm: 1339 232 193 169 0 50 0
[pid=20288] ppid=20287 vsize=580904 CPUtime=16.95
/proc/20288/stat : 20288 (minisat) R 20287 20192 19573 0 -1 4194304 141252 0 0 0 1606 89 0 0 25 0 1 0 43156482 594845696 141238 996147200 134512640 135127466 4294956256 18446744073709551615 134523426 0 0 4096 3 0 0 0 17 1 0 0
/proc/20288/statm: 145226 141238 71 150 0 145073 0
Current children cumulated CPU time (s) 338.12
Current children cumulated vsize (KiB) 600256

[startup+402.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/84 20300
/proc/meminfo: memFree=1031384/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=369.77
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 1959 1040217 0 9 6 3 36031 937 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20299] ppid=20192 vsize=5356 CPUtime=0
/proc/20299/stat : 20299 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43161391 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20299/statm: 1339 232 193 169 0 50 0
[pid=20300] ppid=20299 vsize=577744 CPUtime=27.76
/proc/20300/stat : 20300 (minisat) R 20299 20192 19573 0 -1 4194304 140459 0 0 0 2687 89 0 0 25 0 1 0 43161392 591609856 140445 996147200 134512640 135127466 4294956256 18446744073709551615 134523436 0 0 4096 3 0 0 0 17 1 0 0
/proc/20300/statm: 144436 140445 71 150 0 144283 0
Current children cumulated CPU time (s) 397.53
Current children cumulated vsize (KiB) 597096

[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/84 20312
/proc/meminfo: memFree=1030936/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=427.96
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 2074 1185091 0 10 6 3 41748 1039 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20311] ppid=20192 vsize=5356 CPUtime=0
/proc/20311/stat : 20311 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43167271 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20311/statm: 1339 232 193 169 0 50 0
[pid=20312] ppid=20311 vsize=578136 CPUtime=28.96
/proc/20312/stat : 20312 (minisat) R 20311 20192 19573 0 -1 4194304 140531 0 0 0 2805 91 0 0 25 0 1 0 43167271 592011264 140517 996147200 134512640 135127466 4294956256 18446744073709551615 134523339 0 0 4096 3 0 0 0 17 1 0 0
/proc/20312/statm: 144534 140517 71 150 0 144381 0
Current children cumulated CPU time (s) 456.92
Current children cumulated vsize (KiB) 597488

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 20324
/proc/meminfo: memFree=1031000/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=474.37
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 2189 1330038 0 11 6 3 46285 1143 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20323] ppid=20192 vsize=5356 CPUtime=0
/proc/20323/stat : 20323 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43171960 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20323/statm: 1339 232 193 169 0 50 0
[pid=20324] ppid=20323 vsize=577932 CPUtime=41.93
/proc/20324/stat : 20324 (minisat) R 20323 20192 19573 0 -1 4194304 140510 0 0 0 4106 87 0 0 25 0 1 0 43171960 591802368 140496 996147200 134512640 135127466 4294956256 18446744073709551615 134703988 0 0 4096 3 0 0 0 17 1 0 0
/proc/20324/statm: 144483 140496 71 150 0 144330 0
Current children cumulated CPU time (s) 516.3
Current children cumulated vsize (KiB) 597284

[startup+582.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 20336
/proc/meminfo: memFree=1031192/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=527.25
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 2304 1474955 0 12 6 4 51472 1243 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20335] ppid=20192 vsize=5356 CPUtime=0
/proc/20335/stat : 20335 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43177302 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20335/statm: 1339 232 193 169 0 50 0
[pid=20336] ppid=20335 vsize=577808 CPUtime=48.45
/proc/20336/stat : 20336 (minisat) R 20335 20192 19573 0 -1 4194304 140480 0 0 0 4758 87 0 0 25 0 1 0 43177303 591675392 140466 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/20336/statm: 144452 140466 76 150 0 144299 0
Current children cumulated CPU time (s) 575.7
Current children cumulated vsize (KiB) 597160

Solver just ended. Dumping a history of the last processes samples

[startup+583.102 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 20336
/proc/meminfo: memFree=1031192/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=527.25
/proc/20192/stat : 20192 (sugar) S 20190 20192 19573 0 -1 4194304 2304 1474955 0 12 6 4 51472 1243 16 0 1 0 43123965 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20192/statm: 3499 894 374 3 0 599 0
[pid=20335] ppid=20192 vsize=5356 CPUtime=0
/proc/20335/stat : 20335 (sh) S 20192 20192 19573 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43177302 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20335/statm: 1339 232 193 169 0 50 0
[pid=20336] ppid=20335 vsize=577808 CPUtime=49.24
/proc/20336/stat : 20336 (minisat) R 20335 20192 19573 0 -1 4194304 140480 0 0 0 4837 87 0 0 25 0 1 0 43177303 591675392 140466 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/20336/statm: 144452 140466 76 150 0 144299 0
Current children cumulated CPU time (s) 576.49
Current children cumulated vsize (KiB) 597160

[startup+583.502 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 20336
/proc/meminfo: memFree=1031192/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=576.89
/proc/20192/stat : 20192 (sugar) R 20190 20192 19573 0 -1 4194304 2345 1615729 0 12 6 8 56335 1340 16 0 1 0 43123965 14331904 895 996147200 4194304 4206940 548682068592 18446744073709551615 253307360297 0 0 4224 16386 0 0 0 17 1 0 0
/proc/20192/statm: 3499 895 375 3 0 599 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 13996

[startup+583.62 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 20336
/proc/meminfo: memFree=1031192/2055920 swapFree=4180932/4192956
[pid=20192] ppid=20190 vsize=13996 CPUtime=577.01
/proc/20192/stat : 20192 (sugar) R 20190 20192 19573 0 -1 4194304 2345 1615729 0 12 6 20 56335 1340 17 0 1 0 43123965 14331904 895 996147200 4194304 4206940 548682068592 18446744073709551615 253307360297 0 0 4224 16386 0 0 0 17 1 0 0
/proc/20192/statm: 3499 895 375 3 0 599 0
Current children cumulated CPU time (s) 577.01
Current children cumulated vsize (KiB) 13996

Child status: 0
Real time (s): 583.621
CPU time (s): 577.034
CPU user time (s): 563.423
CPU system time (s): 13.6109
CPU usage (%): 98.8714
Max. virtual memory (cumulated for all children) (KiB): 887600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 563.423
system time used= 13.6109
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1618104
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40547
involuntary context switches= 52815

runsolver used 0.677896 second user time and 2.01069 second system time

The end

Launcher Data (download as text)

Begin job on node25 at 2008-07-12 14:03:41
IDJOB=1112238
IDBENCH=61384
IDSOLVER=368
FILE ID=node25/1112238-1215864220
PBS_JOBID= 7903469
Free space on /tmp= 66528 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-80-5-add.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-1112238-1215864220/watcher-1112238-1215864220 -o /tmp/evaluation-result-1112238-1215864220/solver-1112238-1215864220 -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-1112238-1215864220.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4a9833fa42d0a0932d635fb3733fa969
RANDOM SEED=1795864889

node25.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.265
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.265
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:       1908048 kB
Buffers:         24768 kB
Cached:          55800 kB
SwapCached:       5792 kB
Active:          78024 kB
Inactive:        28728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1908048 kB
SwapTotal:     4192956 kB
SwapFree:      4180932 kB
Dirty:            1696 kB
Writeback:           0 kB
Mapped:          42284 kB
Slab:            26240 kB
Committed_AS:   275272 kB
PageTables:       1964 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= 66528 MiB
End job on node25 at 2008-07-12 14:13:24