Trace number 1115659

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data (download as text)

0.01/0.16	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.01/0.16	c 0	BEGIN Mon Jul 14 13:24:33 2008
0.01/0.16	c 0	PID 24977
0.01/0.16	c 0	HOST node27.alineos.net
0.01/0.16	c 0	CONVERTING HOME/instance-1115659-1216034673.xml TO HOME/temp.csp
0.01/0.16	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115659-1216034673.xml' 'HOME/temp.csp'
0.06/0.92	c 1	1 domains, 15 variables, 0 predicates, 105 relations, 105 constraints
0.06/0.97	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.97	c 1	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.32/1.05	c 1	Parsing HOME/temp.csp
0.44/1.14	c 1	parsed 226 expressions
0.44/1.18	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.44/1.18	c 1	MAX CSP: 105 constraints
0.44/1.18	c 1	Converting to clausal form CSP
0.53/1.21	c 2	converted 34 (10%) expressions
0.53/1.21	c 2	converted 67 (20%) expressions
0.53/1.21	c 2	converted 101 (30%) expressions
0.53/1.22	c 2	converted 134 (40%) expressions
0.53/1.22	c 2	converted 167 (50%) expressions
0.53/1.23	c 2	converted 201 (60%) expressions
0.53/1.24	c 2	converted 234 (70%) expressions
0.53/1.24	c 2	converted 268 (80%) expressions
0.53/1.25	c 2	converted 301 (90%) expressions
0.63/1.31	c 2	converted 334 (100%) expressions
0.63/1.31	c 2	CSP : 225 integers, 0 booleans, 314 clauses, largest domain size 158
0.63/1.31	c 2	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.63/1.31	c 2	Propagation in CSP
0.63/1.33	c 2	101 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.63/1.33	c 2	CSP : 225 integers, 0 booleans, 314 clauses, largest domain size 106
0.63/1.33	c 2	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.63/1.33	c 2	Simplifing CSP by introducing new Boolean variables
0.63/1.33	c 2	CSP : 225 integers, 0 booleans, 314 clauses, largest domain size 106
0.63/1.33	c 2	Heap : 0 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.63/1.35	c 2	Encoding CSP to SAT : HOME/temp.cnf
0.63/1.36	c 2	23 (10%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.63/1.36	c 2	45 (20%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.63/1.36	c 2	68 (30%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.63/1.37	c 2	90 (40%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.63/1.37	c 2	113 (50%) CSP integer variables are encoded (120 clauses, 1192 bytes)
0.63/1.37	c 2	135 (60%) CSP integer variables are encoded (266 clauses, 2798 bytes)
0.63/1.37	c 2	158 (70%) CSP integer variables are encoded (353 clauses, 3755 bytes)
0.63/1.37	c 2	180 (80%) CSP integer variables are encoded (494 clauses, 5306 bytes)
0.63/1.38	c 2	203 (90%) CSP integer variables are encoded (1060 clauses, 12025 bytes)
0.63/1.38	c 2	225 (100%) CSP integer variables are encoded (1257 clauses, 14586 bytes)
0.74/1.41	c 2	32 (10%) CSP clauses are encoded (1690 clauses, 21139 bytes)
0.74/1.42	c 2	63 (20%) CSP clauses are encoded (2123 clauses, 28011 bytes)
0.74/1.43	c 2	95 (30%) CSP clauses are encoded (2551 clauses, 34913 bytes)
0.74/1.43	c 2	126 (40%) CSP clauses are encoded (2805 clauses, 38830 bytes)
0.74/1.44	c 2	157 (50%) CSP clauses are encoded (3646 clauses, 50978 bytes)
0.74/1.45	c 2	189 (60%) CSP clauses are encoded (3934 clauses, 54911 bytes)
0.74/1.45	c 2	220 (70%) CSP clauses are encoded (6117 clauses, 87543 bytes)
0.74/1.46	c 2	252 (80%) CSP clauses are encoded (9779 clauses, 141925 bytes)
0.74/1.47	c 2	283 (90%) CSP clauses are encoded (12860 clauses, 196833 bytes)
0.74/1.48	c 2	314 (100%) CSP clauses are encoded (18687 clauses, 301898 bytes)
0.74/1.48	c 2	314 CSP clauses encoded
0.74/1.48	c 2	Writing map file : HOME/temp.map
0.74/1.48	c 2	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.74/1.48	c 2	SAT : 1482 SAT variables, 18687 SAT clauses, 301898 bytes
0.74/1.49	c 2	Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.82/1.51	c 2	OBJECTIVE minimize _COST
0.82/1.51	c 2	SOLVING HOME/temp.cnf
0.82/1.51	c 2	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
0.82/1.51	c 2	This is MiniSat 2.0 beta incremental
0.82/1.51	c 2	WARNING: for repeatability, setting FPU to use double precision
0.82/1.51	c 2	============================[ Problem Statistics ]=============================
0.82/1.51	c 2	|                                                                             |
0.82/1.51	c 2	|  Number of variables:  1482                                                 |
0.82/1.51	c 2	|  Number of clauses:    18687                                                |
0.82/1.52	c 2	|  Parsing time:         0.01         s                                       |
0.82/1.52	c 2	OK
0.82/1.52	c 2	OBJECTIVE BOUND: 0 <= _COST <= 
0.82/1.52	c 2	SEARCHING: _COST <= 53
0.82/1.52	c 2	============================[ Search Statistics ]==============================
0.82/1.52	c 2	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.82/1.52	c 2	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.82/1.52	c 2	===============================================================================
0.82/1.52	c 2	|         0 |    1482    18687    53079 |     6229        0    nan |  0.000 % |
0.82/1.53	c 2	|       100 |    1482    18687    53079 |     6851      100     11 |  0.017 % |
0.82/1.54	c 2	|       250 |    1482    18687    53079 |     7537      250     14 |  0.017 % |
0.82/1.55	c 2	|       476 |    1482    18687    53079 |     8290      476     13 |  0.017 % |
0.82/1.57	c 2	|       814 |    1472    18496    52543 |     9119      812     13 |  0.691 % |
0.84/1.60	c 2	|      1320 |    1472    18496    52543 |    10031     1318     14 |  0.691 % |
0.84/1.64	c 2	|      2081 |    1472    18496    52543 |    11035     2079     14 |  0.691 % |
0.84/1.72	c 2	|      3221 |    1472    18496    52543 |    12138     3219     15 |  0.691 % |
0.84/1.85	c 2	|      4931 |    1472    18496    52543 |    13352     4929     16 |  0.691 % |
0.84/2.09	c 2	|      7495 |    1472    18496    52543 |    14687     7493     16 |  0.691 % |
1.81/2.54	c 3	|     11339 |    1472    18496    52543 |    16156    11337     17 |  0.691 % |
2.71/3.43	c 4	|     17106 |    1472    18496    52543 |    17772     8666     17 |  0.691 % |
4.00/4.72	c 5	|     25755 |    1472    18496    52543 |    19549    17315     17 |  0.691 % |
6.19/6.91	c 7	|     38731 |    1472    18496    52543 |    21504    20105     18 |  0.691 % |
9.77/10.51	c 11	|     58192 |    1472    18496    52543 |    23654    17220     18 |  0.691 % |
15.55/16.39	c 17	|     87384 |    1472    18496    52543 |    26020    21964     20 |  0.691 % |
24.12/24.97	c 25	|    131173 |    1472    18496    52543 |    28622    25594     18 |  0.691 % |
38.76/39.64	c 40	|    196857 |    1472    18496    52543 |    31484    26721     19 |  0.691 % |
62.96/63.95	c 64	|    295383 |    1472    18496    52543 |    34632    16890     18 |  0.691 % |
99.49/100.69	c 101	|    443172 |    1472    18496    52543 |    38095    16747     17 |  0.691 % |
158.55/159.96	c 160	|    664855 |    1472    18496    52543 |    41905    21255     20 |  0.692 % |
257.33/259.18	c 259	|    997381 |    1472    18496    52543 |    46096    20483     18 |  0.692 % |
412.17/414.60	c 415	|   1496170 |    1462    18364    52183 |    50705    40629     18 |  1.367 % |
466.74/469.43	c 470	===============================================================================
466.74/469.43	c 470	restarts              : 23
466.74/469.43	c 470	conflicts             : 1657263       (3557 /sec)
466.74/469.43	c 470	decisions             : 2174242       (0.61 % random) (4667 /sec)
466.74/469.43	c 470	propagations          : 210835721      (452541 /sec)
466.74/469.43	c 470	conflict literals     : 33476236       (38.77 % deleted)
466.74/469.43	c 470	Memory used           : 13.90 MB
466.74/469.43	c 470	CPU time              : 465.893 s
466.74/469.43	c 470	
466.74/469.43	c 470	UNSATISFIABLE
466.74/469.43	c 470	OK
466.74/469.43	c 470	NOT FOUND: _COST <= 53
466.74/469.43	c 470	OK
466.74/469.43	c 470	OBJECTIVE BOUND: 54 <= _COST <= 
466.74/469.43	c 470	SEARCHING: _COST <= 80
466.74/469.43	c 470	============================[ Search Statistics ]==============================
466.74/469.43	c 470	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
466.74/469.43	c 470	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
466.74/469.43	c 470	===============================================================================
466.74/469.43	c 470	|   1657263 |    1197    15244    43608 |     5081    10834     14 |  1.367 % |
466.74/469.45	c 470	|   1657363 |    1197    15244    43608 |     5589     5517     12 | 19.239 % |
466.74/469.46	c 470	|   1657513 |    1197    15244    43608 |     6148     5667     12 | 19.239 % |
466.74/469.47	c 470	|   1657738 |    1197    15244    43608 |     6763     5892     12 | 19.239 % |
466.74/469.49	c 470	|   1658075 |    1197    15244    43608 |     7439     6229     12 | 19.239 % |
466.84/469.54	c 470	|   1658581 |    1197    15244    43608 |     8183     6735     12 | 19.239 % |
466.94/469.61	c 470	|   1659341 |    1197    15244    43608 |     9001     7495     13 | 19.239 % |
467.04/469.73	c 470	|   1660481 |    1197    15244    43608 |     9902     8635     13 | 19.239 % |
467.14/469.85	c 470	|   1662189 |    1197    15244    43608 |    10892    10343     14 | 19.239 % |
467.33/470.09	c 470	|   1664753 |    1197    15244    43608 |    11981     6939     18 | 19.239 % |
467.73/470.43	c 471	|   1668597 |    1197    15244    43608 |    13179    10783     20 | 19.239 % |
468.33/471.01	c 471	|   1674363 |    1197    15244    43608 |    14497     9403     23 | 19.239 % |
469.33/472.08	c 472	|   1683013 |    1197    15244    43608 |    15947    10265     26 | 19.239 % |
471.02/473.78	c 474	|   1695988 |    1197    15244    43608 |    17542    14727     25 | 19.239 % |
474.10/476.88	c 477	|   1715449 |    1197    15244    43608 |    19296    15538     23 | 19.239 % |
478.89/481.60	c 482	|   1744641 |    1197    15244    43608 |    21225    14164     22 | 19.239 % |
486.85/489.66	c 490	|   1788430 |    1197    15244    43608 |    23348    13369     22 | 19.239 % |
500.09/502.90	c 503	|   1854114 |    1197    15244    43608 |    25683    18056     23 | 19.239 % |
507.57/510.46	c 511	===============================================================================
507.57/510.46	c 511	restarts              : 41
507.57/510.46	c 511	conflicts             : 1887355       (3724 /sec)
507.57/510.46	c 511	decisions             : 2446137       (0.61 % random) (4827 /sec)
507.57/510.46	c 511	propagations          : 234509294      (462779 /sec)
507.57/510.46	c 511	conflict literals     : 39195486       (37.61 % deleted)
507.57/510.46	c 511	Memory used           : 14.18 MB
507.57/510.46	c 511	CPU time              : 506.742 s
507.57/510.46	c 511	
507.57/510.46	c 511	SATISFIABLE
507.57/510.46	c 511	OK
507.57/510.46	c 511	FOUND: _COST <= 80
507.57/510.46	s SATISFIABLE
507.57/510.46	c 511	DECODING HOME/temp.out WITH HOME/temp.map
507.57/510.46	c 511	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
507.63/510.55	c 511	Decoding HOME/temp.out
507.63/510.60	c 511	OBJECTIVE _COST 80
507.63/510.60	o 80
507.63/510.60	v 9 9 8 8 2 8 1 9 8 6 9 5 9 9 8
507.63/510.60	c 511	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
507.63/510.66	c 511	OK
507.63/510.66	c 511	OBJECTIVE BOUND: 54 <= _COST <= 80
507.63/510.66	c 511	SEARCHING: _COST <= 67
507.63/510.66	c 511	============================[ Search Statistics ]==============================
507.63/510.66	c 511	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
507.63/510.66	c 511	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
507.63/510.66	c 511	===============================================================================
507.63/510.66	c 511	|   1887355 |    1022    12585    36156 |     4195    24154     25 | 19.239 % |
507.81/510.77	c 511	|   1887456 |    1022    12585    36156 |     4614     3121     17 | 31.043 % |
507.81/510.78	c 511	|   1887607 |    1022    12585    36156 |     5075     3272     17 | 31.043 % |
507.91/510.80	c 511	|   1887832 |    1022    12585    36156 |     5583     3497     17 | 31.043 % |
507.91/510.82	c 511	|   1888169 |    1022    12585    36156 |     6141     3834     17 | 31.043 % |
507.91/510.86	c 511	|   1888675 |    1022    12585    36156 |     6756     4340     17 | 31.043 % |
508.01/510.92	c 511	|   1889434 |    1022    12585    36156 |     7431     5099     17 | 31.043 % |
508.11/511.01	c 511	|   1890577 |    1022    12585    36156 |     8174     6242     17 | 31.043 % |
508.21/511.17	c 511	|   1892287 |    1022    12585    36156 |     8992     7952     17 | 31.043 % |
508.51/511.45	c 512	|   1894850 |    1022    12585    36156 |     9891     5515     15 | 31.043 % |
508.91/511.83	c 512	|   1898694 |    1022    12585    36156 |    10880     9359     16 | 31.043 % |
509.51/512.47	c 513	|   1904460 |    1022    12585    36156 |    11968     9231     16 | 31.043 % |
510.50/513.45	c 514	|   1913109 |    1022    12585    36156 |    13165    11431     16 | 31.043 % |
512.00/514.97	c 515	|   1926084 |    1019    12460    35790 |    14482    10294     14 | 31.246 % |
514.29/517.23	c 518	|   1945546 |    1019    12460    35790 |    15930    14263     21 | 31.246 % |
518.67/521.68	c 522	|   1974738 |    1019    12460    35790 |    17523     9641     20 | 31.246 % |
525.24/528.22	c 529	|   2018527 |    1019    12460    35790 |    19275    16529     23 | 31.246 % |
536.39/539.47	c 540	|   2084211 |    1019    12460    35790 |    21203    11322     22 | 31.246 % |
554.21/557.37	c 558	|   2182738 |    1019    12460    35790 |    23323    21185     21 | 31.246 % |
584.77/588.00	c 588	|   2330528 |    1019    12460    35790 |    25656    22907     22 | 31.246 % |
633.16/636.68	c 637	|   2552211 |    1019    12460    35790 |    28221    17224     24 | 31.246 % |
713.52/717.38	c 718	|   2884737 |    1015    12399    35622 |    31044    18942     19 | 31.516 % |
836.26/840.39	c 841	|   3383526 |    1015    12399    35622 |    34148    19127     21 | 31.516 % |
1035.52/1039.63	c 1040	|   4131709 |    1011    12319    35396 |    37563    34061     25 | 31.786 % |
1351.74/1355.92	c 1356	|   5253984 |    1011    12319    35396 |    41319    37484     25 | 31.786 % |
1874.00/1878.34	c 1879	|   6937395 |    1011    12319    35396 |    45451    33911     22 | 31.786 % |
2737.37/2741.94	c 2742	|   9462513 |    1011    12319    35396 |    49996    45077     26 | 31.786 % |
3600.06/3604.81	c 3605	CPU 3599.84 (0.07 0.01 3599.77 0.23)
3600.06/3604.81	c 3605	END Mon Jul 14 14:24:38 2008
3600.06/3604.81	c ERROR INTERRUPTED

Verifier Data (download as text)

OK	80	25
80 unsatisfied constraints, 25 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-1115659-1216034673/watcher-1115659-1216034673 -o /tmp/evaluation-result-1115659-1216034673/solver-1115659-1216034673 -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-1115659-1216034673.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.83 2.69 2.64 4/80 24977
/proc/meminfo: memFree=1726624/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=12268 CPUtime=0
/proc/24977/stat : 24977 (sugar++) R 24975 24977 24735 0 -1 4194304 348 0 0 0 0 0 0 0 21 0 1 0 60041776 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 233588882021 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/24977/statm: 3067 316 241 3 0 167 0

[startup+0.103237 s]
/proc/loadavg: 2.83 2.69 2.64 4/80 24977
/proc/meminfo: memFree=1726624/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=12676 CPUtime=0.01
/proc/24977/stat : 24977 (sugar++) R 24975 24977 24735 0 -1 4194304 531 0 0 0 1 0 0 0 20 0 1 0 60041776 12980224 499 996147200 4194304 4206940 548682068528 18446744073709551615 233606497668 0 0 4224 0 0 0 0 17 0 0 0
/proc/24977/statm: 3169 499 315 3 0 269 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12676

[startup+0.202248 s]
/proc/loadavg: 2.83 2.69 2.64 4/80 24977
/proc/meminfo: memFree=1726624/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.06
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1219 128 0 0 5 1 0 0 21 0 1 0 60041776 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.302259 s]
/proc/loadavg: 2.83 2.69 2.64 4/80 24977
/proc/meminfo: memFree=1726624/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.06
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1219 128 0 0 5 1 0 0 21 0 1 0 60041776 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.702297 s]
/proc/loadavg: 2.83 2.69 2.64 4/80 24977
/proc/meminfo: memFree=1726624/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.06
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1219 128 0 0 5 1 0 0 21 0 1 0 60041776 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50137 s]
/proc/loadavg: 2.83 2.69 2.64 6/91 24999
/proc/meminfo: memFree=1718856/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.33
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1297 4314 0 1 6 1 22 4 15 0 1 0 60041776 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4185 1104 409 3 0 764 0
[pid=24990] ppid=24977 vsize=5356 CPUtime=0
/proc/24990/stat : 24990 (sh) S 24977 24977 24735 0 -1 4194304 278 0 0 0 0 0 0 0 16 0 1 0 60041874 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24990/statm: 1339 233 193 169 0 50 0
[pid=24991] ppid=24990 vsize=864232 CPUtime=0.49
/proc/24991/stat : 24991 (java) S 24990 24977 24735 0 -1 0 5126 0 1 0 47 2 0 0 18 0 8 0 60041874 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24991/statm: 216058 4366 2567 9 0 210605 0
[pid=24991/tid=24992] ppid=24990 vsize=864232 CPUtime=0.31
/proc/24991/task/24992/stat : 24992 (java) R 24990 24977 24735 0 -1 64 2720 0 1 0 30 1 0 0 18 0 8 0 60041875 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24991/tid=24993] ppid=24990 vsize=864232 CPUtime=0.03
/proc/24991/task/24993/stat : 24993 (java) S 24990 24977 24735 0 -1 64 1357 0 0 0 3 0 0 0 16 0 8 0 60041876 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24991/tid=24994] ppid=24990 vsize=864232 CPUtime=0
/proc/24991/task/24994/stat : 24994 (java) S 24990 24977 24735 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 60041876 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24991/tid=24995] ppid=24990 vsize=864232 CPUtime=0
/proc/24991/task/24995/stat : 24995 (java) S 24990 24977 24735 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 60041876 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24991/tid=24996] ppid=24990 vsize=864232 CPUtime=0
/proc/24991/task/24996/stat : 24996 (java) S 24990 24977 24735 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 60041878 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24991/tid=24997] ppid=24990 vsize=864232 CPUtime=0.12
/proc/24991/task/24997/stat : 24997 (java) S 24990 24977 24735 0 -1 64 356 0 0 0 12 0 0 0 16 0 8 0 60041878 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24991/tid=24998] ppid=24990 vsize=864232 CPUtime=0
/proc/24991/task/24998/stat : 24998 (java) S 24990 24977 24735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 60041878 884973568 4366 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 886328

