Trace number 1127419

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.12 3631.08

General information on the benchmark

Namemaxcsp/cnf/3-80-1100-2000/
normalized-cnf-3-80-1500-895345_ext.xml
MD5SUM87ba74751d0bd7acfa693e3072b71aab
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints87
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints1489
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1489
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.06/0.23	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.06/0.23	c 0	BEGIN Wed Jul 23 01:18:15 2008
0.06/0.23	c 0	PID 4079
0.06/0.23	c 0	HOST node68.alineos.net
0.06/0.23	c 0	CONVERTING HOME/instance-1127419-1216768695.xml TO HOME/temp.csp
0.06/0.23	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127419-1216768695.xml' 'HOME/temp.csp'
0.08/0.59	c 1	1 domains, 80 variables, 0 predicates, 17 relations, 1489 constraints
0.08/0.62	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.08/0.62	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.50/0.71	c 1	Parsing HOME/temp.csp
0.50/0.88	c 1	parsed 1587 expressions
0.50/0.88	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.50/0.90	c 1	MAX CSP: 1489 constraints
0.50/0.90	c 1	Converting to clausal form CSP
0.50/0.95	c 1	converted 308 (10%) expressions
0.50/0.98	c 1	converted 616 (20%) expressions
0.85/1.01	c 1	converted 924 (30%) expressions
0.85/1.08	c 1	converted 1232 (40%) expressions
0.85/1.09	c 1	converted 1540 (50%) expressions
0.97/1.11	c 1	converted 1848 (60%) expressions
0.97/1.11	c 1	converted 2156 (70%) expressions
0.97/1.11	c 1	converted 2464 (80%) expressions
0.97/1.12	c 1	converted 2772 (90%) expressions
1.07/1.28	c 1	converted 3079 (100%) expressions
1.07/1.28	c 1	CSP : 3058 integers, 0 booleans, 4466 clauses, largest domain size 2234
1.07/1.28	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.07/1.28	c 1	Propagation in CSP
1.16/1.38	c 1	1483 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.16/1.38	c 1	CSP : 3058 integers, 0 booleans, 4466 clauses, largest domain size 1490
1.16/1.38	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.16/1.38	c 1	Simplifing CSP by introducing new Boolean variables
1.16/1.39	c 1	CSP : 3058 integers, 0 booleans, 4466 clauses, largest domain size 1490
1.16/1.39	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.26/1.43	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.26/1.44	c 1	306 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.44	c 1	612 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.44	c 1	918 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.44	c 1	1224 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.45	c 1	1529 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.26/1.46	c 1	1835 (60%) CSP integer variables are encoded (3065 clauses, 39909 bytes)
1.26/1.46	c 1	2141 (70%) CSP integer variables are encoded (5604 clauses, 72916 bytes)
1.26/1.48	c 1	2447 (80%) CSP integer variables are encoded (18815 clauses, 266918 bytes)
1.26/1.48	c 1	2753 (90%) CSP integer variables are encoded (23695 clauses, 340118 bytes)
1.26/1.49	c 2	3058 (100%) CSP integer variables are encoded (27739 clauses, 400778 bytes)
1.36/1.54	c 2	447 (10%) CSP clauses are encoded (28188 clauses, 408107 bytes)
1.36/1.56	c 2	894 (20%) CSP clauses are encoded (28636 clauses, 415959 bytes)
1.36/1.57	c 2	1340 (30%) CSP clauses are encoded (29085 clauses, 424218 bytes)
1.46/1.62	c 2	1787 (40%) CSP clauses are encoded (42040 clauses, 653273 bytes)
1.77/1.92	c 2	2233 (50%) CSP clauses are encoded (174426 clauses, 3076471 bytes)
1.86/2.01	c 2	2680 (60%) CSP clauses are encoded (212715 clauses, 3766643 bytes)
3.17/3.35	c 3	3127 (70%) CSP clauses are encoded (684130 clauses, 12656583 bytes)
4.26/4.47	c 4	3573 (80%) CSP clauses are encoded (1187794 clauses, 23406329 bytes)
5.55/5.70	c 6	4020 (90%) CSP clauses are encoded (1750117 clauses, 35452351 bytes)
7.95/8.15	c 8	4466 (100%) CSP clauses are encoded (2855369 clauses, 59155839 bytes)
7.95/8.15	c 8	4466 CSP clauses encoded
7.95/8.15	c 8	Writing map file : HOME/temp.map
7.95/8.19	c 8	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.95/8.19	c 8	SAT : 30797 SAT variables, 2855369 SAT clauses, 59155839 bytes
7.95/8.19	c 8	Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.03/8.24	c 8	OBJECTIVE minimize _COST
8.03/8.24	c 8	SOLVING HOME/temp.cnf
8.03/8.24	c 8	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
8.03/8.24	c 8	This is MiniSat 2.0 beta incremental
8.03/8.24	c 8	WARNING: for repeatability, setting FPU to use double precision
8.03/8.24	c 8	============================[ Problem Statistics ]=============================
8.03/8.24	c 8	|                                                                             |
8.03/8.24	c 8	|  Number of variables:  30797                                                |
8.03/8.24	c 8	|  Number of clauses:    2855369                                              |
9.30/9.55	c 10	|  Parsing time:         1.12         s                                       |
9.40/9.61	c 10	OK
9.40/9.61	c 10	OBJECTIVE BOUND: 0 <= _COST <= 
9.40/9.61	c 10	SEARCHING: _COST <= 745
9.40/9.61	c 10	============================[ Search Statistics ]==============================
9.40/9.61	c 10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.40/9.61	c 10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.40/9.61	c 10	===============================================================================
9.40/9.61	c 10	|         0 |   30797  2855369  8482893 |   951789        0    nan |  0.000 % |
10.08/10.33	c 10	===============================================================================
10.08/10.33	c 10	restarts              : 1
10.08/10.33	c 10	conflicts             : 97            (52 /sec)
10.08/10.33	c 10	decisions             : 604           (1.16 % random) (323 /sec)
10.08/10.33	c 10	propagations          : 182764         (97750 /sec)
10.08/10.33	c 10	conflict literals     : 3227           (10.93 % deleted)
10.08/10.33	c 10	Memory used           : 119.55 MB
10.08/10.33	c 10	CPU time              : 1.86972 s
10.08/10.33	c 10	
10.08/10.33	c 10	SATISFIABLE
10.08/10.34	c 10	OK
10.08/10.34	c 10	FOUND: _COST <= 745
10.08/10.34	s SATISFIABLE
10.08/10.34	c 10	DECODING HOME/temp.out WITH HOME/temp.map
10.08/10.34	c 10	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
10.12/10.43	c 10	Decoding HOME/temp.out
10.12/10.81	c 11	OBJECTIVE _COST 374
10.12/10.81	o 374
10.12/10.81	v 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1
10.12/10.82	c 11	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
10.12/10.86	c 11	OK
10.12/10.86	c 11	OBJECTIVE BOUND: 0 <= _COST <= 374
10.12/10.86	c 11	SEARCHING: _COST <= 187
10.12/10.86	c 11	============================[ Search Statistics ]==============================
10.12/10.86	c 11	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.12/10.86	c 11	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.12/10.86	c 11	===============================================================================
10.12/10.87	c 11	|        97 |   30797  2855369  8482893 |   951789       97     33 |  0.000 % |
10.95/11.23	c 11	|       198 |   30797  2855369  8482893 |  1046968      198     27 | 41.030 % |
11.15/11.47	c 11	|       348 |   30797  2855369  8482893 |  1151665      348     25 | 41.030 % |
11.35/11.67	c 12	|       575 |   30797  2855369  8482893 |  1266832      575     22 | 41.030 % |
12.34/12.65	c 13	|       914 |   30797  2855369  8482893 |  1393515      914     30 | 41.030 % |
13.53/13.80	c 14	|      1421 |   30797  2855369  8482893 |  1532866     1421     36 | 41.030 % |
14.22/14.57	c 15	|      2181 |   30797  2855369  8482893 |  1686153     2181     39 | 41.030 % |
16.30/16.68	c 17	|      3321 |   30797  2855369  8482893 |  1854768     3321     44 | 41.030 % |
18.68/19.03	c 19	|      5029 |   30797  2855369  8482893 |  2040245     5029     46 | 41.030 % |
18.98/19.30	c 19	===============================================================================
18.98/19.30	c 19	restarts              : 10
18.98/19.30	c 19	conflicts             : 5231          (510 /sec)
18.98/19.30	c 19	decisions             : 8593          (0.49 % random) (838 /sec)
18.98/19.30	c 19	propagations          : 5512440        (537357 /sec)
18.98/19.30	c 19	conflict literals     : 239236         (13.45 % deleted)
18.98/19.30	c 19	Memory used           : 120.84 MB
18.98/19.30	c 19	CPU time              : 10.2584 s
18.98/19.30	c 19	
18.98/19.30	c 19	SATISFIABLE
18.98/19.31	c 19	OK
18.98/19.31	c 19	FOUND: _COST <= 187
18.98/19.31	c 19	DECODING HOME/temp.out WITH HOME/temp.map
18.98/19.31	c 19	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
18.98/19.39	c 19	Decoding HOME/temp.out
18.99/19.59	c 20	OBJECTIVE _COST 187
18.99/19.59	o 187
18.99/19.59	v 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 1
18.99/19.59	c 20	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
18.99/19.66	c 20	OK
18.99/19.66	c 20	OBJECTIVE BOUND: 0 <= _COST <= 187
18.99/19.66	c 20	SEARCHING: _COST <= 93
18.99/19.66	c 20	============================[ Search Statistics ]==============================
18.99/19.66	c 20	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.99/19.66	c 20	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.99/19.66	c 20	===============================================================================
18.99/19.66	c 20	|      5231 |   18161  2855369  8482893 |   951789     5231     46 | 41.030 % |
19.62/20.05	c 20	|      5331 |   18161  2855369  8482893 |  1046968     5331     46 | 50.122 % |
20.02/20.41	c 20	|      5481 |   18161  2855369  8482893 |  1151665     5481     45 | 50.122 % |
20.32/20.74	c 21	|      5707 |   18161  2855369  8482893 |  1266832     5707     44 | 50.122 % |
20.71/21.16	c 21	|      6044 |   18161  2855369  8482893 |  1393515     6044     43 | 50.122 % |
21.70/22.10	c 22	|      6550 |   18161  2855369  8482893 |  1532866     6550     42 | 50.122 % |
22.50/22.96	c 23	|      7309 |   18161  2855369  8482893 |  1686153     7309     41 | 50.122 % |
25.17/25.66	c 26	|      8450 |   18161  2855369  8482893 |  1854768     8450     41 | 50.122 % |
30.73/31.25	c 31	|     10158 |   15361   671853  1977351 |  2040245    10156     41 | 50.122 % |
34.00/34.53	c 35	|     12721 |   15361   671853  1977351 |  2244270    12719     39 | 50.122 % |
39.36/39.90	c 40	|     16565 |   15361   671853  1977351 |  2468697    16563     40 | 50.122 % |
47.19/47.85	c 48	|     22332 |   15361   671853  1977351 |  2715566    22330     40 | 50.122 % |
63.45/64.25	c 64	|     30982 |   15361   671853  1977351 |  2987123    30980     42 | 50.122 % |
88.63/89.65	c 90	|     43957 |   15361   671853  1977351 |  3285836    43955     44 | 50.122 % |
124.42/125.75	c 126	|     63419 |   15361   671853  1977351 |  3614419    63417     44 | 50.122 % |
184.40/186.24	c 186	|     92611 |   15361   671853  1977351 |  3975861    92609     44 | 50.122 % |
291.48/294.24	c 294	|    136402 |   15361   671853  1977351 |  4373447   136400     45 | 50.122 % |
451.30/455.45	c 455	|    202089 |   15361   671853  1977351 |  4810792   202087     45 | 50.122 % |
732.58/739.17	c 739	|    300615 |   15361   671853  1977351 |  5291871   300613     45 | 50.122 % |
1257.86/1268.99	c 1269	|    448405 |   15361   671853  1977351 |  5821059   448403     45 | 50.122 % |
2235.14/2254.61	c 2255	|    670088 |   15361   671853  1977351 |  6403164   670086     45 | 50.122 % |
3600.00/3631.01	c ERROR INTERRUPTED
3600.00/3631.07	c 3631	CPU 3598.77 (0.06 0.03 3598.71 1.26)
3600.00/3631.07	c 3631	END Wed Jul 23 02:18:46 2008

