Trace number 1113238

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+minisatMSAT (TO)7 3600.26 3649.83

General information on the benchmark

Namecsp/graphColoring/register/zeroin/
normalized-zeroin-i-1-45.xml
MD5SUMf2c43533c0316bf728e6f2743f6e041d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark1636.76
Satisfiable
(Un)Satisfiability was proved
Number of variables211
Number of constraints4100
Maximum constraint arity2
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4100
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.26	c 0	Sugar v1-13 + HOME/minisat
0.00/0.26	c 0	BEGIN Sat Jul 12 18:36:12 2008
0.00/0.26	c 0	PID 18132
0.00/0.26	c 0	HOST node55.alineos.net
0.00/0.26	c 0	CONVERTING HOME/instance-1113238-1215880572.xml TO HOME/temp.csp
0.00/0.26	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1113238-1215880572.xml' 'HOME/temp.csp'
0.04/0.83	c 1	1 domains, 211 variables, 1 predicates, 0 relations, 4100 constraints
0.04/0.88	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.88	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.57/0.95	c 1	Parsing HOME/temp.csp
0.98/1.37	c 1	parsed 4313 expressions
0.98/1.37	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.07/1.41	c 1	MAX CSP: 4100 constraints
1.07/1.41	c 1	Converting to clausal form CSP
1.17/1.59	c 1	converted 842 (10%) expressions
1.27/1.64	c 2	converted 1684 (20%) expressions
1.27/1.66	c 2	converted 2525 (30%) expressions
1.27/1.70	c 2	converted 3367 (40%) expressions
1.37/1.71	c 2	converted 4208 (50%) expressions
1.37/1.78	c 2	converted 5050 (60%) expressions
1.37/1.80	c 2	converted 5892 (70%) expressions
1.47/1.81	c 2	converted 6733 (80%) expressions
1.47/1.83	c 2	converted 7575 (90%) expressions
1.88/2.23	c 2	converted 8416 (100%) expressions
1.88/2.23	c 2	CSP : 8411 integers, 0 booleans, 12299 clauses, largest domain size 6151
1.88/2.23	c 2	Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.88/2.23	c 2	Propagation in CSP
1.97/2.40	c 2	4098 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.07/2.40	c 2	CSP : 8411 integers, 0 booleans, 12299 clauses, largest domain size 4101
2.07/2.40	c 2	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.07/2.41	c 2	Simplifing CSP by introducing new Boolean variables
2.18/2.53	c 2	CSP : 8411 integers, 8200 booleans, 20499 clauses, largest domain size 4101
2.18/2.53	c 2	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.28/2.62	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.28/2.66	c 3	842 (10%) CSP integer variables are encoded (9073 clauses, 115850 bytes)
2.28/2.67	c 3	1683 (20%) CSP integer variables are encoded (9073 clauses, 115850 bytes)
2.28/2.67	c 3	2524 (30%) CSP integer variables are encoded (9073 clauses, 115850 bytes)
2.28/2.67	c 3	3365 (40%) CSP integer variables are encoded (9073 clauses, 115850 bytes)
2.28/2.67	c 3	4206 (50%) CSP integer variables are encoded (9073 clauses, 115850 bytes)
2.37/2.72	c 3	5047 (60%) CSP integer variables are encoded (51044 clauses, 745415 bytes)
2.37/2.75	c 3	5888 (70%) CSP integer variables are encoded (69706 clauses, 1025345 bytes)
2.37/2.76	c 3	6729 (80%) CSP integer variables are encoded (81082 clauses, 1195985 bytes)
2.37/2.77	c 3	7570 (90%) CSP integer variables are encoded (88984 clauses, 1314515 bytes)
2.37/2.79	c 3	8411 (100%) CSP integer variables are encoded (99284 clauses, 1483380 bytes)
2.57/2.95	c 3	2050 (10%) CSP clauses are encoded (161482 clauses, 2684100 bytes)
2.67/3.08	c 3	4100 (20%) CSP clauses are encoded (223680 clauses, 3913239 bytes)
2.86/3.21	c 3	6150 (30%) CSP clauses are encoded (285834 clauses, 5163521 bytes)
2.97/3.35	c 3	8200 (40%) CSP clauses are encoded (348032 clauses, 6456008 bytes)
3.07/3.47	c 3	10250 (50%) CSP clauses are encoded (410230 clauses, 7748495 bytes)
3.17/3.60	c 3	12300 (60%) CSP clauses are encoded (472384 clauses, 9040071 bytes)
22.89/23.32	c 23	14350 (70%) CSP clauses are encoded (8983994 clauses, 191338831 bytes)
37.25/38.41	c 38	16400 (80%) CSP clauses are encoded (17417698 clauses, 372469000 bytes)
39.01/40.25	c 40	18450 (90%) CSP clauses are encoded (18487808 clauses, 395342343 bytes)
44.78/46.11	c 46	20499 (100%) CSP clauses are encoded (21665306 clauses, 469561778 bytes)
44.78/46.11	c 46	20499 CSP clauses encoded
44.78/46.11	c 46	Writing map file : HOME/temp.map
44.78/46.17	c 46	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
44.78/46.17	c 46	SAT : 115895 SAT variables, 21665306 SAT clauses, 469561778 bytes
44.78/46.18	c 46	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
44.86/46.27	c 46	OBJECTIVE minimize _COST
44.86/46.29	c 46	OBJECTIVE BOUND: 0 <= _COST <= 
44.86/46.29	c 46	SEARCHING: _COST <= 2050
44.86/46.29	c 46	SOLVING HOME/temp.cnf
44.86/46.29	c 46	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
44.86/46.29	c 46	This is MiniSat 2.0 beta
44.86/46.29	c 46	WARNING: for repeatability, setting FPU to use double precision
44.86/46.29	c 46	============================[ Problem Statistics ]=============================
44.86/46.29	c 46	|                                                                             |
44.86/46.29	c 46	|  Number of variables:  115895                                               |
44.86/46.29	c 46	|  Number of clauses:    21665307                                             |
55.29/56.78	c 57	|  Parsing time:         9.07         s                                       |
116.47/117.98	c 118	============================[ Search Statistics ]==============================
116.47/117.98	c 118	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
116.47/117.98	c 118	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
116.47/117.98	c 118	===============================================================================
116.47/117.98	c 118	|         0 |   89245 13884019 41429751 |  4628006        0    nan |  0.000 % |
117.87/119.38	c 119	===============================================================================
117.87/119.38	c 119	restarts              : 1
117.87/119.38	c 119	conflicts             : 0              (0 /sec)
117.87/119.38	c 119	decisions             : 3852           (0.62 % random) (54 /sec)
117.87/119.38	c 119	propagations          : 115895         (1617 /sec)
117.87/119.38	c 119	conflict literals     : 0              ( nan % deleted)
117.87/119.38	c 119	Memory used           : 842.89 MB
117.87/119.38	c 119	CPU time              : 71.6581 s
117.87/119.38	c 119	
117.98/119.43	c 119	SATISFIABLE
118.08/119.57	c 119	FOUND: _COST <= 2050
118.08/119.57	s SATISFIABLE
118.08/119.57	c 119	DECODING HOME/temp.out WITH HOME/temp.map
118.08/119.57	c 119	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
118.16/119.81	c 120	Decoding HOME/temp.out
118.41/120.08	c 120	OBJECTIVE _COST 899
118.41/120.08	o 899
118.41/120.09	v 8 9 10 11 12 13 14 15 16 17 17 18 19 19 20 21 11 10 11 12 13 14 15 15 16 17 17 18 19 20 21 22 30 44 44 22 44 44 44 44 23 44 24 44 24 44 24 25 44 44 25 44 44 26 44 27 44 44 28 27 28 29 33 34 35 36 37 38 39 40 31 32 33 34 35 36 37 38 39 41 41 44 44 40 44 42 43 41 44 42 44 43 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 43 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 43 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 43 44 44 44 44 44 44 44 44 44 43 44 43 43 43 43 43 43 43 43 44 43 43 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44
118.41/120.10	c 120	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
118.50/120.12	c 120	OBJECTIVE BOUND: 0 <= _COST <= 899
118.50/120.12	c 120	SEARCHING: _COST <= 449
118.50/120.12	c 120	SOLVING HOME/temp.cnf
118.50/120.12	c 120	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
118.50/120.12	c 120	This is MiniSat 2.0 beta
118.50/120.12	c 120	WARNING: for repeatability, setting FPU to use double precision
118.50/120.12	c 120	============================[ Problem Statistics ]=============================
118.50/120.12	c 120	|                                                                             |
118.50/120.12	c 120	|  Number of variables:  115895                                               |
118.50/120.12	c 120	|  Number of clauses:    21665307                                             |
129.57/131.29	c 131	|  Parsing time:         9.83         s                                       |
217.41/219.22	c 219	============================[ Search Statistics ]==============================
217.41/219.22	c 219	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.41/219.22	c 219	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
217.41/219.22	c 219	===============================================================================
217.41/219.22	c 219	|         0 |   64658  4647410 13792084 |  1549136        0    nan |  0.000 % |
218.41/220.28	c 220	===============================================================================
218.41/220.28	c 220	restarts              : 1
218.41/220.28	c 220	conflicts             : 1              (0 /sec)
218.41/220.28	c 220	decisions             : 2796           (0.75 % random) (28 /sec)
218.41/220.28	c 220	propagations          : 116635         (1182 /sec)
218.41/220.28	c 220	conflict literals     : 5              (0.00 % deleted)
218.41/220.28	c 220	Memory used           : 864.03 MB
218.41/220.28	c 220	CPU time              : 98.65 s
218.41/220.28	c 220	
218.51/220.33	c 220	SATISFIABLE
218.61/220.47	c 220	FOUND: _COST <= 449
218.61/220.47	c 220	DECODING HOME/temp.out WITH HOME/temp.map
218.61/220.47	c 220	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.70/220.62	c 221	Decoding HOME/temp.out
218.70/221.10	c 221	OBJECTIVE _COST 449
218.70/221.10	o 449
219.24/221.11	v 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 4 5 6 7 8 9 10 27 11 12 13 14 15 16 17 18 25 44 44 19 44 44 44 44 20 44 21 44 22 44 22 23 44 44 24 44 44 34 44 25 26 44 27 26 27 41 33 34 35 36 37 38 39 40 28 29 30 31 32 33 35 36 37 41 38 44 41 39 44 42 43 42 44 42 44 43 44 44 44 44 44 44 44 44 44 44 44 44 44 43 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 40 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44
219.24/221.11	c 221	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
219.24/221.19	c 221	OBJECTIVE BOUND: 0 <= _COST <= 449
219.24/221.19	c 221	SEARCHING: _COST <= 224
219.24/221.19	c 221	SOLVING HOME/temp.cnf
219.24/221.19	c 221	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
219.24/221.20	c 221	This is MiniSat 2.0 beta
219.24/221.20	c 221	WARNING: for repeatability, setting FPU to use double precision
219.24/221.20	c 221	============================[ Problem Statistics ]=============================
219.24/221.20	c 221	|                                                                             |
219.24/221.20	c 221	|  Number of variables:  115895                                               |
219.24/221.20	c 221	|  Number of clauses:    21665307                                             |
230.18/232.25	c 232	|  Parsing time:         9.60         s                                       |
315.53/318.39	c 318	============================[ Search Statistics ]==============================
315.53/318.39	c 318	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
315.53/318.39	c 318	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
315.53/318.39	c 318	===============================================================================
315.53/318.39	c 318	|         0 |   58774  2643846  7798819 |   881282        0    nan |  0.000 % |
316.52/319.39	c 319	===============================================================================
316.52/319.39	c 319	restarts              : 1
316.52/319.39	c 319	conflicts             : 29             (0 /sec)
316.52/319.39	c 319	decisions             : 2799           (0.68 % random) (29 /sec)
316.52/319.39	c 319	propagations          : 117710         (1226 /sec)
316.52/319.39	c 319	conflict literals     : 443            (17.20 % deleted)
316.52/319.39	c 319	Memory used           : 865.61 MB
316.52/319.39	c 319	CPU time              : 95.9854 s
316.52/319.39	c 319	
316.62/319.43	c 319	SATISFIABLE
316.71/319.56	c 319	FOUND: _COST <= 224
316.71/319.56	c 319	DECODING HOME/temp.out WITH HOME/temp.map
316.71/319.56	c 319	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
316.79/319.65	c 320	Decoding HOME/temp.out
316.79/319.92	c 320	OBJECTIVE _COST 224
316.79/319.93	o 224
316.79/319.93	v 1 11 39 0 2 3 4 5 6 7 8 9 10 12 13 14 0 1 2 3 4 25 5 6 7 8 9 10 11 12 13 14 15 44 44 16 44 44 44 44 17 44 18 44 19 44 19 20 44 44 21 44 44 22 44 23 24 44 43 23 24 25 27 28 29 30 31 32 33 34 26 27 28 29 30 31 32 33 34 35 35 44 36 36 44 37 38 37 44 38 44 39 44 44 44 44 44 44 44 44 44 44 44 44 44 40 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 41 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 42 44 44 44 44 44 44 44 44 44 44 42 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44
316.79/319.94	c 320	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
316.79/320.00	c 320	OBJECTIVE BOUND: 0 <= _COST <= 224
316.79/320.00	c 320	SEARCHING: _COST <= 112
316.79/320.00	c 320	SOLVING HOME/temp.cnf
316.79/320.00	c 320	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
316.79/320.00	c 320	This is MiniSat 2.0 beta
316.79/320.00	c 320	WARNING: for repeatability, setting FPU to use double precision
316.79/320.00	c 320	============================[ Problem Statistics ]=============================
316.79/320.00	c 320	|                                                                             |
316.79/320.00	c 320	|  Number of variables:  115895                                               |
316.79/320.00	c 320	|  Number of clauses:    21665307                                             |
328.74/331.69	c 332	|  Parsing time:         10.28        s                                       |
412.02/414.96	c 415	============================[ Search Statistics ]==============================
412.02/414.96	c 415	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
412.02/414.96	c 415	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
412.02/414.96	c 415	===============================================================================
412.02/414.96	c 415	|         0 |   53906  1573602  4602579 |   524534        0    nan |  0.000 % |
413.03/415.93	c 416	|       100 |   53906  1573602  4602579 |   576987      100     38 | 53.487 % |
413.12/416.03	c 416	|       250 |   53906  1573602  4602579 |   634686      250     26 | 53.487 % |
413.32/416.26	c 416	===============================================================================
413.32/416.26	c 416	restarts              : 3
413.32/416.26	c 416	conflicts             : 388            (4 /sec)
413.32/416.26	c 416	decisions             : 5233           (0.52 % random) (55 /sec)
413.32/416.26	c 416	propagations          : 415473         (4381 /sec)
413.32/416.26	c 416	conflict literals     : 9321           (11.83 % deleted)
413.32/416.26	c 416	Memory used           : 867.12 MB
413.32/416.26	c 416	CPU time              : 94.8286 s
413.32/416.26	c 416	
413.43/416.31	c 416	SATISFIABLE
413.52/416.45	c 416	FOUND: _COST <= 112
413.52/416.45	c 416	DECODING HOME/temp.out WITH HOME/temp.map
413.52/416.45	c 416	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
413.58/416.61	c 417	Decoding HOME/temp.out
413.58/416.89	c 417	OBJECTIVE _COST 112
413.58/416.89	o 112
413.95/416.91	v 35 29 34 37 32 23 22 21 2 43 33 38 36 35 34 29 29 44 44 1 44 42 43 40 41 38 2 39 41 43 44 44 42 44 44 17 44 44 44 44 31 44 30 44 20 44 1 19 44 44 40 44 44 44 44 44 41 44 41 0 1 42 18 19 20 23 24 25 26 27 43 39 40 37 3 4 5 27 26 37 25 44 28 26 44 32 30 15 44 14 44 14 44 44 44 44 44 44 44 44 44 44 31 44 44 24 44 44 44 44 44 44 28 41 44 44 44 44 44 44 41 44 44 12 44 41 44 44 41 44 44 10 44 41 41 44 44 44 44 18 28 28 44 44 28 41 44 44 13 44 44 44 44 44 44 44 44 44 28 16 13 16 9 13 44 19 44 44 44 44 44 9 44 8 19 16 19 13 19 8 8 13 20 20 44 44 44 44 44 8 6 44 7 44 11 44 9 19 28 13 19 28 28 44 44 28 19 28 44 44 41
413.95/416.91	c 417	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
413.95/416.97	c 417	OBJECTIVE BOUND: 0 <= _COST <= 112
413.95/416.97	c 417	SEARCHING: _COST <= 56
413.95/416.97	c 417	SOLVING HOME/temp.cnf
413.95/416.97	c 417	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
413.95/416.98	c 417	This is MiniSat 2.0 beta
413.95/416.98	c 417	WARNING: for repeatability, setting FPU to use double precision
413.95/416.98	c 417	============================[ Problem Statistics ]=============================
413.95/416.98	c 417	|                                                                             |
413.95/416.98	c 417	|  Number of variables:  115895                                               |
413.95/416.98	c 417	|  Number of clauses:    21665307                                             |
425.77/428.81	c 429	|  Parsing time:         10.43        s                                       |
505.36/508.41	c 508	============================[ Search Statistics ]==============================
505.36/508.41	c 508	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
505.36/508.41	c 508	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
505.36/508.41	c 508	===============================================================================
505.36/508.41	c 508	|         0 |   49478  1015634  2941903 |   338544        0    nan |  0.000 % |
506.27/509.34	c 509	|       100 |   49478  1015634  2941903 |   372399      100     18 | 57.308 % |
506.37/509.44	c 509	|       250 |   49478  1015634  2941903 |   409639      250     15 | 57.308 % |
506.46/509.52	c 509	===============================================================================
506.46/509.52	c 509	restarts              : 3
506.46/509.52	c 509	conflicts             : 263            (3 /sec)
506.46/509.52	c 509	decisions             : 4622           (0.54 % random) (51 /sec)
506.46/509.52	c 509	propagations          : 245779         (2697 /sec)
506.46/509.52	c 509	conflict literals     : 3926           (9.20 % deleted)
506.46/509.52	c 509	Memory used           : 867.50 MB
506.46/509.52	c 509	CPU time              : 91.1181 s
506.46/509.52	c 509	
506.46/509.57	c 509	SATISFIABLE
506.66/509.70	c 510	FOUND: _COST <= 56
506.66/509.71	c 510	DECODING HOME/temp.out WITH HOME/temp.map
506.66/509.71	c 510	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
506.66/509.80	c 510	Decoding HOME/temp.out
506.68/510.07	c 510	OBJECTIVE _COST 56
506.68/510.07	o 56
506.68/510.08	v 40 15 14 39 42 7 11 16 6 18 30 31 17 19 20 33 20 35 29 30 31 40 17 44 0 15 18 14 42 43 1 11 9 44 44 10 44 44 44 44 25 44 35 44 0 44 41 36 44 44 42 44 44 24 44 43 1 44 41 41 40 28 38 4 39 41 36 5 6 7 32 34 39 38 37 23 19 29 13 37 28 44 8 12 44 9 10 2 44 3 44 4 44 44 44 44 44 44 44 44 44 44 16 44 44 27 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 44 26 44 44 44 44 44 44 44 21 44 44 44 44 44 44 44 44 43 43 44 44 43 43 44 44 44 44 44 44 44 44 44 44 44 44 43 29 43 23 43 9 44 43 44 44 44 44 44 22 44 36 43 35 43 43 43 43 43 5 43 26 44 44 44 44 44 9 5 44 8 44 22 44 43 43 36 36 8 43 43 44 44 9 9 8 44 44 44
506.68/510.09	c 510	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
506.69/510.13	c 510	OBJECTIVE BOUND: 0 <= _COST <= 56
506.69/510.13	c 510	SEARCHING: _COST <= 28
506.69/510.13	c 510	SOLVING HOME/temp.cnf
506.69/510.13	c 510	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
506.69/510.14	c 510	This is MiniSat 2.0 beta
506.69/510.14	c 510	WARNING: for repeatability, setting FPU to use double precision
506.69/510.14	c 510	============================[ Problem Statistics ]=============================
506.69/510.14	c 510	|                                                                             |
506.69/510.14	c 510	|  Number of variables:  115895                                               |
506.69/510.14	c 510	|  Number of clauses:    21665307                                             |
518.83/521.98	c 522	|  Parsing time:         10.50        s                                       |
596.30/599.40	c 599	============================[ Search Statistics ]==============================
596.30/599.40	c 599	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
596.30/599.40	c 599	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
596.30/599.40	c 599	===============================================================================
596.30/599.40	c 599	|         0 |   45242   726368  2086785 |   242122        0    nan |  0.000 % |
597.20/600.34	c 600	|       102 |   45242   726368  2086785 |   266334      102     18 | 60.963 % |
597.30/600.44	c 600	|       252 |   45242   726368  2086785 |   292968      252     32 | 60.963 % |
597.40/600.52	c 600	|       478 |   45242   726368  2086785 |   322265      478     25 | 60.963 % |
597.40/600.60	c 600	|       816 |   45242   726368  2086785 |   354491      816     24 | 60.963 % |
597.51/600.66	c 601	===============================================================================
597.51/600.66	c 601	restarts              : 5
597.51/600.66	c 601	conflicts             : 852            (10 /sec)
597.51/600.66	c 601	decisions             : 6520           (0.44 % random) (73 /sec)
597.51/600.66	c 601	propagations          : 392170         (4398 /sec)
597.51/600.66	c 601	conflict literals     : 20303          (3.97 % deleted)
597.51/600.66	c 601	Memory used           : 859.21 MB
597.51/600.66	c 601	CPU time              : 89.1614 s
597.51/600.66	c 601	
597.61/600.71	c 601	SATISFIABLE
597.71/600.85	c 601	FOUND: _COST <= 28
597.71/600.85	c 601	DECODING HOME/temp.out WITH HOME/temp.map
597.71/600.85	c 601	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
597.76/600.97	c 601	Decoding HOME/temp.out
597.76/601.24	c 601	OBJECTIVE _COST 28
597.76/601.24	o 28
597.76/601.25	v 19 3 24 29 39 15 16 18 1 36 14 31 15 2 38 22 14 17 18 19 20 6 8 38 7 0 1 2 3 33 42 16 6 44 44 7 44 44 44 44 41 44 39 44 4 44 5 40 44 44 13 44 44 0 44 33 34 44 43 42 37 25 43 35 28 29 30 40 34 41 21 11 27 17 9 30 8 32 28 36 10 44 44 15 44 32 37 43 44 26 44 44 44 44 25 44 7 44 44 44 44 44 39 44 44 23 44 44 44 44 44 44 42 20 44 44 44 44 44 44 42 44 44 5 44 12 44 44 42 44 44 35 44 12 20 44 44 44 44 12 42 42 44 44 34 42 44 44 42 44 44 44 44 44 44 44 44 44 34 42 42 37 34 34 44 6 44 44 44 44 44 40 44 6 42 42 33 20 33 42 6 20 37 20 44 44 44 44 44 34 6 44 33 44 20 44 40 42 40 40 42 34 34 44 44 40 34 20 44 44 37
597.76/601.25	c 601	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
597.76/601.27	c 601	OBJECTIVE BOUND: 0 <= _COST <= 28
597.76/601.27	c 601	SEARCHING: _COST <= 14
597.76/601.27	c 601	SOLVING HOME/temp.cnf
597.76/601.27	c 601	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
597.76/601.28	c 601	This is MiniSat 2.0 beta
597.76/601.28	c 601	WARNING: for repeatability, setting FPU to use double precision
597.76/601.28	c 601	============================[ Problem Statistics ]=============================
597.76/601.28	c 601	|                                                                             |
597.76/601.28	c 601	|  Number of variables:  115895                                               |
597.76/601.28	c 601	|  Number of clauses:    21665307                                             |
609.92/613.10	c 613	|  Parsing time:         10.44        s                                       |
687.00/690.21	c 690	============================[ Search Statistics ]==============================
687.00/690.21	c 690	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
687.00/690.21	c 690	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
687.00/690.21	c 690	===============================================================================
687.00/690.21	c 690	|         0 |   41088   574573  1643848 |   191524        0    nan |  0.000 % |
687.90/691.16	c 691	|       101 |   41088   574573  1643848 |   210676      101     17 | 64.547 % |
688.00/691.25	c 691	|       251 |   41088   574573  1643848 |   231744      251     15 | 64.547 % |
688.10/691.31	c 691	|       477 |   41088   574573  1643848 |   254918      477     16 | 64.547 % |
688.20/691.40	c 691	|       815 |   41088   574573  1643848 |   280410      815     24 | 64.547 % |
688.20/691.47	c 691	|      1321 |   41088   574573  1643848 |   308451     1321     22 | 64.547 % |
688.30/691.59	c 691	|      2080 |   41088   574573  1643848 |   339297     2080     21 | 64.547 % |
688.60/691.85	c 692	|      3221 |   41088   574573  1643848 |   373226     3221     37 | 64.547 % |
688.81/692.03	c 692	|      4930 |   41088   574573  1643848 |   410549     4930     32 | 64.547 % |
689.10/692.33	c 692	|      7495 |   41088   574573  1643848 |   451604     7495     30 | 64.547 % |
689.50/692.76	c 693	|     11339 |   41088   574573  1643848 |   496764    11339     29 | 64.547 % |
690.10/693.34	c 693	|     17106 |   41088   574573  1643848 |   546441    17106     28 | 64.547 % |
691.30/694.56	c 694	|     25756 |   41088   574573  1643848 |   601085    25756     28 | 64.547 % |
693.70/696.95	c 697	|     38730 |   41088   574573  1643848 |   661193    38730     30 | 64.547 % |
701.10/704.31	c 704	|     58191 |   41088   574573  1643848 |   727313    58191     43 | 64.547 % |
701.20/704.44	c 704	===============================================================================
701.20/704.44	c 704	restarts              : 15
701.20/704.44	c 704	conflicts             : 58798          (578 /sec)
701.20/704.44	c 704	decisions             : 87370          (0.60 % random) (859 /sec)
701.20/704.44	c 704	propagations          : 5656709        (55589 /sec)
701.20/704.44	c 704	conflict literals     : 2534276        (2.64 % deleted)
701.20/704.44	c 704	Memory used           : 859.12 MB
701.20/704.44	c 704	CPU time              : 101.76 s
701.20/704.44	c 704	
701.20/704.49	c 704	SATISFIABLE
701.40/704.63	c 705	FOUND: _COST <= 14
701.40/704.63	c 705	DECODING HOME/temp.out WITH HOME/temp.map
701.40/704.63	c 705	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
701.45/704.72	c 705	Decoding HOME/temp.out
701.45/704.99	c 705	OBJECTIVE _COST 14
701.45/704.99	o 14
701.45/705.00	v 0 24 38 15 32 37 32 35 43 28 31 33 8 27 43 41 0 31 28 43 41 33 10 24 1 2 8 27 38 11 3 4 10 44 44 9 44 44 44 44 36 44 22 44 7 44 13 14 44 44 30 44 44 2 44 18 10 44 35 18 39 3 25 26 29 30 32 39 34 35 20 17 43 12 42 5 19 40 1 36 34 44 37 23 44 40 42 6 44 44 44 26 44 44 39 44 39 44 44 44 44 44 44 44 44 25 44 44 44 44 44 44 39 39 44 44 44 44 44 44 39 44 44 11 44 21 44 44 29 44 44 16 44 39 21 44 44 44 44 13 4 39 44 44 21 21 44 44 39 44 44 44 44 44 44 44 44 44 4 21 4 39 4 14 44 21 44 44 44 44 44 4 44 18 21 14 21 39 21 21 21 21 21 7 44 44 44 44 44 18 29 44 10 44 21 44 14 14 4 4 14 18 18 44 44 4 14 4 44 44 21
701.45/705.01	c 705	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
701.45/705.06	c 705	OBJECTIVE BOUND: 0 <= _COST <= 14
701.45/705.06	c 705	SEARCHING: _COST <= 7
701.45/705.06	c 705	SOLVING HOME/temp.cnf
701.45/705.06	c 705	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
701.45/705.06	c 705	This is MiniSat 2.0 beta
701.45/705.06	c 705	WARNING: for repeatability, setting FPU to use double precision
701.45/705.06	c 705	============================[ Problem Statistics ]=============================
701.45/705.06	c 705	|                                                                             |
701.45/705.06	c 705	|  Number of variables:  115895                                               |
701.45/705.06	c 705	|  Number of clauses:    21665307                                             |
713.15/716.56	c 716	|  Parsing time:         10.05        s                                       |
788.39/792.45	c 792	============================[ Search Statistics ]==============================
788.39/792.45	c 792	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
788.39/792.45	c 792	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
788.39/792.45	c 792	===============================================================================
788.39/792.45	c 792	|         0 |   36968   492283  1409331 |   164094        0    nan |  0.000 % |
789.29/793.34	c 793	|       100 |   36968   492283  1409331 |   180503      100     16 | 68.102 % |
789.39/793.47	c 793	|       250 |   36968   492283  1409331 |   198554      250     17 | 68.102 % |
789.48/793.54	c 793	|       475 |   36968   492283  1409331 |   218409      475     15 | 68.102 % |
789.58/793.60	c 794	|       813 |   36968   492283  1409331 |   240250      813     15 | 68.102 % |
789.58/793.68	c 794	|      1320 |   36968   492283  1409331 |   264275     1320     17 | 68.102 % |
789.68/793.77	c 794	|      2079 |   36968   492283  1409331 |   290703     2079     17 | 68.102 % |
789.78/793.88	c 794	|      3218 |   36968   492283  1409331 |   319773     3218     17 | 68.102 % |
789.98/794.03	c 794	|      4926 |   36968   492283  1409331 |   351750     4926     18 | 68.102 % |
790.28/794.37	c 794	|      7489 |   36968   492283  1409331 |   386925     7489     22 | 68.102 % |
790.87/794.94	c 795	|     11334 |   36968   492283  1409331 |   425618    11334     27 | 68.102 % |
791.37/795.46	c 795	|     17101 |   36968   492283  1409331 |   468180    17101     25 | 68.102 % |
792.66/796.73	c 797	|     25751 |   36968   492283  1409331 |   514998    25751     29 | 68.102 % |
795.23/799.35	c 799	|     38726 |   36968   492283  1409331 |   566498    38726     32 | 68.102 % |
798.50/802.61	c 803	|     58188 |   36968   492283  1409331 |   623147    58188     32 | 68.102 % |
807.33/811.53	c 811	|     87380 |   36968   492283  1409331 |   685462    87380     34 | 68.102 % |
826.66/831.03	c 831	|    131169 |   36968   492283  1409331 |   754009   131169     39 | 68.102 % |
871.68/876.46	c 876	|    196853 |   36968   492283  1409331 |   829409   196853     41 | 68.102 % |
947.81/953.24	c 953	|    295380 |   36968   492283  1409331 |   912350   295380     42 | 68.102 % |
1107.54/1114.32	c 1114	|    443169 |   36968   492283  1409331 |  1003586   443169     47 | 68.102 % |
1535.73/1546.23	c 1546	|    664852 |   36968   492283  1409331 |  1103944   664852     48 | 68.102 % |
2339.58/2356.72	c 2357	|    997377 |   36968   492283  1409331 |  1214339   997377     51 | 68.102 % |
3003.31/3022.12	c 3022	|   1496165 |   36968   492283  1409331 |  1335772   202380     76 | 68.102 % |
3003.51/3022.40	c 3022	===============================================================================
3003.61/3022.43	c 3022	restarts              : 23
3003.61/3022.43	c 3022	conflicts             : 1497749        (651 /sec)
3003.61/3022.43	c 3022	decisions             : 1785880        (0.75 % random) (777 /sec)
3003.61/3022.43	c 3022	propagations          : 91977754       (39995 /sec)
3003.61/3022.43	c 3022	conflict literals     : 86206980       (1.55 % deleted)
3003.61/3022.43	c 3022	Memory used           : 862.98 MB
3003.61/3022.43	c 3022	CPU time              : 2299.75 s
3003.61/3022.43	c 3022	
3003.63/3022.69	c 3023	SATISFIABLE
3003.77/3022.82	c 3023	FOUND: _COST <= 7
3003.77/3022.82	c 3023	DECODING HOME/temp.out WITH HOME/temp.map
3003.77/3022.82	c 3023	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3003.81/3023.42	c 3023	Decoding HOME/temp.out
3003.81/3023.83	c 3024	OBJECTIVE _COST 7
3003.81/3023.83	o 7
3003.81/3023.84	v 29 17 42 32 44 19 24 31 39 42 30 7 3 9 34 21 3 30 28 22 21 19 35 42 23 14 9 0 26 44 29 34 13 44 44 33 44 44 44 44 42 44 41 44 10 44 16 5 44 44 25 44 44 11 44 5 13 44 1 16 28 16 38 37 40 24 25 27 31 32 6 37 20 15 4 27 18 23 40 33 38 44 39 43 44 41 36 43 44 36 44 22 44 44 41 44 41 44 44 44 44 44 43 44 44 35 44 44 44 44 44 44 2 28 44 44 44 44 44 44 2 44 44 14 44 26 44 44 2 44 44 0 44 28 2 44 44 44 44 28 2 2 44 44 2 2 44 44 0 44 44 44 44 44 44 44 44 44 2 8 2 42 2 2 44 5 44 44 44 44 44 2 44 5 8 8 26 12 26 5 5 5 5 26 44 44 44 44 44 2 26 44 8 44 13 44 12 5 12 5 8 12 12 44 44 12 26 2 44 44 2
3003.81/3023.88	c 3024	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3004.16/3023.95	c 3024	OBJECTIVE BOUND: 0 <= _COST <= 7
3004.16/3023.95	c 3024	SEARCHING: _COST <= 3
3004.16/3023.95	c 3024	SOLVING HOME/temp.cnf
3004.16/3023.96	c 3024	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3004.16/3023.97	c 3024	This is MiniSat 2.0 beta
3004.16/3023.97	c 3024	WARNING: for repeatability, setting FPU to use double precision
3004.16/3023.98	c 3024	============================[ Problem Statistics ]=============================
3004.16/3023.98	c 3024	|                                                                             |
3004.18/3024.11	c 3024	|  Number of variables:  115895                                               |
3004.18/3024.11	c 3024	|  Number of clauses:    21665307                                             |
3016.44/3063.15	c 3063	|  Parsing time:         10.36        s                                       |
3093.37/3140.46	c 3140	============================[ Search Statistics ]==============================
3093.37/3140.46	c 3140	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3093.37/3140.46	c 3140	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3093.37/3140.46	c 3140	===============================================================================
3093.37/3140.46	c 3140	|         0 |   31837   436488  1257335 |   145496        0    nan |  0.000 % |
3094.36/3141.42	c 3141	|       100 |   31837   436488  1257335 |   160045      100     17 | 72.529 % |
3094.46/3141.50	c 3141	|       252 |   31837   436488  1257335 |   176050      252     17 | 72.529 % |
3094.46/3141.55	c 3141	|       478 |   31837   436488  1257335 |   193655      478     15 | 72.529 % |
3094.56/3141.61	c 3142	|       815 |   31837   436488  1257335 |   213020      815     18 | 72.529 % |
3094.56/3141.69	c 3142	|      1323 |   31837   436488  1257335 |   234322     1323     20 | 72.529 % |
3094.66/3141.79	c 3142	|      2082 |   31837   436488  1257335 |   257755     2082     22 | 72.529 % |
3094.86/3141.94	c 3142	|      3223 |   31837   436488  1257335 |   283530     3223     23 | 72.529 % |
3095.06/3142.15	c 3142	|      4931 |   31837   436488  1257335 |   311883     4931     24 | 72.529 % |
3095.36/3142.41	c 3142	|      7494 |   31837   436488  1257335 |   343071     7494     24 | 72.529 % |
3095.75/3142.84	c 3143	|     11338 |   31837   436488  1257335 |   377379    11338     25 | 72.529 % |
3096.35/3143.43	c 3143	|     17106 |   31837   436488  1257335 |   415117    17106     24 | 72.529 % |
3097.54/3144.68	c 3145	|     25755 |   31837   436488  1257335 |   456628    25755     27 | 72.529 % |
3099.93/3147.05	c 3147	|     38729 |   31837   436488  1257335 |   502291    38729     28 | 72.529 % |
3104.31/3151.41	c 3151	|     58190 |   31837   436488  1257335 |   552520    58190     30 | 72.529 % |
3117.35/3164.50	c 3164	|     87382 |   31837   436488  1257335 |   607772    87382     33 | 72.529 % |
3135.25/3182.58	c 3182	|    131172 |   31837   436488  1257335 |   668550   131172     35 | 72.529 % |
3170.88/3218.31	c 3218	|    196858 |   31837   436488  1257335 |   735405   196858     40 | 72.529 % |
3303.05/3351.17	c 3351	|    295386 |   31837   436488  1257335 |   808945   295386     43 | 72.529 % |
3490.35/3539.30	c 3539	|    443176 |   31837   436488  1257335 |   889840   443176     44 | 72.529 % |
3600.02/3649.51	c ERROR INTERRUPTED
3600.13/3649.64	c 3650	CPU 2987.52 (0.06 0.04 2987.46 16.62)
3600.13/3649.64	c 3650	END Sat Jul 12 19:37:02 2008

