Trace number 1126579

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.14 3622.68

General information on the benchmark

Namemaxcsp/spot5/
normalized-spot5-404_ext.xml
MD5SUMd4e23fed7b10524fe79d710d5f8a00a4
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints65
Best CPU time to get the best result obtained on this benchmark3.62645
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints710
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension710
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.03/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.03/0.08	c 0	BEGIN Wed Jul 16 07:07:30 2008
0.03/0.08	c 0	PID 31911
0.03/0.08	c 0	HOST node6.alineos.net
0.03/0.08	c 0	CONVERTING HOME/instance-1126579-1216184849.xml TO HOME/temp.csp
0.03/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1126579-1216184849.xml' 'HOME/temp.csp'
0.06/0.57	c 0	3 domains, 101 variables, 0 predicates, 10 relations, 710 constraints
0.06/0.61	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.61	c 0	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.54/0.70	c 0	Parsing HOME/temp.csp
0.54/0.83	c 0	parsed 824 expressions
0.54/0.84	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.54/0.85	c 0	MAX CSP: 710 constraints
0.54/0.85	c 0	Converting to clausal form CSP
0.54/0.89	c 0	converted 154 (10%) expressions
0.54/0.91	c 0	converted 308 (20%) expressions
0.54/0.92	c 0	converted 462 (30%) expressions
0.54/0.93	c 0	converted 615 (40%) expressions
0.54/0.94	c 0	converted 769 (50%) expressions
0.54/0.96	c 0	converted 923 (60%) expressions
0.54/0.96	c 0	converted 1076 (70%) expressions
0.90/1.04	c 0	converted 1230 (80%) expressions
0.90/1.05	c 0	converted 1384 (90%) expressions
1.00/1.18	c 1	converted 1537 (100%) expressions
1.00/1.18	c 1	CSP : 1521 integers, 0 booleans, 2129 clauses, largest domain size 1066
1.00/1.18	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.00/1.18	c 1	Propagation in CSP
1.10/1.24	c 1	705 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.10/1.24	c 1	CSP : 1521 integers, 0 booleans, 2129 clauses, largest domain size 711
1.10/1.24	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.24	c 1	Simplifing CSP by introducing new Boolean variables
1.10/1.24	c 1	CSP : 1521 integers, 0 booleans, 2129 clauses, largest domain size 711
1.10/1.24	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.28	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.10/1.29	c 1	153 (10%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.10/1.29	c 1	305 (20%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.10/1.29	c 1	457 (30%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.10/1.29	c 1	609 (40%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.19/1.30	c 1	761 (50%) CSP integer variables are encoded (58 clauses, 622 bytes)
1.19/1.31	c 1	913 (60%) CSP integer variables are encoded (1299 clauses, 16494 bytes)
1.19/1.31	c 1	1065 (70%) CSP integer variables are encoded (2252 clauses, 28883 bytes)
1.19/1.32	c 1	1217 (80%) CSP integer variables are encoded (9355 clauses, 122265 bytes)
1.19/1.32	c 1	1369 (90%) CSP integer variables are encoded (10393 clauses, 137835 bytes)
1.19/1.33	c 1	1521 (100%) CSP integer variables are encoded (11820 clauses, 159240 bytes)
1.19/1.36	c 1	213 (10%) CSP clauses are encoded (12128 clauses, 164087 bytes)
1.19/1.38	c 1	426 (20%) CSP clauses are encoded (12395 clauses, 168250 bytes)
1.19/1.39	c 1	639 (30%) CSP clauses are encoded (12743 clauses, 174492 bytes)
1.30/1.42	c 1	852 (40%) CSP clauses are encoded (16069 clauses, 231733 bytes)
1.30/1.48	c 1	1065 (50%) CSP clauses are encoded (47058 clauses, 793798 bytes)
1.50/1.63	c 1	1278 (60%) CSP clauses are encoded (77481 clauses, 1314562 bytes)
2.29/2.46	c 2	1491 (70%) CSP clauses are encoded (535338 clauses, 9848459 bytes)
2.29/2.49	c 2	1704 (80%) CSP clauses are encoded (546075 clauses, 10068975 bytes)
2.40/2.54	c 2	1917 (90%) CSP clauses are encoded (571820 clauses, 10610551 bytes)
2.60/2.72	c 2	2129 (100%) CSP clauses are encoded (666506 clauses, 12625483 bytes)
2.60/2.72	c 2	2129 CSP clauses encoded
2.60/2.72	c 2	Writing map file : HOME/temp.map
2.60/2.74	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.60/2.74	c 2	SAT : 13340 SAT variables, 666506 SAT clauses, 12625483 bytes
2.60/2.74	c 2	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.60/2.76	c 2	OBJECTIVE minimize _COST
2.60/2.76	c 2	SOLVING HOME/temp.cnf
2.60/2.76	c 2	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.60/2.79	c 2	This is MiniSat 2.0 beta incremental
2.60/2.79	c 2	WARNING: for repeatability, setting FPU to use double precision
2.60/2.79	c 2	============================[ Problem Statistics ]=============================
2.60/2.79	c 2	|                                                                             |
2.60/2.79	c 2	|  Number of variables:  13340                                                |
2.60/2.79	c 2	|  Number of clauses:    666506                                               |
2.66/3.12	c 3	|  Parsing time:         0.27         s                                       |
2.66/3.13	c 3	OK
2.66/3.13	c 3	OBJECTIVE BOUND: 0 <= _COST <= 
2.66/3.13	c 3	SEARCHING: _COST <= 355
2.66/3.13	c 3	============================[ Search Statistics ]==============================
2.66/3.13	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/3.13	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.66/3.13	c 3	===============================================================================
2.66/3.13	c 3	|         0 |   13340   666506  1963867 |   222168        0    nan |  0.000 % |
3.16/3.33	c 3	===============================================================================
3.16/3.33	c 3	restarts              : 1
3.16/3.33	c 3	conflicts             : 10            (21 /sec)
3.16/3.33	c 3	decisions             : 292           (0.34 % random) (603 /sec)
3.16/3.33	c 3	propagations          : 89391          (184720 /sec)
3.16/3.33	c 3	conflict literals     : 70             (30.69 % deleted)
3.16/3.33	c 3	Memory used           : 28.88 MB
3.16/3.33	c 3	CPU time              : 0.483926 s
3.16/3.33	c 3	
3.16/3.33	c 3	SATISFIABLE
3.16/3.34	c 3	OK
3.16/3.34	c 3	FOUND: _COST <= 355
3.16/3.34	s SATISFIABLE
3.16/3.34	c 3	DECODING HOME/temp.out WITH HOME/temp.map
3.16/3.34	c 3	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.19/3.43	c 3	Decoding HOME/temp.out
3.19/3.55	c 3	OBJECTIVE _COST 355
3.19/3.55	o 355
3.19/3.56	v 1 3 2 1 1 1 1 1 2 3 3 1 1 1 0 0 1 1 0 2 1 1 1 1 1 1 0 0 0 3 1 1 1 2 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 2 1 1 1 1 0 1 3 3 1 3 1 1 1 1 1 1 1 3 1 0 1 1 1 1 1 1 0 1 0 1 1 2 0 1 1 3 1 2 1 1 1 0 1 3 1 1 1 2 3 2 -1
3.19/3.56	c 3	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.19/3.61	c 3	OK
3.19/3.61	c 3	OBJECTIVE BOUND: 0 <= _COST <= 355
3.19/3.61	c 3	SEARCHING: _COST <= 177
3.19/3.61	c 3	============================[ Search Statistics ]==============================
3.19/3.62	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.62	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.19/3.62	c 3	===============================================================================
3.19/3.62	c 3	|        10 |   13340   666506  1963867 |   222168       10      7 |  0.000 % |
3.50/3.74	c 3	|       110 |   10023   666506  1963867 |   244385      109     25 | 26.725 % |
3.50/3.76	c 3	===============================================================================
3.50/3.76	c 3	restarts              : 3
3.50/3.76	c 3	conflicts             : 116           (182 /sec)
3.50/3.76	c 3	decisions             : 1029          (0.97 % random) (1616 /sec)
3.50/3.76	c 3	propagations          : 192180         (301741 /sec)
3.50/3.76	c 3	conflict literals     : 2814           (18.72 % deleted)
3.50/3.76	c 3	Memory used           : 29.52 MB
3.50/3.76	c 3	CPU time              : 0.636903 s
3.50/3.76	c 3	
3.50/3.76	c 3	SATISFIABLE
3.50/3.76	c 3	OK
3.50/3.76	c 3	FOUND: _COST <= 177
3.50/3.76	c 3	DECODING HOME/temp.out WITH HOME/temp.map
3.50/3.76	c 3	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.57/3.85	c 3	Decoding HOME/temp.out
3.57/4.08	c 4	OBJECTIVE _COST 177
3.57/4.08	o 177
3.57/4.09	v 2 2 3 1 0 1 1 0 3 1 3 1 0 0 0 0 1 1 2 3 1 1 1 0 1 1 0 1 1 2 0 3 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 3 1 1 0 1 1 1 2 3 1 3 1 1 1 1 1 1 1 3 0 1 0 1 1 0 0 1 0 1 1 1 0 3 1 2 1 3 1 3 1 1 3 1 1 2 0 0 0 1 3 1 -1
3.57/4.12	c 4	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.57/4.14	c 4	OK
3.57/4.14	c 4	OBJECTIVE BOUND: 0 <= _COST <= 177
3.57/4.14	c 4	SEARCHING: _COST <= 88
3.57/4.14	c 4	============================[ Search Statistics ]==============================
3.57/4.15	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.57/4.15	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.57/4.15	c 4	===============================================================================
3.57/4.15	c 4	|       116 |    9775   666506  1963867 |   222168      115     24 | 26.725 % |
3.98/4.20	c 4	|       216 |    9775   666506  1963867 |   244385      215     18 | 41.417 % |
3.98/4.28	c 4	|       367 |    9775   666506  1963867 |   268824      366     17 | 41.417 % |
4.08/4.39	c 4	|       592 |    9775   666506  1963867 |   295706      591     16 | 41.417 % |
4.27/4.50	c 4	|       929 |    9775   666506  1963867 |   325277      928     15 | 41.417 % |
4.47/4.77	c 4	|      1436 |    9775   666506  1963867 |   357804     1435     16 | 41.417 % |
4.77/5.09	c 5	|      2195 |    9775   666506  1963867 |   393585     2194     19 | 41.417 % |
5.27/5.54	c 5	|      3334 |    9775   666506  1963867 |   432943     3333     18 | 41.417 % |
6.26/6.54	c 6	|      5042 |    7815   276215   809046 |   476238     5031     19 | 41.417 % |
7.15/7.42	c 7	|      7604 |    7815   276215   809046 |   523862     7593     19 | 41.417 % |
8.54/8.80	c 8	|     11448 |    7815   276215   809046 |   576248    11437     23 | 41.417 % |
11.00/11.38	c 11	|     17214 |    7815   276215   809046 |   633873    17203     26 | 41.417 % |
13.58/13.97	c 13	|     25866 |    7815   276215   809046 |   697260    25855     31 | 41.417 % |
21.80/22.23	c 22	|     38840 |    7815   276215   809046 |   766986    38829     32 | 41.417 % |
21.90/22.34	c 22	===============================================================================
21.90/22.34	c 22	restarts              : 17
21.90/22.34	c 22	conflicts             : 39057         (2092 /sec)
21.90/22.34	c 22	decisions             : 48585         (0.55 % random) (2603 /sec)
21.90/22.34	c 22	propagations          : 22044709       (1180935 /sec)
21.90/22.34	c 22	conflict literals     : 1238846        (18.71 % deleted)
21.90/22.34	c 22	Memory used           : 29.91 MB
21.90/22.34	c 22	CPU time              : 18.6672 s
21.90/22.34	c 22	
21.90/22.34	c 22	SATISFIABLE
21.90/22.34	c 22	OK
21.90/22.34	c 22	FOUND: _COST <= 88
21.90/22.34	c 22	DECODING HOME/temp.out WITH HOME/temp.map
21.90/22.34	c 22	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
21.95/22.42	c 22	Decoding HOME/temp.out
21.95/22.66	c 22	OBJECTIVE _COST 88
21.95/22.66	o 88
21.95/22.66	v 1 1 2 1 0 1 1 0 3 1 1 1 0 1 1 1 1 1 1 3 1 0 0 1 1 0 1 1 1 1 1 2 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 3 0 1 1 1 0 1 3 3 1 3 1 1 0 1 1 0 1 3 1 1 0 0 1 0 1 0 1 0 0 1 1 0 2 3 1 1 0 3 1 1 1 1 0 3 1 0 1 3 3 3 -1
21.95/22.67	c 22	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
21.95/22.79	c 22	OK
21.95/22.79	c 22	OBJECTIVE BOUND: 0 <= _COST <= 88
21.95/22.79	c 22	SEARCHING: _COST <= 44
21.95/22.79	c 22	============================[ Search Statistics ]==============================
21.95/22.79	c 22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.95/22.79	c 22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.95/22.79	c 22	===============================================================================
21.95/22.79	c 22	|     39057 |    6557   157376   456214 |    52458    39025     32 | 41.417 % |
22.35/22.88	c 22	|     39158 |    6557   157376   456214 |    57704    39126     32 | 50.848 % |
22.45/22.96	c 22	|     39308 |    6557   157376   456214 |    63474    39276     32 | 50.848 % |
22.65/23.11	c 23	|     39533 |    6557   157376   456214 |    69822    39501     32 | 50.848 % |
22.74/23.30	c 23	|     39871 |    6557   157376   456214 |    76804    39839     31 | 50.848 % |
23.04/23.57	c 23	|     40377 |    6557   157376   456214 |    84485    40345     31 | 50.848 % |
23.44/23.97	c 23	|     41136 |    6557   157376   456214 |    92933    41104     31 | 50.848 % |
24.03/24.56	c 24	|     42275 |    6557   157376   456214 |   102227    42243     31 | 50.848 % |
25.02/25.52	c 25	|     43984 |    6557   157376   456214 |   112449    43952     30 | 50.848 % |
26.51/27.05	c 26	|     46547 |    6557   157376   456214 |   123694    46515     30 | 50.848 % |
28.78/29.34	c 29	|     50392 |    6557   157376   456214 |   136064    50360     29 | 50.848 % |
32.64/33.28	c 33	|     56158 |    6557   157376   456214 |   149670    56126     29 | 50.848 % |
38.59/39.23	c 39	|     64807 |    6519   154776   448540 |   164637    64769     28 | 51.132 % |
49.89/50.64	c 50	|     77781 |    6519   154776   448540 |   181101    77743     28 | 51.132 % |
68.11/69.02	c 68	|     97243 |    6519   154776   448540 |   199211    97205     26 | 51.132 % |
101.79/103.02	c 102	|    126435 |    6519   154776   448540 |   219132   126397     25 | 51.132 % |
166.78/168.64	c 168	|    170225 |    6519   154776   448540 |   241046   170187     25 | 51.132 % |
311.60/314.83	c 314	|    235909 |    6519   154776   448540 |   265150   235871     25 | 51.132 % |
477.44/482.28	c 482	|    334435 |    6519   154776   448540 |   291665    77823     23 | 51.132 % |
734.61/741.80	c 741	|    482224 |    6519   154776   448540 |   320832   225612     23 | 51.132 % |
1154.04/1165.21	c 1165	|    703907 |    6519   154776   448540 |   352915   133381     28 | 51.132 % |
1814.20/1830.84	c 1830	|   1036435 |    6519   154776   448540 |   388207   121064     22 | 51.132 % |
2817.97/2837.21	c 2837	|   1535223 |    6519   154776   448540 |   427027   243147     22 | 51.132 % |
3600.09/3622.61	c ERROR INTERRUPTED
3600.09/3622.62	c 3622	CPU 3598.68 (0.06 0.02 3598.62 1.41)
3600.09/3622.62	c 3622	END Wed Jul 16 08:07:52 2008

Verifier Data (download as text)

OK	81	629
81 unsatisfied constraints, 629 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-1126579-1216184849/watcher-1126579-1216184849 -o /tmp/evaluation-result-1126579-1216184849/solver-1126579-1216184849 -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-1126579-1216184849.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 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=12268 CPUtime=0
/proc/31911/stat : 31911 (sugar++) R 31909 31911 31650 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 75188165 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 268583008869 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/31911/statm: 3067 316 241 3 0 167 0

[startup+0.0510119 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=13468 CPUtime=0.03
/proc/31911/stat : 31911 (sugar++) R 31909 31911 31650 0 -1 4194304 767 0 0 0 3 0 0 0 18 0 1 0 75188165 13791232 735 996147200 4194304 4206940 548682068528 18446744073709551615 268591741950 0 0 4224 0 0 0 0 17 1 0 0
/proc/31911/statm: 3367 735 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468

[startup+0.10102 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.06
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.302012 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.06
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701066 s]
/proc/loadavg: 1.92 1.98 2.04 4/74 31911
/proc/meminfo: memFree=1554212/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.54
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1279 4536 0 1 5 1 45 3 16 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 16740

[startup+1.50116 s]
/proc/loadavg: 1.92 1.98 2.04 4/85 31933
/proc/meminfo: memFree=1542732/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16740 CPUtime=0.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1297 4536 0 1 6 1 45 3 15 0 1 0 75188165 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4185 1104 409 3 0 764 0
[pid=31924] ppid=31911 vsize=5356 CPUtime=0
/proc/31924/stat : 31924 (sh) S 31911 31911 31650 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 75188226 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31924/statm: 1339 233 193 169 0 50 0
[pid=31925] ppid=31924 vsize=868344 CPUtime=0.85
/proc/31925/stat : 31925 (java) S 31924 31911 31650 0 -1 0 6642 0 1 0 80 5 0 0 18 0 9 0 75188227 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31925/statm: 217086 5830 2563 9 0 211633 0
[pid=31925/tid=31926] ppid=31924 vsize=868344 CPUtime=0.49
/proc/31925/task/31926/stat : 31926 (java) R 31924 31911 31650 0 -1 64 2745 0 1 0 47 2 0 0 23 0 9 0 75188228 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4126526077 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31927] ppid=31924 vsize=868344 CPUtime=0.07
/proc/31925/task/31927/stat : 31927 (java) S 31924 31911 31650 0 -1 64 1698 0 0 0 7 0 0 0 16 0 9 0 75188229 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31928] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31928/stat : 31928 (java) S 31924 31911 31650 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 75188229 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31929] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31929/stat : 31929 (java) S 31924 31911 31650 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75188229 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31930] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31930/stat : 31930 (java) S 31924 31911 31650 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31931] ppid=31924 vsize=868344 CPUtime=0.26
/proc/31925/task/31931/stat : 31931 (java) S 31924 31911 31650 0 -1 64 1506 0 0 0 25 1 0 0 16 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31932] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31932/stat : 31932 (java) S 31924 31911 31650 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31925/tid=31933] ppid=31924 vsize=868344 CPUtime=0
/proc/31925/task/31933/stat : 31933 (java) S 31924 31911 31650 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75188231 889184256 5830 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890440