Verifier Data (download as text)

OK	166	1323
166 unsatisfied constraints, 1323 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-1127419-1216768695/watcher-1127419-1216768695 -o /tmp/evaluation-result-1127419-1216768695/solver-1127419-1216768695 -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-1127419-1216768695.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: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=12268 CPUtime=0
/proc/4079/stat : 4079 (sugar++) D 4076 4079 4003 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 3926650 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 209560762981 0 2147483391 4224 0 18446744072099863542 0 0 17 1 0 0
/proc/4079/statm: 3067 316 241 3 0 167 0

[startup+0.019629 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=12272 CPUtime=0
/proc/4079/stat : 4079 (sugar++) D 4076 4079 4003 0 -1 4194304 409 0 0 0 0 0 0 0 18 0 1 0 3926650 12566528 377 996147200 4194304 4206940 548682068528 18446744073709551615 209569496062 0 2147483391 4224 0 18446744072099863542 0 0 17 1 0 0
/proc/4079/statm: 3068 377 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.102636 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=13336 CPUtime=0.03
/proc/4079/stat : 4079 (sugar++) D 4076 4079 4003 0 -1 4194304 732 0 0 0 2 1 0 0 18 0 1 0 3926650 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 209560762981 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/4079/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336

[startup+0.302661 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.08
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1219 128 0 0 5 3 0 0 19 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16740

[startup+0.702699 s]
/proc/loadavg: 1.00 1.00 1.00 4/72 4079
/proc/meminfo: memFree=1664768/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1279 4780 0 1 5 3 38 4 16 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 16740

[startup+1.50177 s]
/proc/loadavg: 1.00 1.00 1.00 4/91 4109
/proc/meminfo: memFree=1608616/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1297 4780 0 1 5 3 38 4 15 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
[pid=4100] ppid=4079 vsize=5356 CPUtime=0
/proc/4100/stat : 4100 (sh) S 4079 4079 4003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3926712 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4100/statm: 1339 233 193 169 0 50 0
[pid=4101] ppid=4100 vsize=868496 CPUtime=0.86
/proc/4101/stat : 4101 (java) S 4100 4079 4003 0 -1 0 7160 0 2 0 81 5 0 0 18 0 9 0 3926712 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4101/statm: 217124 6373 2564 9 0 211671 0
[pid=4101/tid=4102] ppid=4100 vsize=868496 CPUtime=0.49
/proc/4101/task/4102/stat : 4102 (java) R 4100 4079 4003 0 -1 64 2739 0 2 0 47 2 0 0 18 0 9 0 3926713 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4125960196 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4103] ppid=4100 vsize=868496 CPUtime=0.11
/proc/4101/task/4103/stat : 4103 (java) S 4100 4079 4003 0 -1 64 2248 0 0 0 11 0 0 0 16 0 9 0 3926715 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4104] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4104/stat : 4104 (java) S 4100 4079 4003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4105] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4105/stat : 4105 (java) S 4100 4079 4003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4106] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4106/stat : 4106 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4107] ppid=4100 vsize=868496 CPUtime=0.23
/proc/4101/task/4107/stat : 4107 (java) S 4100 4079 4003 0 -1 64 1480 0 0 0 22 1 0 0 16 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4108] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4108/stat : 4108 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4109] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4109/stat : 4109 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3926717 889339904 6373 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 890592

