Trace number 1115331

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.13 3601.52

General information on the benchmark

Namemaxcsp/randomMaxCSP/denseTight/
normalized-vcsp-25-10-25-87-22_ext.xml
MD5SUM48efe20ea0265eff349542735d699973
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints29
Best CPU time to get the best result obtained on this benchmark1.13183
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints75
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Mon Jul 14 11:23:34 2008
0.00/0.08	c 0	PID 20340
0.00/0.08	c 0	HOST node34.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-1115331-1216027414.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115331-1216027414.xml' 'HOME/temp.csp'
0.07/0.30	c 0	1 domains, 25 variables, 0 predicates, 75 relations, 75 constraints
0.07/0.34	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.34	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.28/0.42	c 0	Parsing HOME/temp.csp
0.28/0.49	c 0	parsed 176 expressions
0.28/0.51	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.28/0.51	c 0	MAX CSP: 75 constraints
0.28/0.51	c 0	Converting to clausal form CSP
0.28/0.53	c 0	converted 26 (10%) expressions
0.28/0.53	c 0	converted 51 (20%) expressions
0.28/0.53	c 0	converted 77 (30%) expressions
0.28/0.53	c 0	converted 102 (40%) expressions
0.28/0.55	c 0	converted 127 (50%) expressions
0.28/0.55	c 0	converted 153 (60%) expressions
0.28/0.55	c 0	converted 178 (70%) expressions
0.28/0.56	c 0	converted 204 (80%) expressions
0.28/0.56	c 0	converted 229 (90%) expressions
0.28/0.61	c 0	converted 254 (100%) expressions
0.28/0.61	c 0	CSP : 175 integers, 0 booleans, 224 clauses, largest domain size 113
0.28/0.61	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.28/0.61	c 0	Propagation in CSP
0.28/0.62	c 0	71 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.28/0.62	c 0	CSP : 175 integers, 0 booleans, 224 clauses, largest domain size 76
0.28/0.62	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.28/0.62	c 0	Simplifing CSP by introducing new Boolean variables
0.28/0.62	c 0	CSP : 175 integers, 0 booleans, 224 clauses, largest domain size 76
0.28/0.63	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.28/0.65	c 0	Encoding CSP to SAT : HOME/temp.cnf
0.28/0.66	c 0	18 (10%) CSP integer variables are encoded (144 clauses, 1456 bytes)
0.28/0.66	c 0	35 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.28/0.66	c 0	53 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.28/0.66	c 0	70 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.28/0.66	c 0	88 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.28/0.66	c 0	105 (60%) CSP integer variables are encoded (282 clauses, 2974 bytes)
0.28/0.66	c 0	123 (70%) CSP integer variables are encoded (346 clauses, 3678 bytes)
0.28/0.66	c 0	140 (80%) CSP integer variables are encoded (442 clauses, 4734 bytes)
0.28/0.66	c 0	158 (90%) CSP integer variables are encoded (506 clauses, 5438 bytes)
0.28/0.67	c 0	175 (100%) CSP integer variables are encoded (977 clauses, 10920 bytes)
0.28/0.69	c 0	23 (10%) CSP clauses are encoded (1374 clauses, 17594 bytes)
0.28/0.71	c 0	45 (20%) CSP clauses are encoded (1760 clauses, 24373 bytes)
0.28/0.71	c 0	68 (30%) CSP clauses are encoded (2169 clauses, 32148 bytes)
0.28/0.72	c 0	90 (40%) CSP clauses are encoded (2370 clauses, 35524 bytes)
0.28/0.72	c 0	112 (50%) CSP clauses are encoded (2802 clauses, 41664 bytes)
0.28/0.72	c 0	135 (60%) CSP clauses are encoded (2979 clauses, 44047 bytes)
0.28/0.73	c 0	157 (70%) CSP clauses are encoded (4147 clauses, 61332 bytes)
0.28/0.73	c 0	180 (80%) CSP clauses are encoded (4325 clauses, 63733 bytes)
0.28/0.74	c 0	202 (90%) CSP clauses are encoded (6142 clauses, 89322 bytes)
0.28/0.75	c 0	224 (100%) CSP clauses are encoded (10841 clauses, 166790 bytes)
0.28/0.75	c 0	224 CSP clauses encoded
0.28/0.75	c 0	Writing map file : HOME/temp.map
0.28/0.75	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.28/0.75	c 0	SAT : 1152 SAT variables, 10841 SAT clauses, 166790 bytes
0.28/0.75	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.28/0.81	c 0	OBJECTIVE minimize _COST
0.28/0.81	c 0	SOLVING HOME/temp.cnf
0.28/0.81	c 0	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
0.28/0.81	c 0	This is MiniSat 2.0 beta incremental
0.28/0.81	c 0	WARNING: for repeatability, setting FPU to use double precision
0.28/0.81	c 0	============================[ Problem Statistics ]=============================
0.28/0.81	c 0	|                                                                             |
0.28/0.81	c 0	|  Number of variables:  1152                                                 |
0.28/0.81	c 0	|  Number of clauses:    10841                                                |
0.28/0.81	c 0	|  Parsing time:         0.00         s                                       |
0.28/0.81	c 0	OK
0.28/0.81	c 0	OBJECTIVE BOUND: 0 <= _COST <= 
0.28/0.81	c 0	SEARCHING: _COST <= 38
0.28/0.81	c 0	============================[ Search Statistics ]==============================
0.28/0.81	c 0	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.28/0.81	c 0	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.28/0.81	c 0	===============================================================================
0.28/0.81	c 0	|         0 |    1152    10841    30895 |     3613        0    nan |  0.000 % |
0.28/0.82	c 0	|       101 |    1152    10841    30895 |     3975      101     15 |  0.020 % |
0.28/0.83	c 0	|       252 |    1152    10841    30895 |     4372      252     17 |  0.020 % |
0.28/0.84	c 0	|       477 |    1152    10841    30895 |     4809      477     17 |  0.020 % |
0.28/0.85	c 0	|       814 |    1152    10841    30895 |     5290      814     16 |  0.020 % |
0.28/0.87	c 0	===============================================================================
0.28/0.87	c 0	restarts              : 5
0.28/0.87	c 0	conflicts             : 1211          (18634 /sec)
0.28/0.87	c 0	decisions             : 2029          (0.94 % random) (31220 /sec)
0.28/0.87	c 0	propagations          : 123796         (1904847 /sec)
0.28/0.87	c 0	conflict literals     : 20147          (27.14 % deleted)
0.28/0.87	c 0	Memory used           : 2.32 MB
0.28/0.87	c 0	CPU time              : 0.06499 s
0.28/0.87	c 0	
0.28/0.87	c 0	SATISFIABLE
0.28/0.87	c 0	OK
0.28/0.87	c 0	FOUND: _COST <= 38
0.28/0.87	s SATISFIABLE
0.28/0.87	c 0	DECODING HOME/temp.out WITH HOME/temp.map
0.28/0.87	c 0	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
0.69/0.95	c 1	Decoding HOME/temp.out
0.69/0.99	c 1	OBJECTIVE _COST 38
0.69/0.99	o 38
0.69/1.00	v 5 6 3 9 9 1 3 7 8 1 5 4 3 4 5 4 1 9 7 5 9 9 4 4 8
0.69/1.00	c 1	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
0.69/1.03	c 1	OK
0.69/1.03	c 1	OBJECTIVE BOUND: 0 <= _COST <= 38
0.69/1.03	c 1	SEARCHING: _COST <= 19
0.69/1.03	c 1	============================[ Search Statistics ]==============================
0.69/1.05	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/1.05	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.69/1.05	c 1	===============================================================================
0.69/1.05	c 1	|      1211 |     893     7618    21966 |     2539     1211     17 |  0.020 % |
0.69/1.05	c 1	|      1311 |     893     7618    21966 |     2793     1311     16 | 22.494 % |
0.69/1.05	c 1	|      1462 |     893     7618    21966 |     3072     1462     16 | 22.494 % |
0.69/1.07	c 1	|      1687 |     893     7618    21966 |     3379     1687     15 | 22.494 % |
0.69/1.08	c 1	|      2024 |     893     7618    21966 |     3717     2024     14 | 22.494 % |
0.93/1.11	c 1	|      2530 |     893     7618    21966 |     4089     2530     14 | 22.494 % |
0.93/1.16	c 1	|      3289 |     893     7618    21966 |     4498     3289     14 | 22.494 % |
1.03/1.23	c 1	|      4428 |     893     7618    21966 |     4948     4428     13 | 22.494 % |
1.12/1.36	c 1	|      6138 |     893     7618    21966 |     5443     3394     11 | 22.494 % |
1.32/1.53	c 1	|      8700 |     893     7618    21966 |     5987     5956     12 | 22.494 % |
1.62/1.81	c 1	|     12544 |     893     7618    21966 |     6586     6511     13 | 22.494 % |
2.02/2.27	c 2	|     18313 |     893     7618    21966 |     7245     5063     14 | 22.494 % |
2.72/2.92	c 3	|     26962 |     893     7618    21966 |     7969     5821     13 | 22.494 % |
3.72/3.95	c 4	|     39937 |     893     7618    21966 |     8766     5975     13 | 22.494 % |
5.32/5.60	c 5	|     59398 |     893     7618    21966 |     9643     6600     13 | 22.494 % |
7.91/8.18	c 8	|     88591 |     893     7618    21966 |    10607    10138     15 | 22.494 % |
11.92/12.12	c 12	|    132382 |     893     7618    21966 |    11668     8910     16 | 22.494 % |
18.11/18.33	c 18	|    198068 |     893     7618    21966 |    12834     7014     14 | 22.494 % |
28.10/28.30	c 28	|    296594 |     893     7618    21966 |    14118    11386     17 | 22.494 % |
38.00/38.28	c 38	===============================================================================
38.00/38.28	c 38	restarts              : 24
38.00/38.28	c 38	conflicts             : 396415        (10636 /sec)
38.00/38.28	c 38	decisions             : 476840        (0.94 % random) (12794 /sec)
38.00/38.28	c 38	propagations          : 40542938       (1087807 /sec)
38.00/38.28	c 38	conflict literals     : 6547085        (31.65 % deleted)
38.00/38.28	c 38	Memory used           : 5.10 MB
38.00/38.28	c 38	CPU time              : 37.2703 s
38.00/38.28	c 38	
38.00/38.28	c 38	UNSATISFIABLE
38.00/38.28	c 38	OK
38.00/38.28	c 38	NOT FOUND: _COST <= 19
38.00/38.28	c 38	OK
38.00/38.28	c 38	OBJECTIVE BOUND: 20 <= _COST <= 38
38.00/38.28	c 38	SEARCHING: _COST <= 29
38.00/38.28	c 38	============================[ Search Statistics ]==============================
38.00/38.28	c 38	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.00/38.28	c 38	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
38.00/38.28	c 38	===============================================================================
38.00/38.28	c 38	|    396415 |     807     7028    20454 |     2342     6994     13 | 22.494 % |
38.00/38.29	c 38	|    396516 |     807     7028    20454 |     2576     1850     11 | 29.953 % |
38.00/38.30	c 38	|    396666 |     807     7028    20454 |     2834     2000     11 | 29.953 % |
38.10/38.31	c 38	|    396892 |     807     7028    20454 |     3118     2226     11 | 29.953 % |
38.10/38.32	c 38	|    397229 |     807     7028    20454 |     3429     2563     12 | 29.953 % |
38.10/38.35	c 38	|    397735 |     807     7028    20454 |     3772     3069     13 | 29.953 % |
38.10/38.40	c 38	|    398494 |     807     7028    20454 |     4150     3828     13 | 29.953 % |
38.20/38.47	c 38	|    399634 |     807     7028    20454 |     4565     2568     12 | 29.953 % |
38.30/38.57	c 38	|    401343 |     807     7028    20454 |     5021     4277     14 | 29.953 % |
38.50/38.74	c 38	|    403905 |     807     7028    20454 |     5523     3985     15 | 29.953 % |
38.80/39.00	c 39	|    407750 |     807     7028    20454 |     6076     4705     15 | 29.953 % |
39.19/39.48	c 39	|    413517 |     807     7028    20454 |     6683     3759     15 | 29.953 % |
39.99/40.20	c 40	|    422166 |     807     7028    20454 |     7352     5055     16 | 29.953 % |
40.89/41.19	c 41	|    435141 |     807     7028    20454 |     8087     5990     16 | 29.953 % |
42.59/42.82	c 42	|    454602 |     807     7028    20454 |     8896     7930     15 | 29.953 % |
45.19/45.43	c 45	|    483794 |     807     7028    20454 |     9785     8440     19 | 29.953 % |
49.09/49.34	c 49	|    527583 |     807     7028    20454 |    10764    10341     15 | 29.953 % |
55.69/55.98	c 56	|    593267 |     807     7028    20454 |    11840     7308     19 | 29.953 % |
65.10/65.37	c 65	|    691793 |     807     7028    20454 |    13025    11818     19 | 29.953 % |
80.69/80.91	c 81	|    839583 |     807     7028    20454 |    14327     9038     19 | 29.953 % |
106.18/106.43	c 106	|   1061267 |     807     7028    20454 |    15760    13277     18 | 29.953 % |
146.66/146.93	c 147	|   1393792 |     807     7028    20454 |    17336     9000     18 | 29.953 % |
209.34/209.63	c 209	|   1892580 |     807     7028    20454 |    19069    12838     19 | 29.953 % |
310.80/311.17	c 311	|   2640764 |     807     7028    20454 |    20976    11279     16 | 29.953 % |
471.75/472.11	c 472	|   3763040 |     807     7028    20454 |    23074    19252     20 | 29.953 % |
742.65/743.15	c 743	|   5446451 |     807     7028    20454 |    25382    16616     24 | 29.953 % |
1181.31/1181.95	c 1182	|   7971568 |     807     7028    20454 |    27920    25399     21 | 29.953 % |
1900.57/1901.43	c 1901	|  11759243 |     807     7028    20454 |    30712    26988     22 | 29.953 % |
3072.27/3073.56	c 3073	|  17440756 |     807     7028    20454 |    33783    20171     23 | 29.953 % |
3600.09/3601.51	c 3601	CPU 3599.92 (0.06 0.02 3599.86 0.17)
3600.09/3601.51	c 3601	END Mon Jul 14 12:23:35 2008