Verifier Data (download as text)

OK	7	4093
7 unsatisfied constraints, 4093 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-1113238-1215880572/watcher-1113238-1215880572 -o /tmp/evaluation-result-1113238-1215880572/solver-1113238-1215880572 -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-1113238-1215880572.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: 2.33 2.60 2.63 5/80 18132
/proc/meminfo: memFree=1854424/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=18572 CPUtime=0
/proc/18132/stat : 18132 (runsolver) R 18130 18132 17509 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 44755828 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 248761609511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18132/statm: 4643 292 257 25 0 2626 0

[startup+0.105629 s]
/proc/loadavg: 2.33 2.60 2.63 5/80 18132
/proc/meminfo: memFree=1854424/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=12132 CPUtime=0
/proc/18132/stat : 18132 (sugar) R 18130 18132 17509 0 -1 4194304 271 0 2 0 0 0 0 0 18 0 1 0 44755828 12423168 242 996147200 4194304 4206940 548682068592 18446744073709551615 248761455329 0 0 4224 0 0 0 0 17 1 0 0
/proc/18132/statm: 3033 246 186 3 0 133 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12132

[startup+0.20164 s]
/proc/loadavg: 2.33 2.60 2.63 5/80 18132
/proc/meminfo: memFree=1854424/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=12412 CPUtime=0
/proc/18132/stat : 18132 (sugar) R 18130 18132 17509 0 -1 4194304 413 0 2 0 0 0 0 0 18 0 1 0 44755828 12709888 383 996147200 4194304 4206940 548682068592 18446744073709551615 248779313577 0 0 4224 0 0 0 0 17 1 0 0
/proc/18132/statm: 3103 384 275 3 0 203 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12412

