Trace number 1127276

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.05 3617.75

General information on the benchmark

Namemaxcsp/cnf/2-40-2100-3000/
normalized-cnf-2-40-2400-421728_ext.xml
MD5SUM444fba7ce5c5225f8865fba30849fed8
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints291
Best CPU time to get the best result obtained on this benchmark3.9254
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints681
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension681
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Tue Jul 22 22:01:03 2008
0.00/0.05	c 0	PID 5319
0.00/0.05	c 0	HOST node3.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1127276-1216756863.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-1127276-1216756863.xml' 'HOME/temp.csp'
0.03/0.63	c 1	1 domains, 40 variables, 0 predicates, 14 relations, 681 constraints
0.03/0.65	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.65	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.41/0.72	c 1	Parsing HOME/temp.csp
0.41/0.83	c 1	parsed 736 expressions
0.41/0.84	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.41/0.86	c 1	MAX CSP: 681 constraints
0.41/0.86	c 1	Converting to clausal form CSP
0.41/0.90	c 1	converted 142 (10%) expressions
0.41/0.91	c 1	converted 284 (20%) expressions
0.41/0.92	c 1	converted 426 (30%) expressions
0.41/0.94	c 1	converted 568 (40%) expressions
0.41/0.95	c 1	converted 710 (50%) expressions
0.41/0.96	c 1	converted 852 (60%) expressions
0.41/0.98	c 1	converted 994 (70%) expressions
0.41/0.99	c 1	converted 1136 (80%) expressions
0.76/1.01	c 1	converted 1278 (90%) expressions
1.23/1.44	c 1	converted 1420 (100%) expressions
1.23/1.44	c 1	CSP : 1402 integers, 0 booleans, 2042 clauses, largest domain size 1022
1.23/1.44	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.44	c 1	Propagation in CSP
1.33/1.51	c 1	676 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.33/1.51	c 1	CSP : 1402 integers, 0 booleans, 2042 clauses, largest domain size 682
1.33/1.51	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.33/1.51	c 1	Simplifing CSP by introducing new Boolean variables
1.33/1.51	c 1	CSP : 1402 integers, 0 booleans, 2042 clauses, largest domain size 682
1.33/1.51	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.33/1.54	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.33/1.57	c 2	141 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.33/1.57	c 2	281 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.33/1.57	c 2	421 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.33/1.57	c 2	561 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.33/1.57	c 2	701 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.33/1.58	c 2	842 (60%) CSP integer variables are encoded (1271 clauses, 16032 bytes)
1.33/1.58	c 2	982 (70%) CSP integer variables are encoded (2273 clauses, 29058 bytes)
1.33/1.59	c 2	1122 (80%) CSP integer variables are encoded (5509 clauses, 71126 bytes)
1.33/1.59	c 2	1262 (90%) CSP integer variables are encoded (9553 clauses, 125267 bytes)
1.33/1.60	c 2	1402 (100%) CSP integer variables are encoded (11240 clauses, 150572 bytes)
1.43/1.62	c 2	205 (10%) CSP clauses are encoded (11553 clauses, 153948 bytes)
1.43/1.64	c 2	409 (20%) CSP clauses are encoded (11849 clauses, 157299 bytes)
1.43/1.65	c 2	613 (30%) CSP clauses are encoded (12147 clauses, 160815 bytes)
1.43/1.68	c 2	817 (40%) CSP clauses are encoded (15252 clauses, 213339 bytes)
1.53/1.77	c 2	1021 (50%) CSP clauses are encoded (43884 clauses, 732315 bytes)
1.53/1.79	c 2	1226 (60%) CSP clauses are encoded (52411 clauses, 882766 bytes)
1.73/1.93	c 2	1430 (70%) CSP clauses are encoded (134867 clauses, 2395085 bytes)
2.03/2.22	c 2	1634 (80%) CSP clauses are encoded (262489 clauses, 4693242 bytes)
2.22/2.43	c 2	1838 (90%) CSP clauses are encoded (381259 clauses, 7001247 bytes)
2.62/2.83	c 3	2042 (100%) CSP clauses are encoded (614089 clauses, 11981230 bytes)
2.62/2.83	c 3	2042 CSP clauses encoded
2.62/2.83	c 3	Writing map file : HOME/temp.map
2.62/2.85	c 3	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.62/2.85	c 3	SAT : 12642 SAT variables, 614089 SAT clauses, 11981230 bytes
2.62/2.85	c 3	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.62/2.89	c 3	OBJECTIVE minimize _COST
2.62/2.89	c 3	OBJECTIVE BOUND: 0 <= _COST <= 
2.62/2.89	c 3	SEARCHING: _COST <= 341
2.62/2.89	c 3	SOLVING HOME/temp.cnf
2.62/2.89	c 3	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2.69/2.90	c 3	This is MiniSat 2.0 beta
2.69/2.90	c 3	WARNING: for repeatability, setting FPU to use double precision
2.69/2.90	c 3	============================[ Problem Statistics ]=============================
2.69/2.90	c 3	|                                                                             |
2.69/2.90	c 3	|  Number of variables:  12642                                                |
2.69/2.90	c 3	|  Number of clauses:    614090                                               |
2.69/3.19	c 3	|  Parsing time:         0.24         s                                       |
3.17/3.41	c 3	============================[ Search Statistics ]==============================
3.17/3.41	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.17/3.41	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.17/3.41	c 3	===============================================================================
3.17/3.41	c 3	|         0 |    9242   392485  1152265 |   130828        0    nan |  0.000 % |
3.46/3.75	c 4	|       100 |    9239   392485  1152265 |   143911       98     17 | 27.163 % |
3.56/3.83	c 4	|       251 |    9239   392485  1152265 |   158302      249     17 | 27.164 % |
3.66/3.94	c 4	|       477 |    9239   392485  1152265 |   174132      475     18 | 27.163 % |
4.06/4.35	c 4	|       814 |    9237   392485  1152265 |   191545      809     20 | 27.543 % |
4.36/4.60	c 5	|      1321 |    9237   392485  1152265 |   210700     1316     23 | 27.543 % |
4.76/5.01	c 5	|      2080 |    9237   392485  1152265 |   231770     2075     22 | 27.543 % |
5.26/5.59	c 6	|      3219 |    9158   388173  1139628 |   254947     3213     22 | 27.694 % |
6.25/6.60	c 7	|      4928 |    9158   388173  1139628 |   280442     4921     23 | 27.828 % |
7.74/8.02	c 8	|      7490 |    9124   386614  1135081 |   308486     7483     27 | 27.828 % |
10.53/10.89	c 11	|     11334 |    9124   386614  1135081 |   339335    11327     29 | 27.828 % |
14.92/15.29	c 15	|     17103 |    9124   386614  1135081 |   373268    17096     29 | 27.828 % |
21.09/21.40	c 21	===============================================================================
21.09/21.40	c 21	restarts              : 12
21.09/21.40	c 21	conflicts             : 24233          (1319 /sec)
21.09/21.40	c 21	decisions             : 33039          (0.78 % random) (1798 /sec)
21.09/21.40	c 21	propagations          : 13550968       (737620 /sec)
21.09/21.40	c 21	conflict literals     : 684348         (26.14 % deleted)
21.09/21.40	c 21	Memory used           : 26.15 MB
21.09/21.40	c 21	CPU time              : 18.3712 s
21.09/21.40	c 21	
21.09/21.41	c 21	SATISFIABLE
21.09/21.41	c 21	FOUND: _COST <= 341
21.09/21.41	s SATISFIABLE
21.09/21.41	c 21	DECODING HOME/temp.out WITH HOME/temp.map
21.09/21.41	c 21	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
21.09/21.50	c 21	Decoding HOME/temp.out
21.12/21.62	c 22	OBJECTIVE _COST 341
21.12/21.62	o 341
21.12/21.62	v 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 0
21.12/21.62	c 22	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
21.12/21.68	c 22	OBJECTIVE BOUND: 0 <= _COST <= 341
21.12/21.68	c 22	SEARCHING: _COST <= 170
21.12/21.68	c 22	SOLVING HOME/temp.cnf
21.12/21.68	c 22	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
21.12/21.68	c 22	This is MiniSat 2.0 beta
21.12/21.68	c 22	WARNING: for repeatability, setting FPU to use double precision
21.12/21.68	c 22	============================[ Problem Statistics ]=============================
21.12/21.68	c 22	|                                                                             |
21.12/21.68	c 22	|  Number of variables:  12642                                                |
21.12/21.68	c 22	|  Number of clauses:    614090                                               |
21.54/22.00	c 22	|  Parsing time:         0.27         s                                       |
21.93/22.30	c 22	============================[ Search Statistics ]==============================
21.93/22.30	c 22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.93/22.30	c 22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.93/22.30	c 22	===============================================================================
21.93/22.30	c 22	|         0 |    7360   256025   748360 |    85341        0    nan |  0.000 % |
22.13/22.51	c 22	|       100 |    7360   256025   748360 |    93875       99     15 | 41.940 % |
22.13/22.58	c 23	|       252 |    7359   256025   748360 |   103263      250     16 | 42.209 % |
22.23/22.70	c 23	|       477 |    7359   256025   748360 |   113589      473     16 | 42.533 % |
22.43/22.88	c 23	|       814 |    7358   256025   748360 |   124948      808     17 | 42.826 % |
22.73/23.12	c 23	|      1321 |    7358   256025   748360 |   137443     1315     15 | 42.826 % |
23.12/23.52	c 23	|      2080 |    7228   247679   723793 |   151187     2073     15 | 42.968 % |
23.73/24.15	c 24	|      3220 |    7228   247679   723793 |   166306     3213     15 | 42.968 % |
24.62/25.08	c 25	|      4931 |    7210   246572   720535 |   182937     4924     15 | 42.968 % |
26.11/26.54	c 27	|      7494 |    7210   246572   720535 |   201231     7487     16 | 42.968 % |
28.40/28.80	c 29	|     11338 |    7176   244041   713058 |   221354    11327     16 | 43.379 % |
32.68/33.19	c 33	|     17106 |    7101   239409   699410 |   243489    17088     17 | 44.360 % |
39.84/40.34	c 40	|     25757 |    6980   229913   671332 |   267838    25731     17 | 44.946 % |
53.97/54.51	c 54	|     38731 |    6906   223932   653629 |   294622    38701     19 | 45.373 % |
78.56/79.25	c 79	|     58192 |    6889   222456   649255 |   324084    58161     20 | 45.507 % |
131.88/132.85	c 133	|     87384 |    6888   222442   649217 |   356493    87352     20 | 45.515 % |
212.69/214.09	c 214	|    131173 |    6789   216416   631484 |   392142    46201     16 | 46.298 % |
324.95/326.89	c 327	|    196857 |    6706   210328   613492 |   431356   111880     19 | 46.955 % |
470.46/473.01	c 473	===============================================================================
470.46/473.01	c 473	restarts              : 18
470.46/473.01	c 473	conflicts             : 262620         (585 /sec)
470.46/473.01	c 473	decisions             : 362507         (0.95 % random) (807 /sec)
470.46/473.01	c 473	propagations          : 170538552      (379763 /sec)
470.46/473.01	c 473	conflict literals     : 5125671        (44.56 % deleted)
470.46/473.01	c 473	Memory used           : 34.84 MB
470.46/473.01	c 473	CPU time              : 449.066 s
470.46/473.01	c 473	
470.46/473.01	c 473	UNSATISFIABLE
470.46/473.02	c 473	NOT FOUND: _COST <= 170
470.46/473.02	c 473	OBJECTIVE BOUND: 171 <= _COST <= 341
470.46/473.02	c 473	SEARCHING: _COST <= 256
470.46/473.02	c 473	SOLVING HOME/temp.cnf
470.46/473.02	c 473	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
470.46/473.03	c 473	This is MiniSat 2.0 beta
470.46/473.03	c 473	WARNING: for repeatability, setting FPU to use double precision
470.46/473.03	c 473	============================[ Problem Statistics ]=============================
470.46/473.03	c 473	|                                                                             |
470.46/473.03	c 473	|  Number of variables:  12642                                                |
470.46/473.03	c 473	|  Number of clauses:    614090                                               |
470.49/473.35	c 473	|  Parsing time:         0.28         s                                       |
470.49/473.62	c 474	============================[ Search Statistics ]==============================
470.49/473.62	c 474	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
470.49/473.62	c 474	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
470.49/473.62	c 474	===============================================================================
470.49/473.62	c 474	|         0 |    8307   328395   962715 |   109465        0    nan |  0.000 % |
470.49/473.86	c 474	|       100 |    8304   328395   962715 |   120411       95     13 | 34.979 % |
470.49/473.97	c 474	|       251 |    8302   328395   962715 |   132452      244     17 | 35.240 % |
471.45/474.07	c 474	|       478 |    8302   328395   962715 |   145697      470     20 | 35.366 % |
471.65/474.27	c 474	|       815 |    8301   328395   962715 |   160267      805     18 | 35.612 % |
471.95/474.53	c 475	|      1321 |    8301   328395   962715 |   176294     1310     19 | 35.833 % |
472.35/474.98	c 475	|      2080 |    8301   328395   962715 |   193923     2067     19 | 36.086 % |
473.04/475.69	c 476	|      3219 |    8080   315877   925965 |   213316     3205     20 | 36.086 % |
473.93/476.57	c 477	|      4927 |    8050   314026   920512 |   234647     4911     20 | 36.324 % |
475.53/478.14	c 478	|      7490 |    8050   314026   920512 |   258112     7474     21 | 36.324 % |
478.02/480.68	c 481	|     11334 |    8031   313208   918126 |   283924    11317     21 | 36.474 % |
481.79/484.47	c 484	|     17101 |    8001   311603   913415 |   312316    17077     21 | 36.711 % |
488.46/491.20	c 491	|     25752 |    7879   304362   892102 |   343548    25719     20 | 37.676 % |
500.80/503.51	c 503	|     38729 |    7879   304362   892102 |   377902    38696     19 | 37.676 % |
523.20/526.09	c 526	|     58190 |    7879   304362   892102 |   415693    58157     25 | 37.676 % |
567.98/571.06	c 571	|     87383 |    7879   304362   892102 |   457262    87350     28 | 37.676 % |
640.04/643.46	c 643	|    131173 |    7879   304362   892102 |   502988   131140     28 | 37.676 % |
767.80/771.81	c 772	|    196858 |    7863   303376   889198 |   553287   196824     28 | 37.803 % |
1006.55/1011.72	c 1012	|    295385 |    7863   303376   889198 |   608616   295351     28 | 37.803 % |
1545.64/1553.49	c 1553	|    443174 |    7848   302552   886777 |   669477   443137     30 | 38.024 % |
2618.19/2631.17	c 2631	|    664859 |    7835   301498   883654 |   736425   664822     30 | 38.024 % |
3600.05/3617.73	c ERROR INTERRUPTED
3600.05/3617.74	c 3618	CPU 470.06 (0.04 0.01 470.02 0.42)
3600.05/3617.74	c 3618	END Tue Jul 22 23:01:21 2008

