Trace number 1128211

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar++ v1.13+minisat-incMSAT (TO) 3600.06 3618.11

General information on the benchmark

Namemaxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/
normalized-kbtree-9-7-3-5-90-08_ext.xml
MD5SUM316b689f369f28d26d06bdc153b6f83b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints123
Best CPU time to get the best result obtained on this benchmark0.310951
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints189
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension189
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05/0.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.07	c 0	BEGIN Wed Jul 23 04:38:40 2008
0.05/0.07	c 0	PID 8919
0.05/0.07	c 0	HOST node49.alineos.net
0.05/0.07	c 0	CONVERTING HOME/instance-1128211-1216780719.xml TO HOME/temp.csp
0.05/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1128211-1216780719.xml' 'HOME/temp.csp'
0.06/0.50	c 0	1 domains, 28 variables, 0 predicates, 181 relations, 189 constraints
0.06/0.54	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.54	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.36/0.62	c 0	Parsing HOME/temp.csp
0.36/0.72	c 0	parsed 399 expressions
0.36/0.73	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.36/0.73	c 0	MAX CSP: 189 constraints
0.36/0.73	c 0	Converting to clausal form CSP
0.36/0.75	c 0	converted 60 (10%) expressions
0.36/0.76	c 0	converted 119 (20%) expressions
0.36/0.76	c 0	converted 178 (30%) expressions
0.36/0.77	c 0	converted 237 (40%) expressions
0.36/0.78	c 0	converted 296 (50%) expressions
0.36/0.78	c 0	converted 355 (60%) expressions
0.36/0.79	c 0	converted 414 (70%) expressions
0.36/0.79	c 0	converted 473 (80%) expressions
0.36/0.80	c 0	converted 532 (90%) expressions
0.36/0.93	c 0	converted 591 (100%) expressions
0.36/0.93	c 0	CSP : 406 integers, 0 booleans, 566 clauses, largest domain size 284
0.36/0.93	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.36/0.93	c 0	Propagation in CSP
0.36/0.95	c 1	183 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.36/0.95	c 1	CSP : 406 integers, 0 booleans, 566 clauses, largest domain size 190
0.36/0.95	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.36/0.95	c 1	Simplifing CSP by introducing new Boolean variables
0.36/0.95	c 1	CSP : 406 integers, 0 booleans, 566 clauses, largest domain size 190
0.36/0.95	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.36/0.97	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.36/0.98	c 1	41 (10%) CSP integer variables are encoded (84 clauses, 826 bytes)
0.36/0.98	c 1	82 (20%) CSP integer variables are encoded (84 clauses, 826 bytes)
0.36/0.98	c 1	122 (30%) CSP integer variables are encoded (84 clauses, 826 bytes)
0.36/0.98	c 1	163 (40%) CSP integer variables are encoded (84 clauses, 826 bytes)
0.36/0.99	c 1	203 (50%) CSP integer variables are encoded (84 clauses, 826 bytes)
0.36/0.99	c 1	244 (60%) CSP integer variables are encoded (365 clauses, 3917 bytes)
0.36/0.99	c 1	285 (70%) CSP integer variables are encoded (547 clauses, 5919 bytes)
0.36/1.00	c 1	325 (80%) CSP integer variables are encoded (846 clauses, 9523 bytes)
0.79/1.01	c 1	366 (90%) CSP integer variables are encoded (2088 clauses, 25669 bytes)
0.79/1.01	c 1	406 (100%) CSP integer variables are encoded (2481 clauses, 30778 bytes)
0.79/1.03	c 1	57 (10%) CSP clauses are encoded (2803 clauses, 34989 bytes)
0.79/1.05	c 1	114 (20%) CSP clauses are encoded (3139 clauses, 39732 bytes)
0.79/1.05	c 1	170 (30%) CSP clauses are encoded (3461 clauses, 44221 bytes)
0.79/1.07	c 1	227 (40%) CSP clauses are encoded (3875 clauses, 49932 bytes)
0.79/1.08	c 1	283 (50%) CSP clauses are encoded (6371 clauses, 86775 bytes)
0.79/1.08	c 1	340 (60%) CSP clauses are encoded (7212 clauses, 98650 bytes)
0.79/1.09	c 1	397 (70%) CSP clauses are encoded (13889 clauses, 208273 bytes)
0.79/1.10	c 1	453 (80%) CSP clauses are encoded (14793 clauses, 223383 bytes)
0.90/1.14	c 1	510 (90%) CSP clauses are encoded (34462 clauses, 571995 bytes)
0.90/1.17	c 1	566 (100%) CSP clauses are encoded (52922 clauses, 908255 bytes)
0.90/1.17	c 1	566 CSP clauses encoded
0.90/1.17	c 1	Writing map file : HOME/temp.map
0.90/1.18	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.90/1.18	c 1	SAT : 2887 SAT variables, 52922 SAT clauses, 908255 bytes
0.90/1.18	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.97/1.25	c 1	OBJECTIVE minimize _COST
0.97/1.25	c 1	SOLVING HOME/temp.cnf
0.97/1.25	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
0.97/1.25	c 1	This is MiniSat 2.0 beta incremental
0.97/1.25	c 1	WARNING: for repeatability, setting FPU to use double precision
0.97/1.25	c 1	============================[ Problem Statistics ]=============================
0.97/1.25	c 1	|                                                                             |
0.97/1.25	c 1	|  Number of variables:  2887                                                 |
0.97/1.25	c 1	|  Number of clauses:    52922                                                |
0.97/1.28	c 1	|  Parsing time:         0.02         s                                       |
0.97/1.28	c 1	OK
0.97/1.28	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
0.97/1.28	c 1	SEARCHING: _COST <= 95
0.97/1.28	c 1	============================[ Search Statistics ]==============================
0.97/1.28	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.97/1.28	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.97/1.28	c 1	===============================================================================
0.97/1.28	c 1	|         0 |    2887    52922   151284 |    17640        0    nan |  0.000 % |
1.00/1.31	c 1	|       100 |    2885    52922   151284 |    19404       99     14 |  0.321 % |
1.00/1.32	c 1	|       250 |    2885    52922   151284 |    21345      249     13 |  0.321 % |
1.00/1.34	c 1	|       476 |    2885    52922   151284 |    23479      475     15 |  0.321 % |
1.00/1.37	c 1	|       813 |    2885    52922   151284 |    25827      812     16 |  0.321 % |
1.00/1.43	c 1	|      1319 |    2878    52795   150936 |    28410     1318     16 |  0.321 % |
1.00/1.51	c 1	|      2079 |    2878    52795   150936 |    31251     2078     18 |  0.321 % |
1.00/1.64	c 1	|      3219 |    2878    52795   150936 |    34376     3218     18 |  0.321 % |
1.00/1.86	c 1	|      4928 |    2878    52795   150936 |    37814     4927     18 |  0.321 % |
1.93/2.24	c 2	|      7492 |    2878    52795   150936 |    41595     7491     19 |  0.321 % |
2.62/2.96	c 3	|     11336 |    2878    52795   150936 |    45755    11335     20 |  0.321 % |
4.00/4.35	c 4	|     17103 |    2878    52795   150936 |    50330    17102     20 |  0.321 % |
6.48/6.85	c 6	|     25752 |    2878    52795   150936 |    55363    25751     20 |  0.321 % |
11.34/11.79	c 11	|     38726 |    2878    52795   150936 |    60900    38725     20 |  0.321 % |
21.65/22.16	c 22	|     58187 |    2878    52795   150936 |    66990    58186     20 |  0.321 % |
33.74/34.34	c 34	|     87379 |    2878    52795   150936 |    73689    33389     20 |  0.321 % |
60.51/61.38	c 61	|    131168 |    2878    52795   150936 |    81058    17958     18 |  0.321 % |
91.44/92.55	c 92	|    196854 |    2868    52484   150038 |    89164    16273     21 |  0.667 % |
141.30/142.90	c 142	|    295381 |    2868    52484   150038 |    98080    39552     20 |  0.667 % |
234.28/236.65	c 236	|    443172 |    2868    52484   150038 |   107888    23292     19 |  0.667 % |
369.45/372.98	c 373	|    664855 |    2868    52484   150038 |   118677    59501     23 |  0.667 % |
611.84/616.39	c 616	|    997381 |    2868    52484   150038 |   130545    84737     25 |  0.667 % |
998.23/1004.38	c 1004	|   1496171 |    2856    52155   149094 |   143599   122326     26 |  1.083 % |
1595.43/1604.08	c 1604	|   2244353 |    2852    52050   148795 |   157959   102995     23 |  1.222 % |
2170.24/2181.28	c 2181	===============================================================================
2170.24/2181.28	c 2181	restarts              : 24
2170.24/2181.28	c 2181	conflicts             : 2870120       (1323 /sec)
2170.24/2181.28	c 2181	decisions             : 3771941       (0.51 % random) (1739 /sec)
2170.24/2181.28	c 2181	propagations          : 535607440      (246916 /sec)
2170.24/2181.28	c 2181	conflict literals     : 65682314       (43.22 % deleted)
2170.24/2181.28	c 2181	Memory used           : 33.89 MB
2170.24/2181.28	c 2181	CPU time              : 2169.19 s
2170.24/2181.28	c 2181	
2170.24/2181.28	c 2181	UNSATISFIABLE
2170.24/2181.28	c 2181	OK
2170.24/2181.28	c 2181	NOT FOUND: _COST <= 95
2170.24/2181.28	c 2181	OK
2170.24/2181.28	c 2181	OBJECTIVE BOUND: 96 <= _COST <= 
2170.24/2181.28	c 2181	SEARCHING: _COST <= 143
2170.24/2181.28	c 2181	============================[ Search Statistics ]==============================
2170.24/2181.28	c 2181	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2170.24/2181.28	c 2181	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2170.24/2181.28	c 2181	===============================================================================
2170.24/2181.28	c 2181	|   2870120 |    2283    42815   122786 |    14271    14589     15 |  1.222 % |
2170.34/2181.31	c 2181	|   2870221 |    2283    42815   122786 |    15698    14690     15 | 20.926 % |
2170.34/2181.33	c 2181	===============================================================================
2170.34/2181.33	c 2181	restarts              : 26
2170.34/2181.33	c 2181	conflicts             : 2870322       (1323 /sec)
2170.34/2181.33	c 2181	decisions             : 3772424       (0.51 % random) (1739 /sec)
2170.34/2181.33	c 2181	propagations          : 535640451      (246926 /sec)
2170.34/2181.33	c 2181	conflict literals     : 65687962       (43.21 % deleted)
2170.34/2181.33	c 2181	Memory used           : 33.89 MB
2170.34/2181.33	c 2181	CPU time              : 2169.24 s
2170.34/2181.33	c 2181	
2170.34/2181.33	c 2181	SATISFIABLE
2170.34/2181.33	c 2181	OK
2170.34/2181.33	c 2181	FOUND: _COST <= 143
2170.34/2181.33	s SATISFIABLE
2170.34/2181.33	c 2181	DECODING HOME/temp.out WITH HOME/temp.map
2170.34/2181.33	c 2181	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2170.36/2181.42	c 2181	Decoding HOME/temp.out
2170.36/2181.48	c 2181	OBJECTIVE _COST 143
2170.36/2181.48	o 143
2170.36/2181.48	v 3 4 3 4 4 3 4 3 2 1 4 3 4 3 3 4 4 4 1 2 4 4 1 4 1 1 4 4
2170.36/2181.48	c 2181	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2170.36/2181.53	c 2181	OK
2170.36/2181.53	c 2181	OBJECTIVE BOUND: 96 <= _COST <= 143
2170.36/2181.53	c 2181	SEARCHING: _COST <= 119
2170.36/2181.54	c 2181	============================[ Search Statistics ]==============================
2170.36/2181.56	c 2181	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2170.36/2181.56	c 2181	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2170.36/2181.56	c 2181	===============================================================================
2170.36/2181.56	c 2181	|   2870322 |    2283    42815   122786 |    14271    14791     15 | 20.926 % |
2170.36/2181.56	c 2181	|   2870425 |    2283    42815   122786 |    15698    14894     15 | 33.670 % |
2170.36/2181.58	c 2181	|   2870575 |    2283    42815   122786 |    17268    15044     15 | 33.670 % |
2170.60/2181.63	c 2181	|   2870801 |    2283    42815   122786 |    18995    15270     15 | 33.670 % |
2170.60/2181.69	c 2181	|   2871139 |    2283    42815   122786 |    20895    15608     16 | 33.670 % |
2170.70/2181.80	c 2181	|   2871645 |    2283    42815   122786 |    22984    16114     16 | 33.670 % |
2170.90/2181.90	c 2181	|   2872407 |    2283    42815   122786 |    25283    16876     16 | 33.670 % |
2171.00/2182.09	c 2182	|   2873547 |    1915    34574    99166 |    27811    18016     17 | 33.670 % |
2171.30/2182.36	c 2182	|   2875255 |    1915    34574    99166 |    30592    19724     18 | 33.670 % |
2171.79/2182.87	c 2182	|   2877817 |    1915    34574    99166 |    33651    22286     18 | 33.670 % |
2172.58/2183.64	c 2183	|   2881661 |    1915    34574    99166 |    37017    26130     20 | 33.670 % |
2173.98/2185.03	c 2185	|   2887430 |    1915    34574    99166 |    40718    31899     22 | 33.670 % |
2176.77/2187.82	c 2187	|   2896082 |    1915    34574    99166 |    44790    40551     23 | 33.670 % |
2180.75/2191.86	c 2191	|   2909059 |    1915    34574    99166 |    49269    19667     23 | 33.670 % |
2186.32/2197.49	c 2197	|   2928520 |    1915    34574    99166 |    54196    39128     24 | 33.670 % |
2196.27/2207.41	c 2207	|   2957712 |    1915    34574    99166 |    59616    25705     23 | 33.670 % |
2216.97/2228.27	c 2228	|   3001501 |    1915    34574    99166 |    65577    23338     23 | 33.670 % |
2246.62/2258.00	c 2258	|   3067185 |    1915    34574    99166 |    72135    36060     22 | 33.670 % |
2295.38/2307.05	c 2307	|   3165711 |    1915    34574    99166 |    79349    17384     27 | 33.670 % |
2372.19/2384.26	c 2384	|   3313500 |    1915    34574    99166 |    87284    36127     25 | 33.670 % |
2499.07/2511.79	c 2511	|   3535185 |    1915    34574    99166 |    96012    38879     30 | 33.670 % |
2717.09/2730.86	c 2730	|   3867712 |    1915    34574    99166 |   105613    51700     27 | 33.670 % |
3083.58/3099.12	c 3099	|   4366500 |    1915    34574    99166 |   116175    97342     26 | 33.670 % |
3600.02/3618.11	c ERROR INTERRUPTED
3600.02/3618.11	c 3618	CPU 3599.71 (0.05 0.02 3599.66 0.31)
3600.02/3618.11	c 3618	END Wed Jul 23 05:38:58 2008