[startup+0.301651 s]
/proc/loadavg: 2.33 2.60 2.63 5/80 18132
/proc/meminfo: memFree=1854424/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=13600 CPUtime=0.04
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 896 127 2 0 3 1 0 0 18 0 1 0 44755828 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18132/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.701689 s]
/proc/loadavg: 2.33 2.60 2.63 5/80 18132
/proc/meminfo: memFree=1854424/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=13600 CPUtime=0.04
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 896 127 2 0 3 1 0 0 18 0 1 0 44755828 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18132/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+1.50276 s]
/proc/loadavg: 2.33 2.60 2.63 5/91 18154
/proc/meminfo: memFree=1846592/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=13600 CPUtime=0.57
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 972 7012 2 1 3 1 49 4 15 0 1 0 44755828 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3400 797 370 3 0 500 0
[pid=18145] ppid=18132 vsize=5356 CPUtime=0
/proc/18145/stat : 18145 (sh) S 18132 18132 17509 0 -1 4194304 278 0 0 0 0 0 0 0 19 0 1 0 44755916 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18145/statm: 1339 233 193 169 0 50 0
[pid=18146] ppid=18145 vsize=865372 CPUtime=0.6
/proc/18146/stat : 18146 (java) S 18145 18132 17509 0 -1 0 4358 0 1 0 58 2 0 0 18 0 9 0 44755917 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18146/statm: 216343 3810 1731 9 0 210918 0
[pid=18146/tid=18147] ppid=18145 vsize=865372 CPUtime=0.46
/proc/18146/task/18147/stat : 18147 (java) R 18145 18132 17509 0 -1 64 2645 0 1 0 45 1 0 0 18 0 9 0 44755917 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18148] ppid=18145 vsize=865372 CPUtime=0.03
/proc/18146/task/18148/stat : 18148 (java) S 18145 18132 17509 0 -1 64 664 0 0 0 3 0 0 0 16 0 9 0 44755919 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18149] ppid=18145 vsize=865372 CPUtime=0
/proc/18146/task/18149/stat : 18149 (java) S 18145 18132 17509 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44755919 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18150] ppid=18145 vsize=865372 CPUtime=0
/proc/18146/task/18150/stat : 18150 (java) S 18145 18132 17509 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 44755919 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18151] ppid=18145 vsize=865372 CPUtime=0
/proc/18146/task/18151/stat : 18151 (java) S 18145 18132 17509 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44755921 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18152] ppid=18145 vsize=865372 CPUtime=0.09
/proc/18146/task/18152/stat : 18152 (java) R 18145 18132 17509 0 -1 64 357 0 0 0 9 0 0 0 16 0 9 0 44755921 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 101660476 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18153] ppid=18145 vsize=865372 CPUtime=0
/proc/18146/task/18153/stat : 18153 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44755921 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18154] ppid=18145 vsize=865372 CPUtime=0
/proc/18146/task/18154/stat : 18154 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44755921 886140928 3810 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 884328

