Trace number 1119084

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+minisatMSAT (TO) 3600.09 3611.42

General information on the benchmark

Namemaxcsp/maxcut/maxcut-30/
normalized-maxcut-30-360-4_ext.xml
MD5SUM7c8e23fbe68b8adc11b0dcbaada97794
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints151
Best CPU time to get the best result obtained on this benchmark29.3745
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints360
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension360
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Tue Jul 15 05:09:00 2008
0.00/0.05	c 0	PID 27214
0.00/0.05	c 0	HOST node13.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1119084-1216091340.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1119084-1216091340.xml' 'HOME/temp.csp'
0.04/0.34	c 1	1 domains, 30 variables, 0 predicates, 1 relations, 360 constraints
0.04/0.38	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.38	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.35/0.46	c 1	Parsing HOME/temp.csp
0.35/0.56	c 1	parsed 392 expressions
0.35/0.56	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.35/0.58	c 1	MAX CSP: 360 constraints
0.35/0.58	c 1	Converting to clausal form CSP
0.35/0.61	c 1	converted 76 (10%) expressions
0.35/0.62	c 1	converted 151 (20%) expressions
0.35/0.63	c 1	converted 227 (30%) expressions
0.35/0.63	c 1	converted 302 (40%) expressions
0.35/0.64	c 1	converted 378 (50%) expressions
0.35/0.65	c 1	converted 453 (60%) expressions
0.35/0.65	c 1	converted 529 (70%) expressions
0.35/0.66	c 1	converted 604 (80%) expressions
0.35/0.67	c 1	converted 680 (90%) expressions
0.35/0.83	c 1	converted 755 (100%) expressions
0.35/0.83	c 1	CSP : 750 integers, 0 booleans, 1079 clauses, largest domain size 541
0.35/0.83	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.35/0.83	c 1	Propagation in CSP
0.35/0.87	c 1	356 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.35/0.87	c 1	CSP : 750 integers, 0 booleans, 1079 clauses, largest domain size 361
0.35/0.87	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.35/0.88	c 1	Simplifing CSP by introducing new Boolean variables
0.35/0.88	c 1	CSP : 750 integers, 0 booleans, 1079 clauses, largest domain size 361
0.35/0.88	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.35/0.91	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.35/0.92	c 1	75 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.35/0.92	c 1	150 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.35/0.92	c 1	225 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.35/0.92	c 1	300 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.35/0.92	c 1	375 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.35/0.94	c 1	450 (60%) CSP integer variables are encoded (2677 clauses, 33708 bytes)
0.35/0.94	c 1	525 (70%) CSP integer variables are encoded (3413 clauses, 43276 bytes)
0.35/0.94	c 1	600 (80%) CSP integer variables are encoded (4166 clauses, 53065 bytes)
0.35/0.94	c 1	675 (90%) CSP integer variables are encoded (4610 clauses, 58837 bytes)
0.35/0.94	c 1	750 (100%) CSP integer variables are encoded (5253 clauses, 67196 bytes)
0.35/0.96	c 1	108 (10%) CSP clauses are encoded (5469 clauses, 69814 bytes)
0.35/0.98	c 1	216 (20%) CSP clauses are encoded (5685 clauses, 72664 bytes)
0.35/0.99	c 1	324 (30%) CSP clauses are encoded (5901 clauses, 75688 bytes)
0.93/1.06	c 1	432 (40%) CSP clauses are encoded (17555 clauses, 261083 bytes)
1.04/1.16	c 2	540 (50%) CSP clauses are encoded (76647 clauses, 1322465 bytes)
1.04/1.17	c 2	648 (60%) CSP clauses are encoded (79253 clauses, 1367259 bytes)
1.13/1.29	c 2	756 (70%) CSP clauses are encoded (143649 clauses, 2549681 bytes)
1.23/1.30	c 2	864 (80%) CSP clauses are encoded (146619 clauses, 2600920 bytes)
1.23/1.32	c 2	972 (90%) CSP clauses are encoded (153513 clauses, 2724009 bytes)
1.23/1.36	c 2	1079 (100%) CSP clauses are encoded (178479 clauses, 3177717 bytes)
1.23/1.36	c 2	1079 CSP clauses encoded
1.23/1.36	c 2	Writing map file : HOME/temp.map
1.23/1.37	c 2	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.37	c 2	SAT : 6003 SAT variables, 178479 SAT clauses, 3177717 bytes
1.23/1.37	c 2	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.31/1.43	c 2	OBJECTIVE minimize _COST
1.31/1.43	c 2	OBJECTIVE BOUND: 0 <= _COST <= 
1.31/1.43	c 2	SEARCHING: _COST <= 180
1.31/1.43	c 2	SOLVING HOME/temp.cnf
1.31/1.43	c 2	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.31/1.44	c 2	This is MiniSat 2.0 beta
1.31/1.44	c 2	WARNING: for repeatability, setting FPU to use double precision
1.31/1.44	c 2	============================[ Problem Statistics ]=============================
1.31/1.44	c 2	|                                                                             |
1.31/1.44	c 2	|  Number of variables:  6003                                                 |
1.31/1.44	c 2	|  Number of clauses:    178480                                               |
1.32/1.53	c 2	|  Parsing time:         0.08         s                                       |
1.32/1.57	c 2	============================[ Search Statistics ]==============================
1.32/1.57	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.32/1.57	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.32/1.57	c 2	===============================================================================
1.32/1.57	c 2	|         0 |    4383   114500   332061 |    38166        0    nan |  0.000 % |
1.32/1.63	c 2	|       100 |    4383   114500   332061 |    41983      100     26 | 26.987 % |
1.32/1.68	c 2	|       250 |    4383   114500   332061 |    46181      250     27 | 26.987 % |
1.32/1.72	c 2	|       476 |    4383   114500   332061 |    50799      476     25 | 26.987 % |
1.32/1.83	c 2	|       814 |    4383   114500   332061 |    55879      814     27 | 26.987 % |
1.32/1.96	c 2	|      1320 |    4383   114500   332061 |    61467     1320     26 | 26.987 % |
1.97/2.17	c 3	|      2079 |    4383   114500   332061 |    67614     2079     27 | 26.987 % |
2.56/2.72	c 3	|      3219 |    4383   114500   332061 |    74376     3219     28 | 26.987 % |
3.16/3.38	c 4	===============================================================================
3.16/3.38	c 4	restarts              : 8
3.16/3.38	c 4	conflicts             : 4466           (2339 /sec)
3.16/3.38	c 4	decisions             : 5698           (0.51 % random) (2984 /sec)
3.16/3.38	c 4	propagations          : 1615458        (845918 /sec)
3.16/3.38	c 4	conflict literals     : 129449         (38.79 % deleted)
3.16/3.38	c 4	Memory used           : 9.11 MB
3.16/3.38	c 4	CPU time              : 1.90971 s
3.16/3.38	c 4	
3.16/3.38	c 4	SATISFIABLE
3.16/3.39	c 4	FOUND: _COST <= 180
3.16/3.39	s SATISFIABLE
3.16/3.39	c 4	DECODING HOME/temp.out WITH HOME/temp.map
3.16/3.39	c 4	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.25/3.47	c 4	Decoding HOME/temp.out
3.25/3.58	c 4	OBJECTIVE _COST 180
3.25/3.58	o 180
3.25/3.58	v 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0
3.25/3.61	c 4	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.25/3.66	c 4	OBJECTIVE BOUND: 0 <= _COST <= 180
3.25/3.66	c 4	SEARCHING: _COST <= 90
3.25/3.66	c 4	SOLVING HOME/temp.cnf
3.25/3.66	c 4	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.25/3.66	c 4	This is MiniSat 2.0 beta
3.25/3.66	c 4	WARNING: for repeatability, setting FPU to use double precision
3.25/3.66	c 4	============================[ Problem Statistics ]=============================
3.25/3.66	c 4	|                                                                             |
3.25/3.66	c 4	|  Number of variables:  6003                                                 |
3.25/3.66	c 4	|  Number of clauses:    178480                                               |
3.48/3.75	c 4	|  Parsing time:         0.08         s                                       |
3.48/3.80	c 4	============================[ Search Statistics ]==============================
3.48/3.80	c 4	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.48/3.80	c 4	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.48/3.80	c 4	===============================================================================
3.48/3.80	c 4	|         0 |    3483    75485   217626 |    25161        0    nan |  0.000 % |
3.48/3.85	c 4	|       100 |    3483    75485   217626 |    27677      100     20 | 41.979 % |
3.48/3.89	c 4	|       251 |    3483    75485   217626 |    30445      251     20 | 41.979 % |
3.48/3.95	c 4	|       476 |    3483    75485   217626 |    33490      476     21 | 41.979 % |
3.48/4.04	c 4	|       815 |    3483    75485   217626 |    36839      815     20 | 41.979 % |
3.48/4.20	c 5	|      1321 |    3483    75485   217626 |    40523     1321     20 | 41.979 % |
4.21/4.46	c 5	|      2080 |    3483    75485   217626 |    44575     2080     20 | 41.979 % |
4.60/4.82	c 5	|      3219 |    3483    75485   217626 |    49032     3219     20 | 41.979 % |
5.19/5.41	c 6	|      4928 |    3483    75485   217626 |    53936     4928     20 | 41.979 % |
5.89/6.18	c 7	|      7490 |    3483    75485   217626 |    59329     7490     19 | 41.979 % |
7.18/7.49	c 8	|     11334 |    3483    75485   217626 |    65262    11334     18 | 41.979 % |
10.35/10.62	c 11	|     17100 |    3483    75485   217626 |    71789    17100     18 | 41.979 % |
16.48/16.80	c 17	|     25751 |    3483    75485   217626 |    78968    25751     19 | 41.979 % |
27.77/28.29	c 29	|     38726 |    3483    75485   217626 |    86864    38726     19 | 41.979 % |
48.58/49.26	c 50	|     58188 |    3483    75485   217626 |    95551    58188     19 | 41.979 % |
89.38/90.41	c 91	|     87381 |    3483    75485   217626 |   105106    87381     19 | 41.979 % |
136.83/138.39	c 139	|    131170 |    3483    75485   217626 |   115617    37840     16 | 41.979 % |
212.91/215.19	c 216	|    196854 |    3483    75485   217626 |   127178   103524     17 | 41.979 % |
343.07/346.53	c 347	|    295382 |    3483    75485   217626 |   139896    87960     18 | 41.979 % |
554.67/558.60	c 559	|    443171 |    3483    75485   217626 |   153886   107800     18 | 41.979 % |
890.24/894.35	c 895	|    664854 |    3483    75485   217626 |   169275    47028     17 | 41.979 % |
1396.03/1400.38	c 1401	|    997379 |    3483    75485   217626 |   186202    66443     16 | 41.979 % |
2222.10/2226.80	c 2227	|   1496170 |    3250    67329   193935 |   204822    34034     17 | 45.861 % |
2232.71/2237.37	c 2238	===============================================================================
2232.71/2237.37	c 2238	restarts              : 23
2232.71/2237.37	c 2238	conflicts             : 1506915        (676 /sec)
2232.71/2237.37	c 2238	decisions             : 1572045        (0.95 % random) (705 /sec)
2232.71/2237.37	c 2238	propagations          : 824197408      (369731 /sec)
2232.71/2237.37	c 2238	conflict literals     : 25969527       (57.72 % deleted)
2232.71/2237.37	c 2238	Memory used           : 30.46 MB
2232.71/2237.37	c 2238	CPU time              : 2229.18 s
2232.71/2237.37	c 2238	
2232.71/2237.37	c 2238	UNSATISFIABLE
2232.71/2237.37	c 2238	NOT FOUND: _COST <= 90
2232.71/2237.37	c 2238	OBJECTIVE BOUND: 91 <= _COST <= 180
2232.71/2237.37	c 2238	SEARCHING: _COST <= 135
2232.71/2237.37	c 2238	SOLVING HOME/temp.cnf
2232.71/2237.37	c 2238	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2232.71/2237.38	c 2238	This is MiniSat 2.0 beta
2232.71/2237.38	c 2238	WARNING: for repeatability, setting FPU to use double precision
2232.71/2237.38	c 2238	============================[ Problem Statistics ]=============================
2232.71/2237.38	c 2238	|                                                                             |
2232.71/2237.38	c 2238	|  Number of variables:  6003                                                 |
2232.71/2237.38	c 2238	|  Number of clauses:    178480                                               |
2232.79/2237.48	c 2238	|  Parsing time:         0.08         s                                       |
2232.79/2237.52	c 2238	============================[ Search Statistics ]==============================
2232.79/2237.52	c 2238	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2232.79/2237.52	c 2238	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2232.79/2237.52	c 2238	===============================================================================
2232.79/2237.52	c 2238	|         0 |    3933    96005   277881 |    32001        0    nan |  0.000 % |
2232.79/2237.58	c 2238	|       100 |    3933    96005   277881 |    35201      100     22 | 34.483 % |
2232.80/2237.62	c 2238	|       251 |    3933    96005   277881 |    38722      251     23 | 34.483 % |
2232.80/2237.70	c 2238	|       477 |    3933    96005   277881 |    42594      477     24 | 34.483 % |
2232.80/2237.82	c 2238	|       816 |    3933    96005   277881 |    46853      816     24 | 34.483 % |
2232.80/2237.98	c 2238	|      1322 |    3933    96005   277881 |    51539     1322     24 | 34.483 % |
2232.80/2238.19	c 2239	|      2082 |    3933    96005   277881 |    56692     2082     25 | 34.483 % |
2233.90/2238.58	c 2239	|      3222 |    3933    96005   277881 |    62362     3222     25 | 34.483 % |
2234.49/2239.19	c 2240	|      4930 |    3933    96005   277881 |    68598     4930     25 | 34.483 % |
2235.58/2240.28	c 2241	|      7494 |    3933    96005   277881 |    75458     7494     25 | 34.483 % |
2237.56/2242.23	c 2243	|     11338 |    3933    96005   277881 |    83004    11338     26 | 34.483 % |
2240.93/2245.65	c 2246	|     17105 |    3933    96005   277881 |    91304    17105     26 | 34.483 % |
2247.47/2252.22	c 2253	|     25755 |    3933    96005   277881 |   100434    25755     26 | 34.483 % |
2259.85/2264.76	c 2265	|     38729 |    3933    96005   277881 |   110478    38729     26 | 34.483 % |
2280.95/2286.04	c 2286	|     58191 |    3933    96005   277881 |   121526    58191     26 | 34.483 % |
2324.74/2330.25	c 2331	|     87384 |    3933    96005   277881 |   133678    87384     26 | 34.483 % |
2408.83/2415.10	c 2415	|    131175 |    3933    96005   277881 |   147046   131175     26 | 34.483 % |
2500.57/2507.77	c 2508	|    196859 |    3933    96005   277881 |   161751    61776     26 | 34.483 % |
2667.58/2676.32	c 2677	|    295385 |    3933    96005   277881 |   177926   160302     25 | 34.483 % |
2915.06/2926.10	c 2926	|    443174 |    3933    96005   277881 |   195719   143508     26 | 34.483 % |
3321.90/3333.11	c 3333	|    664857 |    3933    96005   277881 |   215291   183329     25 | 34.483 % |
3600.09/3611.41	c ERROR unknown output  in HOME/temp.out
3600.09/3611.41	c 3612	CPU 2232.51 (0.04 0.01 2232.47 0.28)
3600.09/3611.41	c 3612	END Tue Jul 15 06:09:12 2008