Verifier Data (download as text)

OK	327	354
327 unsatisfied constraints, 354 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-1127276-1216756863/watcher-1127276-1216756863 -o /tmp/evaluation-result-1127276-1216756863/solver-1127276-1216756863 -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-1127276-1216756863.xml 

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


[startup+0 s]
/proc/loadavg: 1.08 1.02 1.01 4/68 5319
/proc/meminfo: memFree=1567056/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=12268 CPUtime=0
/proc/5319/stat : 5319 (sugar) R 5316 5319 5247 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 2779041 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 233632922213 0 0 4224 0 0 0 0 17 1 0 0
/proc/5319/statm: 3067 316 241 3 0 167 0

[startup+0.0755371 s]
/proc/loadavg: 1.08 1.02 1.01 4/68 5319
/proc/meminfo: memFree=1567056/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13600 CPUtime=0.03
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 2779041 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.10154 s]
/proc/loadavg: 1.08 1.02 1.01 4/68 5319
/proc/meminfo: memFree=1567056/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13600 CPUtime=0.03
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 2779041 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.303649 s]
/proc/loadavg: 1.08 1.02 1.01 4/68 5319
/proc/meminfo: memFree=1567056/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13600 CPUtime=0.03
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 2779041 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701603 s]
/proc/loadavg: 1.08 1.02 1.01 4/68 5319
/proc/meminfo: memFree=1567056/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13600 CPUtime=0.41
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 957 4470 0 60 3 0 29 9 17 0 1 0 2779041 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13600