[startup+3.1029 s]
/proc/loadavg: 2.33 2.60 2.63 3/91 18154
/proc/meminfo: memFree=1829696/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=13600 CPUtime=0.57
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 972 7012 2 1 3 1 49 4 15 0 1 0 44755828 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3400 797 370 3 0 500 0
[pid=18145] ppid=18132 vsize=5356 CPUtime=0
/proc/18145/stat : 18145 (sh) S 18132 18132 17509 0 -1 4194304 278 0 0 0 0 0 0 0 19 0 1 0 44755916 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18145/statm: 1339 233 193 169 0 50 0
[pid=18146] ppid=18145 vsize=869548 CPUtime=2.2
/proc/18146/stat : 18146 (java) S 18145 18132 17509 0 -1 0 9854 0 1 0 211 9 0 0 18 0 9 0 44755917 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18146/statm: 217387 8767 2565 9 0 211934 0
[pid=18146/tid=18147] ppid=18145 vsize=869548 CPUtime=1.46
/proc/18146/task/18147/stat : 18147 (java) R 18145 18132 17509 0 -1 64 2939 0 1 0 141 5 0 0 21 0 9 0 44755917 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4126572701 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18148] ppid=18145 vsize=869548 CPUtime=0.44
/proc/18146/task/18148/stat : 18148 (java) S 18145 18132 17509 0 -1 64 4702 0 0 0 42 2 0 0 16 0 9 0 44755919 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18149] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18149/stat : 18149 (java) S 18145 18132 17509 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44755919 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18150] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18150/stat : 18150 (java) S 18145 18132 17509 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44755919 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18151] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18151/stat : 18151 (java) S 18145 18132 17509 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44755921 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18152] ppid=18145 vsize=869548 CPUtime=0.27
/proc/18146/task/18152/stat : 18152 (java) S 18145 18132 17509 0 -1 64 1519 0 0 0 27 0 0 0 16 0 9 0 44755921 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18153] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18153/stat : 18153 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44755921 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18154] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18154/stat : 18154 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44755921 890417152 8767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 888504