[startup+3.10154 s]
/proc/loadavg: 2.83 2.69 2.64 4/82 25000
/proc/meminfo: memFree=1721232/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 15 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=4280 CPUtime=1.57
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 839 0 0 0 157 0 0 0 25 0 1 0 60041927 4382720 787 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 1070 787 73 151 0 916 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 21020

[startup+6.30187 s]
/proc/loadavg: 2.77 2.68 2.64 3/82 25000
/proc/meminfo: memFree=1719760/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=5040 CPUtime=4.76
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 1019 0 0 0 476 0 0 0 25 0 1 0 60041927 5160960 967 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 1260 967 73 151 0 1106 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 21780

[startup+12.7015 s]
/proc/loadavg: 2.78 2.68 2.64 4/82 25000
/proc/meminfo: memFree=1718928/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=5860 CPUtime=11.12
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 1226 0 0 0 1112 0 0 0 25 0 1 0 60041927 6000640 1174 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 1465 1174 73 151 0 1311 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 22600

[startup+25.5028 s]
/proc/loadavg: 2.76 2.68 2.64 4/82 25000
/proc/meminfo: memFree=1718096/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=6968 CPUtime=23.88
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 1471 0 0 0 2387 1 0 0 25 0 1 0 60041927 7135232 1419 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 1742 1419 73 151 0 1588 0
Current children cumulated CPU time (s) 24.72
Current children cumulated vsize (KiB) 23708

