Trace number 1125219

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 NameAnswerCPU timeWall clock time
Sugar++ v1.13+minisat-incMSAT (TO) 3600.12 3629.66

General information on the benchmark

Namemaxcsp/celar/scens/
normalized-scenw-06_ext.xml
MD5SUM9e24d4c880189979ab688d6c808ac54d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints30
Best CPU time to get the best result obtained on this benchmark1261
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints1222
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension1222
Number of constraints which are defined in intension0
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.05/0.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.07	c 0	BEGIN Wed Jul 16 02:22:50 2008
0.05/0.07	c 0	PID 22695
0.05/0.07	c 0	HOST node76.alineos.net
0.05/0.07	c 0	CONVERTING HOME/instance-1125219-1216167769.xml TO HOME/temp.csp
0.05/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1125219-1216167769.xml' 'HOME/temp.csp'
0.91/1.06	c 1	3 domains, 100 variables, 0 predicates, 526 relations, 1222 constraints
0.91/1.07	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.91/1.07	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.98/1.15	c 1	Parsing HOME/temp.csp
2.49/2.64	c 2	parsed 1851 expressions
2.49/2.65	c 2	Heap : 28 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.49/2.67	c 2	MAX CSP: 1222 constraints
2.49/2.67	c 2	Converting to clausal form CSP
2.59/2.72	c 2	converted 308 (10%) expressions
2.59/2.75	c 2	converted 616 (20%) expressions
2.99/3.11	c 3	converted 923 (30%) expressions
3.20/3.33	c 3	converted 1231 (40%) expressions
3.39/3.51	c 3	converted 1538 (50%) expressions
3.59/3.75	c 3	converted 1846 (60%) expressions
3.79/3.91	c 3	converted 2154 (70%) expressions
4.29/4.42	c 4	converted 2461 (80%) expressions
4.39/4.55	c 4	converted 2769 (90%) expressions
4.69/4.86	c 4	converted 3076 (100%) expressions
4.69/4.86	c 4	CSP : 2544 integers, 0 booleans, 3665 clauses, largest domain size 1834
4.69/4.86	c 4	Heap : 84 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.69/4.86	c 4	Propagation in CSP
4.79/4.92	c 4	1217 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.79/4.92	c 4	CSP : 2544 integers, 0 booleans, 3665 clauses, largest domain size 1223
4.79/4.92	c 4	Heap : 88 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.79/4.93	c 4	Simplifing CSP by introducing new Boolean variables
4.79/4.94	c 4	CSP : 2544 integers, 0 booleans, 3665 clauses, largest domain size 1223
4.79/4.94	c 4	Heap : 82 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.08/5.24	c 5	Encoding CSP to SAT : HOME/temp.cnf
5.08/5.26	c 5	255 (10%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26	c 5	509 (20%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26	c 5	764 (30%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26	c 5	1018 (40%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26	c 5	1272 (50%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.27	c 5	1527 (60%) CSP integer variables are encoded (6205 clauses, 78568 bytes)
5.08/5.27	c 5	1781 (70%) CSP integer variables are encoded (8244 clauses, 105124 bytes)
5.08/5.29	c 5	2036 (80%) CSP integer variables are encoded (21613 clauses, 305659 bytes)
5.08/5.29	c 5	2290 (90%) CSP integer variables are encoded (23568 clauses, 334984 bytes)
5.08/5.30	c 5	2544 (100%) CSP integer variables are encoded (26208 clauses, 374584 bytes)
5.49/5.65	c 5	367 (10%) CSP clauses are encoded (40634 clauses, 729095 bytes)
5.78/5.97	c 5	733 (20%) CSP clauses are encoded (55862 clauses, 1127655 bytes)
6.08/6.24	c 6	1100 (30%) CSP clauses are encoded (68263 clauses, 1463303 bytes)
6.19/6.36	c 6	1466 (40%) CSP clauses are encoded (81600 clauses, 1742125 bytes)
6.39/6.51	c 6	1833 (50%) CSP clauses are encoded (171233 clauses, 3380261 bytes)
6.68/6.86	c 6	2199 (60%) CSP clauses are encoded (255671 clauses, 5016831 bytes)
8.78/8.95	c 8	2566 (70%) CSP clauses are encoded (1601946 clauses, 32910312 bytes)
8.88/9.00	c 8	2932 (80%) CSP clauses are encoded (1632046 clauses, 33539012 bytes)
8.98/9.12	c 9	3299 (90%) CSP clauses are encoded (1706715 clauses, 35122674 bytes)
9.38/9.56	c 9	3665 (100%) CSP clauses are encoded (1984205 clauses, 41051842 bytes)
9.38/9.56	c 9	3665 CSP clauses encoded
9.38/9.56	c 9	Writing map file : HOME/temp.map
9.38/9.59	c 9	Heap : 51 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
9.38/9.59	c 9	SAT : 28752 SAT variables, 1984205 SAT clauses, 41051842 bytes
9.38/9.59	c 9	Heap : 51 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
9.47/9.63	c 9	OBJECTIVE minimize _COST
9.47/9.63	c 9	SOLVING HOME/temp.cnf
9.47/9.63	c 9	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
9.47/9.63	c 9	This is MiniSat 2.0 beta incremental
9.47/9.63	c 9	WARNING: for repeatability, setting FPU to use double precision
9.47/9.63	c 9	============================[ Problem Statistics ]=============================
9.47/9.63	c 9	|                                                                             |
9.47/9.63	c 9	|  Number of variables:  28752                                                |
9.47/9.63	c 9	|  Number of clauses:    1984205                                              |
10.35/10.50	c 10	|  Parsing time:         0.74         s                                       |
10.35/10.54	c 10	OK
10.35/10.54	c 10	OBJECTIVE BOUND: 0 <= _COST <= 
10.35/10.54	c 10	SEARCHING: _COST <= 611
10.35/10.54	c 10	============================[ Search Statistics ]==============================
10.35/10.54	c 10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.35/10.54	c 10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.35/10.54	c 10	===============================================================================
10.35/10.54	c 10	|         0 |   28752  1984205  5950321 |   661401        0    nan |  0.000 % |
10.66/10.89	c 10	|       101 |   28752  1984205  5950321 |   727541      101     27 |  0.001 % |
10.85/11.09	c 11	|       251 |   28752  1984205  5950321 |   800296      251     23 |  0.001 % |
11.04/11.24	c 11	===============================================================================
11.04/11.24	c 11	restarts              : 3
11.04/11.24	c 11	conflicts             : 411           (282 /sec)
11.04/11.24	c 11	decisions             : 2401          (0.37 % random) (1645 /sec)
11.04/11.24	c 11	propagations          : 337400         (231131 /sec)
11.04/11.24	c 11	conflict literals     : 7667           (16.92 % deleted)
11.04/11.24	c 11	Memory used           : 84.85 MB
11.04/11.24	c 11	CPU time              : 1.45978 s
11.04/11.24	c 11	
11.04/11.24	c 11	SATISFIABLE
11.04/11.25	c 11	OK
11.04/11.25	c 11	FOUND: _COST <= 611
11.04/11.25	s SATISFIABLE
11.04/11.25	c 11	DECODING HOME/temp.out WITH HOME/temp.map
11.04/11.25	c 11	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
11.09/11.33	c 11	Decoding HOME/temp.out
11.09/11.49	c 11	OBJECTIVE _COST 611
11.09/11.49	o 611
11.09/11.49	v 27 21 43 21 32 41 21 43 35 32 35 14 35 43 26 43 10 41 34 43 43 42 18 38 21 21 43 11 16 22 20 20 5 12 10 3 18 23 3 26 8 35 43 30 35 12 24 21 8 8 28 24 21 11 37 43 20 26 10 13 34 26 12 26 26 9 26 24 35 17 26 8 16 35 3 43 43 32 43 37 1 38 8 43 6 35 28 35 32 43 13 17 35 2 4 26 17 35 31 35
11.09/11.50	c 11	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
11.09/11.51	c 11	OK
11.09/11.51	c 11	OBJECTIVE BOUND: 0 <= _COST <= 611
11.09/11.51	c 11	SEARCHING: _COST <= 305
11.09/11.52	c 11	============================[ Search Statistics ]==============================
11.09/11.53	c 11	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.09/11.53	c 11	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.09/11.53	c 11	===============================================================================
11.09/11.53	c 11	|       411 |   28752  1984205  5950321 |   661401      411     19 |  0.001 % |
11.62/11.87	c 11	|       511 |   28751  1984205  5950321 |   727541      511     22 | 23.383 % |
11.94/12.11	c 12	|       662 |   28751  1984205  5950321 |   800296      662     23 | 23.383 % |
12.63/12.87	c 12	|       887 |   28751  1984205  5950321 |   880325      887     21 | 23.383 % |
13.32/13.56	c 13	|      1225 |   28751  1984205  5950321 |   968358     1225     24 | 23.383 % |
13.72/13.92	c 13	|      1731 |   28751  1984205  5950321 |  1065193     1731     24 | 23.383 % |
15.13/15.33	c 15	|      2490 |   28751  1984205  5950321 |  1171713     2490     31 | 23.383 % |
15.32/15.53	c 15	===============================================================================
15.32/15.53	c 15	restarts              : 10
15.32/15.53	c 15	conflicts             : 2619          (478 /sec)
15.32/15.53	c 15	decisions             : 15893         (0.47 % random) (2899 /sec)
15.32/15.53	c 15	propagations          : 2573852        (469495 /sec)
15.32/15.53	c 15	conflict literals     : 79639          (20.75 % deleted)
15.32/15.53	c 15	Memory used           : 85.49 MB
15.32/15.53	c 15	CPU time              : 5.48217 s
15.32/15.53	c 15	
15.32/15.53	c 15	SATISFIABLE
15.32/15.54	c 15	OK
15.32/15.54	c 15	FOUND: _COST <= 305
15.32/15.54	c 15	DECODING HOME/temp.out WITH HOME/temp.map
15.32/15.54	c 15	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
15.36/15.62	c 15	Decoding HOME/temp.out
15.36/15.76	c 15	OBJECTIVE _COST 305
15.36/15.76	o 305
15.36/15.77	v 38 12 43 16 32 41 20 21 8 32 14 35 35 43 27 43 10 34 2 43 36 43 1 11 21 21 14 32 20 19 20 13 6 12 10 43 1 34 0 9 7 35 43 30 35 35 28 20 5 35 3 24 2 37 11 21 35 33 26 9 33 17 12 22 35 32 12 24 35 13 9 26 33 1 5 43 43 20 32 38 0 42 43 34 31 27 7 35 32 43 13 19 35 13 35 8 35 17 35 35
15.36/15.77	c 15	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
15.36/15.81	c 15	OK
15.36/15.81	c 15	OBJECTIVE BOUND: 0 <= _COST <= 305
15.36/15.81	c 15	SEARCHING: _COST <= 152
15.36/15.81	c 15	============================[ Search Statistics ]==============================
15.36/15.81	c 15	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.36/15.81	c 15	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.36/15.81	c 15	===============================================================================
15.36/15.81	c 15	|      2619 |   22029  1984205  5950321 |   661401     2619     30 | 23.383 % |
15.91/16.19	c 16	|      2719 |   22029  1984205  5950321 |   727541     2719     30 | 36.154 % |
16.20/16.42	c 16	|      2869 |   22029  1984205  5950321 |   800296     2869     29 | 36.154 % |
16.59/16.84	c 16	|      3096 |   22029  1984205  5950321 |   880325     3096     29 | 36.154 % |
16.89/17.14	c 17	|      3434 |   22029  1984205  5950321 |   968358     3434     29 | 36.154 % |
17.88/18.17	c 18	|      3941 |   22029  1984205  5950321 |  1065193     3941     29 | 36.154 % |
18.18/18.43	c 18	===============================================================================
18.18/18.43	c 18	restarts              : 16
18.18/18.43	c 18	conflicts             : 4092          (506 /sec)
18.18/18.43	c 18	decisions             : 19301         (0.52 % random) (2387 /sec)
18.18/18.43	c 18	propagations          : 4136022        (511582 /sec)
18.18/18.43	c 18	conflict literals     : 117858         (23.26 % deleted)
18.18/18.43	c 18	Memory used           : 85.88 MB
18.18/18.43	c 18	CPU time              : 8.08477 s
18.18/18.43	c 18	
18.18/18.43	c 18	SATISFIABLE
18.18/18.44	c 18	OK
18.18/18.44	c 18	FOUND: _COST <= 152
18.18/18.44	c 18	DECODING HOME/temp.out WITH HOME/temp.map
18.18/18.44	c 18	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
18.22/18.52	c 18	Decoding HOME/temp.out
18.37/18.68	c 18	OBJECTIVE _COST 152
18.37/18.68	o 152
18.37/18.68	v 27 27 43 16 32 0 32 43 43 32 0 35 3 43 26 42 9 2 5 43 0 41 36 5 27 21 14 32 32 25 28 25 43 12 10 43 41 41 35 11 7 35 43 8 35 35 9 18 30 33 17 21 35 35 8 21 17 22 26 15 17 17 11 17 12 16 13 11 5 26 9 26 22 2 4 43 43 32 33 1 0 43 33 43 6 2 30 35 15 32 16 14 33 7 30 35 8 26 4 35
18.37/18.68	c 18	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
18.37/18.70	c 18	OK
18.37/18.70	c 18	OBJECTIVE BOUND: 0 <= _COST <= 152
18.37/18.70	c 18	SEARCHING: _COST <= 76
18.37/18.70	c 18	============================[ Search Statistics ]==============================
18.37/18.70	c 18	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.37/18.70	c 18	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.37/18.70	c 18	===============================================================================
18.37/18.70	c 18	|      4092 |   18357  1984205  5950321 |   661401     4092     29 | 36.154 % |
18.66/18.93	c 18	|      4194 |   18357  1984205  5950321 |   727541     4194     28 | 44.157 % |
18.96/19.28	c 19	|      4345 |   18357  1984205  5950321 |   800296     4345     28 | 44.157 % |
19.36/19.60	c 19	|      4570 |   18357  1984205  5950321 |   880325     4570     28 | 44.157 % |
19.76/20.05	c 20	|      4909 |   18357  1984205  5950321 |   968358     4909     27 | 44.157 % |
20.66/20.91	c 20	|      5416 |   18357  1984205  5950321 |  1065193     5416     26 | 44.157 % |
22.36/22.66	c 22	|      6175 |   18357  1984205  5950321 |  1171713     6175     26 | 44.157 % |
25.36/25.68	c 25	|      7314 |   16056   502672  1542740 |  1288884     7104     25 | 44.157 % |
27.75/28.08	c 28	|      9022 |   16056   502672  1542740 |  1417773     8812     24 | 44.157 % |
31.25/31.51	c 31	|     11586 |   16056   502672  1542740 |  1559550    11376     23 | 44.157 % |
36.35/36.69	c 36	|     15430 |   16056   502672  1542740 |  1715505    15220     22 | 44.157 % |
44.85/45.11	c 45	|     21196 |   16056   502672  1542740 |  1887056    20986     24 | 44.157 % |
57.94/58.27	c 58	|     29845 |   16056   502672  1542740 |  2075761    29635     24 | 44.157 % |
80.33/80.63	c 80	|     42819 |   16056   502672  1542740 |  2283337    42609     25 | 44.157 % |
110.41/110.77	c 110	|     62280 |   16056   502672  1542740 |  2511671    62070     26 | 44.157 % |
164.00/164.30	c 164	|     91472 |   16056   502672  1542740 |  2762838    91262     25 | 44.157 % |
238.57/238.96	c 238	|    135261 |   16056   502672  1542740 |  3039122   135051     27 | 44.157 % |
398.40/398.86	c 398	|    200945 |   16056   502672  1542740 |  3343035   200735     27 | 44.157 % |
667.90/668.41	c 668	|    299471 |   16056   502672  1542740 |  3677338   299261     27 | 44.157 % |
1163.46/1165.49	c 1165	|    447261 |   16056   502672  1542740 |  4045072   447051     28 | 44.157 % |
2270.11/2284.69	c 2284	|    668944 |   16056   502672  1542740 |  4449579   668734     28 | 44.157 % |
3600.03/3629.61	c ERROR INTERRUPTED
3600.03/3629.66	c 3629	CPU 3599.01 (0.06 0.02 3598.95 1.04)
3600.03/3629.66	c 3629	END Wed Jul 16 03:23:19 2008

Verifier Data (download as text)

OK	147	1075
147 unsatisfied constraints, 1075 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-1125219-1216167769/watcher-1125219-1216167769 -o /tmp/evaluation-result-1125219-1216167769/solver-1125219-1216167769 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1125219-1216167769.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/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=12272 CPUtime=0
/proc/22695/stat : 22695 (sugar++) R 22693 22695 21940 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 73474316 12566528 364 996147200 4194304 4206940 548682068528 18446744073709551615 265691915359 0 0 4224 0 0 0 0 17 0 0 0
/proc/22695/statm: 3068 364 274 3 0 168 0

[startup+0.058286 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16212 CPUtime=0.05
/proc/22695/stat : 22695 (sugar++) R 22693 22695 21940 0 -1 4194304 975 0 0 0 4 1 0 0 18 0 1 0 73474316 16601088 943 996147200 4194304 4206940 548682068528 18446744073709551615 265673937633 0 0 4224 0 0 0 0 17 0 0 0
/proc/22695/statm: 4053 943 380 3 0 632 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16212

[startup+0.103299 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.06
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.30232 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.06
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701364 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.06
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50145 s]
/proc/loadavg: 1.92 1.98 1.99 3/111 22707
/proc/meminfo: memFree=1680824/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.98
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1297 7099 0 1 5 1 86 6 15 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 16740

[startup+3.10263 s]
/proc/loadavg: 1.92 1.98 1.99 3/111 22717
/proc/meminfo: memFree=1670520/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.98
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1297 7099 0 1 5 1 86 6 15 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
[pid=22708] ppid=22695 vsize=5356 CPUtime=0
/proc/22708/stat : 22708 (sh) S 22695 22695 21940 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73474423 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22708/statm: 1339 233 193 169 0 50 0
[pid=22709] ppid=22708 vsize=864188 CPUtime=2.01
/proc/22709/stat : 22709 (java) S 22708 22695 21940 0 -1 0 14774 0 1 0 194 7 0 0 20 0 9 0 73474424 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22709/statm: 216047 13997 2540 9 0 210622 0
[pid=22709/tid=22710] ppid=22708 vsize=864188 CPUtime=1.03
/proc/22709/task/22710/stat : 22710 (java) R 22708 22695 21940 0 -1 64 2938 0 1 0 101 2 0 0 25 0 9 0 73474425 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 101444352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22711] ppid=22708 vsize=864188 CPUtime=0.87
/proc/22709/task/22711/stat : 22711 (java) S 22708 22695 21940 0 -1 64 10796 0 0 0 83 4 0 0 17 0 9 0 73474426 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22712] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22712/stat : 22712 (java) S 22708 22695 21940 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73474426 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22713] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22713/stat : 22713 (java) S 22708 22695 21940 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 73474426 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22714] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22714/stat : 22714 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22715] ppid=22708 vsize=864188 CPUtime=0.08
/proc/22709/task/22715/stat : 22715 (java) S 22708 22695 21940 0 -1 64 343 0 0 0 8 0 0 0 16 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22716] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22716/stat : 22716 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22717] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22717/stat : 22717 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 886284

