Trace number 1119188

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.07 3602.92

General information on the benchmark

Namemaxcsp/maxcut/maxcut-30/
normalized-maxcut-30-400-2_ext.xml
MD5SUM44c8adcf84df2467395514318d52f31c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints179
Best CPU time to get the best result obtained on this benchmark163.366
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints400
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension400
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Tue Jul 15 05:26:09 2008
0.00/0.04	c 0	PID 17543
0.00/0.04	c 0	HOST node75.alineos.net
0.00/0.04	c 0	CONVERTING HOME/instance-1119188-1216092368.xml TO HOME/temp.csp
0.00/0.04	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1119188-1216092368.xml' 'HOME/temp.csp'
0.03/0.41	c 0	1 domains, 30 variables, 0 predicates, 1 relations, 400 constraints
0.03/0.44	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.44	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.31/0.72	c 0	Parsing HOME/temp.csp
0.31/0.81	c 0	parsed 432 expressions
0.31/0.81	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.31/0.82	c 0	MAX CSP: 400 constraints
0.31/0.82	c 0	Converting to clausal form CSP
0.31/0.86	c 0	converted 84 (10%) expressions
0.31/0.86	c 0	converted 167 (20%) expressions
0.31/0.87	c 0	converted 251 (30%) expressions
0.31/0.88	c 0	converted 334 (40%) expressions
0.31/0.89	c 0	converted 418 (50%) expressions
0.31/0.90	c 0	converted 501 (60%) expressions
0.31/0.90	c 0	converted 585 (70%) expressions
0.31/0.91	c 0	converted 668 (80%) expressions
0.31/0.91	c 0	converted 752 (90%) expressions
0.66/1.08	c 1	converted 835 (100%) expressions
0.66/1.08	c 1	CSP : 830 integers, 0 booleans, 1199 clauses, largest domain size 601
0.66/1.08	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.66/1.08	c 1	Propagation in CSP
0.76/1.12	c 1	397 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.76/1.12	c 1	CSP : 830 integers, 0 booleans, 1199 clauses, largest domain size 401
0.76/1.12	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.76/1.12	c 1	Simplifing CSP by introducing new Boolean variables
0.76/1.12	c 1	CSP : 830 integers, 0 booleans, 1199 clauses, largest domain size 401
0.76/1.12	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.76/1.15	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.76/1.16	c 1	83 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.76/1.16	c 1	166 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.76/1.16	c 1	249 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.76/1.16	c 1	332 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.76/1.16	c 1	415 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.76/1.18	c 1	498 (60%) CSP integer variables are encoded (2987 clauses, 37786 bytes)
0.76/1.18	c 1	581 (70%) CSP integer variables are encoded (3813 clauses, 48524 bytes)
0.76/1.18	c 1	664 (80%) CSP integer variables are encoded (4659 clauses, 59522 bytes)
0.76/1.18	c 1	747 (90%) CSP integer variables are encoded (5168 clauses, 66139 bytes)
0.76/1.18	c 1	830 (100%) CSP integer variables are encoded (5892 clauses, 75551 bytes)
0.85/1.20	c 1	120 (10%) CSP clauses are encoded (6132 clauses, 78481 bytes)
0.85/1.22	c 1	240 (20%) CSP clauses are encoded (6372 clauses, 81661 bytes)
0.85/1.23	c 1	360 (30%) CSP clauses are encoded (6612 clauses, 85021 bytes)
0.85/1.29	c 1	480 (40%) CSP clauses are encoded (31112 clauses, 498078 bytes)
1.05/1.42	c 1	600 (50%) CSP clauses are encoded (93244 clauses, 1634142 bytes)
1.05/1.43	c 1	720 (60%) CSP clauses are encoded (96410 clauses, 1688843 bytes)
1.16/1.57	c 1	840 (70%) CSP clauses are encoded (175726 clauses, 3146221 bytes)
1.16/1.58	c 1	960 (80%) CSP clauses are encoded (179334 clauses, 3208761 bytes)
1.16/1.60	c 1	1080 (90%) CSP clauses are encoded (187784 clauses, 3360041 bytes)
1.24/1.65	c 1	1199 (100%) CSP clauses are encoded (218476 clauses, 3918670 bytes)
1.24/1.65	c 1	1199 CSP clauses encoded
1.24/1.65	c 1	Writing map file : HOME/temp.map
1.24/1.66	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.24/1.66	c 1	SAT : 6722 SAT variables, 218476 SAT clauses, 3918670 bytes
1.24/1.66	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.31/1.74	c 1	OBJECTIVE minimize _COST
1.31/1.74	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
1.31/1.74	c 1	SEARCHING: _COST <= 200
1.31/1.74	c 1	SOLVING HOME/temp.cnf
1.31/1.74	c 1	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.31/1.74	c 1	This is MiniSat 2.0 beta
1.31/1.74	c 1	WARNING: for repeatability, setting FPU to use double precision
1.31/1.74	c 1	============================[ Problem Statistics ]=============================
1.31/1.74	c 1	|                                                                             |
1.31/1.74	c 1	|  Number of variables:  6722                                                 |
1.31/1.74	c 1	|  Number of clauses:    218477                                               |
1.33/1.84	c 1	|  Parsing time:         0.08         s                                       |
1.33/1.89	c 1	============================[ Search Statistics ]==============================
1.33/1.89	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.33/1.89	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.33/1.89	c 1	===============================================================================
1.33/1.89	c 1	|         0 |    4922   140048   407268 |    46682        0    nan |  0.000 % |
1.34/1.97	c 1	|       100 |    4922   140048   407268 |    51350      100     26 | 26.778 % |
1.34/2.03	c 2	|       251 |    4922   140048   407268 |    56486      251     28 | 26.778 % |
1.68/2.15	c 2	|       478 |    4922   140048   407268 |    62134      478     28 | 26.778 % |
1.88/2.33	c 2	|       815 |    4922   140048   407268 |    68348      815     29 | 26.778 % |
2.18/2.60	c 2	|      1321 |    4922   140048   407268 |    75182     1321     30 | 26.778 % |
2.57/3.00	c 3	|      2083 |    4922   140048   407268 |    82701     2083     31 | 26.778 % |
2.87/3.35	c 3	===============================================================================
2.87/3.35	c 3	restarts              : 7
2.87/3.35	c 3	conflicts             : 2778           (1762 /sec)
2.87/3.35	c 3	decisions             : 3800           (0.66 % random) (2410 /sec)
2.87/3.35	c 3	propagations          : 1177612        (746856 /sec)
2.87/3.35	c 3	conflict literals     : 84144          (41.26 % deleted)
2.87/3.35	c 3	Memory used           : 10.99 MB
2.87/3.35	c 3	CPU time              : 1.57676 s
2.87/3.35	c 3	
2.87/3.35	c 3	SATISFIABLE
2.87/3.36	c 3	FOUND: _COST <= 200
2.87/3.36	s SATISFIABLE
2.87/3.36	c 3	DECODING HOME/temp.out WITH HOME/temp.map
2.87/3.36	c 3	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.94/3.43	c 3	Decoding HOME/temp.out
2.94/3.55	c 3	OBJECTIVE _COST 200
2.94/3.55	o 200
2.94/3.55	v 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 0 0
2.94/3.55	c 3	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.94/3.59	c 3	OBJECTIVE BOUND: 0 <= _COST <= 200
2.94/3.59	c 3	SEARCHING: _COST <= 100
2.94/3.59	c 3	SOLVING HOME/temp.cnf
2.94/3.59	c 3	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.14/3.61	c 3	This is MiniSat 2.0 beta
3.14/3.61	c 3	WARNING: for repeatability, setting FPU to use double precision
3.14/3.61	c 3	============================[ Problem Statistics ]=============================
3.14/3.61	c 3	|                                                                             |
3.14/3.61	c 3	|  Number of variables:  6722                                                 |
3.14/3.61	c 3	|  Number of clauses:    218477                                               |
3.14/3.71	c 3	|  Parsing time:         0.09         s                                       |
3.14/3.78	c 3	============================[ Search Statistics ]==============================
3.14/3.78	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.14/3.78	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.14/3.78	c 3	===============================================================================
3.14/3.78	c 3	|         0 |    3922    92198   266618 |    30732        0    nan |  0.000 % |
3.14/3.83	c 3	|       100 |    3922    92198   266618 |    33805      100     18 | 41.654 % |
3.14/3.89	c 3	|       250 |    3922    92198   266618 |    37186      250     19 | 41.654 % |
3.14/3.97	c 3	|       475 |    3922    92198   266618 |    40905      475     19 | 41.654 % |
3.14/4.10	c 4	|       812 |    3922    92198   266618 |    44995      812     19 | 41.654 % |
3.82/4.32	c 4	|      1318 |    3922    92198   266618 |    49495     1318     19 | 41.654 % |
4.12/4.68	c 4	|      2077 |    3922    92198   266618 |    54444     2077     19 | 41.654 % |
4.62/5.18	c 5	|      3217 |    3922    92198   266618 |    59889     3217     19 | 41.654 % |
5.52/6.07	c 6	|      4926 |    3922    92198   266618 |    65878     4926     20 | 41.654 % |
7.02/7.54	c 7	|      7488 |    3922    92198   266618 |    72466     7488     20 | 41.654 % |
7.92/8.46	c 8	|     11332 |    3922    92198   266618 |    79712    11332     18 | 41.655 % |
12.01/12.60	c 12	|     17098 |    3922    92198   266618 |    87683    17098     18 | 41.654 % |
19.01/19.57	c 19	|     25749 |    3922    92198   266618 |    96452    25749     19 | 41.654 % |
32.10/32.68	c 32	|     38723 |    3922    92198   266618 |   106097    38723     19 | 41.654 % |
57.20/57.71	c 57	|     58184 |    3922    92198   266618 |   116707    58184     19 | 41.654 % |
104.17/104.70	c 104	|     87378 |    3922    92198   266618 |   128377    87378     20 | 41.654 % |
190.24/190.83	c 190	|    131167 |    3922    92198   266618 |   141215   131167     19 | 41.654 % |
278.11/278.73	c 278	|    196851 |    3922    92198   266618 |   155337    67158     19 | 41.654 % |
450.15/450.81	c 450	|    295378 |    3922    92198   266618 |   170871    22762     15 | 41.654 % |
680.66/681.44	c 681	|    443168 |    3922    92198   266618 |   187958   170552     18 | 41.654 % |
1053.42/1054.33	c 1054	|    664851 |    3922    92198   266618 |   206754    40823     17 | 41.654 % |
1629.00/1630.14	c 1630	|    997378 |    3922    92198   266618 |   227429   179583     17 | 41.654 % |
2505.57/2507.05	c 2507	|   1496166 |    3921    92170   266534 |   250172   105669     18 | 41.669 % |
3232.60/3234.31	c 3234	===============================================================================
3232.60/3234.31	c 3234	restarts              : 23
3232.60/3234.31	c 3234	conflicts             : 1915244        (593 /sec)
3232.60/3234.31	c 3234	decisions             : 1981254        (0.97 % random) (614 /sec)
3232.60/3234.31	c 3234	propagations          : 1203079125     (372547 /sec)
3232.60/3234.31	c 3234	conflict literals     : 32965508       (60.84 % deleted)
3232.60/3234.31	c 3234	Memory used           : 38.07 MB
3232.60/3234.31	c 3234	CPU time              : 3229.34 s
3232.60/3234.31	c 3234	
3232.60/3234.31	c 3234	UNSATISFIABLE
3232.60/3234.32	c 3234	NOT FOUND: _COST <= 100
3232.60/3234.32	c 3234	OBJECTIVE BOUND: 101 <= _COST <= 200
3232.60/3234.32	c 3234	SEARCHING: _COST <= 150
3232.60/3234.32	c 3234	SOLVING HOME/temp.cnf
3232.60/3234.32	c 3234	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3232.60/3234.39	c 3234	This is MiniSat 2.0 beta
3232.60/3234.39	c 3234	WARNING: for repeatability, setting FPU to use double precision
3232.60/3234.39	c 3234	============================[ Problem Statistics ]=============================
3232.60/3234.39	c 3234	|                                                                             |
3232.60/3234.39	c 3234	|  Number of variables:  6722                                                 |
3232.60/3234.39	c 3234	|  Number of clauses:    218477                                               |
3232.63/3234.50	c 3234	|  Parsing time:         0.09         s                                       |
3232.63/3234.56	c 3234	============================[ Search Statistics ]==============================
3232.63/3234.56	c 3234	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3232.63/3234.56	c 3234	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3232.63/3234.56	c 3234	===============================================================================
3232.63/3234.56	c 3234	|         0 |    4422   117373   340693 |    39124        0    nan |  0.000 % |
3232.63/3234.62	c 3234	|       102 |    4422   117373   340693 |    43036      102     20 | 34.216 % |
3232.63/3234.68	c 3234	|       252 |    4422   117373   340693 |    47340      252     23 | 34.216 % |
3232.63/3234.76	c 3234	|       478 |    4422   117373   340693 |    52074      478     23 | 34.216 % |
3232.63/3234.91	c 3234	|       815 |    4422   117373   340693 |    57281      815     24 | 34.216 % |
3233.32/3235.11	c 3235	|      1322 |    4422   117373   340693 |    63010     1322     24 | 34.216 % |
3233.62/3235.46	c 3235	|      2081 |    4422   117373   340693 |    69311     2081     24 | 34.216 % |
3234.11/3235.99	c 3236	|      3220 |    4422   117373   340693 |    76242     3220     25 | 34.216 % |
3235.01/3236.89	c 3236	|      4929 |    4422   117373   340693 |    83866     4929     25 | 34.216 % |
3236.40/3238.25	c 3238	|      7491 |    4422   117373   340693 |    92253     7491     25 | 34.217 % |
3238.59/3240.42	c 3240	|     11335 |    4422   117373   340693 |   101478    11335     25 | 34.216 % |
3242.37/3244.27	c 3244	|     17101 |    4422   117373   340693 |   111626    17101     25 | 34.216 % |
3249.94/3251.83	c 3251	|     25750 |    4422   117373   340693 |   122788    25750     25 | 34.216 % |
3263.27/3265.23	c 3265	|     38724 |    4422   117373   340693 |   135067    38724     26 | 34.217 % |
3287.05/3289.18	c 3289	|     58185 |    4422   117373   340693 |   148574    58185     26 | 34.216 % |
3331.63/3333.98	c 3333	|     87377 |    4422   117373   340693 |   163432    87377     26 | 34.216 % |
3423.18/3425.94	c 3425	|    131167 |    4422   117373   340693 |   179775   131167     27 | 34.216 % |
3567.04/3569.92	c 3569	|    196852 |    4422   117373   340693 |   197752    29338     24 | 34.216 % |
3600.03/3602.91	sh: line 1: 17589 Terminated              HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out' 2>&1
3600.03/3602.91	c ERROR unknown output  in HOME/temp.out
3600.03/3602.91	c 3602	CPU 3599.63 (0.04 0.01 3599.59 0.41)
3600.03/3602.91	c 3602	END Tue Jul 15 06:26:11 2008