Verifier Data (download as text)

OK	134	55
134 unsatisfied constraints, 55 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-1128211-1216780719/watcher-1128211-1216780719 -o /tmp/evaluation-result-1128211-1216780719/solver-1128211-1216780719 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1128211-1216780719.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.61 2.70 2.63 4/80 8919
/proc/meminfo: memFree=1159608/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=12268 CPUtime=0
/proc/8919/stat : 8919 (sugar++) R 8917 8919 8270 0 -1 4194304 348 0 0 0 0 0 0 0 23 0 1 0 5157261 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 224627751525 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/8919/statm: 3067 316 241 3 0 167 0

[startup+0.0647091 s]
/proc/loadavg: 2.61 2.70 2.63 4/80 8919
/proc/meminfo: memFree=1159608/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16344 CPUtime=0.05
/proc/8919/stat : 8919 (sugar++) R 8917 8919 8270 0 -1 4194304 1004 0 0 0 4 1 0 0 22 0 1 0 5157261 16736256 972 996147200 4194304 4206940 548682068528 18446744073709551615 224645234748 0 0 4224 0 0 0 0 17 0 0 0
/proc/8919/statm: 4086 972 380 3 0 665 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16344

[startup+0.101713 s]
/proc/loadavg: 2.61 2.70 2.63 4/80 8919
/proc/meminfo: memFree=1159608/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16740 CPUtime=0.06
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1219 128 0 0 5 1 0 0 22 0 1 0 5157261 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301761 s]
/proc/loadavg: 2.61 2.70 2.63 4/80 8919
/proc/meminfo: memFree=1159608/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16740 CPUtime=0.06
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1219 128 0 0 5 1 0 0 22 0 1 0 5157261 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701848 s]
/proc/loadavg: 2.61 2.70 2.63 4/80 8919
/proc/meminfo: memFree=1159608/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16740 CPUtime=0.36
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1296 4418 0 1 5 1 26 4 16 0 1 0 5157261 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 16740

