Trace number 1110355

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incMSAT (TO)4 3600.13 3605.15

General information on the benchmark

Namecsp/wordsVg/
normalized-crossword-m1c-words-vg6-10_ext.xml
MD5SUM9adead530525957babaa0ae74a947472
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark3600.05
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints16
Maximum constraint arity10
Maximum domain size26
Number of constraints which are defined in extension16
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.07/0.20	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.07/0.20	c 0	BEGIN Sat Jul 12 01:58:16 2008
0.07/0.20	c 0	PID 16572
0.07/0.20	c 0	HOST node56.alineos.net
0.07/0.20	c 0	CONVERTING HOME/instance-1110355-1215820696.xml TO HOME/temp.csp
0.07/0.20	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110355-1215820696.xml' 'HOME/temp.csp'
0.07/0.67	c 0	1 domains, 60 variables, 0 predicates, 2 relations, 16 constraints
0.07/0.67	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.67	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.53/0.75	c 1	Parsing HOME/temp.csp
0.94/1.12	c 1	parsed 79 expressions
0.94/1.12	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.94/1.12	c 1	MAX CSP: 16 constraints
0.94/1.12	c 1	Converting to clausal form CSP
0.94/1.15	c 1	converted 10 (10%) expressions
0.94/1.15	c 1	converted 20 (20%) expressions
0.94/1.15	c 1	converted 30 (30%) expressions
0.94/1.15	c 1	converted 40 (40%) expressions
0.94/1.15	c 1	converted 49 (50%) expressions
0.94/1.15	c 1	converted 59 (60%) expressions
1.13/1.35	c 1	converted 69 (70%) expressions
1.43/1.67	c 1	converted 79 (80%) expressions
1.83/2.07	c 2	converted 89 (90%) expressions
2.03/2.25	c 2	converted 98 (100%) expressions
2.03/2.26	c 2	CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
2.03/2.26	c 2	Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.03/2.26	c 2	Propagation in CSP
2.03/2.26	c 2	15 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.03/2.26	c 2	CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
2.03/2.26	c 2	Heap : 36 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.03/2.27	c 2	Simplifing CSP by introducing new Boolean variables
2.03/2.27	c 2	CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
2.03/2.27	c 2	Heap : 36 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.23/2.46	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.23/2.47	c 2	10 (10%) CSP integer variables are encoded (240 clauses, 2496 bytes)
2.23/2.48	c 2	19 (20%) CSP integer variables are encoded (456 clauses, 4872 bytes)
2.23/2.48	c 2	28 (30%) CSP integer variables are encoded (672 clauses, 7248 bytes)
2.23/2.48	c 2	37 (40%) CSP integer variables are encoded (888 clauses, 9624 bytes)
2.23/2.48	c 2	46 (50%) CSP integer variables are encoded (1104 clauses, 12289 bytes)
2.23/2.49	c 2	56 (60%) CSP integer variables are encoded (1344 clauses, 15409 bytes)
2.23/2.49	c 2	65 (70%) CSP integer variables are encoded (1440 clauses, 16657 bytes)
2.23/2.49	c 2	74 (80%) CSP integer variables are encoded (1440 clauses, 16657 bytes)
2.23/2.49	c 2	83 (90%) CSP integer variables are encoded (1503 clauses, 17476 bytes)
2.23/2.49	c 2	92 (100%) CSP integer variables are encoded (1538 clauses, 17931 bytes)
19.23/19.56	c 19	5 (10%) CSP clauses are encoded (156398 clauses, 7434687 bytes)
36.34/36.79	c 37	10 (20%) CSP clauses are encoded (311258 clauses, 15116274 bytes)
103.38/104.11	c 104	15 (30%) CSP clauses are encoded (609853 clauses, 35736237 bytes)
116.72/117.59	c 117	19 (40%) CSP clauses are encoded (669667 clauses, 40597871 bytes)
116.72/117.59	c 117	24 (50%) CSP clauses are encoded (669800 clauses, 40600014 bytes)
116.72/117.59	c 117	29 (60%) CSP clauses are encoded (669820 clauses, 40600320 bytes)
116.72/117.60	c 117	33 (70%) CSP clauses are encoded (669979 clauses, 40603027 bytes)
116.72/117.60	c 117	38 (80%) CSP clauses are encoded (670004 clauses, 40603412 bytes)
116.72/117.60	c 117	43 (90%) CSP clauses are encoded (670024 clauses, 40603718 bytes)
116.81/117.60	c 117	47 (100%) CSP clauses are encoded (670088 clauses, 40604738 bytes)
116.81/117.60	c 117	47 CSP clauses encoded
116.81/117.60	c 117	Writing map file : HOME/temp.map
116.81/117.61	c 117	Heap : 62 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
116.81/117.61	c 117	SAT : 1630 SAT variables, 670088 SAT clauses, 40604738 bytes
116.81/117.61	c 117	Heap : 62 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
116.81/117.65	c 117	OBJECTIVE minimize _COST
116.81/117.65	c 117	SOLVING HOME/temp.cnf
116.81/117.65	c 117	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
116.84/117.71	c 117	This is MiniSat 2.0 beta incremental
116.84/117.71	c 117	WARNING: for repeatability, setting FPU to use double precision
116.84/117.71	c 117	============================[ Problem Statistics ]=============================
116.84/117.71	c 117	|                                                                             |
116.84/117.71	c 117	|  Number of variables:  1630                                                 |
116.84/117.71	c 117	|  Number of clauses:    670088                                               |
116.84/118.59	c 118	|  Parsing time:         0.78         s                                       |
116.84/118.64	c 118	OK
116.84/118.64	c 118	OBJECTIVE BOUND: 0 <= _COST <= 
116.84/118.64	c 118	SEARCHING: _COST <= 8
116.84/118.64	c 118	============================[ Search Statistics ]==============================
116.84/118.64	c 118	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
116.84/118.64	c 118	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
116.84/118.64	c 118	===============================================================================
116.84/118.64	c 118	|         0 |    1630   670088  8176410 |   223362        0    nan |  0.000 % |
116.84/118.69	c 118	|       100 |    1630   670088  8176410 |   245698      100      6 |  0.002 % |
117.82/118.74	c 118	|       251 |    1630   670088  8176410 |   270268      251      7 |  0.002 % |
118.01/118.92	c 119	|       476 |    1630   670088  8176410 |   297295      476      7 |  0.002 % |
118.01/118.98	c 119	|       814 |    1630   670088  8176410 |   327025      814      8 |  0.002 % |
118.31/119.22	c 119	|      1320 |    1630   670088  8176410 |   359727     1320      9 |  0.002 % |
118.41/119.36	c 119	|      2079 |    1630   670088  8176410 |   395700     2079      9 |  0.002 % |
118.91/119.87	c 120	|      3219 |    1630   670088  8176410 |   435270     3219     10 |  0.002 % |
119.10/120.04	c 120	|      4927 |    1630   670088  8176410 |   478797     4927     10 |  0.002 % |
120.20/121.19	c 121	|      7491 |    1630   670088  8176410 |   526677     7491     11 |  0.002 % |
120.60/121.54	c 121	|     11335 |    1630   670088  8176410 |   579345    11335     11 |  0.002 % |
121.99/122.90	c 123	|     17101 |    1630   670088  8176410 |   637279    17101     11 |  0.002 % |
122.29/123.28	c 123	===============================================================================
122.29/123.28	c 123	restarts              : 12
122.29/123.28	c 123	conflicts             : 18467         (3401 /sec)
122.29/123.28	c 123	decisions             : 27501         (1.22 % random) (5065 /sec)
122.29/123.28	c 123	propagations          : 312560         (57570 /sec)
122.29/123.28	c 123	conflict literals     : 198906         (17.83 % deleted)
122.29/123.28	c 123	Memory used           : 60.26 MB
122.29/123.28	c 123	CPU time              : 5.42917 s
122.29/123.28	c 123	
122.29/123.28	c 123	SATISFIABLE
122.29/123.28	c 123	OK
122.29/123.28	c 123	FOUND: _COST <= 8
122.29/123.28	s SATISFIABLE
122.29/123.28	c 123	DECODING HOME/temp.out WITH HOME/temp.map
122.29/123.28	c 123	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
122.37/123.37	c 123	Decoding HOME/temp.out
122.37/123.41	c 123	OBJECTIVE _COST 8
122.37/123.41	o 8
122.37/123.41	v 25 18 25 25 25 19 25 4 24 19 25 8 25 8 8 0 8 23 21 17 25 25 25 6 6 17 6 19 4 14 25 25 25 25 25 25 25 14 19 15 25 11 25 0 0 0 0 17 19 4 25 4 25 6 6 13 6 19 4 25
122.37/123.43	c 123	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
122.37/123.45	c 123	OK
122.37/123.45	c 123	OBJECTIVE BOUND: 0 <= _COST <= 8
122.37/123.45	c 123	SEARCHING: _COST <= 4
122.37/123.45	c 123	============================[ Search Statistics ]==============================
122.37/123.45	c 123	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
122.37/123.45	c 123	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
122.37/123.45	c 123	===============================================================================
122.37/123.45	c 123	|     18467 |    1630   670088  8176410 |   223362    18467     11 |  0.002 % |
122.37/123.49	c 123	|     18567 |    1630   670088  8176410 |   245698    18567     11 |  2.455 % |
122.55/123.58	c 123	|     18717 |    1630   670088  8176410 |   270268    18717     11 |  2.455 % |
122.75/123.72	c 123	|     18943 |    1630   670088  8176410 |   297295    18943     11 |  2.455 % |
122.85/123.90	c 124	|     19280 |    1630   670088  8176410 |   327025    19280     11 |  2.455 % |
123.05/124.03	c 124	|     19786 |    1630   670088  8176410 |   359727    19786     11 |  2.455 % |
123.25/124.28	c 124	|     20546 |    1630   670088  8176410 |   395700    20546     11 |  2.455 % |
123.64/124.60	c 124	|     21686 |    1630   670088  8176410 |   435270    21686     11 |  2.455 % |
124.05/125.03	c 125	|     23394 |    1630   670088  8176410 |   478797    23394     11 |  2.455 % |
125.16/126.11	c 126	|     25958 |    1630   670088  8176410 |   526677    25958     11 |  2.455 % |
125.75/126.78	c 127	|     29802 |    1630   670088  8176410 |   579345    29802     11 |  2.455 % |
127.64/128.63	c 128	|     35568 |    1630   670088  8176410 |   637279    35568     11 |  2.455 % |
129.73/130.73	c 130	|     44218 |    1630   670088  8176410 |   701007    44218     11 |  2.455 % |
134.91/135.91	c 136	|     57192 |    1630   670088  8176410 |   771108    57192     12 |  2.455 % |
146.64/147.76	c 148	|     76654 |    1630   670088  8176410 |   848219    76654     12 |  2.455 % |
198.58/199.95	c 200	|    105847 |    1630   670088  8176410 |   933041   105847     15 |  2.455 % |
233.30/234.82	c 235	|    149638 |    1630   670088  8176410 |  1026345   149638     15 |  2.455 % |
325.65/327.61	c 327	|    215324 |    1630   670088  8176410 |  1128979   215324     17 |  2.455 % |
521.29/524.29	c 524	|    313851 |    1590   669863  8175847 |  1241877   313851     19 |  2.455 % |
942.54/946.30	c 946	|    461640 |    1590   669863  8175847 |  1366065   461640     22 |  2.455 % |
1106.77/1110.68	c 1110	===============================================================================
1106.77/1110.68	c 1110	restarts              : 32
1106.77/1110.68	c 1110	conflicts             : 585830        (592 /sec)
1106.77/1110.68	c 1110	decisions             : 794644        (1.32 % random) (803 /sec)
1106.77/1110.68	c 1110	propagations          : 29829839       (30146 /sec)
1106.77/1110.68	c 1110	conflict literals     : 12316482       (25.16 % deleted)
1106.77/1110.68	c 1110	Memory used           : 129.55 MB
1106.77/1110.68	c 1110	CPU time              : 989.52 s
1106.77/1110.68	c 1110	
1106.77/1110.68	c 1110	SATISFIABLE
1106.77/1110.69	c 1110	OK
1106.77/1110.69	c 1110	FOUND: _COST <= 4
1106.77/1110.69	c 1110	DECODING HOME/temp.out WITH HOME/temp.map
1106.77/1110.69	c 1110	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1106.87/1110.77	c 1111	Decoding HOME/temp.out
1106.87/1110.81	c 1111	OBJECTIVE _COST 4
1106.87/1110.81	o 4
1106.87/1110.81	v 25 20 19 22 18 20 22 13 20 18 20 13 7 0 15 15 8 4 18 19 25 1 0 20 4 11 11 15 0 17 25 14 22 18 13 8 1 0 1 0 3 17 4 0 3 5 20 11 11 24 8 13 3 20 18 19 17 8 4 18
1106.87/1110.81	c 1111	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1107.14/1111.05	c 1111	OK
1107.14/1111.05	c 1111	OBJECTIVE BOUND: 0 <= _COST <= 4
1107.14/1111.05	c 1111	SEARCHING: _COST <= 2
1107.14/1111.05	c 1111	============================[ Search Statistics ]==============================
1107.14/1111.05	c 1111	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1107.14/1111.05	c 1111	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1107.14/1111.05	c 1111	===============================================================================
1107.14/1111.05	c 1111	|    585830 |    1566   669725  8175501 |   223241   585808     21 |  2.455 % |
1113.93/1117.84	c 1118	|    585930 |    1566   669725  8175501 |   245565    29724     15 |  3.927 % |
1114.13/1118.01	c 1118	|    586081 |    1566   669725  8175501 |   270122    29875     15 |  3.927 % |
1114.53/1118.46	c 1118	|    586307 |    1566   669725  8175501 |   297134    30101     15 |  3.927 % |
1114.84/1118.71	c 1118	|    586644 |    1566   669725  8175501 |   326848    30438     15 |  3.927 % |
1115.94/1119.87	c 1120	|    587150 |    1566   669725  8175501 |   359532    30944     15 |  3.927 % |
1116.84/1120.76	c 1121	|    587910 |    1566   669725  8175501 |   395486    31704     15 |  3.927 % |
1119.13/1123.01	c 1123	|    589049 |    1566   669725  8175501 |   435034    32843     15 |  3.927 % |
1122.43/1126.31	c 1126	|    590757 |    1566   669725  8175501 |   478538    34551     15 |  3.927 % |
1127.23/1131.16	c 1131	|    593319 |    1566   669725  8175501 |   526392    37113     15 |  3.927 % |
1129.03/1132.91	c 1133	|    597164 |    1566   669725  8175501 |   579031    40958     15 |  3.927 % |
1133.72/1137.62	c 1137	|    602930 |    1566   669725  8175501 |   636934    46724     15 |  3.927 % |
1150.41/1154.30	c 1154	|    611581 |    1566   669725  8175501 |   700627    55375     15 |  3.927 % |
1161.61/1165.52	c 1165	|    624555 |    1566   669725  8175501 |   770690    68349     15 |  3.927 % |
1199.49/1203.47	c 1203	|    644017 |    1566   669725  8175501 |   847759    87811     17 |  3.927 % |
1274.65/1278.65	c 1278	|    673209 |    1566   669725  8175501 |   932535   117003     18 |  3.927 % |
1375.10/1379.20	c 1379	|    716998 |    1566   669725  8175501 |  1025789   160792     19 |  3.927 % |
1567.10/1571.23	c 1571	|    782683 |    1566   669725  8175501 |  1128368   226477     21 |  3.927 % |
1877.06/1881.31	c 1881	|    881209 |    1566   669725  8175501 |  1241205   325003     23 |  3.927 % |
2470.68/2475.23	c 2475	|   1028998 |    1566   669725  8175501 |  1365325   472792     24 |  3.927 % |
3600.06/3605.11	c ERROR INTERRUPTED
3600.06/3605.15	c 3605	CPU 3598.96 (0.06 0.03 3598.9 1.09)
3600.06/3605.15	c 3605	END Sat Jul 12 02:58:21 2008