Verifier Data (download as text)

OK	198	202
198 unsatisfied constraints, 202 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-1119188-1216092368/watcher-1119188-1216092368 -o /tmp/evaluation-result-1119188-1216092368/solver-1119188-1216092368 -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-1119188-1216092368.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.68 2.60 2.56 5/80 17543
/proc/meminfo: memFree=1587536/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=12268 CPUtime=0
/proc/17543/stat : 17543 (sugar) R 17541 17543 15161 0 -1 4194304 348 0 0 0 0 0 0 0 21 0 1 0 65933395 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 231882848869 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/17543/statm: 3067 316 241 3 0 167 0

[startup+0.0175839 s]
/proc/loadavg: 2.68 2.60 2.56 5/80 17543
/proc/meminfo: memFree=1587536/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=12544 CPUtime=0
/proc/17543/stat : 17543 (sugar) R 17541 17543 15161 0 -1 4194304 464 0 0 0 0 0 0 0 20 0 1 0 65933395 12845056 432 996147200 4194304 4206940 548682068592 18446744073709551615 231900585820 0 0 4224 0 0 0 0 17 0 0 0
/proc/17543/statm: 3136 432 289 3 0 236 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12544

[startup+0.101607 s]
/proc/loadavg: 2.68 2.60 2.56 5/80 17543
/proc/meminfo: memFree=1587536/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13600 CPUtime=0.03
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 898 127 0 0 3 0 0 0 20 0 1 0 65933395 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17543/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301643 s]
/proc/loadavg: 2.68 2.60 2.56 5/80 17543
/proc/meminfo: memFree=1587536/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13600 CPUtime=0.03
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 898 127 0 0 3 0 0 0 20 0 1 0 65933395 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17543/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701724 s]
/proc/loadavg: 2.68 2.60 2.56 5/80 17543
/proc/meminfo: memFree=1587536/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13600 CPUtime=0.31
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 957 4411 0 1 3 0 25 3 16 0 1 0 65933395 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 13600