[startup+3.10135 s]
/proc/loadavg: 1.92 1.98 2.04 4/85 31933
/proc/meminfo: memFree=1531340/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=2.66
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1469 11839 3 2 6 2 237 21 16 0 1 0 75188165 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1130 413 3 0 797 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 16872

[startup+6.30172 s]
/proc/loadavg: 2.01 2.00 2.05 3/76 31954
/proc/meminfo: memFree=1508564/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.23
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1633 19611 3 4 6 2 289 26 15 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30492 CPUtime=2.83
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7522 0 0 0 278 5 0 0 25 0 1 0 75188444 31223808 7467 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7623 7467 80 151 0 7469 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 47364

[startup+12.7015 s]
/proc/loadavg: 2.01 2.00 2.05 3/76 31954
/proc/meminfo: memFree=1508436/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.23
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1633 19611 3 4 6 2 289 26 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30624 CPUtime=9.16
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7545 0 0 0 911 5 0 0 25 0 1 0 75188444 31358976 7490 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7656 7490 80 151 0 7502 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 47496

[startup+25.503 s]
/proc/loadavg: 2.00 2.00 2.05 3/76 31964
/proc/meminfo: memFree=1508308/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 15 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30760 CPUtime=21.47
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7608 0 0 0 2142 5 0 0 25 0 1 0 75188444 31498240 7542 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7690 7542 80 151 0 7536 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 47632