[startup+6.30121 s]
/proc/loadavg: 2.39 2.61 2.63 3/91 18154
/proc/meminfo: memFree=1811072/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=13600 CPUtime=0.57
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 972 7012 2 1 3 1 49 4 15 0 1 0 44755828 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3400 797 370 3 0 500 0
[pid=18145] ppid=18132 vsize=5356 CPUtime=0
/proc/18145/stat : 18145 (sh) S 18132 18132 17509 0 -1 4194304 278 0 0 0 0 0 0 0 19 0 1 0 44755916 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18145/statm: 1339 233 193 169 0 50 0
[pid=18146] ppid=18145 vsize=869548 CPUtime=5.39
/proc/18146/stat : 18146 (java) S 18145 18132 17509 0 -1 0 10237 0 1 0 520 19 0 0 18 0 9 0 44755917 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18146/statm: 217387 8774 2565 9 0 211934 0
[pid=18146/tid=18147] ppid=18145 vsize=869548 CPUtime=4.54
/proc/18146/task/18147/stat : 18147 (java) R 18145 18132 17509 0 -1 64 3315 0 1 0 441 13 0 0 25 0 9 0 44755917 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4127058817 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18148] ppid=18145 vsize=869548 CPUtime=0.54
/proc/18146/task/18148/stat : 18148 (java) S 18145 18132 17509 0 -1 64 4702 0 0 0 50 4 0 0 16 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18149] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18149/stat : 18149 (java) S 18145 18132 17509 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18150] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18150/stat : 18150 (java) S 18145 18132 17509 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18151] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18151/stat : 18151 (java) S 18145 18132 17509 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18152] ppid=18145 vsize=869548 CPUtime=0.28
/proc/18146/task/18152/stat : 18152 (java) S 18145 18132 17509 0 -1 64 1526 0 0 0 28 0 0 0 16 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18153] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18153/stat : 18153 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18154] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18154/stat : 18154 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 888504