Verifier Data (download as text)

OK	4	12
4 unsatisfied constraints, 12 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-1110355-1215820696/watcher-1110355-1215820696 -o /tmp/evaluation-result-1110355-1215820696/solver-1110355-1215820696 -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-1110355-1215820696.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.22 2.37 2.36 4/82 16572
/proc/meminfo: memFree=1923240/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=12268 CPUtime=0
/proc/16572/stat : 16572 (sugar++) R 16570 16572 15797 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 38768572 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 250969029221 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16572/statm: 3067 316 241 3 0 167 0

[startup+0.063389 s]
/proc/loadavg: 2.22 2.37 2.36 4/82 16572
/proc/meminfo: memFree=1923240/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=13336 CPUtime=0.03
/proc/16572/stat : 16572 (sugar++) D 16570 16572 15797 0 -1 4194304 733 0 0 0 2 1 0 0 18 0 1 0 38768572 13656064 701 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/16572/statm: 3334 701 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336

[startup+0.102387 s]
/proc/loadavg: 2.22 2.37 2.36 4/82 16572
/proc/meminfo: memFree=1923240/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=13468 CPUtime=0.03
/proc/16572/stat : 16572 (sugar++) D 16570 16572 15797 0 -1 4194304 756 0 0 0 2 1 0 0 18 0 1 0 38768572 13791232 724 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/16572/statm: 3367 724 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468