[startup+51.1029 s]
/proc/loadavg: 2.00 2.00 2.04 3/76 31964
/proc/meminfo: memFree=1507348/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=30880 CPUtime=46.83
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 7642 0 0 0 4677 6 0 0 25 0 1 0 75188444 31621120 7576 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 7720 7576 80 151 0 7566 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 47752

[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.04 3/76 31964
/proc/meminfo: memFree=1500756/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=34968 CPUtime=97.55
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 8644 0 0 0 9748 7 0 0 25 0 1 0 75188444 35807232 8578 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 8742 8578 80 151 0 8588 0
Current children cumulated CPU time (s) 101.1
Current children cumulated vsize (KiB) 51840

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.03 3/76 31964
/proc/meminfo: memFree=1492436/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=40592 CPUtime=156.98
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 10024 0 0 0 15690 8 0 0 25 0 1 0 75188444 41566208 9958 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 10148 9958 80 151 0 9994 0
Current children cumulated CPU time (s) 160.53
Current children cumulated vsize (KiB) 57464

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.03 3/76 31964
/proc/meminfo: memFree=1485588/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=44544 CPUtime=216.43
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 11020 0 0 0 21633 10 0 0 25 0 1 0 75188444 45613056 10954 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 11136 10954 80 151 0 10982 0
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (KiB) 61416

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 31964
/proc/meminfo: memFree=1479828/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=48432 CPUtime=275.86
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 11892 0 0 0 27576 10 0 0 25 0 1 0 75188444 49594368 11826 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 12108 11826 80 151 0 11954 0
Current children cumulated CPU time (s) 279.41
Current children cumulated vsize (KiB) 65304

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 31964
/proc/meminfo: memFree=1474068/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=51552 CPUtime=335.3
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 12689 0 0 0 33518 12 0 0 25 0 1 0 75188444 52789248 12623 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0

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

[pid=31934] ppid=31911 vsize=80828 CPUtime=2839.44
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19669 0 0 0 283836 108 0 0 25 0 1 0 75188444 82767872 19603 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20207 19603 80 151 0 20053 0
Current children cumulated CPU time (s) 2842.99
Current children cumulated vsize (KiB) 97700

[startup+2922.3 s]
/proc/loadavg: 2.01 2.12 2.08 3/83 32711
/proc/meminfo: memFree=1840156/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=80828 CPUtime=2899.41
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19674 0 0 0 289833 108 0 0 25 0 1 0 75188444 82767872 19608 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20207 19608 80 151 0 20053 0
Current children cumulated CPU time (s) 2902.96
Current children cumulated vsize (KiB) 97700

[startup+2982.31 s]
/proc/loadavg: 2.07 2.11 2.07 3/83 32711
/proc/meminfo: memFree=1835996/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=81112 CPUtime=2959.17
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19710 0 0 0 295809 108 0 0 25 0 1 0 75188444 83058688 19644 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20278 19644 80 151 0 20124 0
Current children cumulated CPU time (s) 2962.72
Current children cumulated vsize (KiB) 97984

[startup+3042.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/83 32711
/proc/meminfo: memFree=1831964/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=81112 CPUtime=3018.92
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19719 0 0 0 301784 108 0 0 25 0 1 0 75188444 83058688 19653 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20278 19653 80 151 0 20124 0
Current children cumulated CPU time (s) 3022.47
Current children cumulated vsize (KiB) 97984

[startup+3102.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/83 32711
/proc/meminfo: memFree=1829852/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=81812 CPUtime=3078.69
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19833 0 0 0 307760 109 0 0 25 0 1 0 75188444 83775488 19767 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20453 19767 80 151 0 20299 0
Current children cumulated CPU time (s) 3082.24
Current children cumulated vsize (KiB) 98684

[startup+3162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/83 32711
/proc/meminfo: memFree=1827100/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=82492 CPUtime=3138.44
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 19969 0 0 0 313735 109 0 0 25 0 1 0 75188444 84471808 19903 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/31934/statm: 20623 19903 80 151 0 20469 0
Current children cumulated CPU time (s) 3141.99
Current children cumulated vsize (KiB) 99364

[startup+3222.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/84 32718
/proc/meminfo: memFree=1276180/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=83116 CPUtime=3198.16
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20098 0 0 0 319707 109 0 0 25 0 1 0 75188444 85110784 20032 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 20779 20032 80 151 0 20625 0
Current children cumulated CPU time (s) 3201.71
Current children cumulated vsize (KiB) 99988

[startup+3282.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/83 32718
/proc/meminfo: memFree=1167892/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=83644 CPUtime=3257.87
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20244 0 0 0 325678 109 0 0 25 0 1 0 75188444 85651456 20178 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 20911 20178 80 151 0 20757 0
Current children cumulated CPU time (s) 3261.42
Current children cumulated vsize (KiB) 100516

[startup+3342.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/83 32718
/proc/meminfo: memFree=1166868/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=84728 CPUtime=3317.58
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20510 0 0 0 331648 110 0 0 25 0 1 0 75188444 86761472 20444 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21182 20444 80 151 0 21028 0
Current children cumulated CPU time (s) 3321.13
Current children cumulated vsize (KiB) 101600

[startup+3402.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/83 32718
/proc/meminfo: memFree=1165268/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86048 CPUtime=3377.3
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20880 0 0 0 337619 111 0 0 25 0 1 0 75188444 88113152 20814 996147200 134512640 135134323 4294956192 18446744073709551615 134524710 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21512 20814 80 151 0 21358 0
Current children cumulated CPU time (s) 3380.85
Current children cumulated vsize (KiB) 102920

[startup+3462.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/83 32718
/proc/meminfo: memFree=1164948/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86260 CPUtime=3437.01
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20906 0 0 0 343590 111 0 0 25 0 1 0 75188444 88330240 20840 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21565 20840 80 151 0 21411 0
Current children cumulated CPU time (s) 3440.56
Current children cumulated vsize (KiB) 103132

[startup+3522.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/83 32718
/proc/meminfo: memFree=1164756/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86260 CPUtime=3496.72
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 20924 0 0 0 349561 111 0 0 25 0 1 0 75188444 88330240 20858 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21565 20858 80 151 0 21411 0
Current children cumulated CPU time (s) 3500.27
Current children cumulated vsize (KiB) 103132

[startup+3582.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/83 32718
/proc/meminfo: memFree=1164372/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=86672 CPUtime=3556.43
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 21001 0 0 0 355532 111 0 0 25 0 1 0 75188444 88752128 20935 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21668 20935 80 151 0 21514 0
Current children cumulated CPU time (s) 3559.98
Current children cumulated vsize (KiB) 103544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.6 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 32718
/proc/meminfo: memFree=1163924/2055924 swapFree=4181092/4192956
[pid=31911] ppid=31909 vsize=16872 CPUtime=3.55
/proc/31911/stat : 31911 (sugar++) S 31909 31911 31650 0 -1 4194304 1702 23492 3 5 6 2 319 28 16 0 1 0 75188165 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 268591738978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31911/statm: 4218 1133 414 3 0 797 0
[pid=31934] ppid=31911 vsize=87200 CPUtime=3596.54
/proc/31934/stat : 31934 (minisat-inc) R 31911 31911 31650 0 -1 4194304 21112 0 0 0 359543 111 0 0 25 0 1 0 75188444 89292800 21046 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/31934/statm: 21800 21046 80 151 0 21646 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 104072

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): 3622.68
CPU time (s): 3600.14
CPU user time (s): 3598.7
CPU system time (s): 1.44278
CPU usage (%): 99.3777
Max. virtual memory (cumulated for all children) (KiB): 890440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.69
system time used= 1.44278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46387
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5130
involuntary context switches= 68962

runsolver used 4.09538 second user time and 11.4543 second system time

The end

Launcher Data (download as text)

Begin job on node6 at 2008-07-16 07:07:29
IDJOB=1126579
IDBENCH=64262
IDSOLVER=367
FILE ID=node6/1126579-1216184849
PBS_JOBID= 7905913
Free space on /tmp= 66440 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/spot5/normalized-spot5-404_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-1126579-1216184849/watcher-1126579-1216184849 -o /tmp/evaluation-result-1126579-1216184849/solver-1126579-1216184849 -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-1126579-1216184849.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d4e23fed7b10524fe79d710d5f8a00a4
RANDOM SEED=865464196

node6.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.232
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.232
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:      2055924 kB
MemFree:       1554692 kB
Buffers:          7356 kB
Cached:         175908 kB
SwapCached:       5980 kB
Active:         422588 kB
Inactive:        24048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1554692 kB
SwapTotal:     4192956 kB
SwapFree:      4181092 kB
Dirty:             888 kB
Writeback:           0 kB
Mapped:         270120 kB
Slab:            39168 kB
Committed_AS:   622504 kB
PageTables:       2484 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= 66556 MiB
End job on node6 at 2008-07-16 08:07:54