[startup+3.10193 s]
/proc/loadavg: 1.00 1.00 1.00 3/91 4109
/proc/meminfo: memFree=1591464/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1297 4780 0 1 5 3 38 4 15 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
[pid=4100] ppid=4079 vsize=5356 CPUtime=0
/proc/4100/stat : 4100 (sh) S 4079 4079 4003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3926712 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4100/statm: 1339 233 193 169 0 50 0
[pid=4101] ppid=4100 vsize=868496 CPUtime=2.46
/proc/4101/stat : 4101 (java) S 4100 4079 4003 0 -1 0 7546 0 2 0 232 14 0 0 18 0 9 0 3926712 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4101/statm: 217124 6399 2564 9 0 211671 0
[pid=4101/tid=4102] ppid=4100 vsize=868496 CPUtime=1.96
/proc/4101/task/4102/stat : 4102 (java) R 4100 4079 4003 0 -1 64 3100 0 2 0 188 8 0 0 25 0 9 0 3926713 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4126993128 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4103] ppid=4100 vsize=868496 CPUtime=0.19
/proc/4101/task/4103/stat : 4103 (java) S 4100 4079 4003 0 -1 64 2248 0 0 0 17 2 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4104] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4104/stat : 4104 (java) S 4100 4079 4003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4105] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4105/stat : 4105 (java) S 4100 4079 4003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4106] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4106/stat : 4106 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4107] ppid=4100 vsize=868496 CPUtime=0.27
/proc/4101/task/4107/stat : 4107 (java) S 4100 4079 4003 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4108] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4108/stat : 4108 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4109] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4109/stat : 4109 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 890592