[startup+0.301429 s]
/proc/loadavg: 2.22 2.37 2.36 4/82 16572
/proc/meminfo: memFree=1923240/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=0.07
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1216 128 3 0 5 2 0 0 19 0 1 0 38768572 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16572/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701503 s]
/proc/loadavg: 2.22 2.37 2.36 4/82 16572
/proc/meminfo: memFree=1923240/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=0.53
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1276 6515 3 1 5 2 41 5 16 0 1 0 38768572 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16572/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 16740

[startup+1.50164 s]
/proc/loadavg: 2.22 2.37 2.36 4/93 16594
/proc/meminfo: memFree=1913224/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=0.53
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1294 6515 3 1 5 2 41 5 15 0 1 0 38768572 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16572/statm: 4185 1104 409 3 0 764 0
[pid=16585] ppid=16572 vsize=5356 CPUtime=0
/proc/16585/stat : 16585 (sh) S 16572 16572 15797 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38768640 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16585/statm: 1339 233 193 169 0 50 0
[pid=16586] ppid=16585 vsize=864344 CPUtime=0.81
/proc/16586/stat : 16586 (java) S 16585 16572 15797 0 -1 0 7731 0 1 0 76 5 0 0 18 0 9 0 38768640 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16586/statm: 216086 7011 2540 9 0 210661 0
[pid=16586/tid=16587] ppid=16585 vsize=864344 CPUtime=0.51
/proc/16586/task/16587/stat : 16587 (java) R 16585 16572 15797 0 -1 64 2650 0 1 0 50 1 0 0 21 0 9 0 38768641 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4126517314 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16588] ppid=16585 vsize=864344 CPUtime=0.21
/proc/16586/task/16588/stat : 16588 (java) S 16585 16572 15797 0 -1 64 4070 0 0 0 20 1 0 0 16 0 9 0 38768642 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16589] ppid=16585 vsize=864344 CPUtime=0
/proc/16586/task/16589/stat : 16589 (java) S 16585 16572 15797 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38768642 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16590] ppid=16585 vsize=864344 CPUtime=0
/proc/16586/task/16590/stat : 16590 (java) S 16585 16572 15797 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38768642 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16591] ppid=16585 vsize=864344 CPUtime=0
/proc/16586/task/16591/stat : 16591 (java) S 16585 16572 15797 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38768644 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16592] ppid=16585 vsize=864344 CPUtime=0.05
/proc/16586/task/16592/stat : 16592 (java) S 16585 16572 15797 0 -1 64 318 0 0 0 5 0 0 0 16 0 9 0 38768644 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16593] ppid=16585 vsize=864344 CPUtime=0
/proc/16586/task/16593/stat : 16593 (java) S 16585 16572 15797 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38768644 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16594] ppid=16585 vsize=864344 CPUtime=0
/proc/16586/task/16594/stat : 16594 (java) S 16585 16572 15797 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38768644 885088256 7011 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 886440