[startup+1.50268 s]
/proc/loadavg: 1.08 1.02 1.01 4/93 5366
/proc/meminfo: memFree=1528392/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13600 CPUtime=0.41
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 974 4470 0 60 3 0 29 9 15 0 1 0 2779041 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3400 797 370 3 0 500 0
[pid=5347] ppid=5319 vsize=5356 CPUtime=0
/proc/5347/stat : 5347 (sh) S 5319 5319 5247 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2779106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5347/statm: 1339 233 193 169 0 50 0
[pid=5348] ppid=5347 vsize=869156 CPUtime=0.92
/proc/5348/stat : 5348 (java) S 5347 5319 5247 0 -1 0 5350 0 5 0 88 4 0 0 18 0 9 0 2779106 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5348/statm: 217289 4788 1730 9 0 211864 0
[pid=5348/tid=5349] ppid=5347 vsize=869156 CPUtime=0.69
/proc/5348/task/5349/stat : 5349 (java) R 5347 5319 5247 0 -1 64 2663 0 5 0 68 1 0 0 21 0 9 0 2779107 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4125979183 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5348/tid=5350] ppid=5347 vsize=869156 CPUtime=0.02
/proc/5348/task/5350/stat : 5350 (java) S 5347 5319 5247 0 -1 64 544 0 0 0 2 0 0 0 16 0 9 0 2779108 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5348/tid=5351] ppid=5347 vsize=869156 CPUtime=0
/proc/5348/task/5351/stat : 5351 (java) S 5347 5319 5247 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 2779108 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5348/tid=5352] ppid=5347 vsize=869156 CPUtime=0
/proc/5348/task/5352/stat : 5352 (java) S 5347 5319 5247 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 2779108 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5348/tid=5353] ppid=5347 vsize=869156 CPUtime=0
/proc/5348/task/5353/stat : 5353 (java) S 5347 5319 5247 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2779110 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5348/tid=5354] ppid=5347 vsize=869156 CPUtime=0.19
/proc/5348/task/5354/stat : 5354 (java) R 5347 5319 5247 0 -1 64 1452 0 0 0 18 1 0 0 22 0 9 0 2779110 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 101770726 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5348/tid=5355] ppid=5347 vsize=869156 CPUtime=0
/proc/5348/task/5355/stat : 5355 (java) S 5347 5319 5247 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2779110 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5348/tid=5356] ppid=5347 vsize=869156 CPUtime=0
/proc/5348/task/5356/stat : 5356 (java) S 5347 5319 5247 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2779110 890015744 4788 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 888112

