Trace number 1110856

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisat? (TO) 3600.12 3633.54

General information on the benchmark

Namecsp/ukVg/
normalized-crossword-m1c-uk-vg16-18_ext.xml
MD5SUMb9a123c3462c681e773444fb1d5bb234
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints34
Best CPU time to get the best result obtained on this benchmark3600.14
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints34
Maximum constraint arity18
Maximum domain size26
Number of constraints which are defined in extension34
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 Sat Jul 12 06:51:02 2008
0.00/0.04	c 0	PID 15124
0.00/0.05	c 0	HOST node14.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1110856-1215838262.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-1110856-1215838262.xml' 'HOME/temp.csp'
0.03/0.48	c 1	1 domains, 288 variables, 0 predicates, 2 relations, 34 constraints
0.03/0.52	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.52	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.45/0.60	c 1	Parsing HOME/temp.csp
0.45/0.77	c 1	parsed 325 expressions
0.45/0.77	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.45/0.77	c 1	MAX CSP: 34 constraints
0.45/0.77	c 1	Converting to clausal form CSP
0.45/0.80	c 1	converted 37 (10%) expressions
0.45/0.80	c 1	converted 73 (20%) expressions
0.45/0.80	c 1	converted 109 (30%) expressions
0.45/0.80	c 1	converted 145 (40%) expressions
0.45/0.80	c 1	converted 181 (50%) expressions
0.45/0.80	c 1	converted 218 (60%) expressions
0.45/0.80	c 1	converted 254 (70%) expressions
0.45/0.80	c 1	converted 290 (80%) expressions
1.90/2.09	c 2	converted 326 (90%) expressions
2.49/2.68	c 3	converted 362 (100%) expressions
2.49/2.68	c 3	CSP : 356 integers, 0 booleans, 101 clauses, largest domain size 52
2.49/2.68	c 3	Heap : 74 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.49/2.68	c 3	Propagation in CSP
2.49/2.70	c 3	32 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.49/2.70	c 3	CSP : 356 integers, 0 booleans, 101 clauses, largest domain size 35
2.49/2.70	c 3	Heap : 74 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.49/2.70	c 3	Simplifing CSP by introducing new Boolean variables
2.49/2.70	c 3	CSP : 356 integers, 0 booleans, 101 clauses, largest domain size 35
2.49/2.70	c 3	Heap : 74 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.79/2.96	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.79/2.98	c 3	36 (10%) CSP integer variables are encoded (864 clauses, 9360 bytes)
2.79/2.99	c 3	72 (20%) CSP integer variables are encoded (1728 clauses, 20401 bytes)
2.79/2.99	c 3	107 (30%) CSP integer variables are encoded (2568 clauses, 31321 bytes)
2.79/2.99	c 3	143 (40%) CSP integer variables are encoded (3432 clauses, 42553 bytes)
2.79/2.99	c 3	178 (50%) CSP integer variables are encoded (4272 clauses, 53473 bytes)
2.79/2.99	c 3	214 (60%) CSP integer variables are encoded (5136 clauses, 64705 bytes)
2.79/2.99	c 3	250 (70%) CSP integer variables are encoded (6000 clauses, 75937 bytes)
2.79/2.99	c 3	285 (80%) CSP integer variables are encoded (6840 clauses, 86857 bytes)
2.79/3.00	c 3	321 (90%) CSP integer variables are encoded (6912 clauses, 87793 bytes)
2.79/3.00	c 3	356 (100%) CSP integer variables are encoded (7191 clauses, 91420 bytes)
145.47/147.10	c 147	11 (10%) CSP clauses are encoded (643134 clauses, 69117320 bytes)
243.81/246.31	c 247	21 (20%) CSP clauses are encoded (1116030 clauses, 120582065 bytes)
268.95/271.74	c 272	31 (30%) CSP clauses are encoded (1343380 clauses, 148032585 bytes)
277.03/279.94	c 280	41 (40%) CSP clauses are encoded (1411618 clauses, 156268250 bytes)
277.03/279.94	c 280	51 (50%) CSP clauses are encoded (1411782 clauses, 156270835 bytes)
277.03/279.94	c 280	61 (60%) CSP clauses are encoded (1412204 clauses, 156277674 bytes)
277.03/279.95	c 280	71 (70%) CSP clauses are encoded (1413170 clauses, 156294626 bytes)
277.03/279.95	c 280	81 (80%) CSP clauses are encoded (1413223 clauses, 156295448 bytes)
277.03/279.95	c 280	91 (90%) CSP clauses are encoded (1413320 clauses, 156297021 bytes)
277.03/279.95	c 280	101 (100%) CSP clauses are encoded (1413588 clauses, 156301516 bytes)
277.03/279.95	c 280	101 CSP clauses encoded
277.03/279.95	c 280	Writing map file : HOME/temp.map
277.03/279.96	c 280	Heap : 87 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
277.03/279.96	c 280	SAT : 7547 SAT variables, 1413588 SAT clauses, 156301516 bytes
277.03/279.96	c 280	Heap : 87 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
277.10/280.01	c 280	OBJECTIVE minimize _COST
277.10/280.01	c 280	OBJECTIVE BOUND: 0 <= _COST <= 
277.10/280.01	c 280	SEARCHING: _COST <= 17
277.10/280.01	c 280	SOLVING HOME/temp.cnf
277.10/280.01	c 280	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
277.10/280.02	c 280	This is MiniSat 2.0 beta
277.10/280.02	c 280	WARNING: for repeatability, setting FPU to use double precision
277.10/280.02	c 280	============================[ Problem Statistics ]=============================
277.10/280.02	c 280	|                                                                             |
277.10/280.02	c 280	|  Number of variables:  7547                                                 |
277.10/280.02	c 280	|  Number of clauses:    1413589                                              |
280.16/283.13	c 283	|  Parsing time:         2.77         s                                       |
280.27/283.29	c 283	============================[ Search Statistics ]==============================
280.27/283.29	c 283	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
280.27/283.29	c 283	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
280.27/283.29	c 283	===============================================================================
280.27/283.30	c 283	|         0 |    7445  1412781 28791797 |   470927        0    nan |  0.000 % |
280.47/283.42	c 284	|       101 |    7445  1412781 28791797 |   518019      101      8 |  1.352 % |
280.47/283.47	c 284	|       252 |    7445  1412781 28791797 |   569821      252      8 |  1.352 % |
280.67/283.67	c 284	|       477 |    7445  1412781 28791797 |   626803      477      9 |  1.352 % |
280.77/283.75	c 284	|       815 |    7445  1412781 28791797 |   689484      815      9 |  1.352 % |
280.87/283.86	c 284	|      1322 |    7445  1412781 28791797 |   758432     1322      9 |  1.352 % |
281.06/284.03	c 284	|      2082 |    7445  1412781 28791797 |   834275     2082      9 |  1.352 % |
281.35/284.31	c 285	|      3222 |    7445  1412781 28791797 |   917703     3222     10 |  1.352 % |
281.65/284.69	c 285	|      4932 |    7445  1412781 28791797 |  1009473     4932     10 |  1.352 % |
282.15/285.20	c 285	|      7495 |    7445  1412781 28791797 |  1110421     7495     10 |  1.352 % |
283.05/286.01	c 286	|     11339 |    7445  1412781 28791797 |  1221463    11339     10 |  1.352 % |
285.13/288.19	c 288	|     17108 |    7445  1412781 28791797 |  1343609    17108     10 |  1.352 % |
287.89/290.90	c 291	|     25758 |    7445  1412781 28791797 |  1477970    25758     11 |  1.352 % |
290.38/293.48	c 294	|     38736 |    7445  1412781 28791797 |  1625767    38736     11 |  1.352 % |
295.82/298.94	c 299	|     58200 |    7445  1412781 28791797 |  1788344    58200     11 |  1.352 % |
305.73/308.99	c 309	|     87392 |    7445  1412781 28791797 |  1967178    87392     12 |  1.352 % |
324.45/327.81	c 328	|    131181 |    7445  1412781 28791797 |  2163896   131181     12 |  1.352 % |
362.67/366.48	c 367	|    196866 |    7445  1412781 28791797 |  2380286   196866     13 |  1.352 % |
420.53/424.84	c 425	|    295393 |    7445  1412781 28791797 |  2618315   295393     13 |  1.352 % |
532.76/538.15	c 538	|    443186 |    7445  1412781 28791797 |  2880146   443186     14 |  1.352 % |
938.87/948.12	c 948	|    664871 |    7445  1412781 28791797 |  3168161   664871     16 |  1.352 % |
1899.32/1917.70	c 1918	|    997397 |    7445  1412781 28791797 |  3484977   997397     20 |  1.352 % |
3600.08/3633.42	c ERROR INTERRUPTED
3600.08/3633.47	s UNKNOWN
3600.08/3633.47	c 3634	CPU 275.71 (0.03 0 275.68 1.42)
3600.08/3633.47	c 3634	END Sat Jul 12 07:51:36 2008