Verifier Data (download as text)

OK	180	180
180 unsatisfied constraints, 180 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-1119084-1216091340/watcher-1119084-1216091340 -o /tmp/evaluation-result-1119084-1216091340/solver-1119084-1216091340 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1119084-1216091340.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 27214
/proc/meminfo: memFree=1723016/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=12268 CPUtime=0
/proc/27214/stat : 27214 (sugar) R 27212 27214 26180 0 -1 4194304 338 0 0 0 0 0 0 0 20 0 1 0 65836771 12562432 306 996147200 4194304 4206940 548682068592 18446744073709551615 269757092577 0 0 4224 0 0 0 0 17 1 0 0
/proc/27214/statm: 3067 306 231 3 0 167 0

[startup+0.096054 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 27214
/proc/meminfo: memFree=1723016/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13600 CPUtime=0.04
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 65836771 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.10105 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 27214
/proc/meminfo: memFree=1723016/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13600 CPUtime=0.04
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 65836771 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.301077 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 27214
/proc/meminfo: memFree=1723016/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13600 CPUtime=0.04
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 65836771 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.70113 s]
/proc/loadavg: 2.01 2.00 2.00 4/74 27214
/proc/meminfo: memFree=1723016/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13600 CPUtime=0.35
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 974 4351 0 1 3 1 28 3 15 0 1 0 65836771 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 13600