[startup+3.10185 s]
/proc/loadavg: 1.08 1.02 1.01 3/93 5366
/proc/meminfo: memFree=1505480/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=2.69
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1074 11740 0 65 4 0 239 26 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 13732

[startup+6.30115 s]
/proc/loadavg: 1.15 1.03 1.02 3/76 5369
/proc/meminfo: memFree=1462928/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=2.69
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1074 11740 0 65 4 0 239 26 15 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5368] ppid=5319 vsize=5356 CPUtime=0
/proc/5368/stat : 5368 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2779330 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5368/statm: 1339 232 193 169 0 50 0
[pid=5369] ppid=5368 vsize=26620 CPUtime=3.36
/proc/5369/stat : 5369 (minisat) R 5368 5319 5247 0 -1 4194304 6462 0 0 0 332 4 0 0 25 0 1 0 2779331 27258880 6448 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/5369/statm: 6655 6448 76 150 0 6502 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 45708

[startup+12.7018 s]
/proc/loadavg: 1.22 1.05 1.02 3/76 5369
/proc/meminfo: memFree=1461776/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=2.69
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1074 11740 0 65 4 0 239 26 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5368] ppid=5319 vsize=5356 CPUtime=0
/proc/5368/stat : 5368 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2779330 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5368/statm: 1339 232 193 169 0 50 0
[pid=5369] ppid=5368 vsize=26772 CPUtime=9.74
/proc/5369/stat : 5369 (minisat) R 5368 5319 5247 0 -1 4194304 6477 0 0 0 970 4 0 0 25 0 1 0 2779331 27414528 6463 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/5369/statm: 6693 6463 76 150 0 6540 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 45860