Verifier Data (download as text)

ERROR: no interpretation found !

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-1110856-1215838262/watcher-1110856-1215838262 -o /tmp/evaluation-result-1110856-1215838262/solver-1110856-1215838262 -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-1110856-1215838262.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.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=12268 CPUtime=0
/proc/15124/stat : 15124 (sugar) R 15122 15124 13928 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 40528835 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 212234631781 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/15124/statm: 3067 316 241 3 0 167 0

[startup+0.099494 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.03
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 40528835 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.101487 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.03
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 40528835 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301524 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.03
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 40528835 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701595 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15124
/proc/meminfo: memFree=1826640/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 16 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13600

[startup+1.50274 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 15146
/proc/meminfo: memFree=1810040/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864144 CPUtime=0.95
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 11457 0 1 0 90 5 0 0 18 0 9 0 40528888 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216036 10597 2540 9 0 210611 0
[pid=15138/tid=15139] ppid=15137 vsize=864144 CPUtime=0.37
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 2962 0 1 0 36 1 0 0 22 0 9 0 40528889 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864144 CPUtime=0.49
/proc/15138/task/15140/stat : 15140 (java) R 15137 15124 13928 0 -1 64 7467 0 0 0 46 3 0 0 17 0 9 0 40528890 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 102723006 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864144 CPUtime=0.07
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 335 0 0 0 7 0 0 0 16 0 9 0 40528892 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864144 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 884883456 10597 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 883100

[startup+3.10201 s]
/proc/loadavg: 2.08 2.02 2.01 4/84 15146
/proc/meminfo: memFree=1765816/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=2.53
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 24732 0 1 0 241 12 0 0 18 0 9 0 40528888 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 23751 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=0.8
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4011 0 1 0 79 1 0 0 24 0 9 0 40528889 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4126646340 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.59
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 19668 0 0 0 150 9 0 0 16 0 9 0 40528890 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864388 CPUtime=0.1
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 360 0 0 0 10 0 0 0 16 0 9 0 40528892 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 885133312 23751 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 883344

[startup+6.30256 s]
/proc/loadavg: 2.08 2.02 2.01 3/84 15146
/proc/meminfo: memFree=1734456/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=5.7
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 25817 0 1 0 557 13 0 0 18 0 9 0 40528888 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 24823 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=3.93
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4024 0 1 0 391 2 0 0 25 0 9 0 40528889 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4126640640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.64
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 20739 0 0 0 154 10 0 0 16 0 9 0 40528890 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864388 CPUtime=0.11
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 361 0 0 0 11 0 0 0 16 0 9 0 40528892 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 885133312 24823 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 883344

[startup+12.7027 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 15146
/proc/meminfo: memFree=1728248/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=12.04
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 27642 0 1 0 1190 14 0 0 18 0 9 0 40528888 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 26625 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=10.18
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4047 0 1 0 1016 2 0 0 25 0 9 0 40528889 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4126582904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.73
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 22541 0 0 0 162 11 0 0 16 0 9 0 40528890 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15143] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15143/stat : 15143 (java) S 15137 15124 13928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 40528892 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15144] ppid=15137 vsize=864388 CPUtime=0.11
/proc/15138/task/15144/stat : 15144 (java) S 15137 15124 13928 0 -1 64 361 0 0 0 11 0 0 0 16 0 9 0 40528892 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15145] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15145/stat : 15145 (java) S 15137 15124 13928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 40528893 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15146] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15146/stat : 15146 (java) S 15137 15124 13928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40528893 885133312 26625 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 883344