[startup+1.50203 s]
/proc/loadavg: 2.61 2.70 2.63 3/91 8941
/proc/meminfo: memFree=1144744/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 15 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 16872

[startup+3.10238 s]
/proc/loadavg: 2.61 2.70 2.63 4/82 8942
/proc/meminfo: memFree=1151536/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 15 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=5632 CPUtime=1.82
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 1311 0 0 0 182 0 0 0 25 0 1 0 5157387 5767168 1259 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 1408 1259 73 151 0 1254 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 22504

[startup+6.30109 s]
/proc/loadavg: 2.56 2.68 2.62 4/82 8942
/proc/meminfo: memFree=1149808/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=7104 CPUtime=4.99
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 1673 0 0 0 498 1 0 0 25 0 1 0 5157387 7274496 1621 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 1776 1621 73 151 0 1622 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 23976

[startup+12.7015 s]
/proc/loadavg: 2.52 2.67 2.62 4/82 8942
/proc/meminfo: memFree=1147696/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=9068 CPUtime=11.33
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 2168 0 0 0 1132 1 0 0 25 0 1 0 5157387 9285632 2116 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 2267 2116 73 151 0 2113 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 25940

[startup+25.5013 s]
/proc/loadavg: 2.62 2.69 2.62 4/82 8942
/proc/meminfo: memFree=1144816/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=12120 CPUtime=24.01
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 2876 0 0 0 2399 2 0 0 25 0 1 0 5157387 12410880 2824 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 3030 2824 73 151 0 2876 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 28992