[startup+25.503 s]
/proc/loadavg: 1.39 1.09 1.04 3/76 5381
/proc/meminfo: memFree=1459536/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=21.33
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1194 22396 0 66 4 1 2095 33 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5380] ppid=5319 vsize=5356 CPUtime=0
/proc/5380/stat : 5380 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2781209 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5380/statm: 1339 232 193 169 0 50 0
[pid=5381] ppid=5380 vsize=26888 CPUtime=3.78
/proc/5381/stat : 5381 (minisat) R 5380 5319 5247 0 -1 4194304 6542 0 0 0 374 4 0 0 25 0 1 0 2781209 27533312 6528 996147200 134512640 135127466 4294956256 18446744073709551615 134530668 0 0 4096 3 0 0 0 17 1 0 0
/proc/5381/statm: 6722 6528 75 150 0 6569 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 45976

[startup+51.1025 s]
/proc/loadavg: 1.60 1.17 1.06 3/76 5381
/proc/meminfo: memFree=1455376/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=21.33
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1194 22396 0 66 4 1 2095 33 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5380] ppid=5319 vsize=5356 CPUtime=0
/proc/5380/stat : 5380 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2781209 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5380/statm: 1339 232 193 169 0 50 0
[pid=5381] ppid=5380 vsize=27192 CPUtime=29.26
/proc/5381/stat : 5381 (minisat) R 5380 5319 5247 0 -1 4194304 6596 0 0 0 2921 5 0 0 25 0 1 0 2781209 27844608 6582 996147200 134512640 135127466 4294956256 18446744073709551615 134530613 0 0 4096 3 0 0 0 17 1 0 0
/proc/5381/statm: 6798 6582 75 150 0 6645 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 46280