[startup+51.1024 s]
/proc/loadavg: 2.78 2.69 2.64 3/82 25000
/proc/meminfo: memFree=1716624/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=8348 CPUtime=49.37
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 1819 0 0 0 4935 2 0 0 25 0 1 0 60041927 8548352 1767 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 2087 1767 73 151 0 1933 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 25088

[startup+102.303 s]
/proc/loadavg: 2.71 2.68 2.64 4/82 25000
/proc/meminfo: memFree=1715472/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=9412 CPUtime=100.35
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 2065 0 0 0 10033 2 0 0 25 0 1 0 60041927 9637888 2013 996147200 134512640 135134323 4294956192 18446744073709551615 134531938 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 2353 2013 73 151 0 2199 0
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (KiB) 26152

[startup+162.303 s]
/proc/loadavg: 2.79 2.70 2.65 4/82 25000
/proc/meminfo: memFree=1714064/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=10796 CPUtime=160.1
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 2422 0 0 0 16007 3 0 0 25 0 1 0 60041927 11055104 2370 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 2699 2370 73 151 0 2545 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 27536

[startup+222.307 s]
/proc/loadavg: 2.66 2.69 2.64 4/82 25000
/proc/meminfo: memFree=1713104/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=11760 CPUtime=219.85
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 2622 0 0 0 21982 3 0 0 25 0 1 0 60041927 12042240 2570 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 2940 2570 73 151 0 2786 0
Current children cumulated CPU time (s) 220.69
Current children cumulated vsize (KiB) 28500