[startup+12.7028 s]
/proc/loadavg: 2.44 2.62 2.63 3/91 18154
/proc/meminfo: memFree=1741504/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=13600 CPUtime=0.57
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 972 7012 2 1 3 1 49 4 15 0 1 0 44755828 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3400 797 370 3 0 500 0
[pid=18145] ppid=18132 vsize=5356 CPUtime=0
/proc/18145/stat : 18145 (sh) S 18132 18132 17509 0 -1 4194304 278 0 0 0 0 0 0 0 19 0 1 0 44755916 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18145/statm: 1339 233 193 169 0 50 0
[pid=18146] ppid=18145 vsize=869548 CPUtime=11.76
/proc/18146/stat : 18146 (java) S 18145 18132 17509 0 -1 0 11578 0 1 0 1105 71 0 0 18 0 9 0 44755917 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18146/statm: 217387 8774 2565 9 0 211934 0
[pid=18146/tid=18147] ppid=18145 vsize=869548 CPUtime=10.55
/proc/18146/task/18147/stat : 18147 (java) R 18145 18132 17509 0 -1 64 4656 0 1 0 997 58 0 0 25 0 9 0 44755917 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4127058811 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18148] ppid=18145 vsize=869548 CPUtime=0.9
/proc/18146/task/18148/stat : 18148 (java) S 18145 18132 17509 0 -1 64 4702 0 0 0 79 11 0 0 16 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18149] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18149/stat : 18149 (java) S 18145 18132 17509 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18150] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18150/stat : 18150 (java) S 18145 18132 17509 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18151] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18151/stat : 18151 (java) S 18145 18132 17509 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18152] ppid=18145 vsize=869548 CPUtime=0.28
/proc/18146/task/18152/stat : 18152 (java) S 18145 18132 17509 0 -1 64 1526 0 0 0 28 0 0 0 16 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18153] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18153/stat : 18153 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18154] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18154/stat : 18154 (java) S 18145 18132 17509 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44755921 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 888504