[startup+102.306 s]
/proc/loadavg: 1.82 1.29 1.11 3/76 5391
/proc/meminfo: memFree=1453904/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=21.33
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1194 22396 0 66 4 1 2095 33 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5380] ppid=5319 vsize=5356 CPUtime=0
/proc/5380/stat : 5380 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2781209 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5380/statm: 1339 232 193 169 0 50 0
[pid=5381] ppid=5380 vsize=27724 CPUtime=80.21
/proc/5381/stat : 5381 (minisat) R 5380 5319 5247 0 -1 4194304 6709 0 0 0 8016 5 0 0 25 0 1 0 2781209 28389376 6687 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/5381/statm: 6931 6687 75 150 0 6778 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 46812

[startup+162.302 s]
/proc/loadavg: 1.93 1.42 1.16 3/76 5391
/proc/meminfo: memFree=1450064/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=21.33
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1194 22396 0 66 4 1 2095 33 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5380] ppid=5319 vsize=5356 CPUtime=0
/proc/5380/stat : 5380 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2781209 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5380/statm: 1339 232 193 169 0 50 0
[pid=5381] ppid=5380 vsize=30332 CPUtime=139.91
/proc/5381/stat : 5381 (minisat) R 5380 5319 5247 0 -1 4194304 7341 0 0 0 13985 6 0 0 25 0 1 0 2781209 31059968 7319 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/5381/statm: 7583 7319 75 150 0 7430 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (KiB) 49420