[startup+51.102 s]
/proc/loadavg: 2.63 2.68 2.62 3/82 8942
/proc/meminfo: memFree=1143984/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=12820 CPUtime=49.39
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 3085 0 0 0 4937 2 0 0 25 0 1 0 5157387 13127680 3033 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 3205 3033 73 151 0 3051 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 29692

[startup+102.306 s]
/proc/loadavg: 2.84 2.73 2.64 4/82 8942
/proc/meminfo: memFree=1141552/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=15192 CPUtime=100.16
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 3665 0 0 0 10013 3 0 0 25 0 1 0 5157387 15556608 3613 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 3798 3613 73 151 0 3644 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 32064

[startup+162.302 s]
/proc/loadavg: 2.63 2.68 2.63 4/82 8942
/proc/meminfo: memFree=1140208/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=16600 CPUtime=159.62
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 3989 0 0 0 15959 3 0 0 25 0 1 0 5157387 16998400 3937 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 4150 3937 73 151 0 3996 0
Current children cumulated CPU time (s) 160.62
Current children cumulated vsize (KiB) 33472

[startup+222.302 s]
/proc/loadavg: 2.49 2.63 2.62 4/82 8942
/proc/meminfo: memFree=1138480/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=18476 CPUtime=219.11
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 4417 0 0 0 21907 4 0 0 25 0 1 0 5157387 18919424 4365 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 4619 4365 73 151 0 4465 0
Current children cumulated CPU time (s) 220.11
Current children cumulated vsize (KiB) 35348