[startup+25.5029 s]
/proc/loadavg: 2.06 2.01 2.00 3/84 15146
/proc/meminfo: memFree=1710584/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=0.45
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 974 4699 0 1 3 0 39 3 15 0 1 0 40528835 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 797 370 3 0 500 0
[pid=15137] ppid=15124 vsize=5356 CPUtime=0
/proc/15137/stat : 15137 (sh) S 15124 15124 13928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40528888 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 1339 233 193 169 0 50 0
[pid=15138] ppid=15137 vsize=864388 CPUtime=24.72
/proc/15138/stat : 15138 (java) S 15137 15124 13928 0 -1 0 30425 0 1 0 2453 19 0 0 18 0 9 0 40528888 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15138/statm: 216097 29348 2565 9 0 210644 0
[pid=15138/tid=15139] ppid=15137 vsize=864388 CPUtime=22.66
/proc/15138/task/15139/stat : 15139 (java) R 15137 15124 13928 0 -1 64 4107 0 1 0 2261 5 0 0 25 0 9 0 40528889 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4126574992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15140] ppid=15137 vsize=864388 CPUtime=1.91
/proc/15138/task/15140/stat : 15140 (java) S 15137 15124 13928 0 -1 64 25255 0 0 0 178 13 0 0 16 0 9 0 40528890 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15141] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15141/stat : 15141 (java) S 15137 15124 13928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40528891 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15138/tid=15142] ppid=15137 vsize=864388 CPUtime=0
/proc/15138/task/15142/stat : 15142 (java) S 15137 15124 13928 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40528891 885133312 29348 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=357736 CPUtime=2914.46
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 88121 0 0 0 291369 77 0 0 25 0 1 0 40556837 366321664 88107 996147200 134512640 135127466 4294956256 18446744073709551615 134530772 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 89434 88107 76 150 0 89281 0
Current children cumulated CPU time (s) 3191.59
Current children cumulated vsize (KiB) 376692

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1312568/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=359500 CPUtime=2973.9
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 88584 0 0 0 297312 78 0 0 25 0 1 0 40556837 368128000 88570 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 89875 88570 76 150 0 89722 0
Current children cumulated CPU time (s) 3251.03
Current children cumulated vsize (KiB) 378456

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1311096/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=360968 CPUtime=3033.33
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 88943 0 0 0 303255 78 0 0 25 0 1 0 40556837 369631232 88929 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 90242 88929 76 150 0 90089 0
Current children cumulated CPU time (s) 3310.46
Current children cumulated vsize (KiB) 379924

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1309816/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=362316 CPUtime=3092.77
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 89275 0 0 0 309198 79 0 0 25 0 1 0 40556837 371011584 89261 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 90579 89261 76 150 0 90426 0
Current children cumulated CPU time (s) 3369.9
Current children cumulated vsize (KiB) 381272

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15156
/proc/meminfo: memFree=1308152/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=363884 CPUtime=3152.2
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 89672 0 0 0 315141 79 0 0 25 0 1 0 40556837 372617216 89658 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15148/statm: 90971 89658 76 150 0 90818 0
Current children cumulated CPU time (s) 3429.33
Current children cumulated vsize (KiB) 382840

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15188
/proc/meminfo: memFree=891384/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=365376 CPUtime=3211.93
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90048 0 0 0 321112 81 0 0 25 0 1 0 40556837 374145024 90034 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 91344 90034 76 150 0 91191 0
Current children cumulated CPU time (s) 3489.06
Current children cumulated vsize (KiB) 384332

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15188
/proc/meminfo: memFree=616824/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=366888 CPUtime=3271.88
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90425 0 0 0 327104 84 0 0 25 0 1 0 40556837 375693312 90411 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 91722 90411 76 150 0 91569 0
Current children cumulated CPU time (s) 3549.01
Current children cumulated vsize (KiB) 385844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=368036 CPUtime=3322.95
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90758 0 0 0 332207 88 0 0 25 0 1 0 40556837 376868864 90744 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 92009 90744 76 150 0 91856 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 386992

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