[startup+282.303 s]
/proc/loadavg: 2.74 2.70 2.64 4/82 25000
/proc/meminfo: memFree=1712336/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=12372 CPUtime=279.6
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 2790 0 0 0 27957 3 0 0 25 0 1 0 60041927 12668928 2738 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/25000/statm: 3093 2738 73 151 0 2939 0
Current children cumulated CPU time (s) 280.44
Current children cumulated vsize (KiB) 29112

[startup+342.303 s]
/proc/loadavg: 2.70 2.70 2.64 4/82 25000
/proc/meminfo: memFree=1711440/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16740 CPUtime=0.84
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1464 9730 0 2 6 1 70 7 16 0 1 0 60041776 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24977/statm: 4185 1114 414 3 0 764 0
[pid=25000] ppid=24977 vsize=13360 CPUtime=339.34

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

[pid=25000] ppid=24977 vsize=30600 CPUtime=2916.74
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7021 0 0 0 291663 11 0 0 25 0 1 0 60041927 31334400 6965 996147200 134512640 135134323 4294956192 18446744073709551615 134531997 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 7650 6965 79 151 0 7496 0
Current children cumulated CPU time (s) 2917.72
Current children cumulated vsize (KiB) 47472

[startup+2982.3 s]
/proc/loadavg: 2.76 2.70 2.64 3/82 25056
/proc/meminfo: memFree=1693840/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=30780 CPUtime=2976.73
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7039 0 0 0 297662 11 0 0 25 0 1 0 60041927 31518720 6983 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 7695 6983 79 151 0 7541 0
Current children cumulated CPU time (s) 2977.71
Current children cumulated vsize (KiB) 47652