Verifier Data (download as text)

OK	38	37
38 unsatisfied constraints, 37 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-1115331-1216027414/watcher-1115331-1216027414 -o /tmp/evaluation-result-1115331-1216027414/solver-1115331-1216027414 -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-1115331-1216027414.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: 0.00 0.00 0.00 3/67 20340
/proc/meminfo: memFree=1846040/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=12268 CPUtime=0
/proc/20340/stat : 20340 (sugar++) D 20338 20340 20291 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 59442887 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 254195497573 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/20340/statm: 3067 316 241 3 0 167 0

[startup+0.103851 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 20340
/proc/meminfo: memFree=1846040/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.07
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 59442887 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.201858 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 20340
/proc/meminfo: memFree=1846040/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.07
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 59442887 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.301862 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 20340
/proc/meminfo: memFree=1846040/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.07
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 59442887 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.70189 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 20340
/proc/meminfo: memFree=1846040/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.28
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1297 4298 0 1 5 2 18 3 15 0 1 0 59442887 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16740

[startup+1.50195 s]
/proc/loadavg: 0.08 0.02 0.01 3/75 20389
/proc/meminfo: memFree=1830912/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1544 13388 0 3 5 2 65 9 15 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=2796 CPUtime=0.51
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 433 0 0 0 51 0 0 0 19 0 1 0 59442968 2863104 378 996147200 134512640 135134323 4294956192 18446744073709551615 134531941 0 0 4096 3 0 0 0 17 1 0 0
/proc/20379/statm: 699 378 79 151 0 545 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 19536

[startup+3.10208 s]
/proc/loadavg: 0.08 0.02 0.01 2/72 20389
/proc/meminfo: memFree=1830744/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1544 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=3204 CPUtime=2.11
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 550 0 0 0 211 0 0 0 25 0 1 0 59442968 3280896 495 996147200 134512640 135134323 4294956192 18446744073709551615 134532132 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 801 495 79 151 0 647 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 19944

[startup+6.30131 s]
/proc/loadavg: 0.08 0.02 0.01 3/83 20427
/proc/meminfo: memFree=1829440/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1544 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=3600 CPUtime=5.3
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 648 0 0 0 530 0 0 0 25 0 1 0 59442968 3686400 593 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 900 593 79 151 0 746 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 20340

[startup+12.7018 s]
/proc/loadavg: 0.37 0.08 0.03 3/83 20427
/proc/meminfo: memFree=1828672/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1544 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=4136 CPUtime=11.7
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 784 0 0 0 1170 0 0 0 25 0 1 0 59442968 4235264 729 996147200 134512640 135134323 4294956192 18446744073709551615 134532213 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 1034 729 79 151 0 880 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 20876

[startup+25.5017 s]
/proc/loadavg: 0.62 0.14 0.05 3/83 20427
/proc/meminfo: memFree=1827840/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1544 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=4808 CPUtime=24.5
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 958 0 0 0 2450 0 0 0 25 0 1 0 59442968 4923392 903 996147200 134512640 135134323 4294956192 18446744073709551615 134531934 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 1202 903 79 151 0 1048 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 21548

[startup+51.1017 s]
/proc/loadavg: 1.09 0.29 0.10 3/83 20427
/proc/meminfo: memFree=1827072/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=5620 CPUtime=50.08
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 1154 0 0 0 5008 0 0 0 25 0 1 0 59442968 5754880 1097 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 1405 1097 79 151 0 1251 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 22360

[startup+102.301 s]
/proc/loadavg: 1.64 0.58 0.20 3/83 20427
/proc/meminfo: memFree=1825152/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=7248 CPUtime=101.27
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 1539 0 0 0 10126 1 0 0 25 0 1 0 59442968 7421952 1482 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 1812 1482 79 151 0 1658 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 23988

[startup+162.302 s]
/proc/loadavg: 1.91 0.85 0.32 3/83 20427
/proc/meminfo: memFree=1824000/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=8376 CPUtime=161.25
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 1804 0 0 0 16124 1 0 0 25 0 1 0 59442968 8577024 1747 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 2094 1747 79 151 0 1940 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 25116

[startup+222.306 s]
/proc/loadavg: 2.00 1.07 0.43 3/83 20427
/proc/meminfo: memFree=1823232/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=9140 CPUtime=221.23
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 1983 0 0 0 22122 1 0 0 25 0 1 0 59442968 9359360 1926 996147200 134512640 135134323 4294956192 18446744073709551615 134528258 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 2285 1926 79 151 0 2131 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 25880

[startup+282.302 s]
/proc/loadavg: 2.03 1.25 0.53 3/83 20427
/proc/meminfo: memFree=1822400/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=9844 CPUtime=281.2
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 2182 0 0 0 28119 1 0 0 25 0 1 0 59442968 10080256 2125 996147200 134512640 135134323 4294956192 18446744073709551615 134532004 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 2461 2125 79 151 0 2307 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 26584

[startup+342.301 s]
/proc/loadavg: 2.01 1.38 0.62 3/83 20427
/proc/meminfo: memFree=1822016/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=10384 CPUtime=341.18
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 2298 0 0 0 34117 1 0 0 25 0 1 0 59442968 10633216 2241 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 2596 2241 79 151 0 2442 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 27124

[startup+402.302 s]
/proc/loadavg: 2.00 1.49 0.70 3/83 20427
/proc/meminfo: memFree=1821696/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.81
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 5 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=10672 CPUtime=401.16
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 2363 0 0 0 40115 1 0 0 25 0 1 0 59442968 10928128 2306 996147200 134512640 135134323 4294956192 18446744073709551615 134531934 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 2668 2306 79 151 0 2514 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 27412


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

/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=21072 CPUtime=2860.32
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 4762 0 0 0 286027 5 0 0 25 0 1 0 59442968 21577728 4705 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5268 4705 79 151 0 5114 0
Current children cumulated CPU time (s) 2861.14
Current children cumulated vsize (KiB) 37812

[startup+2922.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/83 20433
/proc/meminfo: memFree=1810432/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=21212 CPUtime=2920.29
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 4798 0 0 0 292024 5 0 0 25 0 1 0 59442968 21721088 4741 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5303 4741 79 151 0 5149 0
Current children cumulated CPU time (s) 2921.11
Current children cumulated vsize (KiB) 37952

[startup+2982.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/83 20433
/proc/meminfo: memFree=1810368/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=21212 CPUtime=2980.28
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 4804 0 0 0 298022 6 0 0 25 0 1 0 59442968 21721088 4747 996147200 134512640 135134323 4294956192 18446744073709551615 134532135 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5303 4747 79 151 0 5149 0
Current children cumulated CPU time (s) 2981.1
Current children cumulated vsize (KiB) 37952

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20433
/proc/meminfo: memFree=1810304/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=21212 CPUtime=3040.26
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 4828 0 0 0 304020 6 0 0 25 0 1 0 59442968 21721088 4771 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5303 4771 79 151 0 5149 0
Current children cumulated CPU time (s) 3041.08
Current children cumulated vsize (KiB) 37952

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20433
/proc/meminfo: memFree=1810176/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=21412 CPUtime=3100.23
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 4858 0 0 0 310017 6 0 0 25 0 1 0 59442968 21925888 4801 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5353 4801 79 151 0 5199 0
Current children cumulated CPU time (s) 3101.05
Current children cumulated vsize (KiB) 38152

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20433
/proc/meminfo: memFree=1809856/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=21720 CPUtime=3160.21
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 4939 0 0 0 316015 6 0 0 25 0 1 0 59442968 22241280 4882 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5430 4882 79 151 0 5276 0
Current children cumulated CPU time (s) 3161.03
Current children cumulated vsize (KiB) 38460

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20433
/proc/meminfo: memFree=1809344/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=22256 CPUtime=3220.19
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5073 0 0 0 322013 6 0 0 25 0 1 0 59442968 22790144 5016 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5564 5016 79 151 0 5410 0
Current children cumulated CPU time (s) 3221.01
Current children cumulated vsize (KiB) 38996

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20433
/proc/meminfo: memFree=1808896/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=22656 CPUtime=3280.17
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5170 0 0 0 328011 6 0 0 25 0 1 0 59442968 23199744 5113 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5664 5113 79 151 0 5510 0
Current children cumulated CPU time (s) 3280.99
Current children cumulated vsize (KiB) 39396

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20435
/proc/meminfo: memFree=1808512/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=22832 CPUtime=3340.15
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5208 0 0 0 334008 7 0 0 25 0 1 0 59442968 23379968 5151 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5708 5151 79 151 0 5554 0
Current children cumulated CPU time (s) 3340.97
Current children cumulated vsize (KiB) 39572

[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20435
/proc/meminfo: memFree=1808512/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=22996 CPUtime=3400.14
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5223 0 0 0 340007 7 0 0 25 0 1 0 59442968 23547904 5166 996147200 134512640 135134323 4294956192 18446744073709551615 134532022 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5749 5166 79 151 0 5595 0
Current children cumulated CPU time (s) 3400.96
Current children cumulated vsize (KiB) 39736

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20435
/proc/meminfo: memFree=1808320/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=23164 CPUtime=3460.11
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5252 0 0 0 346004 7 0 0 25 0 1 0 59442968 23719936 5195 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5791 5195 79 151 0 5637 0
Current children cumulated CPU time (s) 3460.93
Current children cumulated vsize (KiB) 39904

[startup+3522.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20435
/proc/meminfo: memFree=1808000/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=23472 CPUtime=3520.1
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5341 0 0 0 352003 7 0 0 25 0 1 0 59442968 24035328 5284 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5868 5284 79 151 0 5714 0
Current children cumulated CPU time (s) 3520.92
Current children cumulated vsize (KiB) 40212

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20435
/proc/meminfo: memFree=1807744/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=23648 CPUtime=3580.07
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5357 0 0 0 358000 7 0 0 25 0 1 0 59442968 24215552 5300 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5912 5300 79 151 0 5758 0
Current children cumulated CPU time (s) 3580.89
Current children cumulated vsize (KiB) 40388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/83 20435
/proc/meminfo: memFree=1807744/2055920 swapFree=4191900/4192956
[pid=20340] ppid=20338 vsize=16740 CPUtime=0.82
/proc/20340/stat : 20340 (sugar++) S 20338 20340 20291 0 -1 4194304 1547 13388 0 3 6 2 65 9 16 0 1 0 59442887 17141760 1115 996147200 4194304 4206940 548682068528 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20340/statm: 4185 1115 414 3 0 764 0
[pid=20379] ppid=20340 vsize=23648 CPUtime=3599.27
/proc/20379/stat : 20379 (minisat-inc) R 20340 20340 20291 0 -1 4194304 5357 0 0 0 359920 7 0 0 25 0 1 0 59442968 24215552 5300 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 0 0 0
/proc/20379/statm: 5912 5300 79 151 0 5758 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 40388

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

Child status: 0
Real time (s): 3601.52
CPU time (s): 3600.13
CPU user time (s): 3599.93
CPU system time (s): 0.199969
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 40388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.93
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20367
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= 1478
involuntary context switches= 15637

runsolver used 3.2855 second user time and 9.8285 second system time

The end

Launcher Data (download as text)

Begin job on node34 at 2008-07-14 11:23:34
IDJOB=1115331
IDBENCH=61856
IDSOLVER=367
FILE ID=node34/1115331-1216027414
PBS_JOBID= 7904856
Free space on /tmp= 66508 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/denseTight/normalized-vcsp-25-10-25-87-22_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-1115331-1216027414/watcher-1115331-1216027414 -o /tmp/evaluation-result-1115331-1216027414/solver-1115331-1216027414 -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-1115331-1216027414.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 48efe20ea0265eff349542735d699973
RANDOM SEED=12315443

node34.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.236
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.236
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:       1846592 kB
Buffers:         23368 kB
Cached:         118348 kB
SwapCached:        268 kB
Active:         123980 kB
Inactive:        31852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846592 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             872 kB
Writeback:           0 kB
Mapped:          22600 kB
Slab:            39352 kB
Committed_AS:   100424 kB
PageTables:       1584 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= 66508 MiB
End job on node34 at 2008-07-14 12:23:35