[startup+222.303 s]
/proc/loadavg: 1.97 1.52 1.21 3/76 5391
/proc/meminfo: memFree=1445392/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=21.33
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1194 22396 0 66 4 1 2095 33 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5380] ppid=5319 vsize=5356 CPUtime=0
/proc/5380/stat : 5380 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2781209 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5380/statm: 1339 232 193 169 0 50 0
[pid=5381] ppid=5380 vsize=32108 CPUtime=199.62
/proc/5381/stat : 5381 (minisat) R 5380 5319 5247 0 -1 4194304 7799 0 0 0 19956 6 0 0 25 0 1 0 2781209 32878592 7777 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/5381/statm: 8027 7777 75 150 0 7874 0
Current children cumulated CPU time (s) 220.95
Current children cumulated vsize (KiB) 51196

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

/proc/meminfo: memFree=1232144/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144352 CPUtime=2676.35
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35004 0 0 0 267594 41 0 0 25 0 1 0 2826344 147816448 34990 996147200 134512640 135127466 4294956256 18446744073709551615 134530684 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36088 34990 75 150 0 35935 0
Current children cumulated CPU time (s) 3146.84
Current children cumulated vsize (KiB) 163440

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 5395
/proc/meminfo: memFree=1230416/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144352 CPUtime=2736.06
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35004 0 0 0 273565 41 0 0 25 0 1 0 2826344 147816448 34990 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36088 34990 75 150 0 35935 0
Current children cumulated CPU time (s) 3206.55
Current children cumulated vsize (KiB) 163440

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 5395
/proc/meminfo: memFree=1229008/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144352 CPUtime=2795.78
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35004 0 0 0 279537 41 0 0 25 0 1 0 2826344 147816448 34990 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36088 34990 75 150 0 35935 0
Current children cumulated CPU time (s) 3266.27
Current children cumulated vsize (KiB) 163440

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 5395
/proc/meminfo: memFree=1227472/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144352 CPUtime=2855.49
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35005 0 0 0 285508 41 0 0 25 0 1 0 2826344 147816448 34991 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36088 34991 75 150 0 35935 0
Current children cumulated CPU time (s) 3325.98
Current children cumulated vsize (KiB) 163440

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 5395
/proc/meminfo: memFree=1226064/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144352 CPUtime=2915.21
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35005 0 0 0 291480 41 0 0 25 0 1 0 2826344 147816448 34991 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36088 34991 75 150 0 35935 0
Current children cumulated CPU time (s) 3385.7
Current children cumulated vsize (KiB) 163440

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 5395
/proc/meminfo: memFree=1224144/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144352 CPUtime=2974.92
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35007 0 0 0 297451 41 0 0 25 0 1 0 2826344 147816448 34993 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36088 34993 75 150 0 35935 0
Current children cumulated CPU time (s) 3445.41
Current children cumulated vsize (KiB) 163440

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 5395
/proc/meminfo: memFree=1222608/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144516 CPUtime=3034.62
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35042 0 0 0 303421 41 0 0 25 0 1 0 2826344 147984384 35028 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36129 35028 75 150 0 35976 0
Current children cumulated CPU time (s) 3505.11
Current children cumulated vsize (KiB) 163604

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 5395
/proc/meminfo: memFree=1221200/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144516 CPUtime=3094.34
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35045 0 0 0 309393 41 0 0 25 0 1 0 2826344 147984384 35031 996147200 134512640 135127466 4294956256 18446744073709551615 134530682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36129 35031 75 150 0 35976 0
Current children cumulated CPU time (s) 3564.83
Current children cumulated vsize (KiB) 163604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.7 s]
/proc/loadavg: 2.25 2.06 1.93 4/71 5424
/proc/meminfo: memFree=1374264/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144596 CPUtime=3129.56
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35048 0 0 0 312910 46 0 0 25 0 1 0 2826344 148066304 35034 996147200 134512640 135127466 4294956256 18446744073709551615 134522643 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36149 35034 75 150 0 35996 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 163684

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

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