[startup+1.50288 s]
/proc/loadavg: 2.68 2.60 2.56 5/91 17565
/proc/meminfo: memFree=1575736/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13600 CPUtime=0.31
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 974 4411 0 1 3 0 25 3 15 0 1 0 65933395 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17543/statm: 3400 797 370 3 0 500 0
[pid=17556] ppid=17543 vsize=5356 CPUtime=0
/proc/17556/stat : 17556 (sh) S 17543 17543 15161 0 -1 4194304 278 0 0 0 0 0 0 0 16 0 1 0 65933439 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17556/statm: 1339 233 193 169 0 50 0
[pid=17557] ppid=17556 vsize=868468 CPUtime=0.85
/proc/17557/stat : 17557 (java) S 17556 17543 15161 0 -1 0 6450 0 1 0 79 6 0 0 19 0 9 0 65933440 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17557/statm: 217117 5615 2563 9 0 211664 0
[pid=17557/tid=17558] ppid=17556 vsize=868468 CPUtime=0.54
/proc/17557/task/17558/stat : 17558 (java) R 17556 17543 15161 0 -1 64 2780 0 1 0 51 3 0 0 25 0 9 0 65933441 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4126889828 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17557/tid=17559] ppid=17556 vsize=868468 CPUtime=0.05
/proc/17557/task/17559/stat : 17559 (java) S 17556 17543 15161 0 -1 64 1503 0 0 0 5 0 0 0 16 0 9 0 65933442 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17557/tid=17560] ppid=17556 vsize=868468 CPUtime=0
/proc/17557/task/17560/stat : 17560 (java) S 17556 17543 15161 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 65933442 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17557/tid=17561] ppid=17556 vsize=868468 CPUtime=0
/proc/17557/task/17561/stat : 17561 (java) S 17556 17543 15161 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 65933442 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17557/tid=17562] ppid=17556 vsize=868468 CPUtime=0
/proc/17557/task/17562/stat : 17562 (java) S 17556 17543 15161 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 65933444 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17557/tid=17563] ppid=17556 vsize=868468 CPUtime=0.21
/proc/17557/task/17563/stat : 17563 (java) S 17556 17543 15161 0 -1 64 1474 0 0 0 21 0 0 0 16 0 9 0 65933444 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17557/tid=17564] ppid=17556 vsize=868468 CPUtime=0
/proc/17557/task/17564/stat : 17564 (java) S 17556 17543 15161 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 65933444 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17557/tid=17565] ppid=17556 vsize=868468 CPUtime=0
/proc/17557/task/17565/stat : 17565 (java) S 17556 17543 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 65933444 889311232 5615 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 887424