[startup+6.30099 s]
/proc/loadavg: 1.93 1.98 1.99 4/111 22717
/proc/meminfo: memFree=1594232/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.98
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1297 7099 0 1 5 1 86 6 15 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
[pid=22708] ppid=22695 vsize=5356 CPUtime=0
/proc/22708/stat : 22708 (sh) S 22695 22695 21940 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73474423 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22708/statm: 1339 233 193 169 0 50 0
[pid=22709] ppid=22708 vsize=868476 CPUtime=5.21
/proc/22709/stat : 22709 (java) S 22708 22695 21940 0 -1 0 28125 0 1 0 506 15 0 0 20 0 9 0 73474424 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22709/statm: 217119 27244 2565 9 0 211666 0
[pid=22709/tid=22710] ppid=22708 vsize=868476 CPUtime=2.77
/proc/22709/task/22710/stat : 22710 (java) R 22708 22695 21940 0 -1 64 3816 0 1 0 274 3 0 0 25 0 9 0 73474425 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4127000524 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22711] ppid=22708 vsize=868476 CPUtime=2.17
/proc/22709/task/22711/stat : 22711 (java) S 22708 22695 21940 0 -1 64 22117 0 0 0 207 10 0 0 16 0 9 0 73474426 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22712] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22712/stat : 22712 (java) S 22708 22695 21940 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73474426 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22713] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22713/stat : 22713 (java) S 22708 22695 21940 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 73474426 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22714] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22714/stat : 22714 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22715] ppid=22708 vsize=868476 CPUtime=0.24
/proc/22709/task/22715/stat : 22715 (java) S 22708 22695 21940 0 -1 64 1495 0 0 0 23 1 0 0 15 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22716] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22716/stat : 22716 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22717] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22717/stat : 22717 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 890572