[startup+6.30224 s]
/proc/loadavg: 1.08 1.02 1.01 3/91 4109
/proc/meminfo: memFree=1563624/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=16740 CPUtime=0.5
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1297 4780 0 1 5 3 38 4 16 0 1 0 3926650 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/4079/statm: 4185 1104 409 3 0 764 0
[pid=4100] ppid=4079 vsize=5356 CPUtime=0
/proc/4100/stat : 4100 (sh) S 4079 4079 4003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3926712 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4100/statm: 1339 233 193 169 0 50 0
[pid=4101] ppid=4100 vsize=868496 CPUtime=5.65
/proc/4101/stat : 4101 (java) S 4100 4079 4003 0 -1 0 8387 0 2 0 529 36 0 0 18 0 9 0 3926712 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4101/statm: 217124 6399 2564 9 0 211671 0
[pid=4101/tid=4102] ppid=4100 vsize=868496 CPUtime=4.98
/proc/4101/task/4102/stat : 4102 (java) R 4100 4079 4003 0 -1 64 3941 0 2 0 471 27 0 0 25 0 9 0 3926713 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4103] ppid=4100 vsize=868496 CPUtime=0.37
/proc/4101/task/4103/stat : 4103 (java) S 4100 4079 4003 0 -1 64 2248 0 0 0 31 6 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4104] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4104/stat : 4104 (java) S 4100 4079 4003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4105] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4105/stat : 4105 (java) S 4100 4079 4003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 3926715 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4106] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4106/stat : 4106 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4107] ppid=4100 vsize=868496 CPUtime=0.27
/proc/4101/task/4107/stat : 4107 (java) S 4100 4079 4003 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4101/tid=4108] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4108/stat : 4108 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4101/tid=4109] ppid=4100 vsize=868496 CPUtime=0
/proc/4101/task/4109/stat : 4109 (java) S 4100 4079 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 3926717 889339904 6399 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 890592