[startup+3.1012 s]
/proc/loadavg: 2.63 2.59 2.55 4/83 17567
/proc/meminfo: memFree=1571192/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=1.34
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1065 11211 0 2 4 0 119 11 15 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17566] ppid=17543 vsize=5356 CPUtime=0
/proc/17566/stat : 17566 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933569 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 232 193 169 0 50 0
[pid=17567] ppid=17566 vsize=11252 CPUtime=1.33
/proc/17567/stat : 17567 (minisat) R 17566 17543 15161 0 -1 4194304 2629 0 0 0 132 1 0 0 25 0 1 0 65933569 11522048 2615 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 0 0 0
/proc/17567/statm: 2813 2615 75 150 0 2660 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 30340

[startup+6.30183 s]
/proc/loadavg: 2.63 2.59 2.55 3/83 17579
/proc/meminfo: memFree=1571128/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=11384 CPUtime=2.68
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 2653 0 0 0 267 1 0 0 25 0 1 0 65933755 11657216 2639 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 2846 2639 75 150 0 2693 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 30472

[startup+12.7021 s]
/proc/loadavg: 2.60 2.58 2.55 3/83 17579
/proc/meminfo: memFree=1571064/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=11384 CPUtime=9.07
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 2670 0 0 0 906 1 0 0 25 0 1 0 65933755 11657216 2656 996147200 134512640 135127466 4294956256 18446744073709551615 134527694 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 2846 2656 75 150 0 2693 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 30472