[startup+25.503 s]
/proc/loadavg: 2.63 2.65 2.64 3/91 18154
/proc/meminfo: memFree=1610760/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=13600 CPUtime=0.57
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 972 7012 2 1 3 1 49 4 16 0 1 0 44755828 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3400 797 370 3 0 500 0
[pid=18145] ppid=18132 vsize=5356 CPUtime=0
/proc/18145/stat : 18145 (sh) S 18132 18132 17509 0 -1 4194304 278 0 0 0 0 0 0 0 19 0 1 0 44755916 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18145/statm: 1339 233 193 169 0 50 0
[pid=18146] ppid=18145 vsize=869548 CPUtime=24.52
/proc/18146/stat : 18146 (java) S 18145 18132 17509 0 -1 0 14040 0 1 0 2285 167 0 0 18 0 9 0 44755917 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18146/statm: 217387 8774 2565 9 0 211934 0
[pid=18146/tid=18147] ppid=18145 vsize=869548 CPUtime=22.62
/proc/18146/task/18147/stat : 18147 (java) R 18145 18132 17509 0 -1 64 7118 0 1 0 2124 138 0 0 25 0 9 0 44755917 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4126569879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18148] ppid=18145 vsize=869548 CPUtime=1.59
/proc/18146/task/18148/stat : 18148 (java) S 18145 18132 17509 0 -1 64 4702 0 0 0 132 27 0 0 16 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18149] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18149/stat : 18149 (java) S 18145 18132 17509 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18146/tid=18150] ppid=18145 vsize=869548 CPUtime=0
/proc/18146/task/18150/stat : 18150 (java) S 18145 18132 17509 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44755919 890417152 8774 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[startup+3342.3 s]
/proc/loadavg: 2.71 2.61 2.56 3/83 18381
/proc/meminfo: memFree=521728/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2110 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=5356 CPUtime=0
/proc/18380/stat : 18380 (sh) S 18132 18132 17509 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45058225 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18380/statm: 1339 232 193 169 0 50 0
[pid=18381] ppid=18380 vsize=879136 CPUtime=290.11
/proc/18381/stat : 18381 (minisat) R 18380 18132 17509 0 -1 4194304 213500 0 0 0 28815 196 0 0 25 0 1 0 45058225 900235264 213486 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 219784 213486 76 150 0 219631 0
Current children cumulated CPU time (s) 3294.29
Current children cumulated vsize (KiB) 898620

[startup+3402.3 s]
/proc/loadavg: 2.76 2.65 2.57 3/83 18381
/proc/meminfo: memFree=521408/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2110 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=5356 CPUtime=0
/proc/18380/stat : 18380 (sh) S 18132 18132 17509 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45058225 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18380/statm: 1339 232 193 169 0 50 0
[pid=18381] ppid=18380 vsize=879744 CPUtime=349.83
/proc/18381/stat : 18381 (minisat) R 18380 18132 17509 0 -1 4194304 213562 0 0 0 34787 196 0 0 25 0 1 0 45058225 900857856 213548 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 219936 213548 76 150 0 219783 0
Current children cumulated CPU time (s) 3354.01
Current children cumulated vsize (KiB) 899228

[startup+3462.3 s]
/proc/loadavg: 2.77 2.66 2.58 4/83 18381
/proc/meminfo: memFree=521088/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2110 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=5356 CPUtime=0
/proc/18380/stat : 18380 (sh) S 18132 18132 17509 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45058225 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18380/statm: 1339 232 193 169 0 50 0
[pid=18381] ppid=18380 vsize=879744 CPUtime=409.54
/proc/18381/stat : 18381 (minisat) R 18380 18132 17509 0 -1 4194304 213606 0 0 0 40758 196 0 0 25 0 1 0 45058225 900857856 213592 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 219936 213592 76 150 0 219783 0
Current children cumulated CPU time (s) 3413.72
Current children cumulated vsize (KiB) 899228