[startup+12.7019 s]
/proc/loadavg: 1.23 1.05 1.02 3/82 4120
/proc/meminfo: memFree=1432048/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.53
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1589 17899 0 4 6 3 788 56 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=123336 CPUtime=3.91
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 29968 0 0 0 371 20 0 0 25 0 1 0 3927474 126296064 29915 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 30834 29915 80 151 0 30680 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 140340

[startup+25.5021 s]
/proc/loadavg: 1.40 1.10 1.03 3/82 4130
/proc/meminfo: memFree=1431344/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=124168 CPUtime=16.27
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 30169 0 0 0 1607 20 0 0 25 0 1 0 3927474 127148032 30114 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 31042 30114 80 151 0 30888 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 141172

[startup+51.1026 s]
/proc/loadavg: 1.61 1.17 1.05 3/82 4130
/proc/meminfo: memFree=1431344/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=124308 CPUtime=41.66
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 30200 0 0 0 4145 21 0 0 25 0 1 0 3927474 127291392 30145 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 31077 30145 80 151 0 30923 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 141312

[startup+102.307 s]
/proc/loadavg: 1.83 1.29 1.10 3/82 4130
/proc/meminfo: memFree=1418352/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=124444 CPUtime=92.42
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 30265 0 0 0 9221 21 0 0 25 0 1 0 3927474 127430656 30202 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 31111 30202 80 151 0 30957 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 141448

