Trace number 1112602

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+minisatMSAT (TO)452 3600.18 3615.01

General information on the benchmark

Namecsp/rlfapScens/
normalized-scen7.xml
MD5SUM4f1026eda97064116de2bf3bc78ace12
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints56
Best CPU time to get the best result obtained on this benchmark3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints2865
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2865
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.01/0.04	c 0	Sugar v1-13 + HOME/minisat
0.01/0.04	c 0	BEGIN Sat Jul 12 15:48:04 2008
0.01/0.04	c 0	PID 19577
0.01/0.04	c 0	HOST node8.alineos.net
0.01/0.04	c 0	CONVERTING HOME/instance-1112602-1215870484.xml TO HOME/temp.csp
0.01/0.04	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112602-1215870484.xml' 'HOME/temp.csp'
0.04/0.52	c 1	3 domains, 400 variables, 2 predicates, 0 relations, 2865 constraints
0.04/0.56	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.56	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.51/0.65	c 1	Parsing HOME/temp.csp
0.51/0.85	c 1	parsed 3270 expressions
0.51/0.85	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.51/0.88	c 1	MAX CSP: 2865 constraints
0.51/0.88	c 1	Converting to clausal form CSP
0.92/1.10	c 1	converted 614 (10%) expressions
1.42/1.52	c 2	converted 1228 (20%) expressions
1.71/1.85	c 2	converted 1842 (30%) expressions
2.01/2.15	c 2	converted 2456 (40%) expressions
2.40/2.51	c 3	converted 3069 (50%) expressions
2.71/2.84	c 3	converted 3683 (60%) expressions
3.00/3.14	c 3	converted 4297 (70%) expressions
3.30/3.43	c 4	converted 4911 (80%) expressions
3.59/3.71	c 4	converted 5525 (90%) expressions
4.19/4.32	c 4	converted 6138 (100%) expressions
4.19/4.32	c 4	CSP : 6130 integers, 200 booleans, 9194 clauses, largest domain size 4298
4.19/4.32	c 4	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.19/4.32	c 4	Propagation in CSP
4.28/4.46	c 5	2859 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.28/4.46	c 5	CSP : 6130 integers, 200 booleans, 9194 clauses, largest domain size 2866
4.28/4.46	c 5	Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.28/4.47	c 5	Simplifing CSP by introducing new Boolean variables
4.38/4.51	c 5	CSP : 6130 integers, 5884 booleans, 14878 clauses, largest domain size 2866
4.38/4.51	c 5	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.38/4.59	c 5	Encoding CSP to SAT : HOME/temp.cnf
4.58/4.76	c 5	613 (10%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.76	c 5	1226 (20%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.77	c 5	1839 (30%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.77	c 5	2452 (40%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.77	c 5	3065 (50%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.78	c 5	3678 (60%) CSP integer variables are encoded (20965 clauses, 292883 bytes)
4.58/4.79	c 5	4291 (70%) CSP integer variables are encoded (25985 clauses, 368183 bytes)
4.67/4.83	c 5	4904 (80%) CSP integer variables are encoded (55571 clauses, 811973 bytes)
4.67/4.85	c 5	5517 (90%) CSP integer variables are encoded (65632 clauses, 962888 bytes)
4.67/4.86	c 5	6130 (100%) CSP integer variables are encoded (74093 clauses, 1089803 bytes)
4.87/5.05	c 5	1488 (10%) CSP clauses are encoded (105096 clauses, 1695802 bytes)
5.07/5.21	c 5	2976 (20%) CSP clauses are encoded (133840 clauses, 2269624 bytes)
5.16/5.38	c 6	4464 (30%) CSP clauses are encoded (166014 clauses, 2914861 bytes)
5.37/5.55	c 6	5952 (40%) CSP clauses are encoded (196805 clauses, 3531844 bytes)
5.46/5.69	c 6	7439 (50%) CSP clauses are encoded (224429 clauses, 4089456 bytes)
5.66/5.84	c 6	8927 (60%) CSP clauses are encoded (253595 clauses, 4714847 bytes)
6.06/6.21	c 6	10415 (70%) CSP clauses are encoded (436167 clauses, 8574785 bytes)
6.95/7.19	c 7	11903 (80%) CSP clauses are encoded (963413 clauses, 19819691 bytes)
15.02/15.40	c 16	13391 (90%) CSP clauses are encoded (4494241 clauses, 95294124 bytes)
26.62/27.19	c 27	14878 (100%) CSP clauses are encoded (10634370 clauses, 227114770 bytes)
26.62/27.19	c 27	14878 CSP clauses encoded
26.62/27.19	c 27	Writing map file : HOME/temp.map
26.73/27.25	c 27	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
26.73/27.25	c 27	SAT : 86107 SAT variables, 10634370 SAT clauses, 227114770 bytes
26.73/27.25	c 27	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
26.79/27.30	c 27	OBJECTIVE minimize _COST
26.79/27.30	c 27	OBJECTIVE BOUND: 0 <= _COST <= 
26.79/27.30	c 27	SEARCHING: _COST <= 1433
26.79/27.30	c 27	SOLVING HOME/temp.cnf
26.79/27.30	c 27	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
26.79/27.31	c 27	This is MiniSat 2.0 beta
26.79/27.31	c 27	WARNING: for repeatability, setting FPU to use double precision
26.79/27.31	c 27	============================[ Problem Statistics ]=============================
26.79/27.31	c 27	|                                                                             |
26.79/27.31	c 27	|  Number of variables:  86107                                                |
26.79/27.31	c 27	|  Number of clauses:    10634371                                             |
31.91/32.50	c 33	|  Parsing time:         4.26         s                                       |
60.04/60.93	c 61	============================[ Search Statistics ]==============================
60.04/60.93	c 61	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
60.04/60.93	c 61	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
60.04/60.93	c 61	===============================================================================
60.04/60.93	c 61	|         0 |   68923  6825537 20320442 |  2275179        0    nan |  0.000 % |
61.22/62.12	c 62	|       100 |   68923  6825537 20320442 |  2502696      100     49 | 19.957 % |
61.72/62.65	c 63	|       252 |   68923  6825537 20320442 |  2752966      252     46 | 19.957 % |
63.80/64.72	c 65	|       477 |   68923  6825537 20320442 |  3028263      477     68 | 19.957 % |
64.09/65.10	c 65	===============================================================================
64.19/65.10	c 65	restarts              : 4
64.19/65.10	c 65	conflicts             : 527            (14 /sec)
64.19/65.10	c 65	decisions             : 10748          (0.61 % random) (294 /sec)
64.19/65.10	c 65	propagations          : 1691053        (46279 /sec)
64.19/65.10	c 65	conflict literals     : 32977          (23.35 % deleted)
64.19/65.10	c 65	Memory used           : 420.90 MB
64.19/65.10	c 65	CPU time              : 36.5404 s
64.19/65.10	c 65	
64.19/65.13	c 65	SATISFIABLE
64.29/65.20	c 65	FOUND: _COST <= 1433
64.29/65.20	s SATISFIABLE
64.29/65.20	c 65	DECODING HOME/temp.out WITH HOME/temp.map
64.29/65.20	c 65	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
64.29/65.29	c 65	Decoding HOME/temp.out
64.30/65.61	c 66	OBJECTIVE _COST 1409
64.30/65.61	o 1409
64.30/65.62	v 268 30 338 72 666 498 792 554 44 722 512 324 792 792 414 792 792 792 554 394 694 792 792 792 16 254 792 792 394 156 470 310 792 380 652 498 484 722 792 296 128 366 512 792 792 792 470 86 324 86 156 394 352 72 156 722 44 72 652 708 540 778 722 484 722 484 428 792 540 736 282 778 540 526 380 142 72 310 792 310 694 456 554 16 792 792 652 16 764 456 708 414 722 86 792 792 666 722 100 792 44 282 296 58 792 156 554 254 792 792 792 722 352 792 554 792 792 554 512 484 792 128 764 792 554 792 324 86 394 156 310 86 44 282 380 142 694 792 722 666 708 540 30 394 394 792 540 526 310 142 778 540 540 778 694 456 428 44 380 764 470 708 30 366 736 778 30 268 778 540 778 456 44 282 694 414 778 722 722 764 442 680 792 666 512 324 16 156 310 72 142 338 380 142 778 114 44 778 30 268 268 30 114 778 456 282 338 72 778 778 72 310 498 792 338 324 778 540 428 142 778 736 540 778 708 778 778 338 792 282 296 512 722 484 324 268 58 296 156 338 156 100 778 680 310 268 526 764 666 540 778 540 778 778 86 666 456 498 380 778 442 680 540 778 310 380 778 268 778 30 128 366 778 30 366 128 778 778 442 680 352 380 296 554 778 778 680 128 428 86 394 156 100 484 156 58 792 554 554 792 30 366 792 526 310 156 792 16 792 792 778 30 778 484 792 792 268 324 324 86 792 16 708 352 778 442 470 722 86 324 380 778 540 778 778 100 394 156 156 792 100 142 736 540 86 484 498 778 100 142 142 380 722 540 100 142 540 778 128 778 380 540 736 100 666 428 380 142 750 512 792 792 268 680 338 778 352 442 778 114 380 86 540 778 694 142 380 708 58 380 778 540 666 694 778 778 792 792 554 736
64.30/65.63	c 66	Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
64.30/65.68	c 66	OBJECTIVE BOUND: 0 <= _COST <= 1409
64.30/65.68	c 66	SEARCHING: _COST <= 704
64.30/65.68	c 66	SOLVING HOME/temp.cnf
64.30/65.68	c 66	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
64.30/65.68	c 66	This is MiniSat 2.0 beta
64.30/65.68	c 66	WARNING: for repeatability, setting FPU to use double precision
64.30/65.68	c 66	============================[ Problem Statistics ]=============================
64.30/65.68	c 66	|                                                                             |
64.30/65.68	c 66	|  Number of variables:  86107                                                |
64.30/65.68	c 66	|  Number of clauses:    10634371                                             |
69.89/70.96	c 71	|  Parsing time:         4.39         s                                       |
105.64/107.08	c 107	============================[ Search Statistics ]==============================
105.64/107.08	c 107	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
105.64/107.08	c 107	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
105.64/107.08	c 107	===============================================================================
105.64/107.08	c 107	|         0 |   59409  4418308 13126568 |  1472769        0    nan |  0.000 % |
106.73/108.19	c 108	|       100 |   59409  4418308 13126568 |  1620046      100     99 | 31.006 % |
107.03/108.45	c 109	|       251 |   59409  4418308 13126568 |  1782050      251     52 | 31.006 % |
108.32/109.77	c 110	|       477 |   59409  4418308 13126568 |  1960255      477     47 | 31.006 % |
109.21/110.60	c 111	|       814 |   59409  4418308 13126568 |  2156281      814     46 | 31.006 % |
111.09/112.54	c 113	|      1320 |   59409  4418308 13126568 |  2371909     1320     58 | 31.006 % |
113.47/114.94	c 115	|      2080 |   59409  4418308 13126568 |  2609100     2080     55 | 31.006 % |
116.24/117.78	c 118	|      3220 |   59409  4418308 13126568 |  2870010     3220     62 | 31.006 % |
125.05/126.64	c 127	|      4928 |   59409  4418308 13126568 |  3157011     4928     67 | 31.006 % |
131.19/132.84	c 133	|      7490 |   59409  4418308 13126568 |  3472713     7490     80 | 31.006 % |
147.13/148.97	c 149	|     11335 |   59409  4418308 13126568 |  3819984    11335     87 | 31.006 % |
163.28/165.26	c 165	|     17101 |   59409  4418308 13126568 |  4201982    17101     89 | 31.006 % |
170.61/172.66	c 173	===============================================================================
170.61/172.67	c 173	restarts              : 12
170.61/172.67	c 173	conflicts             : 19976          (190 /sec)
170.61/172.67	c 173	decisions             : 43613          (1.04 % random) (415 /sec)
170.61/172.67	c 173	propagations          : 40871334       (388854 /sec)
170.61/172.67	c 173	conflict literals     : 1706038        (15.04 % deleted)
170.61/172.67	c 173	Memory used           : 430.13 MB
170.61/172.67	c 173	CPU time              : 105.107 s
170.61/172.67	c 173	
170.61/172.70	c 173	SATISFIABLE
170.71/172.77	c 173	FOUND: _COST <= 704
170.71/172.77	c 173	DECODING HOME/temp.out WITH HOME/temp.map
170.71/172.77	c 173	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
170.78/172.86	c 173	Decoding HOME/temp.out
170.78/173.19	c 173	OBJECTIVE _COST 704
170.78/173.19	o 704
170.78/173.21	v 484 722 512 792 484 722 282 44 58 296 554 792 142 380 296 58 554 792 554 792 394 156 254 16 792 554 352 114 792 792 792 428 554 100 792 16 540 30 792 394 792 554 86 254 792 394 498 456 666 526 366 16 310 296 792 792 254 16 554 792 310 30 554 792 694 554 428 30 498 736 72 30 428 778 352 114 86 324 792 554 694 456 380 142 470 708 792 526 44 414 30 268 16 338 86 254 338 156 156 44 30 268 142 380 554 156 456 694 470 708 128 792 394 16 694 554 394 792 666 428 792 554 86 324 16 554 470 708 540 778 30 128 16 324 338 100 58 296 16 352 16 792 792 554 540 86 694 456 442 680 708 30 540 778 142 380 142 380 456 694 526 778 142 296 680 778 296 58 708 470 666 526 680 680 156 394 380 142 540 470 380 142 554 722 72 352 156 394 540 708 100 72 442 778 380 142 72 310 554 792 282 44 778 778 282 44 484 666 540 778 72 352 498 792 708 708 30 268 540 778 44 282 750 324 268 128 142 380 394 156 128 366 100 338 778 778 666 428 44 498 254 16 764 526 778 778 540 778 324 142 142 142 380 58 72 310 778 540 526 114 338 100 666 428 324 128 30 352 778 540 268 30 680 778 540 778 324 86 282 44 722 484 16 254 778 540 694 30 778 540 310 72 722 484 16 254 792 554 296 58 764 526 310 792 86 324 16 254 142 16 58 554 58 268 792 470 792 694 792 16 156 16 282 44 58 366 324 778 722 484 708 470 540 778 778 540 442 680 652 414 750 512 114 352 554 792 282 44 694 456 310 72 380 142 764 526 324 142 778 540 44 282 526 764 778 296 380 142 666 778 792 456 296 694 380 142 778 540 366 128 142 380 540 778 694 456 680 442 128 366 540 778 694 456 442 680 554 792 554 310
170.78/173.21	c 173	Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
170.78/173.25	c 173	OBJECTIVE BOUND: 0 <= _COST <= 704
170.78/173.25	c 173	SEARCHING: _COST <= 352
170.78/173.25	c 173	SOLVING HOME/temp.cnf
170.78/173.25	c 173	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
170.78/173.25	c 173	This is MiniSat 2.0 beta
170.78/173.25	c 173	WARNING: for repeatability, setting FPU to use double precision
170.78/173.25	c 173	============================[ Problem Statistics ]=============================
170.78/173.25	c 173	|                                                                             |
170.78/173.25	c 173	|  Number of variables:  86107                                                |
170.78/173.25	c 173	|  Number of clauses:    10634371                                             |
176.69/178.80	c 179	|  Parsing time:         4.67         s                                       |
214.72/217.27	c 217	============================[ Search Statistics ]==============================
214.72/217.27	c 217	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.72/217.27	c 217	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
214.72/217.27	c 217	===============================================================================
214.72/217.27	c 217	|         0 |   53734  2568481  7593760 |   856160        0    nan |  0.000 % |
215.81/218.34	c 218	|       101 |   53734  2568481  7593760 |   941776      101     97 | 37.596 % |
216.10/218.67	c 219	|       251 |   53734  2568481  7593760 |  1035954      251     72 | 37.596 % |
217.19/219.78	c 220	|       477 |   53734  2568481  7593760 |  1139549      477     62 | 37.596 % |
217.89/220.42	c 221	|       815 |   53734  2568481  7593760 |  1253504      815     59 | 37.596 % |
219.57/222.11	c 222	|      1321 |   53734  2568481  7593760 |  1378854     1321     55 | 37.596 % |
222.14/224.78	c 225	|      2080 |   53734  2568481  7593760 |  1516740     2080     69 | 37.596 % |
224.62/227.20	c 227	|      3219 |   53734  2568481  7593760 |  1668414     3219     60 | 37.596 % |
228.78/231.41	c 232	|      4927 |   53734  2568481  7593760 |  1835255     4927     55 | 37.596 % |
233.83/236.52	c 237	|      7489 |   53734  2568481  7593760 |  2018781     7489     63 | 37.596 % |
248.19/251.05	c 251	|     11334 |   53734  2568481  7593760 |  2220659    11334     69 | 37.596 % |
264.73/267.70	c 268	|     17100 |   53734  2568481  7593760 |  2442725    17100     69 | 37.596 % |
282.65/285.82	c 286	|     25751 |   53734  2568481  7593760 |  2686997    25751     78 | 37.596 % |
327.62/331.23	c 331	|     38725 |   53734  2568481  7593760 |  2955697    38725     65 | 37.596 % |
377.21/381.18	c 381	|     58190 |   53734  2568481  7593760 |  3251267    58190     59 | 37.596 % |
485.37/489.40	c 490	|     87382 |   53734  2568481  7593760 |  3576394    87382     63 | 37.596 % |
635.52/639.57	c 640	|    131171 |   53734  2568481  7593760 |  3934033   131171     77 | 37.596 % |
898.41/902.51	c 903	|    196857 |   53734  2568481  7593760 |  4327436   196857    137 | 37.596 % |
1340.84/1346.28	c 1346	|    295384 |   53734  2568481  7593760 |  4760180   295384    118 | 37.596 % |
1963.44/1971.41	c 1972	|    443174 |   53734  2568481  7593760 |  5236198   443174    108 | 37.596 % |
3172.53/3185.57	c 3186	|    664857 |   53734  2568481  7593760 |  5759818   664857    105 | 37.596 % |
3600.07/3614.82	c ERROR INTERRUPTED
3600.07/3614.89	c 3615	CPU 167.44 (0.05 0.02 167.39 3.76)
3600.07/3614.89	c 3615	END Sat Jul 12 16:48:19 2008

Verifier Data (download as text)

OK	452	2413
452 unsatisfied constraints, 2413 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-1112602-1215870484/watcher-1112602-1215870484 -o /tmp/evaluation-result-1112602-1215870484/solver-1112602-1215870484 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1112602-1215870484.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.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=12272 CPUtime=0
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 43751488 12566528 327 996147200 4194304 4206940 548682068592 18446744073709551615 228706712165 0 0 4224 0 0 0 0 17 1 0 0
/proc/19577/statm: 3068 327 246 3 0 168 0

[startup+0.0212789 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=12808 CPUtime=0.01
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 561 0 0 0 1 0 0 0 18 0 1 0 43751488 13115392 529 996147200 4194304 4206940 548682068592 18446744073709551615 228706390753 0 0 4224 0 0 0 0 17 1 0 0
/proc/19577/statm: 3202 530 316 3 0 302 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12808

[startup+0.101291 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.04
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 898 127 0 0 3 1 0 0 16 0 1 0 43751488 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19577/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.301327 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.04
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 898 127 0 0 3 1 0 0 16 0 1 0 43751488 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19577/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.701396 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13600

[startup+1.50254 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1805176/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868384 CPUtime=0.91
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 5461 0 1 0 88 3 0 0 20 0 9 0 43751546 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217096 4856 1734 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868384 CPUtime=0.66
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 2676 0 1 0 65 1 0 0 25 0 9 0 43751547 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4126524599 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868384 CPUtime=0.04
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 645 0 0 0 4 0 0 0 16 0 9 0 43751548 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 24 0 9 0 43751548 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 43751548 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868384 CPUtime=0.18
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1449 0 0 0 17 1 0 0 16 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 887340

[startup+3.10281 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1798520/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868384 CPUtime=2.49
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 7417 0 1 0 244 5 0 0 20 0 9 0 43751546 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217096 6520 2540 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868384 CPUtime=2.1
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 2798 0 1 0 209 1 0 0 25 0 9 0 43751547 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4126593203 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868384 CPUtime=0.17
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 2463 0 0 0 15 2 0 0 16 0 9 0 43751548 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868384 CPUtime=0.2
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1464 0 0 0 19 1 0 0 16 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 887340

[startup+6.30238 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1786296/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868496 CPUtime=5.64
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 9574 0 1 0 550 14 0 0 20 0 9 0 43751546 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217124 8253 2566 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868496 CPUtime=4.81
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 3272 0 1 0 474 7 0 0 25 0 9 0 43751547 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4126564728 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868496 CPUtime=0.5
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 4083 0 0 0 45 5 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868496 CPUtime=0.3
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1527 0 0 0 29 1 0 0 16 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 887452

[startup+12.7025 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1733496/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 16 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868496 CPUtime=11.96
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 10902 0 1 0 1139 57 0 0 20 0 9 0 43751546 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217124 8253 2566 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868496 CPUtime=10.76
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 4600 0 1 0 1034 42 0 0 25 0 9 0 43751547 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868496 CPUtime=0.87
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 4083 0 0 0 75 12 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868496 CPUtime=0.3
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1527 0 0 0 29 1 0 0 16 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 887452

[startup+25.5027 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1580024/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 16 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868496 CPUtime=24.54
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 14075 0 1 0 2291 163 0 0 20 0 9 0 43751546 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217124 8253 2566 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868496 CPUtime=22.44
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 7773 0 1 0 2115 129 0 0 25 0 9 0 43751547 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 102064662 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868496 CPUtime=1.76
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 4083 0 0 0 145 31 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=553664 CPUtime=3037.98
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 136732 0 0 0 303683 115 0 0 25 0 1 0 43768814 566951936 136718 996147200 134512640 135127466 4294956256 18446744073709551615 134530739 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 138416 136718 76 150 0 138263 0
Current children cumulated CPU time (s) 3209.19
Current children cumulated vsize (KiB) 573016

[startup+3282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1100680/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=557192 CPUtime=3097.73
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 137640 0 0 0 309657 116 0 0 25 0 1 0 43768814 570564608 137626 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 139298 137626 76 150 0 139145 0
Current children cumulated CPU time (s) 3268.94
Current children cumulated vsize (KiB) 576544

[startup+3342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1096328/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=561580 CPUtime=3157.48
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 138722 0 0 0 315631 117 0 0 25 0 1 0 43768814 575057920 138708 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 140395 138708 76 150 0 140242 0
Current children cumulated CPU time (s) 3328.69
Current children cumulated vsize (KiB) 580932

[startup+3402.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1091848/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=565984 CPUtime=3217.23
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 139820 0 0 0 321605 118 0 0 25 0 1 0 43768814 579567616 139806 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 141496 139806 76 150 0 141343 0
Current children cumulated CPU time (s) 3388.44
Current children cumulated vsize (KiB) 585336

[startup+3462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1086856/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=572372 CPUtime=3276.99
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 141075 0 0 0 327579 120 0 0 25 0 1 0 43768814 586108928 141061 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 143093 141061 76 150 0 142940 0
Current children cumulated CPU time (s) 3448.2
Current children cumulated vsize (KiB) 591724

[startup+3522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1082440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=576612 CPUtime=3336.74
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 142137 0 0 0 333553 121 0 0 25 0 1 0 43768814 590450688 142123 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 144153 142123 76 150 0 144000 0
Current children cumulated CPU time (s) 3507.95
Current children cumulated vsize (KiB) 595964

[startup+3582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1078792/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=580200 CPUtime=3396.5
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 143045 0 0 0 339528 122 0 0 25 0 1 0 43768814 594124800 143031 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 145050 143031 76 150 0 144897 0
Current children cumulated CPU time (s) 3567.71
Current children cumulated vsize (KiB) 599552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=582416 CPUtime=3428.86
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 143594 0 0 0 342764 122 0 0 25 0 1 0 43768814 596393984 143580 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 145604 143580 76 150 0 145451 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 601768

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

[startup+3614.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=582416 CPUtime=3428.86
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 143594 0 0 0 342764 122 0 0 25 0 1 0 43768814 596393984 143580 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 145604 143580 76 150 0 145451 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 601768

# WARNING:
# current cumulated CPU time (171.25 s) is less than in the last sample (3600.07 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (3428.82 s) to the 'lost time'.

[startup+3614.92 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.25
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 1406 244728 0 4 5 5 16739 376 16 0 1 0 43751488 14331904 888 996147200 4194304 4206940 548682068592 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 0 0 0
/proc/19577/statm: 3499 888 375 3 0 599 0
Current children cumulated CPU time (s) 171.25
Current children cumulated vsize (KiB) 13996

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

[startup+3615.01 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.33
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 1406 244728 0 4 5 13 16739 376 16 0 1 0 43751488 14331904 888 996147200 4194304 4206940 548682068592 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 0 0 0
/proc/19577/statm: 3499 888 375 3 0 599 0
Current children cumulated CPU time (s) 171.33
Current children cumulated vsize (KiB) 13996

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3428.82
#  lost CPU user time (s): 3427.64
#  lost CPU system time (s): 1.18

Real time (s): 3615.01
CPU time (s): 3600.18
CPU user time (s): 3595.1
CPU system time (s): 5.08041
CPU usage (%): 99.5898
Max. virtual memory (cumulated for all children) (KiB): 887452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.459
system time used= 3.90041
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246166
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43127
involuntary context switches= 46774

runsolver used 3.2705 second user time and 10.9093 second system time

The end

Launcher Data (download as text)

Begin job on node8 at 2008-07-12 15:48:04
IDJOB=1112602
IDBENCH=61443
IDSOLVER=368
FILE ID=node8/1112602-1215870484
PBS_JOBID= 7903574
Free space on /tmp= 66328 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/rlfapScens/normalized-scen7.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112602-1215870484/watcher-1112602-1215870484 -o /tmp/evaluation-result-1112602-1215870484/solver-1112602-1215870484 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1112602-1215870484.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4f1026eda97064116de2bf3bc78ace12
RANDOM SEED=702765650

node8.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.268
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.268
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1815920 kB
Buffers:         28260 kB
Cached:          62572 kB
SwapCached:         16 kB
Active:         149092 kB
Inactive:        32068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1836 kB
Writeback:           0 kB
Mapped:         101396 kB
Slab:            43764 kB
Committed_AS:   336128 kB
PageTables:       1992 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66336 MiB
End job on node8 at 2008-07-12 16:48:21