[startup+3633.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.13
/proc/15124/stat : 15124 (sugar) S 15122 15124 13928 0 -1 4194304 1054 71331 0 2 3 0 27568 142 16 0 1 0 40528835 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15124/statm: 3400 803 374 3 0 500 0
[pid=15147] ppid=15124 vsize=5356 CPUtime=0
/proc/15147/stat : 15147 (sh) S 15124 15124 13928 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 40556837 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15147/statm: 1339 232 193 169 0 50 0
[pid=15148] ppid=15147 vsize=368036 CPUtime=3322.95
/proc/15148/stat : 15148 (minisat) R 15147 15124 13928 0 -1 4194304 90758 0 0 0 332207 88 0 0 25 0 1 0 40556837 376868864 90744 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15148/statm: 92009 90744 76 150 0 91856 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 386992

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

[startup+3633.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.19
/proc/15124/stat : 15124 (sugar) R 15122 15124 13928 0 -1 4194304 1092 71608 0 2 3 6 27568 142 17 0 1 0 40528835 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 212234638377 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15124/statm: 3400 804 375 3 0 500 0
Current children cumulated CPU time (s) 277.19
Current children cumulated vsize (KiB) 13600

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

[startup+3633.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 15189
/proc/meminfo: memFree=1031800/2055920 swapFree=4192812/4192956
[pid=15124] ppid=15122 vsize=13600 CPUtime=277.19
/proc/15124/stat : 15124 (sugar) R 15122 15124 13928 0 -1 4194304 1092 71608 0 2 3 6 27568 142 17 0 1 0 40528835 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 212234638377 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15124/statm: 3400 804 375 3 0 500 0
Current children cumulated CPU time (s) 277.19
Current children cumulated vsize (KiB) 13600

Child status: 0

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

Real time (s): 3633.54
CPU time (s): 3600.12
CPU user time (s): 3597.79
CPU system time (s): 2.32977
CPU usage (%): 99.0804
Max. virtual memory (cumulated for all children) (KiB): 894096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.724
system time used= 1.50977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72731
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17082
involuntary context switches= 22620

runsolver used 4.69229 second user time and 11.8732 second system time

The end

Launcher Data (download as text)

Begin job on node14 at 2008-07-12 06:51:02
IDJOB=1110856
IDBENCH=61161
IDSOLVER=368
FILE ID=node14/1110856-1215838262
PBS_JOBID= 7903331
Free space on /tmp= 66452 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/ukVg/normalized-crossword-m1c-uk-vg16-18_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-1110856-1215838262/watcher-1110856-1215838262 -o /tmp/evaluation-result-1110856-1215838262/solver-1110856-1215838262 -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-1110856-1215838262.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b9a123c3462c681e773444fb1d5bb234
RANDOM SEED=47165044

node14.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.270
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.270
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:       1827120 kB
Buffers:         39844 kB
Cached:          91192 kB
SwapCached:          0 kB
Active:         102704 kB
Inactive:        67284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1396 kB
Writeback:           0 kB
Mapped:          49956 kB
Slab:            44176 kB
Committed_AS:   155664 kB
PageTables:       1872 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= 66172 MiB
End job on node14 at 2008-07-12 07:51:38