[startup+3.10292 s]
/proc/loadavg: 2.29 2.38 2.36 3/93 16594
/proc/meminfo: memFree=1883080/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=0.53
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1294 6515 3 1 5 2 41 5 15 0 1 0 38768572 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16572/statm: 4185 1104 409 3 0 764 0
[pid=16585] ppid=16572 vsize=5356 CPUtime=0
/proc/16585/stat : 16585 (sh) S 16572 16572 15797 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38768640 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16585/statm: 1339 233 193 169 0 50 0
[pid=16586] ppid=16585 vsize=864456 CPUtime=2.39
/proc/16586/stat : 16586 (java) S 16585 16572 15797 0 -1 0 14181 0 1 0 231 8 0 0 18 0 9 0 38768640 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16586/statm: 216114 13411 2564 9 0 210661 0
[pid=16586/tid=16587] ppid=16585 vsize=864456 CPUtime=1.38
/proc/16586/task/16587/stat : 16587 (java) R 16585 16572 15797 0 -1 64 3117 0 1 0 136 2 0 0 22 0 9 0 38768641 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4126541282 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16588] ppid=16585 vsize=864456 CPUtime=0.9
/proc/16586/task/16588/stat : 16588 (java) S 16585 16572 15797 0 -1 64 10031 0 0 0 86 4 0 0 16 0 9 0 38768642 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16589] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16589/stat : 16589 (java) S 16585 16572 15797 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38768642 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16590] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16590/stat : 16590 (java) S 16585 16572 15797 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38768642 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16591] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16591/stat : 16591 (java) S 16585 16572 15797 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38768644 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16592] ppid=16585 vsize=864456 CPUtime=0.08
/proc/16586/task/16592/stat : 16592 (java) S 16585 16572 15797 0 -1 64 340 0 0 0 8 0 0 0 16 0 9 0 38768644 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16593] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16593/stat : 16593 (java) S 16585 16572 15797 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38768644 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16594] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16594/stat : 16594 (java) S 16585 16572 15797 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38768644 885202944 13411 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 886552