[startup+282.302 s]
/proc/loadavg: 2.59 2.62 2.61 4/82 8942
/proc/meminfo: memFree=1136816/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=20360 CPUtime=278.59
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 4867 0 0 0 27855 4 0 0 25 0 1 0 5157387 20848640 4815 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 5090 4815 73 151 0 4936 0
Current children cumulated CPU time (s) 279.59
Current children cumulated vsize (KiB) 37232

[startup+342.302 s]
/proc/loadavg: 2.58 2.61 2.61 4/82 8942
/proc/meminfo: memFree=1135472/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=21380 CPUtime=338.05
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 5132 0 0 0 33801 4 0 0 25 0 1 0 5157387 21893120 5080 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 5345 5080 73 151 0 5191 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 38252

[startup+402.302 s]
/proc/loadavg: 2.24 2.51 2.57 3/83 8983
/proc/meminfo: memFree=1199720/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1468 10982 0 2 5 2 84 9 16 0 1 0 5157261 17276928 1117 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8919/statm: 4218 1117 414 3 0 797 0
[pid=8942] ppid=8919 vsize=22196 CPUtime=397.73
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 5320 0 0 0 39767 6 0 0 25 0 1 0 5157387 22728704 5268 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/8942/statm: 5549 5268 73 151 0 5395 0
Current children cumulated CPU time (s) 398.73
Current children cumulated vsize (KiB) 39068