[startup+25.5016 s]
/proc/loadavg: 2.59 2.58 2.55 3/83 17579
/proc/meminfo: memFree=1570232/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=12368 CPUtime=21.87
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 2879 0 0 0 2186 1 0 0 25 0 1 0 65933755 12664832 2865 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 3092 2865 75 150 0 2939 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 31456

[startup+51.1017 s]
/proc/loadavg: 2.73 2.61 2.56 3/83 17579
/proc/meminfo: memFree=1567864/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=14764 CPUtime=47.46
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 3472 0 0 0 4744 2 0 0 25 0 1 0 65933755 15118336 3458 996147200 134512640 135127466 4294956256 18446744073709551615 134528235 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 3691 3458 75 150 0 3538 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 33852

[startup+102.307 s]
/proc/loadavg: 2.56 2.58 2.55 3/83 17579
/proc/meminfo: memFree=1563960/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=18412 CPUtime=98.64
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 4404 0 0 0 9861 3 0 0 25 0 1 0 65933755 18853888 4390 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 4603 4390 75 150 0 4450 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 37500

[startup+162.302 s]
/proc/loadavg: 2.59 2.58 2.55 3/83 17579
/proc/meminfo: memFree=1560632/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=22056 CPUtime=158.62
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 5259 0 0 0 15858 4 0 0 25 0 1 0 65933755 22585344 5245 996147200 134512640 135127466 4294956256 18446744073709551615 134530682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 5514 5245 75 150 0 5361 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 41144