[startup+12.7017 s]
/proc/loadavg: 2.01 2.00 2.00 3/102 22728
/proc/meminfo: memFree=1566208/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=9.75
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1584 39629 0 3 6 1 921 47 15 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=87540 CPUtime=2.78
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21389 0 0 0 265 13 0 0 25 0 1 0 73475279 89640960 21337 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 21885 21337 80 151 0 21731 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 104544

[startup+25.5012 s]
/proc/loadavg: 2.23 2.05 2.02 4/102 22748
/proc/meminfo: memFree=1566144/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88200 CPUtime=15.02
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21559 0 0 0 1488 14 0 0 25 0 1 0 73475279 90316800 21503 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22050 21503 80 151 0 21896 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 105204

[startup+51.101 s]
/proc/loadavg: 2.15 2.04 2.01 3/102 22748
/proc/meminfo: memFree=1567296/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88364 CPUtime=40.6
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21586 0 0 0 4046 14 0 0 25 0 1 0 73475279 90484736 21530 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22091 21530 80 151 0 21937 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 105368

[startup+102.308 s]
/proc/loadavg: 2.06 2.03 2.01 3/102 22748
/proc/meminfo: memFree=1567360/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88504 CPUtime=91.79
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21657 0 0 0 9165 14 0 0 25 0 1 0 73475279 90628096 21592 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22126 21592 80 151 0 21972 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 105508