[startup+6.30149 s]
/proc/loadavg: 2.29 2.38 2.36 3/93 16594
/proc/meminfo: memFree=1873736/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=0.53
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1294 6515 3 1 5 2 41 5 15 0 1 0 38768572 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16572/statm: 4185 1104 409 3 0 764 0
[pid=16585] ppid=16572 vsize=5356 CPUtime=0
/proc/16585/stat : 16585 (sh) S 16572 16572 15797 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38768640 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16585/statm: 1339 233 193 169 0 50 0
[pid=16586] ppid=16585 vsize=864456 CPUtime=5.57
/proc/16586/stat : 16586 (java) S 16585 16572 15797 0 -1 0 14797 0 1 0 548 9 0 0 18 0 9 0 38768640 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16586/statm: 216114 13990 2564 9 0 210661 0
[pid=16586/tid=16587] ppid=16585 vsize=864456 CPUtime=4.48
/proc/16586/task/16587/stat : 16587 (java) R 16585 16572 15797 0 -1 64 3154 0 1 0 445 3 0 0 25 0 9 0 38768641 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4126583861 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16588] ppid=16585 vsize=864456 CPUtime=0.97
/proc/16586/task/16588/stat : 16588 (java) S 16585 16572 15797 0 -1 64 10607 0 0 0 93 4 0 0 16 0 9 0 38768642 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16589] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16589/stat : 16589 (java) S 16585 16572 15797 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38768642 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16590] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16590/stat : 16590 (java) S 16585 16572 15797 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38768642 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16591] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16591/stat : 16591 (java) S 16585 16572 15797 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38768644 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16592] ppid=16585 vsize=864456 CPUtime=0.09
/proc/16586/task/16592/stat : 16592 (java) S 16585 16572 15797 0 -1 64 343 0 0 0 9 0 0 0 16 0 9 0 38768644 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16593] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16593/stat : 16593 (java) S 16585 16572 15797 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38768644 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16594] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16594/stat : 16594 (java) S 16585 16572 15797 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38768644 885202944 13990 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 886552