[startup+222.302 s]
/proc/loadavg: 2.64 2.59 2.55 3/83 17579
/proc/meminfo: memFree=1556792/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0

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

/proc/loadavg: 2.76 2.68 2.60 3/83 17585
/proc/meminfo: memFree=1543352/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=38980 CPUtime=3097.5
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 9295 0 0 0 309737 13 0 0 25 0 1 0 65933755 39915520 9272 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 9745 9272 75 150 0 9592 0
Current children cumulated CPU time (s) 3100.64
Current children cumulated vsize (KiB) 58068

[startup+3162.3 s]
/proc/loadavg: 2.67 2.67 2.60 3/83 17585
/proc/meminfo: memFree=1543416/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=38980 CPUtime=3157.48
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 9295 0 0 0 315735 13 0 0 25 0 1 0 65933755 39915520 9272 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 9745 9272 75 150 0 9592 0
Current children cumulated CPU time (s) 3160.62
Current children cumulated vsize (KiB) 58068

[startup+3222.3 s]
/proc/loadavg: 2.73 2.69 2.61 3/83 17585
/proc/meminfo: memFree=1543352/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3.14
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1184 18001 0 3 4 0 294 16 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17578] ppid=17543 vsize=5356 CPUtime=0
/proc/17578/stat : 17578 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 65933755 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17578/statm: 1339 232 193 169 0 50 0
[pid=17579] ppid=17578 vsize=38980 CPUtime=3217.46
/proc/17579/stat : 17579 (minisat) R 17578 17543 15161 0 -1 4194304 9295 0 0 0 321732 14 0 0 25 0 1 0 65933755 39915520 9272 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17579/statm: 9745 9272 75 150 0 9592 0
Current children cumulated CPU time (s) 3220.6
Current children cumulated vsize (KiB) 58068

[startup+3282.3 s]
/proc/loadavg: 2.74 2.70 2.62 3/83 17589
/proc/meminfo: memFree=1564856/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=16644 CPUtime=47.66
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 3954 0 0 0 4763 3 0 0 25 0 1 0 66256834 17043456 3940 996147200 134512640 135127466 4294956256 18446744073709551615 134530786 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 4161 3940 75 150 0 4008 0
Current children cumulated CPU time (s) 3280.29
Current children cumulated vsize (KiB) 35732

[startup+3342.3 s]
/proc/loadavg: 2.60 2.66 2.61 3/83 17589
/proc/meminfo: memFree=1559032/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=22548 CPUtime=107.36
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 5403 0 0 0 10731 5 0 0 25 0 1 0 66256834 23089152 5389 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 5637 5389 75 150 0 5484 0
Current children cumulated CPU time (s) 3339.99
Current children cumulated vsize (KiB) 41636

[startup+3402.31 s]
/proc/loadavg: 2.78 2.70 2.63 3/83 17589
/proc/meminfo: memFree=1554488/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=27060 CPUtime=167.07
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 6524 0 0 0 16701 6 0 0 25 0 1 0 66256834 27709440 6510 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 6765 6510 75 150 0 6612 0
Current children cumulated CPU time (s) 3399.7
Current children cumulated vsize (KiB) 46148