[startup+3522.31 s]
/proc/loadavg: 2.72 2.68 2.59 3/83 18381
/proc/meminfo: memFree=521024/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2110 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=5356 CPUtime=0
/proc/18380/stat : 18380 (sh) S 18132 18132 17509 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45058225 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18380/statm: 1339 232 193 169 0 50 0
[pid=18381] ppid=18380 vsize=879744 CPUtime=469.25
/proc/18381/stat : 18381 (minisat) R 18380 18132 17509 0 -1 4194304 213640 0 0 0 46729 196 0 0 25 0 1 0 45058225 900857856 213626 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 219936 213626 76 150 0 219783 0
Current children cumulated CPU time (s) 3473.43
Current children cumulated vsize (KiB) 899228

[startup+3582.3 s]
/proc/loadavg: 2.71 2.68 2.60 4/83 18381
/proc/meminfo: memFree=520768/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2110 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=5356 CPUtime=0
/proc/18380/stat : 18380 (sh) S 18132 18132 17509 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45058225 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18380/statm: 1339 232 193 169 0 50 0
[pid=18381] ppid=18380 vsize=880656 CPUtime=528.96
/proc/18381/stat : 18381 (minisat) R 18380 18132 17509 0 -1 4194304 213694 0 0 0 52700 196 0 0 25 0 1 0 45058225 901791744 213680 996147200 134512640 135127466 4294956256 18446744073709551615 134530641 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 220164 213680 76 150 0 220011 0
Current children cumulated CPU time (s) 3533.14
Current children cumulated vsize (KiB) 900140

[startup+3642.3 s]
/proc/loadavg: 2.65 2.68 2.60 4/83 18381
/proc/meminfo: memFree=520512/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2110 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=5356 CPUtime=0
/proc/18380/stat : 18380 (sh) S 18132 18132 17509 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45058225 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18380/statm: 1339 232 193 169 0 50 0
[pid=18381] ppid=18380 vsize=880656 CPUtime=588.67
/proc/18381/stat : 18381 (minisat) R 18380 18132 17509 0 -1 4194304 213733 0 0 0 58671 196 0 0 25 0 1 0 45058225 901791744 213719 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 220164 213719 76 150 0 220011 0
Current children cumulated CPU time (s) 3592.85
Current children cumulated vsize (KiB) 900140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3649.5 s]
/proc/loadavg: 2.68 2.68 2.60 4/83 18381
/proc/meminfo: memFree=520512/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2110 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=5356 CPUtime=0
/proc/18380/stat : 18380 (sh) S 18132 18132 17509 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 45058225 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18380/statm: 1339 232 193 169 0 50 0
[pid=18381] ppid=18380 vsize=880656 CPUtime=595.84
/proc/18381/stat : 18381 (minisat) R 18380 18132 17509 0 -1 4194304 213737 0 0 0 59388 196 0 0 25 0 1 0 45058225 901791744 213723 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 220164 213723 76 150 0 220011 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 900140

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3649.62 s]
/proc/loadavg: 2.68 2.68 2.60 4/83 18381
/proc/meminfo: memFree=520512/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.18
/proc/18132/stat : 18132 (sugar) S 18130 18132 17509 0 -1 4194304 2122 1773750 5 14 6 4 298746 1662 16 0 1 0 44755828 14467072 934 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 16384 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/18132/statm: 3532 934 374 3 0 632 0
[pid=18380] ppid=18132 vsize=0 CPUtime=0
/proc/18380/stat : 18380 (sh) Z 18132 18132 17509 0 -1 4195340 277 0 0 0 0 0 0 0 16 0 1 0 45058225 0 0 996147200 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/18380/statm: 0 0 0 0 0 0 0
[pid=18381] ppid=1 vsize=0 CPUtime=595.95
/proc/18381/stat : 18381 (minisat) R 1 18132 17509 0 -1 4195332 213737 0 0 0 59388 207 0 0 25 0 1 0 45058225 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/18381/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3600.13
Current children cumulated vsize (KiB) 14128

# WARNING:
# current cumulated CPU time (3004.21 s) is less than in the last sample (3600.13 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (595.92 s) to the 'lost time'.

[startup+3649.7 s]
/proc/loadavg: 2.68 2.68 2.60 4/83 18381
/proc/meminfo: memFree=520512/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.21
/proc/18132/stat : 18132 (sugar) R 18130 18132 17509 0 -1 4194304 2143 1774027 5 14 6 7 298746 1662 16 0 1 0 44755828 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 248761783337 0 0 4224 16386 0 0 0 17 1 0 0
/proc/18132/statm: 3532 935 375 3 0 632 0
Current children cumulated CPU time (s) 3004.21
Current children cumulated vsize (KiB) 14128

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

[startup+3649.7 s]
/proc/loadavg: 2.68 2.68 2.60 4/83 18381
/proc/meminfo: memFree=520512/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.21
/proc/18132/stat : 18132 (sugar) R 18130 18132 17509 0 -1 4194304 2143 1774027 5 14 6 7 298746 1662 16 0 1 0 44755828 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 248761783337 0 0 4224 16386 0 0 0 17 1 0 0
/proc/18132/statm: 3532 935 375 3 0 632 0
Current children cumulated CPU time (s) 3004.21
Current children cumulated vsize (KiB) 14128

[startup+3649.82 s]
/proc/loadavg: 2.63 2.67 2.60 4/82 18382
/proc/meminfo: memFree=1835720/2055920 swapFree=4192812/4192956
[pid=18132] ppid=18130 vsize=14128 CPUtime=3004.32
/proc/18132/stat : 18132 (sugar) R 18130 18132 17509 0 -1 4194304 2143 1774027 5 14 6 18 298746 1662 16 0 1 0 44755828 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 248761783337 0 0 4224 16386 0 0 0 17 1 0 0
/proc/18132/statm: 3532 935 375 3 0 632 0
Current children cumulated CPU time (s) 3004.32
Current children cumulated vsize (KiB) 14128

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 595.92
#  lost CPU user time (s): 593.88
#  lost CPU system time (s): 2.04

Real time (s): 3649.83
CPU time (s): 3600.26
CPU user time (s): 3581.41
CPU system time (s): 18.8544
CPU usage (%): 98.6421
Max. virtual memory (cumulated for all children) (KiB): 907804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2987.53
system time used= 16.8144
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1776201
page faults= 19
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70549
involuntary context switches= 159979

runsolver used 3.71743 second user time and 11.1243 second system time

The end

Launcher Data (download as text)

Begin job on node55 at 2008-07-12 18:36:12
IDJOB=1113238
IDBENCH=61549
IDSOLVER=368
FILE ID=node55/1113238-1215880572
PBS_JOBID= 7903514
Free space on /tmp= 66428 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/graphColoring/register/zeroin/normalized-zeroin-i-1-45.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-1113238-1215880572/watcher-1113238-1215880572 -o /tmp/evaluation-result-1113238-1215880572/solver-1113238-1215880572 -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-1113238-1215880572.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f2c43533c0316bf728e6f2743f6e041d
RANDOM SEED=514606513

node55.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.225
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.225
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:       1854904 kB
Buffers:          6448 kB
Cached:          50264 kB
SwapCached:          0 kB
Active:         128784 kB
Inactive:        23524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1752 kB
Writeback:           0 kB
Mapped:         115916 kB
Slab:            33844 kB
Committed_AS:  1031676 kB
PageTables:       1996 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= 66428 MiB
End job on node55 at 2008-07-12 19:37:03