[startup+162.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/102 22748
/proc/meminfo: memFree=1567040/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88624 CPUtime=151.76
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21690 0 0 0 15161 15 0 0 25 0 1 0 73475279 90750976 21625 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22156 21625 80 151 0 22002 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 105628

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/102 22748
/proc/meminfo: memFree=1566976/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88944 CPUtime=211.74
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21729 0 0 0 21159 15 0 0 25 0 1 0 73475279 91078656 21664 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22236 21664 80 151 0 22082 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 105948

[startup+282.301 s]

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

[pid=22718] ppid=22695 vsize=167564 CPUtime=2831.08
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 40762 0 0 0 283068 40 0 0 25 0 1 0 73475279 171585536 40681 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 41891 40681 80 151 0 41737 0
Current children cumulated CPU time (s) 2841.32
Current children cumulated vsize (KiB) 184568

[startup+2922.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/95 22831
/proc/meminfo: memFree=1270584/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=168884 CPUtime=2890.42
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 41119 0 0 0 289001 41 0 0 25 0 1 0 73475279 172937216 41038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 42221 41038 80 151 0 42067 0
Current children cumulated CPU time (s) 2900.66
Current children cumulated vsize (KiB) 185888

[startup+2982.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/95 22831
/proc/meminfo: memFree=1265976/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=170396 CPUtime=2949.74
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 41469 0 0 0 294933 41 0 0 25 0 1 0 73475279 174485504 41388 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 42599 41388 80 151 0 42445 0
Current children cumulated CPU time (s) 2959.98
Current children cumulated vsize (KiB) 187400

[startup+3042.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/95 22831
/proc/meminfo: memFree=1260856/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=171716 CPUtime=3009.07
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 41806 0 0 0 300865 42 0 0 25 0 1 0 73475279 175837184 41725 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 42929 41725 80 151 0 42775 0
Current children cumulated CPU time (s) 3019.31
Current children cumulated vsize (KiB) 188720

[startup+3102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/95 22831
/proc/meminfo: memFree=1257080/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=172920 CPUtime=3068.39
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 42142 0 0 0 306797 42 0 0 25 0 1 0 73475279 177070080 42061 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 43230 42061 80 151 0 43076 0
Current children cumulated CPU time (s) 3078.63
Current children cumulated vsize (KiB) 189924

[startup+3162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/95 22831
/proc/meminfo: memFree=1253112/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=174264 CPUtime=3127.73
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 42487 0 0 0 312730 43 0 0 25 0 1 0 73475279 178446336 42406 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 43566 42406 80 151 0 43412 0
Current children cumulated CPU time (s) 3137.97
Current children cumulated vsize (KiB) 191268

[startup+3222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/95 22831
/proc/meminfo: memFree=1249272/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=175584 CPUtime=3187.05
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 42823 0 0 0 318662 43 0 0 25 0 1 0 73475279 179798016 42742 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 43896 42742 80 151 0 43742 0
Current children cumulated CPU time (s) 3197.29
Current children cumulated vsize (KiB) 192588

[startup+3282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/95 22831
/proc/meminfo: memFree=1245240/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=176780 CPUtime=3246.38
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 43139 0 0 0 324594 44 0 0 25 0 1 0 73475279 181022720 43058 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 44195 43058 80 151 0 44041 0
Current children cumulated CPU time (s) 3256.62
Current children cumulated vsize (KiB) 193784

[startup+3342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/95 22831
/proc/meminfo: memFree=1241208/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=178336 CPUtime=3305.71
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 43500 0 0 0 330526 45 0 0 25 0 1 0 73475279 182616064 43419 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 44584 43419 80 151 0 44430 0
Current children cumulated CPU time (s) 3315.95
Current children cumulated vsize (KiB) 195340

[startup+3402.31 s]
/proc/loadavg: 2.13 2.06 2.01 3/95 22831
/proc/meminfo: memFree=1237048/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=179536 CPUtime=3365.04
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 43822 0 0 0 336459 45 0 0 25 0 1 0 73475279 183844864 43741 996147200 134512640 135134323 4294956192 18446744073709551615 134531941 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 44884 43741 80 151 0 44730 0
Current children cumulated CPU time (s) 3375.28
Current children cumulated vsize (KiB) 196540

[startup+3462.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/95 22833
/proc/meminfo: memFree=1232632/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=180724 CPUtime=3424.37
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 44142 0 0 0 342391 46 0 0 25 0 1 0 73475279 185061376 44061 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 45181 44061 80 151 0 45027 0
Current children cumulated CPU time (s) 3434.61
Current children cumulated vsize (KiB) 197728

[startup+3522.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/95 22833
/proc/meminfo: memFree=1227960/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=182920 CPUtime=3483.68
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 44672 0 0 0 348322 46 0 0 25 0 1 0 73475279 187310080 44591 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 45730 44591 80 151 0 45576 0
Current children cumulated CPU time (s) 3493.92
Current children cumulated vsize (KiB) 199924

[startup+3582.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/95 22833
/proc/meminfo: memFree=1223416/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=184964 CPUtime=3543.02
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 45149 0 0 0 354255 47 0 0 25 0 1 0 73475279 189403136 45068 996147200 134512640 135134323 4294956192 18446744073709551615 134532169 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 46241 45068 80 151 0 46087 0
Current children cumulated CPU time (s) 3553.26
Current children cumulated vsize (KiB) 201968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.6 s]
/proc/loadavg: 2.11 2.07 2.00 3/95 22833
/proc/meminfo: memFree=1219704/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=186548 CPUtime=3589.79
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 45526 0 0 0 358932 47 0 0 25 0 1 0 73475279 191025152 45445 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 46637 45445 80 151 0 46483 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 203552

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

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

Child status: 0
Real time (s): 3629.66
CPU time (s): 3600.12
CPU user time (s): 3599.02
CPU system time (s): 1.09083
CPU usage (%): 99.186
Max. virtual memory (cumulated for all children) (KiB): 890572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.09083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94837
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5880
involuntary context switches= 66467

runsolver used 4.77427 second user time and 14.1109 second system time

The end

Launcher Data (download as text)

Begin job on node76 at 2008-07-16 02:22:49
IDJOB=1125219
IDBENCH=63092
IDSOLVER=367
FILE ID=node76/1125219-1216167769
PBS_JOBID= 7905745
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/celar/scens/normalized-scenw-06_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1125219-1216167769/watcher-1125219-1216167769 -o /tmp/evaluation-result-1125219-1216167769/solver-1125219-1216167769 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1125219-1216167769.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9e24d4c880189979ab688d6c808ac54d
RANDOM SEED=833345388

node76.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.234
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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1699824 kB
Buffers:         73264 kB
Cached:         164124 kB
SwapCached:          0 kB
Active:         196120 kB
Inactive:        85560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2340 kB
Writeback:           0 kB
Mapped:          65744 kB
Slab:            57372 kB
Committed_AS:   358576 kB
PageTables:       3544 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= 66516 MiB
End job on node76 at 2008-07-16 03:23:21