[startup+162.302 s]
/proc/loadavg: 1.93 1.42 1.16 3/82 4130
/proc/meminfo: memFree=1417456/2055920 swapFree=4192956/4192956

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

[pid=4110] ppid=4079 vsize=243084 CPUtime=2828.84
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 59107 0 0 0 282830 54 0 0 25 0 1 0 3927474 248918016 59044 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 60771 59044 80 151 0 60617 0
Current children cumulated CPU time (s) 2837.64
Current children cumulated vsize (KiB) 260088

[startup+2922.3 s]
/proc/loadavg: 2.12 2.10 1.96 3/82 4138
/proc/meminfo: memFree=1299568/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=245224 CPUtime=2888.33
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 59662 0 0 0 288778 55 0 0 25 0 1 0 3927474 251109376 59599 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 61306 59599 80 151 0 61152 0
Current children cumulated CPU time (s) 2897.13
Current children cumulated vsize (KiB) 262228

[startup+2982.3 s]
/proc/loadavg: 2.10 2.09 1.97 3/82 4138
/proc/meminfo: memFree=1297200/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=247336 CPUtime=2947.82
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 60230 0 0 0 294726 56 0 0 25 0 1 0 3927474 253272064 60167 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 61834 60167 80 151 0 61680 0
Current children cumulated CPU time (s) 2956.62
Current children cumulated vsize (KiB) 264340

[startup+3042.3 s]
/proc/loadavg: 2.25 2.14 2.00 3/82 4138
/proc/meminfo: memFree=1295216/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=249500 CPUtime=3007.3
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 60783 0 0 0 300674 56 0 0 25 0 1 0 3927474 255488000 60720 996147200 134512640 135134323 4294956192 18446744073709551615 134532334 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 62375 60720 80 151 0 62221 0
Current children cumulated CPU time (s) 3016.1
Current children cumulated vsize (KiB) 266504

[startup+3102.3 s]
/proc/loadavg: 2.09 2.12 2.00 3/82 4138
/proc/meminfo: memFree=1292976/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=251760 CPUtime=3066.79
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 61348 0 0 0 306622 57 0 0 25 0 1 0 3927474 257802240 61285 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 62940 61285 80 151 0 62786 0
Current children cumulated CPU time (s) 3075.59
Current children cumulated vsize (KiB) 268764

[startup+3162.3 s]
/proc/loadavg: 2.03 2.09 2.00 3/82 4138
/proc/meminfo: memFree=1290608/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=254164 CPUtime=3126.28
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 61922 0 0 0 312571 57 0 0 25 0 1 0 3927474 260263936 61859 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 63541 61859 80 151 0 63387 0
Current children cumulated CPU time (s) 3135.08
Current children cumulated vsize (KiB) 271168

[startup+3222.3 s]
/proc/loadavg: 2.01 2.07 2.00 3/82 4138
/proc/meminfo: memFree=1288496/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=256136 CPUtime=3185.77
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 62444 0 0 0 318519 58 0 0 25 0 1 0 3927474 262283264 62381 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 64034 62381 80 151 0 63880 0
Current children cumulated CPU time (s) 3194.57
Current children cumulated vsize (KiB) 273140

[startup+3282.3 s]
/proc/loadavg: 2.00 2.06 2.00 3/82 4138
/proc/meminfo: memFree=1286320/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=258180 CPUtime=3245.25
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 62970 0 0 0 324467 58 0 0 25 0 1 0 3927474 264376320 62907 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 64545 62907 80 151 0 64391 0
Current children cumulated CPU time (s) 3254.05
Current children cumulated vsize (KiB) 275184