[startup+12.7026 s]
/proc/loadavg: 2.24 2.37 2.35 3/93 16594
/proc/meminfo: memFree=1863624/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=0.53
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1294 6515 3 1 5 2 41 5 15 0 1 0 38768572 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16572/statm: 4185 1104 409 3 0 764 0
[pid=16585] ppid=16572 vsize=5356 CPUtime=0
/proc/16585/stat : 16585 (sh) S 16572 16572 15797 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38768640 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16585/statm: 1339 233 193 169 0 50 0
[pid=16586] ppid=16585 vsize=864456 CPUtime=11.95
/proc/16586/stat : 16586 (java) S 16585 16572 15797 0 -1 0 16637 0 1 0 1182 13 0 0 18 0 9 0 38768640 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16586/statm: 216114 15766 2564 9 0 210661 0
[pid=16586/tid=16587] ppid=16585 vsize=864456 CPUtime=10.73
/proc/16586/task/16587/stat : 16587 (java) R 16585 16572 15797 0 -1 64 3218 0 1 0 1068 5 0 0 25 0 9 0 38768641 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4126554456 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16588] ppid=16585 vsize=864456 CPUtime=1.1
/proc/16586/task/16588/stat : 16588 (java) S 16585 16572 15797 0 -1 64 12382 0 0 0 104 6 0 0 16 0 9 0 38768642 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16589] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16589/stat : 16589 (java) S 16585 16572 15797 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38768642 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16590] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16590/stat : 16590 (java) S 16585 16572 15797 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38768642 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16591] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16591/stat : 16591 (java) S 16585 16572 15797 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 38768644 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16592] ppid=16585 vsize=864456 CPUtime=0.09
/proc/16586/task/16592/stat : 16592 (java) S 16585 16572 15797 0 -1 64 344 0 0 0 9 0 0 0 16 0 9 0 38768644 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16593] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16593/stat : 16593 (java) S 16585 16572 15797 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 38768644 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16594] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16594/stat : 16594 (java) S 16585 16572 15797 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38768644 885202944 15766 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 886552