[startup+462.301 s]
/proc/loadavg: 2.09 2.42 2.53 3/83 8983
/proc/meminfo: memFree=1198568/2055920 swapFree=4192956/4192956

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

[pid=8942] ppid=8919 vsize=37532 CPUtime=2906.48
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 8872 0 0 0 290633 15 0 0 25 0 1 0 5157387 38432768 8816 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 9383 8816 79 151 0 9229 0
Current children cumulated CPU time (s) 2907.65
Current children cumulated vsize (KiB) 54404

[startup+2982.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 9001
/proc/meminfo: memFree=1183656/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=37712 CPUtime=2966.18
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 8910 0 0 0 296603 15 0 0 25 0 1 0 5157387 38617088 8854 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 9428 8854 79 151 0 9274 0
Current children cumulated CPU time (s) 2967.35
Current children cumulated vsize (KiB) 54584

[startup+3042.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 9001
/proc/meminfo: memFree=1183528/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=37924 CPUtime=3025.89
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 8960 0 0 0 302574 15 0 0 25 0 1 0 5157387 38834176 8904 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 9481 8904 79 151 0 9327 0
Current children cumulated CPU time (s) 3027.06
Current children cumulated vsize (KiB) 54796

[startup+3102.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/83 9001
/proc/meminfo: memFree=1182888/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=38540 CPUtime=3085.59
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 9095 0 0 0 308544 15 0 0 25 0 1 0 5157387 39464960 9039 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 9635 9039 79 151 0 9481 0
Current children cumulated CPU time (s) 3086.76
Current children cumulated vsize (KiB) 55412

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 9001
/proc/meminfo: memFree=1181928/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=39380 CPUtime=3145.3
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 9311 0 0 0 314514 16 0 0 25 0 1 0 5157387 40325120 9255 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 9845 9255 79 151 0 9691 0
Current children cumulated CPU time (s) 3146.47
Current children cumulated vsize (KiB) 56252

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 9001
/proc/meminfo: memFree=1180776/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=40792 CPUtime=3205
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 9620 0 0 0 320484 16 0 0 25 0 1 0 5157387 41771008 9564 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 10198 9564 79 151 0 10044 0
Current children cumulated CPU time (s) 3206.17
Current children cumulated vsize (KiB) 57664

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 9001
/proc/meminfo: memFree=1178088/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=43188 CPUtime=3264.71
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10239 0 0 0 326454 17 0 0 25 0 1 0 5157387 44224512 10183 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 10797 10183 79 151 0 10643 0
Current children cumulated CPU time (s) 3265.88
Current children cumulated vsize (KiB) 60060

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 9001
/proc/meminfo: memFree=1177192/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=44196 CPUtime=3324.41
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10446 0 0 0 332424 17 0 0 25 0 1 0 5157387 45256704 10390 996147200 134512640 135134323 4294956192 18446744073709551615 134524710 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 11049 10390 79 151 0 10895 0
Current children cumulated CPU time (s) 3325.58
Current children cumulated vsize (KiB) 61068

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 9001
/proc/meminfo: memFree=1177256/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=44196 CPUtime=3384.12
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10461 0 0 0 338395 17 0 0 25 0 1 0 5157387 45256704 10405 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 11049 10405 79 151 0 10895 0
Current children cumulated CPU time (s) 3385.29
Current children cumulated vsize (KiB) 61068

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 9001
/proc/meminfo: memFree=1177128/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=44336 CPUtime=3443.82
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10492 0 0 0 344365 17 0 0 25 0 1 0 5157387 45400064 10436 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 11084 10436 79 151 0 10930 0
Current children cumulated CPU time (s) 3444.99
Current children cumulated vsize (KiB) 61208

[startup+3522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 9001
/proc/meminfo: memFree=1176040/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=45484 CPUtime=3503.52
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10744 0 0 0 350334 18 0 0 25 0 1 0 5157387 46575616 10688 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 11371 10688 79 151 0 11217 0
Current children cumulated CPU time (s) 3504.69
Current children cumulated vsize (KiB) 62356

[startup+3582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 9001
/proc/meminfo: memFree=1175272/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=46260 CPUtime=3563.23
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10946 0 0 0 356305 18 0 0 25 0 1 0 5157387 47370240 10890 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 11565 10890 79 151 0 11411 0
Current children cumulated CPU time (s) 3564.4
Current children cumulated vsize (KiB) 63132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 9001
/proc/meminfo: memFree=1175016/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=46544 CPUtime=3598.85
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10994 0 0 0 359867 18 0 0 25 0 1 0 5157387 47661056 10938 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 11636 10938 79 151 0 11482 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 63416

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

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

[startup+3618.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 9001
/proc/meminfo: memFree=1175016/2055920 swapFree=4192956/4192956
[pid=8919] ppid=8917 vsize=16872 CPUtime=1.17
/proc/8919/stat : 8919 (sugar++) S 8917 8919 8270 0 -1 4194304 1554 14727 0 3 5 2 98 12 16 0 1 0 5157261 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224636481634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8919/statm: 4218 1119 414 3 0 797 0
[pid=8942] ppid=8919 vsize=46544 CPUtime=3598.85
/proc/8942/stat : 8942 (minisat-inc) R 8919 8919 8270 0 -1 4194304 10994 0 0 0 359867 18 0 0 25 0 1 0 5157387 47661056 10938 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 1 0 0
/proc/8942/statm: 11636 10938 79 151 0 11482 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 63416

Child status: 0
Real time (s): 3618.11
CPU time (s): 3600.06
CPU user time (s): 3599.72
CPU system time (s): 0.336948
CPU usage (%): 99.501
Max. virtual memory (cumulated for all children) (KiB): 890572

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

runsolver used 3.19651 second user time and 9.97948 second system time

The end

Launcher Data (download as text)

Begin job on node49 at 2008-07-23 04:38:40
IDJOB=1128211
IDBENCH=64939
IDSOLVER=367
FILE ID=node49/1128211-1216780719
PBS_JOBID= 7974242
Free space on /tmp= 66540 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/normalized-kbtree-9-7-3-5-90-08_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1128211-1216780719/watcher-1128211-1216780719 -o /tmp/evaluation-result-1128211-1216780719/solver-1128211-1216780719 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1128211-1216780719.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 316b689f369f28d26d06bdc153b6f83b
RANDOM SEED=1120666280

node49.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.278
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.278
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:       1160344 kB
Buffers:         34184 kB
Cached:         696544 kB
SwapCached:          0 kB
Active:         400904 kB
Inactive:       421044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1160344 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             844 kB
Writeback:           0 kB
Mapped:         111496 kB
Slab:            58676 kB
Committed_AS:   907588 kB
PageTables:       1928 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB
End job on node49 at 2008-07-23 05:39:00