[startup+3462.3 s]
/proc/loadavg: 2.40 2.61 2.61 3/83 17627
/proc/meminfo: memFree=1603512/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=31324 CPUtime=226.85
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 7525 0 0 0 22677 8 0 0 25 0 1 0 66256834 32075776 7511 996147200 134512640 135127466 4294956256 18446744073709551615 134530662 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 7831 7511 75 150 0 7678 0
Current children cumulated CPU time (s) 3459.48
Current children cumulated vsize (KiB) 50412

[startup+3522.3 s]
/proc/loadavg: 2.47 2.59 2.60 3/83 17627
/proc/meminfo: memFree=1546296/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=34664 CPUtime=286.82
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 8368 0 0 0 28674 8 0 0 25 0 1 0 66256834 35495936 8354 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 8666 8354 75 150 0 8513 0
Current children cumulated CPU time (s) 3519.45
Current children cumulated vsize (KiB) 53752

[startup+3582.3 s]
/proc/loadavg: 2.41 2.55 2.58 3/83 17627
/proc/meminfo: memFree=1544632/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=36116 CPUtime=346.8
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 8752 0 0 0 34671 9 0 0 25 0 1 0 66256834 36982784 8738 996147200 134512640 135127466 4294956256 18446744073709551615 134527053 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 9029 8738 75 150 0 8876 0
Current children cumulated CPU time (s) 3579.43
Current children cumulated vsize (KiB) 55204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.9 s]
/proc/loadavg: 2.61 2.59 2.59 3/83 17627
/proc/meminfo: memFree=1544504/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=36116 CPUtime=367.4
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 8752 0 0 0 36731 9 0 0 25 0 1 0 66256834 36982784 8738 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 9029 8738 75 150 0 8876 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 55204

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

[startup+3602.9 s]
/proc/loadavg: 2.61 2.59 2.59 3/83 17627
/proc/meminfo: memFree=1544504/2055920 swapFree=4181288/4192956
[pid=17543] ppid=17541 vsize=13732 CPUtime=3232.63
/proc/17543/stat : 17543 (sugar) S 17541 17543 15161 0 -1 4194304 1239 27590 0 3 4 1 323228 30 16 0 1 0 65933395 14061568 813 996147200 4194304 4206940 548682068592 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17543/statm: 3433 813 374 3 0 533 0
[pid=17588] ppid=17543 vsize=5356 CPUtime=0
/proc/17588/stat : 17588 (sh) S 17543 17543 15161 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 66256827 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17588/statm: 1339 232 193 169 0 50 0
[pid=17589] ppid=17588 vsize=36116 CPUtime=367.4
/proc/17589/stat : 17589 (minisat) R 17588 17543 15161 0 -1 4194304 8752 0 0 0 36731 9 0 0 25 0 1 0 66256834 36982784 8738 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17589/statm: 9029 8738 75 150 0 8876 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 55204

Child status: 0
Real time (s): 3602.92
CPU time (s): 3600.07
CPU user time (s): 3599.64
CPU system time (s): 0.424935
CPU usage (%): 99.921
Max. virtual memory (cumulated for all children) (KiB): 887424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.424935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37929
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= 2729
involuntary context switches= 75456

runsolver used 3.54346 second user time and 9.58554 second system time

The end

Launcher Data (download as text)

Begin job on node75 at 2008-07-15 05:26:08
IDJOB=1119188
IDBENCH=62338
IDSOLVER=368
FILE ID=node75/1119188-1216092368
PBS_JOBID= 7905215
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/maxcut/maxcut-30/normalized-maxcut-30-400-2_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-1119188-1216092368/watcher-1119188-1216092368 -o /tmp/evaluation-result-1119188-1216092368/solver-1119188-1216092368 -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-1119188-1216092368.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 44c8adcf84df2467395514318d52f31c
RANDOM SEED=1750664711

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1588272 kB
Buffers:         56232 kB
Cached:         260768 kB
SwapCached:       5524 kB
Active:         235100 kB
Inactive:       165264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1588272 kB
SwapTotal:     4192956 kB
SwapFree:      4181288 kB
Dirty:            1292 kB
Writeback:           0 kB
Mapped:          99580 kB
Slab:            52292 kB
Committed_AS:   937292 kB
PageTables:       2016 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 node75 at 2008-07-15 06:26:11