Trace number 1115923

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

General information on the benchmark

Namemaxcsp/randomMaxCSP/completeTight/
normalized-vcsp-15-10-100-93-41_ext.xml
MD5SUM0a728393988d3d5af0217205b1631d20
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints72
Best CPU time to get the best result obtained on this benchmark10.7754
Satisfiable
(Un)Satisfiability was proved
Number of variables15
Number of constraints105
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension105
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05/0.09	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.09	c 0	BEGIN Mon Jul 14 14:37:43 2008
0.05/0.09	c 0	PID 16879
0.05/0.09	c 0	HOST node40.alineos.net
0.05/0.09	c 0	CONVERTING HOME/instance-1115923-1216039063.xml TO HOME/temp.csp
0.05/0.09	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115923-1216039063.xml' 'HOME/temp.csp'
0.07/0.40	c 0	1 domains, 15 variables, 0 predicates, 105 relations, 105 constraints
0.07/0.47	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.47	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.33/0.55	c 0	Parsing HOME/temp.csp
0.33/0.64	c 0	parsed 226 expressions
0.33/0.64	c 0	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.33/0.65	c 0	MAX CSP: 105 constraints
0.33/0.65	c 0	Converting to clausal form CSP
0.33/0.67	c 0	converted 34 (10%) expressions
0.33/0.67	c 0	converted 67 (20%) expressions
0.33/0.67	c 0	converted 101 (30%) expressions
0.33/0.68	c 0	converted 134 (40%) expressions
0.33/0.69	c 0	converted 167 (50%) expressions
0.33/0.69	c 0	converted 201 (60%) expressions
0.33/0.70	c 0	converted 234 (70%) expressions
0.33/0.71	c 0	converted 268 (80%) expressions
0.33/0.71	c 0	converted 301 (90%) expressions
0.33/0.77	c 1	converted 334 (100%) expressions
0.33/0.77	c 1	CSP : 225 integers, 0 booleans, 314 clauses, largest domain size 158
0.33/0.77	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.33/0.77	c 1	Propagation in CSP
0.33/0.79	c 1	101 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.33/0.79	c 1	CSP : 225 integers, 0 booleans, 314 clauses, largest domain size 106
0.33/0.79	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.33/0.79	c 1	Simplifing CSP by introducing new Boolean variables
0.33/0.79	c 1	CSP : 225 integers, 0 booleans, 314 clauses, largest domain size 106
0.33/0.79	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.33/0.81	c 1	Encoding CSP to SAT : HOME/temp.cnf
0.33/0.97	c 1	23 (10%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.33/0.97	c 1	45 (20%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.33/0.97	c 1	68 (30%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.33/0.97	c 1	90 (40%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.33/0.97	c 1	113 (50%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.33/0.97	c 1	135 (60%) CSP integer variables are encoded (266 clauses, 2798 bytes)
0.33/0.97	c 1	158 (70%) CSP integer variables are encoded (353 clauses, 3755 bytes)
0.33/0.98	c 1	180 (80%) CSP integer variables are encoded (494 clauses, 5306 bytes)
0.33/0.98	c 1	203 (90%) CSP integer variables are encoded (1060 clauses, 12025 bytes)
0.33/0.98	c 1	225 (100%) CSP integer variables are encoded (1257 clauses, 14586 bytes)
0.69/1.01	c 1	32 (10%) CSP clauses are encoded (1686 clauses, 21068 bytes)
0.69/1.02	c 1	63 (20%) CSP clauses are encoded (2103 clauses, 27697 bytes)
0.69/1.03	c 1	95 (30%) CSP clauses are encoded (2537 clauses, 34679 bytes)
0.69/1.03	c 1	126 (40%) CSP clauses are encoded (2795 clauses, 38648 bytes)
0.69/1.04	c 1	157 (50%) CSP clauses are encoded (3636 clauses, 50796 bytes)
0.69/1.04	c 1	189 (60%) CSP clauses are encoded (3924 clauses, 54729 bytes)
0.69/1.05	c 1	220 (70%) CSP clauses are encoded (6107 clauses, 87361 bytes)
0.69/1.06	c 1	252 (80%) CSP clauses are encoded (9769 clauses, 141743 bytes)
0.69/1.07	c 1	283 (90%) CSP clauses are encoded (12850 clauses, 196651 bytes)
0.69/1.08	c 1	314 (100%) CSP clauses are encoded (18677 clauses, 301716 bytes)
0.69/1.08	c 1	314 CSP clauses encoded
0.69/1.08	c 1	Writing map file : HOME/temp.map
0.69/1.08	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.69/1.08	c 1	SAT : 1482 SAT variables, 18677 SAT clauses, 301716 bytes
0.69/1.08	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.79/1.10	c 1	OBJECTIVE minimize _COST
0.79/1.10	c 1	SOLVING HOME/temp.cnf
0.79/1.10	c 1	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
0.79/1.10	c 1	This is MiniSat 2.0 beta incremental
0.79/1.10	c 1	WARNING: for repeatability, setting FPU to use double precision
0.79/1.10	c 1	============================[ Problem Statistics ]=============================
0.79/1.10	c 1	|                                                                             |
0.79/1.11	c 1	|  Number of variables:  1482                                                 |
0.79/1.11	c 1	|  Number of clauses:    18677                                                |
0.79/1.11	c 1	|  Parsing time:         0.01         s                                       |
0.79/1.12	c 1	OK
0.79/1.12	c 1	OBJECTIVE BOUND: 0 <= _COST <= 
0.79/1.12	c 1	SEARCHING: _COST <= 53
0.79/1.12	c 1	============================[ Search Statistics ]==============================
0.79/1.12	c 1	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/1.12	c 1	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.79/1.12	c 1	===============================================================================
0.79/1.12	c 1	|         0 |    1482    18677    53041 |     6225        0    nan |  0.000 % |
0.79/1.12	c 1	|       102 |    1480    18677    53041 |     6848      101     17 |  0.556 % |
0.79/1.13	c 1	|       252 |    1480    18677    53041 |     7533      251     17 |  0.556 % |
0.79/1.14	c 1	|       477 |    1480    18677    53041 |     8286      476     17 |  0.556 % |
0.79/1.17	c 1	|       815 |    1474    18596    52827 |     9114      814     16 |  0.556 % |
0.79/1.20	c 1	|      1322 |    1474    18596    52827 |    10026     1321     15 |  0.556 % |
0.79/1.25	c 1	|      2081 |    1474    18596    52827 |    11029     2080     14 |  0.556 % |
0.79/1.34	c 1	|      3221 |    1474    18596    52827 |    12132     3220     15 |  0.556 % |
0.79/1.48	c 1	|      4930 |    1474    18596    52827 |    13345     4929     15 |  0.556 % |
0.79/1.75	c 2	|      7494 |    1474    18596    52827 |    14679     7493     15 |  0.556 % |
1.77/2.18	c 2	|     11338 |    1474    18596    52827 |    16147    11337     15 |  0.556 % |
2.67/3.05	c 3	|     17104 |    1474    18596    52827 |    17762     8583     14 |  0.556 % |
3.76/4.12	c 4	|     25755 |    1474    18596    52827 |    19538    17234     15 |  0.556 % |
5.55/5.94	c 6	|     38729 |    1465    18415    52316 |    21492    19965     16 |  1.164 % |
8.43/8.88	c 9	|     58191 |    1465    18415    52316 |    23641    17014     21 |  1.164 % |
14.11/14.57	c 14	|     87384 |    1465    18415    52316 |    26006    21650     17 |  1.164 % |
23.48/23.94	c 24	|    131173 |    1465    18415    52316 |    28606    25146     18 |  1.164 % |
37.41/37.94	c 38	|    196858 |    1443    18029    51235 |    31467    14441     16 |  3.323 % |
60.79/61.47	c 61	|    295384 |    1433    17829    50669 |    34614    24362     20 |  3.323 % |
99.80/100.65	c 100	|    443174 |    1433    17829    50669 |    38075    24507     18 |  3.323 % |
160.62/161.70	c 161	|    664858 |    1423    17685    50271 |    41883    34677     18 |  3.998 % |
260.97/262.54	c 262	|    997384 |    1423    17685    50271 |    46071    40793     21 |  3.998 % |
404.00/406.24	c 406	===============================================================================
404.00/406.24	c 406	restarts              : 22
404.00/406.24	c 406	conflicts             : 1452828       (3603 /sec)
404.00/406.24	c 406	decisions             : 1895199       (0.63 % random) (4700 /sec)
404.00/406.24	c 406	propagations          : 177269832      (439626 /sec)
404.00/406.24	c 406	conflict literals     : 30005111       (36.65 % deleted)
404.00/406.24	c 406	Memory used           : 13.25 MB
404.00/406.24	c 406	CPU time              : 403.229 s
404.00/406.24	c 406	
404.00/406.24	c 406	UNSATISFIABLE
404.00/406.24	c 406	OK
404.00/406.24	c 406	NOT FOUND: _COST <= 53
404.00/406.24	c 406	OK
404.00/406.24	c 406	OBJECTIVE BOUND: 54 <= _COST <= 
404.00/406.24	c 406	SEARCHING: _COST <= 80
404.00/406.24	c 406	============================[ Search Statistics ]==============================
404.00/406.24	c 406	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
404.00/406.24	c 406	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
404.00/406.24	c 406	===============================================================================
404.00/406.24	c 406	|   1452828 |    1184    14835    42418 |     4945    16540     16 |  3.998 % |
404.00/406.28	c 406	|   1452929 |    1184    14835    42418 |     5439     4236     11 | 20.116 % |
404.00/406.29	c 406	|   1453080 |    1184    14835    42418 |     5983     4387     11 | 20.116 % |
404.10/406.31	c 406	|   1453306 |    1184    14835    42418 |     6581     4613     12 | 20.116 % |
404.10/406.34	c 406	|   1453643 |    1184    14835    42418 |     7239     4950     12 | 20.116 % |
404.10/406.37	c 406	|   1454149 |    1184    14835    42418 |     7963     5456     12 | 20.116 % |
404.20/406.43	c 406	|   1454910 |    1184    14835    42418 |     8760     6217     13 | 20.116 % |
404.30/406.53	c 406	|   1456049 |    1184    14835    42418 |     9636     7356     14 | 20.116 % |
404.50/406.70	c 406	|   1457758 |    1184    14835    42418 |    10600     9065     15 | 20.116 % |
404.70/406.92	c 407	|   1460320 |    1184    14835    42418 |    11660    11627     17 | 20.116 % |
405.00/407.26	c 407	|   1464165 |    1184    14835    42418 |    12826     9097     21 | 20.116 % |
405.80/408.06	c 408	|   1469933 |    1184    14835    42418 |    14108     7976     22 | 20.116 % |
405.99/408.24	c 408	===============================================================================
405.99/408.24	c 408	restarts              : 34
405.99/408.24	c 408	conflicts             : 1471367       (3631 /sec)
405.99/408.24	c 408	decisions             : 1917845       (0.63 % random) (4733 /sec)
405.99/408.24	c 408	propagations          : 179435448      (442815 /sec)
405.99/408.24	c 408	conflict literals     : 30423450       (36.52 % deleted)
405.99/408.24	c 408	Memory used           : 13.25 MB
405.99/408.24	c 408	CPU time              : 405.215 s
405.99/408.24	c 408	
405.99/408.24	c 408	SATISFIABLE
405.99/408.24	c 408	OK
405.99/408.24	c 408	FOUND: _COST <= 80
405.99/408.24	s SATISFIABLE
405.99/408.24	c 408	DECODING HOME/temp.out WITH HOME/temp.map
405.99/408.24	c 408	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
406.03/408.32	c 408	Decoding HOME/temp.out
406.03/408.36	c 408	OBJECTIVE _COST 80
406.03/408.36	o 80
406.03/408.36	v 8 2 6 4 6 8 5 4 3 9 1 9 8 1 9
406.03/408.37	c 408	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
406.03/408.46	c 408	OK
406.03/408.46	c 408	OBJECTIVE BOUND: 54 <= _COST <= 80
406.03/408.46	c 408	SEARCHING: _COST <= 67
406.03/408.46	c 408	============================[ Search Statistics ]==============================
406.03/408.46	c 408	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
406.03/408.46	c 408	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
406.03/408.46	c 408	===============================================================================
406.03/408.46	c 408	|   1471367 |    1009    12191    35010 |     4063     9410     22 | 20.116 % |
406.03/408.47	c 408	|   1471467 |    1009    12191    35010 |     4470     2453     14 | 31.920 % |
406.03/408.48	c 408	|   1471618 |    1009    12191    35010 |     4917     2604     14 | 31.920 % |
406.03/408.50	c 408	|   1471843 |    1009    12191    35010 |     5408     2829     15 | 31.920 % |
406.22/408.52	c 408	|   1472182 |    1009    12191    35010 |     5949     3168     15 | 31.920 % |
406.22/408.55	c 408	|   1472689 |    1009    12191    35010 |     6544     3675     15 | 31.920 % |
406.32/408.60	c 408	|   1473448 |    1009    12191    35010 |     7199     4434     15 | 31.920 % |
406.41/408.70	c 408	|   1474589 |    1009    12191    35010 |     7918     5575     16 | 31.920 % |
406.51/408.83	c 409	|   1476297 |    1009    12191    35010 |     8710     7283     18 | 31.920 % |
406.71/409.03	c 409	|   1478859 |    1009    12191    35010 |     9581     5006     19 | 31.920 % |
407.11/409.42	c 409	|   1482703 |    1009    12191    35010 |    10540     8850     19 | 31.920 % |
407.61/409.98	c 410	|   1488469 |    1009    12191    35010 |    11594     8882     17 | 31.920 % |
408.60/410.98	c 411	|   1497118 |    1009    12191    35010 |    12753    11257     18 | 31.920 % |
410.00/412.37	c 412	|   1510092 |    1009    12191    35010 |    14028    10523     19 | 31.920 % |
412.58/414.90	c 415	|   1529553 |    1009    12191    35010 |    15431     7601     17 | 31.920 % |
416.46/418.83	c 419	|   1558746 |    1009    12191    35010 |    16974    12218     22 | 31.920 % |
422.53/424.90	c 425	|   1602535 |    1009    12191    35010 |    18672    11203     20 | 31.920 % |
432.48/434.97	c 435	|   1668222 |    1009    12191    35010 |    20539    18020     22 | 31.920 % |
449.90/452.46	c 452	|   1766748 |    1009    12191    35010 |    22593    19699     20 | 31.920 % |
476.96/479.61	c 479	|   1914537 |    1009    12191    35010 |    24853    14499     24 | 31.920 % |
520.44/523.37	c 523	|   2136220 |    1009    12191    35010 |    27338    17161     21 | 31.920 % |
595.35/598.68	c 598	|   2468745 |    1001    12030    34555 |    30072    21593     19 | 32.460 % |
717.84/721.70	c 721	|   2967533 |    1001    12030    34555 |    33079    16484     20 | 32.460 % |
900.31/905.17	c 905	|   3715717 |    1001    12030    34555 |    36387    19677     22 | 32.460 % |
1206.45/1212.88	c 1213	|   4837995 |    1001    12030    34555 |    40026    20762     24 | 32.460 % |
1713.77/1722.74	c 1723	|   6521406 |    1001    12030    34555 |    44028    25409     22 | 32.460 % |
2514.20/2527.28	c 2527	|   9046523 |    1001    12030    34555 |    48431    21411     24 | 32.460 % |
3600.01/3616.61	c 3616	CPU 3599.62 (0.06 0.02 3599.56 0.38)
3600.01/3616.61	c 3616	END Mon Jul 14 15:37:59 2008

Verifier Data (download as text)

OK	78	27
78 unsatisfied constraints, 27 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-1115923-1216039063/watcher-1115923-1216039063 -o /tmp/evaluation-result-1115923-1216039063/solver-1115923-1216039063 -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-1115923-1216039063.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.70 2.66 2.38 5/80 16879
/proc/meminfo: memFree=1730952/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=18572 CPUtime=0
/proc/16879/stat : 16879 (runsolver) R 16877 16879 16531 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 60605946 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 264519609639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16879/statm: 4643 292 257 25 0 2626 0

[startup+0.078262 s]
/proc/loadavg: 2.70 2.66 2.38 5/80 16879
/proc/meminfo: memFree=1730952/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16212 CPUtime=0.05
/proc/16879/stat : 16879 (sugar++) R 16877 16879 16531 0 -1 4194304 954 0 0 0 4 1 0 0 18 0 1 0 60605946 16601088 922 996147200 4194304 4206940 548682068528 18446744073709551615 264519486795 0 0 4224 0 0 0 0 17 1 0 0
/proc/16879/statm: 4053 922 380 3 0 632 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16212

[startup+0.102264 s]
/proc/loadavg: 2.70 2.66 2.38 5/80 16879
/proc/meminfo: memFree=1730952/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.07
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 60605946 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.301306 s]
/proc/loadavg: 2.70 2.66 2.38 5/80 16879
/proc/meminfo: memFree=1730952/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.07
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 60605946 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.70239 s]
/proc/loadavg: 2.70 2.66 2.38 5/80 16879
/proc/meminfo: memFree=1730952/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.33
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1296 4286 0 1 5 2 23 3 15 0 1 0 60605946 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 16740

[startup+1.50156 s]
/proc/loadavg: 2.70 2.66 2.38 3/91 16901
/proc/meminfo: memFree=1720552/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.79
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 5 2 65 7 15 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 16740

[startup+3.10189 s]
/proc/loadavg: 2.70 2.66 2.38 3/82 16902
/proc/meminfo: memFree=1725296/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.79
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 5 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=4416 CPUtime=1.98
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 855 0 0 0 198 0 0 0 25 0 1 0 60606057 4521984 803 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 1104 803 73 151 0 950 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 21156

[startup+6.30256 s]
/proc/loadavg: 2.64 2.65 2.38 4/82 16902
/proc/meminfo: memFree=1724144/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.79
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 5 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=5252 CPUtime=5.16
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 1076 0 0 0 516 0 0 0 25 0 1 0 60606057 5378048 1024 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 1313 1024 73 151 0 1159 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 21992

[startup+12.7019 s]
/proc/loadavg: 2.67 2.65 2.38 4/82 16902
/proc/meminfo: memFree=1722304/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=6592 CPUtime=11.52
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 1393 0 0 0 1152 0 0 0 25 0 1 0 60606057 6750208 1341 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 1648 1341 73 151 0 1494 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 23332

[startup+25.5016 s]
/proc/loadavg: 2.67 2.65 2.39 4/82 16902
/proc/meminfo: memFree=1721920/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=7160 CPUtime=24.27
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 1514 0 0 0 2426 1 0 0 25 0 1 0 60606057 7331840 1462 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 1790 1462 73 151 0 1636 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 23900

[startup+51.1029 s]
/proc/loadavg: 2.58 2.63 2.39 4/82 16902
/proc/meminfo: memFree=1720768/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=8332 CPUtime=49.74
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 1817 0 0 0 4973 1 0 0 25 0 1 0 60606057 8531968 1765 996147200 134512640 135134323 4294956192 18446744073709551615 134524716 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 2083 1765 73 151 0 1929 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 25072

[startup+102.307 s]
/proc/loadavg: 2.72 2.66 2.40 4/82 16902
/proc/meminfo: memFree=1719232/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=9716 CPUtime=100.7
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 2142 0 0 0 10069 1 0 0 25 0 1 0 60606057 9949184 2090 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 2429 2090 73 151 0 2275 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 26456

[startup+162.301 s]
/proc/loadavg: 2.46 2.60 2.40 4/82 16902
/proc/meminfo: memFree=1718080/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=10872 CPUtime=160.42
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 2412 0 0 0 16041 1 0 0 25 0 1 0 60606057 11132928 2360 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 2718 2360 73 151 0 2564 0
Current children cumulated CPU time (s) 161.22
Current children cumulated vsize (KiB) 27612

[startup+222.302 s]
/proc/loadavg: 2.61 2.61 2.41 3/82 16902
/proc/meminfo: memFree=1716864/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=12052 CPUtime=220.15
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 2707 0 0 0 22013 2 0 0 25 0 1 0 60606057 12341248 2655 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 3013 2655 73 151 0 2859 0
Current children cumulated CPU time (s) 220.95
Current children cumulated vsize (KiB) 28792

[startup+282.301 s]
/proc/loadavg: 2.62 2.61 2.42 4/82 16902
/proc/meminfo: memFree=1716160/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=12768 CPUtime=279.88
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 2887 0 0 0 27986 2 0 0 25 0 1 0 60606057 13074432 2835 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 3192 2835 73 151 0 3038 0
Current children cumulated CPU time (s) 280.68
Current children cumulated vsize (KiB) 29508

[startup+342.302 s]
/proc/loadavg: 2.71 2.65 2.45 4/82 16902
/proc/meminfo: memFree=1715712/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=13284 CPUtime=339.61
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 3003 0 0 0 33959 2 0 0 25 0 1 0 60606057 13602816 2951 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 3321 2951 73 151 0 3167 0
Current children cumulated CPU time (s) 340.41
Current children cumulated vsize (KiB) 30024

[startup+402.303 s]
/proc/loadavg: 2.65 2.64 2.46 4/82 16902
/proc/meminfo: memFree=1715392/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16740 CPUtime=0.8
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1464 9693 0 2 6 2 65 7 16 0 1 0 60605946 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16879/statm: 4185 1114 414 3 0 764 0
[pid=16902] ppid=16879 vsize=13564 CPUtime=399.33
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 3076 0 0 0 39931 2 0 0 25 0 1 0 60606057 13889536 3024 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/16902/statm: 3391 3024 73 151 0 3237 0
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (KiB) 30304

[startup+462.301 s]
/proc/loadavg: 2.60 2.62 2.46 3/82 16912
/proc/meminfo: memFree=1714944/2055920 swapFree=4181028/4192956

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

/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=29676 CPUtime=2846.66
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 6810 0 0 0 284655 11 0 0 25 0 1 0 60606057 30388224 6754 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7419 6754 79 151 0 7265 0
Current children cumulated CPU time (s) 2847.6
Current children cumulated vsize (KiB) 46548

[startup+2922.3 s]
/proc/loadavg: 2.74 2.69 2.64 3/82 16920
/proc/meminfo: memFree=1699584/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=29676 CPUtime=2906.36
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 6819 0 0 0 290625 11 0 0 25 0 1 0 60606057 30388224 6763 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7419 6763 79 151 0 7265 0
Current children cumulated CPU time (s) 2907.3
Current children cumulated vsize (KiB) 46548

[startup+2982.3 s]
/proc/loadavg: 2.60 2.65 2.63 3/82 16920
/proc/meminfo: memFree=1699392/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=29832 CPUtime=2966.06
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 6870 0 0 0 296594 12 0 0 25 0 1 0 60606057 30547968 6814 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7458 6814 79 151 0 7304 0
Current children cumulated CPU time (s) 2967
Current children cumulated vsize (KiB) 46704

[startup+3042.3 s]
/proc/loadavg: 2.69 2.67 2.63 3/82 16920
/proc/meminfo: memFree=1699136/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=30132 CPUtime=3025.75
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 6932 0 0 0 302563 12 0 0 25 0 1 0 60606057 30855168 6876 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7533 6876 79 151 0 7379 0
Current children cumulated CPU time (s) 3026.69
Current children cumulated vsize (KiB) 47004

[startup+3102.3 s]
/proc/loadavg: 2.74 2.69 2.64 3/82 16920
/proc/meminfo: memFree=1698944/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=30424 CPUtime=3085.44
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 6976 0 0 0 308532 12 0 0 25 0 1 0 60606057 31154176 6920 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7606 6920 79 151 0 7452 0
Current children cumulated CPU time (s) 3086.38
Current children cumulated vsize (KiB) 47296

[startup+3162.3 s]
/proc/loadavg: 2.78 2.70 2.64 3/82 16920
/proc/meminfo: memFree=1698816/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=30568 CPUtime=3145.14
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7015 0 0 0 314502 12 0 0 25 0 1 0 60606057 31301632 6959 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7642 6959 79 151 0 7488 0
Current children cumulated CPU time (s) 3146.08
Current children cumulated vsize (KiB) 47440

[startup+3222.3 s]
/proc/loadavg: 2.38 2.61 2.62 3/82 16958
/proc/meminfo: memFree=1752072/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=30568 CPUtime=3204.97
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7015 0 0 0 320471 26 0 0 25 0 1 0 60606057 31301632 6959 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7642 6959 79 151 0 7488 0
Current children cumulated CPU time (s) 3205.91
Current children cumulated vsize (KiB) 47440

[startup+3282.3 s]
/proc/loadavg: 2.54 2.61 2.61 3/82 16958
/proc/meminfo: memFree=1698120/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=30756 CPUtime=3264.94
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7051 0 0 0 326468 26 0 0 25 0 1 0 60606057 31494144 6995 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7689 6995 79 151 0 7535 0
Current children cumulated CPU time (s) 3265.88
Current children cumulated vsize (KiB) 47628

[startup+3342.3 s]
/proc/loadavg: 2.67 2.63 2.62 3/82 16958
/proc/meminfo: memFree=1698056/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=30900 CPUtime=3324.91
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7094 0 0 0 332464 27 0 0 25 0 1 0 60606057 31641600 7038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7725 7038 79 151 0 7571 0
Current children cumulated CPU time (s) 3325.85
Current children cumulated vsize (KiB) 47772

[startup+3402.31 s]
/proc/loadavg: 2.75 2.65 2.63 3/82 16958
/proc/meminfo: memFree=1697672/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=31244 CPUtime=3384.88
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7156 0 0 0 338461 27 0 0 25 0 1 0 60606057 31993856 7100 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7811 7100 79 151 0 7657 0
Current children cumulated CPU time (s) 3385.82
Current children cumulated vsize (KiB) 48116

[startup+3462.3 s]
/proc/loadavg: 2.73 2.67 2.63 3/82 16958
/proc/meminfo: memFree=1697480/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=31380 CPUtime=3444.84
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7201 0 0 0 344457 27 0 0 25 0 1 0 60606057 32133120 7145 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7845 7145 79 151 0 7691 0
Current children cumulated CPU time (s) 3445.78
Current children cumulated vsize (KiB) 48252

[startup+3522.3 s]
/proc/loadavg: 2.67 2.66 2.63 3/82 16958
/proc/meminfo: memFree=1697288/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=31524 CPUtime=3504.82
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7244 0 0 0 350455 27 0 0 25 0 1 0 60606057 32280576 7188 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7881 7188 79 151 0 7727 0
Current children cumulated CPU time (s) 3505.76
Current children cumulated vsize (KiB) 48396

[startup+3582.3 s]
/proc/loadavg: 2.47 2.60 2.61 3/82 16958
/proc/meminfo: memFree=1696840/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=31800 CPUtime=3564.78
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7319 0 0 0 356451 27 0 0 25 0 1 0 60606057 32563200 7263 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7950 7263 79 151 0 7796 0
Current children cumulated CPU time (s) 3565.72
Current children cumulated vsize (KiB) 48672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.6 s]
/proc/loadavg: 2.59 2.61 2.62 3/82 16958
/proc/meminfo: memFree=1696776/2055920 swapFree=4181028/4192956
[pid=16879] ppid=16877 vsize=16872 CPUtime=0.94
/proc/16879/stat : 16879 (sugar++) S 16877 16879 16531 0 -1 4194304 1549 13407 0 3 6 2 76 10 16 0 1 0 60605946 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16879/statm: 4218 1116 414 3 0 797 0
[pid=16902] ppid=16879 vsize=31996 CPUtime=3599.07
/proc/16902/stat : 16902 (minisat-inc) R 16879 16879 16531 0 -1 4194304 7340 0 0 0 359880 27 0 0 25 0 1 0 60606057 32763904 7284 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16902/statm: 7999 7284 79 151 0 7845 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 48868

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

Child status: 0
Real time (s): 3616.61
CPU time (s): 3600.05
CPU user time (s): 3599.64
CPU system time (s): 0.412937
CPU usage (%): 99.542
Max. virtual memory (cumulated for all children) (KiB): 886284

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

runsolver used 4.26535 second user time and 10.6024 second system time

The end

Launcher Data (download as text)

Begin job on node40 at 2008-07-14 14:37:43
IDJOB=1115923
IDBENCH=61930
IDSOLVER=367
FILE ID=node40/1115923-1216039063
PBS_JOBID= 7904846
Free space on /tmp= 66556 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/completeTight/normalized-vcsp-15-10-100-93-41_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-1115923-1216039063/watcher-1115923-1216039063 -o /tmp/evaluation-result-1115923-1216039063/solver-1115923-1216039063 -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-1115923-1216039063.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0a728393988d3d5af0217205b1631d20
RANDOM SEED=1524242540

node40.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.261
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.261
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:       1731432 kB
Buffers:         45344 kB
Cached:         133016 kB
SwapCached:       5988 kB
Active:         201784 kB
Inactive:        59824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1731432 kB
SwapTotal:     4192956 kB
SwapFree:      4181028 kB
Dirty:             836 kB
Writeback:           0 kB
Mapped:          99484 kB
Slab:            47876 kB
Committed_AS:   952804 kB
PageTables:       2016 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66556 MiB
End job on node40 at 2008-07-14 15:37:59