[startup+25.5019 s]
/proc/loadavg: 2.20 2.35 2.35 3/93 16594
/proc/meminfo: memFree=1846600/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=0.53
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1294 6515 3 1 5 2 41 5 16 0 1 0 38768572 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16572/statm: 4185 1104 409 3 0 764 0
[pid=16585] ppid=16572 vsize=5356 CPUtime=0
/proc/16585/stat : 16585 (sh) S 16572 16572 15797 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38768640 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16585/statm: 1339 233 193 169 0 50 0
[pid=16586] ppid=16585 vsize=864456 CPUtime=24.67
/proc/16586/stat : 16586 (java) S 16585 16572 15797 0 -1 0 21979 0 1 0 2447 20 0 0 18 0 9 0 38768640 885202944 18422 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16586/statm: 216114 18422 2564 9 0 210661 0
[pid=16586/tid=16587] ppid=16585 vsize=864456 CPUtime=22.95
/proc/16586/task/16587/stat : 16587 (java) R 16585 16572 15797 0 -1 64 3350 0 1 0 2286 9 0 0 25 0 9 0 38768641 885202944 18422 996147200 134512640 134550740 4294955920 18446744073709551615 4126583845 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16588] ppid=16585 vsize=864456 CPUtime=1.59
/proc/16586/task/16588/stat : 16588 (java) S 16585 16572 15797 0 -1 64 17589 0 0 0 150 9 0 0 16 0 9 0 38768642 885202944 18422 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16589] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16589/stat : 16589 (java) S 16585 16572 15797 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38768642 885202944 18422 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16586/tid=16590] ppid=16585 vsize=864456 CPUtime=0
/proc/16586/task/16590/stat : 16590 (java) S 16585 16572 15797 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38768642 885202944 18422 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=16595] ppid=16572 vsize=142208 CPUtime=2800.45
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 35082 0 0 0 280005 40 0 0 25 0 1 0 38780343 145620992 35026 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 35552 35026 80 151 0 35398 0
Current children cumulated CPU time (s) 2917.57
Current children cumulated vsize (KiB) 158948

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1719768/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=143792 CPUtime=2860.42
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 35469 0 0 0 286002 40 0 0 25 0 1 0 38780343 147243008 35413 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 35948 35413 80 151 0 35794 0
Current children cumulated CPU time (s) 2977.54
Current children cumulated vsize (KiB) 160532

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1718360/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=145236 CPUtime=2920.39
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 35834 0 0 0 291999 40 0 0 25 0 1 0 38780343 148721664 35778 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 36309 35778 80 151 0 36155 0
Current children cumulated CPU time (s) 3037.51
Current children cumulated vsize (KiB) 161976

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1716824/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=146568 CPUtime=2980.36
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 36196 0 0 0 297995 41 0 0 25 0 1 0 38780343 150085632 36140 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 36642 36140 80 151 0 36488 0
Current children cumulated CPU time (s) 3097.48
Current children cumulated vsize (KiB) 163308

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1715288/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=148044 CPUtime=3040.33
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 36575 0 0 0 303992 41 0 0 25 0 1 0 38780343 151597056 36519 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 37011 36519 80 151 0 36857 0
Current children cumulated CPU time (s) 3157.45
Current children cumulated vsize (KiB) 164784

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1713688/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=149608 CPUtime=3100.3
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 36973 0 0 0 309988 42 0 0 25 0 1 0 38780343 153198592 36917 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 37402 36917 80 151 0 37248 0
Current children cumulated CPU time (s) 3217.42
Current children cumulated vsize (KiB) 166348

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1711960/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=151268 CPUtime=3160.29
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 37385 0 0 0 315986 43 0 0 25 0 1 0 38780343 154898432 37329 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 37817 37329 80 151 0 37663 0
Current children cumulated CPU time (s) 3277.41
Current children cumulated vsize (KiB) 168008

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1710296/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=152852 CPUtime=3220.25
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 37797 0 0 0 321981 44 0 0 25 0 1 0 38780343 156520448 37741 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 38213 37741 80 151 0 38059 0
Current children cumulated CPU time (s) 3337.37
Current children cumulated vsize (KiB) 169592

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1708632/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=154468 CPUtime=3280.23
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 38193 0 0 0 327979 44 0 0 25 0 1 0 38780343 158175232 38137 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 38617 38137 80 151 0 38463 0
Current children cumulated CPU time (s) 3397.35
Current children cumulated vsize (KiB) 171208

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1707224/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=155952 CPUtime=3340.2
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 38544 0 0 0 333975 45 0 0 25 0 1 0 38780343 159694848 38488 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 38988 38488 80 151 0 38834 0
Current children cumulated CPU time (s) 3457.32
Current children cumulated vsize (KiB) 172692

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1705496/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=157508 CPUtime=3400.17
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 38953 0 0 0 339972 45 0 0 25 0 1 0 38780343 161288192 38897 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 39377 38897 80 151 0 39223 0
Current children cumulated CPU time (s) 3517.29
Current children cumulated vsize (KiB) 174248

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1704152/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=158888 CPUtime=3460.14
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 39273 0 0 0 345968 46 0 0 25 0 1 0 38780343 162701312 39217 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 39722 39217 80 151 0 39568 0
Current children cumulated CPU time (s) 3577.26
Current children cumulated vsize (KiB) 175628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1703576/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=159500 CPUtime=3482.94
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 39411 0 0 0 348248 46 0 0 25 0 1 0 38780343 163328000 39355 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 39875 39355 80 151 0 39721 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 176240

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

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