[startup+3042.3 s]
/proc/loadavg: 2.59 2.66 2.63 3/82 25056
/proc/meminfo: memFree=1693648/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=30920 CPUtime=3036.71
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7094 0 0 0 303660 11 0 0 25 0 1 0 60041927 31662080 7038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 7730 7038 79 151 0 7576 0
Current children cumulated CPU time (s) 3037.69
Current children cumulated vsize (KiB) 47792

[startup+3102.3 s]
/proc/loadavg: 2.60 2.66 2.63 3/82 25056
/proc/meminfo: memFree=1693264/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=31432 CPUtime=3096.69
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7184 0 0 0 309658 11 0 0 25 0 1 0 60041927 32186368 7128 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 7858 7128 79 151 0 7704 0
Current children cumulated CPU time (s) 3097.67
Current children cumulated vsize (KiB) 48304

[startup+3162.3 s]
/proc/loadavg: 2.50 2.62 2.62 3/82 25056
/proc/meminfo: memFree=1693072/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=31608 CPUtime=3156.69
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7242 0 0 0 315657 12 0 0 25 0 1 0 60041927 32366592 7186 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 7902 7186 79 151 0 7748 0
Current children cumulated CPU time (s) 3157.67
Current children cumulated vsize (KiB) 48480

[startup+3222.3 s]
/proc/loadavg: 2.52 2.61 2.62 3/82 25056
/proc/meminfo: memFree=1692944/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=31824 CPUtime=3216.67
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7268 0 0 0 321655 12 0 0 25 0 1 0 60041927 32587776 7212 996147200 134512640 135134323 4294956192 18446744073709551615 134532056 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 7956 7212 79 151 0 7802 0
Current children cumulated CPU time (s) 3217.65
Current children cumulated vsize (KiB) 48696