[startup+3617.7 s]
/proc/loadavg: 2.25 2.06 1.93 4/71 5424
/proc/meminfo: memFree=1374264/2055920 swapFree=4192956/4192956
[pid=5319] ppid=5316 vsize=13732 CPUtime=470.49
/proc/5319/stat : 5319 (sugar) S 5316 5319 5247 0 -1 4194304 1249 31328 0 66 4 1 47002 42 16 0 1 0 2779041 14061568 822 996147200 4194304 4206940 548682068592 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5319/statm: 3433 822 374 3 0 533 0
[pid=5392] ppid=5319 vsize=5356 CPUtime=0
/proc/5392/stat : 5392 (sh) S 5319 5319 5247 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2826343 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5392/statm: 1339 232 193 169 0 50 0
[pid=5393] ppid=5392 vsize=144596 CPUtime=3129.56
/proc/5393/stat : 5393 (minisat) R 5392 5319 5247 0 -1 4194304 35048 0 0 0 312910 46 0 0 25 0 1 0 2826344 148066304 35034 996147200 134512640 135127466 4294956256 18446744073709551615 134522643 0 0 4096 3 0 0 0 17 1 0 0
/proc/5393/statm: 36149 35034 75 150 0 35996 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 163684

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5319 and gives
#  childrusage.ru_utime.tv_sec=470
#  childrusage.ru_utime.tv_usec=73537
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=447931
# CPU time returned by wait4() is 470.521
# while last known CPU time is 3600.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3617.75
CPU time (s): 3600.05
CPU user time (s): 3599.16
CPU system time (s): 0.89
CPU usage (%): 99.5108
Max. virtual memory (cumulated for all children) (KiB): 888224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 470.074
system time used= 0.447931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32920
page faults= 66
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4295
involuntary context switches= 9102

runsolver used 3.40148 second user time and 9.91449 second system time

The end

Launcher Data (download as text)

Begin job on node3 at 2008-07-22 22:01:03
IDJOB=1127276
IDBENCH=63154
IDSOLVER=368
FILE ID=node3/1127276-1216756863
PBS_JOBID= 7974078
Free space on /tmp= 66564 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2400-421728_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-1127276-1216756863/watcher-1127276-1216756863 -o /tmp/evaluation-result-1127276-1216756863/solver-1127276-1216756863 -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-1127276-1216756863.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 444fba7ce5c5225f8865fba30849fed8
RANDOM SEED=170124703

node3.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.213
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.213
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:       1568496 kB
Buffers:         25868 kB
Cached:         380500 kB
SwapCached:          0 kB
Active:         182972 kB
Inactive:       237744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568496 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2000 kB
Writeback:           0 kB
Mapped:          24120 kB
Slab:            52464 kB
Committed_AS:    53436 kB
PageTables:       1608 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= 66552 MiB
End job on node3 at 2008-07-22 23:01:23