[startup+3605.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16659
/proc/meminfo: memFree=1703576/2055920 swapFree=4192812/4192956
[pid=16572] ppid=16570 vsize=16740 CPUtime=117.12
/proc/16572/stat : 16572 (sugar++) S 16570 16572 15797 0 -1 4194304 1605 45702 6 4 6 3 11642 61 16 0 1 0 38768572 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16572/statm: 4185 1114 414 3 0 764 0
[pid=16595] ppid=16572 vsize=159500 CPUtime=3482.94
/proc/16595/stat : 16595 (minisat-inc) R 16572 16572 15797 0 -1 4194304 39411 0 0 0 348248 46 0 0 25 0 1 0 38780343 163328000 39355 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16595/statm: 39875 39355 80 151 0 39721 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 176240

Child status: 0
Real time (s): 3605.15
CPU time (s): 3600.13
CPU user time (s): 3598.97
CPU system time (s): 1.15282
CPU usage (%): 99.8606
Max. virtual memory (cumulated for all children) (KiB): 892184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.15282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86798
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10139
involuntary context switches= 27969

runsolver used 5.30019 second user time and 10.9323 second system time

The end

Launcher Data (download as text)

Begin job on node56 at 2008-07-12 01:58:16
IDJOB=1110355
IDBENCH=61095
IDSOLVER=367
FILE ID=node56/1110355-1215820696
PBS_JOBID= 7903299
Free space on /tmp= 103240 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg6-10_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-1110355-1215820696/watcher-1110355-1215820696 -o /tmp/evaluation-result-1110355-1215820696/solver-1110355-1215820696 -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-1110355-1215820696.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9adead530525957babaa0ae74a947472
RANDOM SEED=683604216

node56.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.272
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.272
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:       1923720 kB
Buffers:          8104 kB
Cached:          43372 kB
SwapCached:          0 kB
Active:          66896 kB
Inactive:        14084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1923720 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1220 kB
Writeback:           0 kB
Mapped:          49660 kB
Slab:            36240 kB
Committed_AS:   194960 kB
PageTables:       2088 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= 103232 MiB
End job on node56 at 2008-07-12 02:58:23