[startup+3282.3 s]
/proc/loadavg: 2.60 2.62 2.62 3/82 25056
/proc/meminfo: memFree=1692752/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=31824 CPUtime=3276.66
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7292 0 0 0 327654 12 0 0 25 0 1 0 60041927 32587776 7236 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 7956 7236 79 151 0 7802 0
Current children cumulated CPU time (s) 3277.64
Current children cumulated vsize (KiB) 48696

[startup+3342.3 s]
/proc/loadavg: 2.75 2.66 2.63 3/82 25056
/proc/meminfo: memFree=1692304/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=32240 CPUtime=3336.64
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7393 0 0 0 333652 12 0 0 25 0 1 0 60041927 33013760 7337 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 8060 7337 79 151 0 7906 0
Current children cumulated CPU time (s) 3337.62
Current children cumulated vsize (KiB) 49112

[startup+3402.3 s]
/proc/loadavg: 2.76 2.67 2.64 3/82 25056
/proc/meminfo: memFree=1692048/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=32540 CPUtime=3396.63
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7459 0 0 0 339651 12 0 0 25 0 1 0 60041927 33320960 7403 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 8135 7403 79 151 0 7981 0
Current children cumulated CPU time (s) 3397.61
Current children cumulated vsize (KiB) 49412

[startup+3462.3 s]
/proc/loadavg: 2.79 2.70 2.65 3/82 25056
/proc/meminfo: memFree=1691600/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=32896 CPUtime=3456.61
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7526 0 0 0 345649 12 0 0 25 0 1 0 60041927 33685504 7470 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 8224 7470 79 151 0 8070 0
Current children cumulated CPU time (s) 3457.59
Current children cumulated vsize (KiB) 49768