[startup+3342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 4138
/proc/meminfo: memFree=1284400/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=260244 CPUtime=3304.74
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 63460 0 0 0 330415 59 0 0 25 0 1 0 3927474 266489856 63397 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 65061 63397 80 151 0 64907 0
Current children cumulated CPU time (s) 3313.54
Current children cumulated vsize (KiB) 277248

[startup+3402.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 4138
/proc/meminfo: memFree=1282480/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=262128 CPUtime=3364.23
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 63928 0 0 0 336363 60 0 0 25 0 1 0 3927474 268419072 63865 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 65532 63865 80 151 0 65378 0
Current children cumulated CPU time (s) 3373.03
Current children cumulated vsize (KiB) 279132

[startup+3462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 4138
/proc/meminfo: memFree=1280432/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=263976 CPUtime=3423.72
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 64383 0 0 0 342312 60 0 0 25 0 1 0 3927474 270311424 64320 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 65994 64320 80 151 0 65840 0
Current children cumulated CPU time (s) 3432.52
Current children cumulated vsize (KiB) 280980

[startup+3522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 4138
/proc/meminfo: memFree=1278832/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=265708 CPUtime=3483.2
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 64829 0 0 0 348260 60 0 0 25 0 1 0 3927474 272084992 64766 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 66427 64766 80 151 0 66273 0
Current children cumulated CPU time (s) 3492
Current children cumulated vsize (KiB) 282712

[startup+3582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 4138
/proc/meminfo: memFree=1275760/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=268496 CPUtime=3542.7
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 65542 0 0 0 354209 61 0 0 25 0 1 0 3927474 274939904 65479 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/4110/statm: 67124 65479 80 151 0 66970 0
Current children cumulated CPU time (s) 3551.5
Current children cumulated vsize (KiB) 285500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3631 s]
/proc/loadavg: 1.95 1.99 1.99 3/83 4179
/proc/meminfo: memFree=1301352/2055920 swapFree=4192956/4192956
[pid=4079] ppid=4076 vsize=17004 CPUtime=8.8
/proc/4079/stat : 4079 (sugar++) S 4076 4079 4003 0 -1 4194304 1659 21870 0 5 6 3 813 58 16 0 1 0 3926650 17412096 1156 996147200 4194304 4206940 548682068528 18446744073709551615 209569493090 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4079/statm: 4251 1156 414 3 0 830 0
[pid=4110] ppid=4079 vsize=270124 CPUtime=3591.2
/proc/4110/stat : 4110 (minisat-inc) R 4079 4079 4003 0 -1 4194304 65949 0 0 0 359057 63 0 0 25 0 1 0 3927474 276606976 65886 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/4110/statm: 67531 65886 80 151 0 67377 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 287128

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

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

Child status: 0
Real time (s): 3631.08
CPU time (s): 3600.12
CPU user time (s): 3598.79
CPU system time (s): 1.3358
CPU usage (%): 99.1475
Max. virtual memory (cumulated for all children) (KiB): 890592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.3358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89557
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14698
involuntary context switches= 93606

runsolver used 3.54746 second user time and 9.98348 second system time

The end

Launcher Data (download as text)

Begin job on node68 at 2008-07-23 01:18:15
IDJOB=1127419
IDBENCH=63359
IDSOLVER=367
FILE ID=node68/1127419-1216768695
PBS_JOBID= 7974112
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/3-80-1100-2000/normalized-cnf-3-80-1500-895345_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-1127419-1216768695/watcher-1127419-1216768695 -o /tmp/evaluation-result-1127419-1216768695/solver-1127419-1216768695 -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-1127419-1216768695.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 87ba74751d0bd7acfa693e3072b71aab
RANDOM SEED=1998609821

node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1665720 kB
Buffers:         31764 kB
Cached:         299464 kB
SwapCached:          0 kB
Active:         280384 kB
Inactive:        66120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1665720 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3012 kB
Writeback:           0 kB
Mapped:          25056 kB
Slab:            29160 kB
Committed_AS:    54320 kB
PageTables:       1740 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= 66560 MiB
End job on node68 at 2008-07-23 02:18:48