[startup+1.50225 s]
/proc/loadavg: 2.01 2.00 2.00 3/85 27236
/proc/meminfo: memFree=1708584/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=1.32
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1064 11080 0 2 3 1 117 11 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 13732

[startup+3.10245 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 27238
/proc/meminfo: memFree=1708968/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=1.32
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1064 11080 0 2 3 1 117 11 15 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27237] ppid=27214 vsize=5356 CPUtime=0
/proc/27237/stat : 27237 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65836915 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27237/statm: 1339 232 193 169 0 50 0
[pid=27238] ppid=27237 vsize=9324 CPUtime=1.64
/proc/27238/stat : 27238 (minisat) R 27237 27214 26180 0 -1 4194304 2201 0 0 0 163 1 0 0 25 0 1 0 65836915 9547776 2187 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/27238/statm: 2331 2187 75 150 0 2178 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 28412

[startup+6.30188 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1708648/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 15 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=9468 CPUtime=2.61
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 2239 0 0 0 260 1 0 0 25 0 1 0 65837138 9695232 2225 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 2367 2225 75 150 0 2214 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 28556

[startup+12.7027 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1708328/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=9660 CPUtime=8.94
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 2279 0 0 0 893 1 0 0 25 0 1 0 65837138 9891840 2265 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 2415 2265 75 150 0 2262 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 28748

[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1707048/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=11156 CPUtime=21.61
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 2663 0 0 0 2160 1 0 0 25 0 1 0 65837138 11423744 2649 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 2789 2649 75 150 0 2636 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 30244

[startup+51.1018 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1704232/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=14064 CPUtime=46.97
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 3371 0 0 0 4695 2 0 0 25 0 1 0 65837138 14401536 3357 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 3516 3357 75 150 0 3363 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 33152

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1698856/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=18400 CPUtime=97.69
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 4427 0 0 0 9765 4 0 0 25 0 1 0 65837138 18841600 4413 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 4600 4413 75 150 0 4447 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 37488

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1697384/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=19852 CPUtime=157.13
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 4762 0 0 0 15709 4 0 0 25 0 1 0 65837138 20328448 4748 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 4963 4748 75 150 0 4810 0
Current children cumulated CPU time (s) 160.61
Current children cumulated vsize (KiB) 38940

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1696872/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=20308 CPUtime=216.56
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 4883 0 0 0 21652 4 0 0 25 0 1 0 65837138 20795392 4869 996147200 134512640 135127466 4294956256 18446744073709551615 134531110 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 5077 4869 75 150 0 4924 0
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (KiB) 39396

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27250
/proc/meminfo: memFree=1695080/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=3.48
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1183 17444 0 3 3 1 328 16 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27249] ppid=27214 vsize=5356 CPUtime=0
/proc/27249/stat : 27249 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65837137 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27249/statm: 1339 232 193 169 0 50 0
[pid=27250] ppid=27249 vsize=21872 CPUtime=276
/proc/27250/stat : 27250 (minisat) R 27249 27214 26180 0 -1 4194304 5287 0 0 0 27596 4 0 0 25 0 1 0 65837138 22396928 5273 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/27250/statm: 5468 5273 75 150 0 5315 0
Current children cumulated CPU time (s) 279.48
Current children cumulated vsize (KiB) 40960


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

[startup+3102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/77 27348
/proc/meminfo: memFree=1680752/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=39116 CPUtime=858.4
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 9431 0 0 0 85827 13 0 0 25 0 1 0 66060510 40054784 9417 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 9779 9417 75 150 0 9626 0
Current children cumulated CPU time (s) 3091.2
Current children cumulated vsize (KiB) 58204

[startup+3162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/77 27354
/proc/meminfo: memFree=1676136/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=39288 CPUtime=918.36
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 9472 0 0 0 91823 13 0 0 25 0 1 0 66060510 40230912 9458 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 9822 9458 75 150 0 9669 0
Current children cumulated CPU time (s) 3151.16
Current children cumulated vsize (KiB) 58376

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1675496/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=39428 CPUtime=978.34
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 9516 0 0 0 97821 13 0 0 25 0 1 0 66060510 40374272 9494 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 9857 9494 75 150 0 9704 0
Current children cumulated CPU time (s) 3211.14
Current children cumulated vsize (KiB) 58516

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1675112/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=39428 CPUtime=1038.32
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 9519 0 0 0 103819 13 0 0 25 0 1 0 66060510 40374272 9497 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 9857 9497 75 150 0 9704 0
Current children cumulated CPU time (s) 3271.12
Current children cumulated vsize (KiB) 58516

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1674664/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=39968 CPUtime=1098.3
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 9612 0 0 0 109816 14 0 0 25 0 1 0 66060510 40927232 9590 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 9992 9590 75 150 0 9839 0
Current children cumulated CPU time (s) 3331.1
Current children cumulated vsize (KiB) 59056

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1671720/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=41732 CPUtime=1158.27
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 9945 0 0 0 115813 14 0 0 25 0 1 0 66060510 42733568 9915 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 10433 9915 75 150 0 10280 0
Current children cumulated CPU time (s) 3391.07
Current children cumulated vsize (KiB) 60820

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1670512/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=42696 CPUtime=1218.25
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 10187 0 0 0 121810 15 0 0 25 0 1 0 66060510 43720704 10157 996147200 134512640 135127466 4294956256 18446744073709551615 134530778 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 10674 10157 75 150 0 10521 0
Current children cumulated CPU time (s) 3451.05
Current children cumulated vsize (KiB) 61784

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1670256/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=42860 CPUtime=1278.22
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 10222 0 0 0 127807 15 0 0 25 0 1 0 66060510 43888640 10192 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 10715 10192 75 150 0 10562 0
Current children cumulated CPU time (s) 3511.02
Current children cumulated vsize (KiB) 61948

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1669936/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=42860 CPUtime=1338.2
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 10224 0 0 0 133805 15 0 0 25 0 1 0 66060510 43888640 10194 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 10715 10194 75 150 0 10562 0
Current children cumulated CPU time (s) 3571
Current children cumulated vsize (KiB) 61948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 27354
/proc/meminfo: memFree=1668912/2055920 swapFree=4192812/4192956
[pid=27214] ppid=27212 vsize=13732 CPUtime=2232.8
/proc/27214/stat : 27214 (sugar) S 27212 27214 26180 0 -1 4194304 1238 25147 0 3 4 1 223247 28 16 0 1 0 65836771 14061568 812 996147200 4194304 4206940 548682068592 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27214/statm: 3433 812 374 3 0 533 0
[pid=27255] ppid=27214 vsize=5356 CPUtime=0
/proc/27255/stat : 27255 (sh) S 27214 27214 26180 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66060509 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27255/statm: 1339 232 193 169 0 50 0
[pid=27256] ppid=27255 vsize=42860 CPUtime=1367.29
/proc/27256/stat : 27256 (minisat) R 27255 27214 26180 0 -1 4194304 10225 0 0 0 136714 15 0 0 25 0 1 0 66060510 43888640 10195 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27256/statm: 10715 10195 75 150 0 10562 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 61948

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27214 and gives
#  childrusage.ru_utime.tv_sec=2232
#  childrusage.ru_utime.tv_usec=515606
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=305953
# CPU time returned by wait4() is 2232.82
# while last known CPU time is 3600.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3611.42
CPU time (s): 3600.09
CPU user time (s): 3599.65
CPU system time (s): 0.44
CPU usage (%): 99.6863
Max. virtual memory (cumulated for all children) (KiB): 887424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2232.52
system time used= 0.305953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26729
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2217
involuntary context switches= 16975

runsolver used 4.43732 second user time and 11.9322 second system time

The end

Launcher Data (download as text)

Begin job on node13 at 2008-07-15 05:09:00
IDJOB=1119084
IDBENCH=62325
IDSOLVER=368
FILE ID=node13/1119084-1216091340
PBS_JOBID= 7905153
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/maxcut/maxcut-30/normalized-maxcut-30-360-4_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1119084-1216091340/watcher-1119084-1216091340 -o /tmp/evaluation-result-1119084-1216091340/solver-1119084-1216091340 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1119084-1216091340.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 7c8e23fbe68b8adc11b0dcbaada97794
RANDOM SEED=341418724

node13.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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1723496 kB
Buffers:         68972 kB
Cached:         157536 kB
SwapCached:          0 kB
Active:         184724 kB
Inactive:        79532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723496 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1292 kB
Writeback:           0 kB
Mapped:          48868 kB
Slab:            53240 kB
Committed_AS:   272480 kB
PageTables:       2024 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 node13 at 2008-07-15 06:09:12