[startup+3522.31 s]
/proc/loadavg: 2.85 2.73 2.66 3/82 25056
/proc/meminfo: memFree=1691536/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=32896 CPUtime=3516.6
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7545 0 0 0 351648 12 0 0 25 0 1 0 60041927 33685504 7489 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 8224 7489 79 151 0 8070 0
Current children cumulated CPU time (s) 3517.58
Current children cumulated vsize (KiB) 49768

[startup+3582.3 s]
/proc/loadavg: 2.70 2.72 2.65 3/82 25056
/proc/meminfo: memFree=1691216/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=33180 CPUtime=3576.57
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7608 0 0 0 357645 12 0 0 25 0 1 0 60041927 33976320 7552 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 8295 7552 79 151 0 8141 0
Current children cumulated CPU time (s) 3577.55
Current children cumulated vsize (KiB) 50052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.81 s]
/proc/loadavg: 2.72 2.72 2.66 3/82 25056
/proc/meminfo: memFree=1691088/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=33356 CPUtime=3599.08
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7632 0 0 0 359896 12 0 0 25 0 1 0 60041927 34156544 7576 996147200 134512640 135134323 4294956192 18446744073709551615 134529140 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 8339 7576 79 151 0 8185 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 50228

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

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

[startup+3604.81 s]
/proc/loadavg: 2.72 2.72 2.66 3/82 25056
/proc/meminfo: memFree=1691088/2055920 swapFree=4178788/4192956
[pid=24977] ppid=24975 vsize=16872 CPUtime=0.98
/proc/24977/stat : 24977 (sugar++) S 24975 24977 24735 0 -1 4194304 1549 13447 0 3 7 1 80 10 16 0 1 0 60041776 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24977/statm: 4218 1116 414 3 0 797 0
[pid=25000] ppid=24977 vsize=33356 CPUtime=3599.08
/proc/25000/stat : 25000 (minisat-inc) R 24977 24977 24735 0 -1 4194304 7632 0 0 0 359896 12 0 0 25 0 1 0 60041927 34156544 7576 996147200 134512640 135134323 4294956192 18446744073709551615 134529140 0 0 4096 3 0 0 0 17 1 0 0
/proc/25000/statm: 8339 7576 79 151 0 8185 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 50228

Child status: 0
Real time (s): 3604.82
CPU time (s): 3600.1
CPU user time (s): 3599.85
CPU system time (s): 0.254961
CPU usage (%): 99.8691
Max. virtual memory (cumulated for all children) (KiB): 886328

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

runsolver used 3.45247 second user time and 10.0415 second system time

The end

Launcher Data (download as text)

Begin job on node27 at 2008-07-14 13:24:33
IDJOB=1115659
IDBENCH=61897
IDSOLVER=367
FILE ID=node27/1115659-1216034673
PBS_JOBID= 7904870
Free space on /tmp= 66544 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 67fcd2a97e16acbc571a8b717f6f7e96
RANDOM SEED=1583420381

node27.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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1727360 kB
Buffers:         44076 kB
Cached:         138660 kB
SwapCached:       7596 kB
Active:         200472 kB
Inactive:        66456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727360 kB
SwapTotal:     4192956 kB
SwapFree:      4178788 kB
Dirty:             856 kB
Writeback:           0 kB
Mapped:         100076 kB
Slab:            46648 kB
Committed_AS:  1097176 kB
PageTables:       1956 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB
End job on node27 at 2008-07-14 14:24:40