Trace number 1127267

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.11 3626.64

General information on the benchmark

Namemaxcsp/cnf/2-40-2100-3000/
normalized-cnf-2-40-2500-147422_ext.xml
MD5SUM9715601121697354f0bb1266f62f11ab
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints294
Best CPU time to get the best result obtained on this benchmark11.7342
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints687
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension687
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.07/0.25	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.07/0.25	c 0	BEGIN Tue Jul 22 21:27:41 2008
0.07/0.25	c 0	PID 5109
0.07/0.25	c 0	HOST node87.alineos.net
0.07/0.25	c 0	CONVERTING HOME/instance-1127267-1216754861.xml TO HOME/temp.csp
0.07/0.25	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127267-1216754861.xml' 'HOME/temp.csp'
0.09/0.64	c 1	1 domains, 40 variables, 0 predicates, 14 relations, 687 constraints
0.09/0.69	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.09/0.69	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.43/0.77	c 1	Parsing HOME/temp.csp
0.43/0.89	c 1	parsed 742 expressions
0.43/0.90	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.43/0.91	c 1	MAX CSP: 687 constraints
0.43/0.91	c 1	Converting to clausal form CSP
0.43/0.95	c 1	converted 144 (10%) expressions
0.43/0.96	c 1	converted 287 (20%) expressions
0.43/0.98	c 1	converted 430 (30%) expressions
0.43/0.99	c 1	converted 573 (40%) expressions
0.43/0.99	c 1	converted 716 (50%) expressions
0.72/1.01	c 1	converted 860 (60%) expressions
0.72/1.02	c 1	converted 1003 (70%) expressions
0.72/1.09	c 1	converted 1146 (80%) expressions
0.72/1.10	c 1	converted 1289 (90%) expressions
0.92/1.21	c 1	converted 1432 (100%) expressions
0.92/1.21	c 1	CSP : 1414 integers, 0 booleans, 2060 clauses, largest domain size 1031
0.92/1.21	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.92/1.21	c 1	Propagation in CSP
0.92/1.26	c 1	680 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.92/1.26	c 1	CSP : 1414 integers, 0 booleans, 2060 clauses, largest domain size 688
0.92/1.26	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.92/1.26	c 1	Simplifing CSP by introducing new Boolean variables
0.92/1.26	c 1	CSP : 1414 integers, 0 booleans, 2060 clauses, largest domain size 688
0.92/1.26	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.01/1.30	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.01/1.31	c 1	142 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.01/1.31	c 1	283 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.01/1.32	c 1	425 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.01/1.32	c 1	566 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.01/1.32	c 1	707 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.01/1.33	c 1	849 (60%) CSP integer variables are encoded (1278 clauses, 16135 bytes)
1.01/1.33	c 1	990 (70%) CSP integer variables are encoded (2294 clauses, 29343 bytes)
1.01/1.33	c 1	1132 (80%) CSP integer variables are encoded (3514 clauses, 45203 bytes)
1.01/1.34	c 1	1273 (90%) CSP integer variables are encoded (4500 clauses, 58021 bytes)
1.01/1.34	c 1	1414 (100%) CSP integer variables are encoded (11350 clauses, 152592 bytes)
1.01/1.37	c 1	206 (10%) CSP clauses are encoded (11663 clauses, 155951 bytes)
1.01/1.39	c 1	412 (20%) CSP clauses are encoded (11972 clauses, 159500 bytes)
1.12/1.41	c 1	618 (30%) CSP clauses are encoded (12276 clauses, 163080 bytes)
1.12/1.43	c 1	824 (40%) CSP clauses are encoded (15392 clauses, 215764 bytes)
1.12/1.48	c 2	1030 (50%) CSP clauses are encoded (44384 clauses, 741289 bytes)
1.21/1.50	c 2	1236 (60%) CSP clauses are encoded (53094 clauses, 895048 bytes)
1.31/1.64	c 2	1442 (70%) CSP clauses are encoded (137116 clauses, 2436189 bytes)
1.31/1.67	c 2	1648 (80%) CSP clauses are encoded (147134 clauses, 2613444 bytes)
1.41/1.71	c 2	1854 (90%) CSP clauses are encoded (171244 clauses, 3050044 bytes)
2.21/2.56	c 3	2060 (100%) CSP clauses are encoded (624703 clauses, 12166997 bytes)
2.21/2.56	c 3	2060 CSP clauses encoded
2.21/2.56	c 3	Writing map file : HOME/temp.map
2.21/2.57	c 3	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.21/2.57	c 3	SAT : 12764 SAT variables, 624703 SAT clauses, 12166997 bytes
2.21/2.57	c 3	Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.27/2.62	c 3	OBJECTIVE minimize _COST
2.27/2.62	c 3	SOLVING HOME/temp.cnf
2.27/2.62	c 3	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.27/2.63	c 3	This is MiniSat 2.0 beta incremental
2.27/2.63	c 3	WARNING: for repeatability, setting FPU to use double precision
2.27/2.63	c 3	============================[ Problem Statistics ]=============================
2.27/2.63	c 3	|                                                                             |
2.27/2.63	c 3	|  Number of variables:  12764                                                |
2.27/2.63	c 3	|  Number of clauses:    624703                                               |
2.30/2.90	c 3	|  Parsing time:         0.25         s                                       |
2.30/2.91	c 3	OK
2.30/2.91	c 3	OBJECTIVE BOUND: 0 <= _COST <= 
2.30/2.91	c 3	SEARCHING: _COST <= 344
2.30/2.91	c 3	============================[ Search Statistics ]==============================
2.30/2.91	c 3	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.30/2.91	c 3	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.30/2.91	c 3	===============================================================================
2.30/2.91	c 3	|         0 |   12764   624703  1838715 |   208234        0    nan |  0.000 % |
2.86/3.25	c 3	|       100 |   12764   624703  1838715 |   229057      100     28 |  0.002 % |
2.96/3.38	c 3	|       251 |   12764   624703  1838715 |   251963      250     28 |  0.135 % |
3.16/3.58	c 4	|       476 |   12764   624703  1838715 |   277159      475     28 |  0.135 % |
3.36/3.79	c 4	|       813 |   12764   624703  1838715 |   304875      812     31 |  0.135 % |
3.85/4.28	c 4	|      1320 |   12764   624703  1838715 |   335363     1318     32 |  0.268 % |
4.34/4.72	c 5	|      2080 |   12764   624703  1838715 |   368899     2078     30 |  0.268 % |
5.33/5.80	c 6	|      3219 |   12764   624703  1838715 |   405789     3217     30 |  0.268 % |
6.53/7.00	c 7	|      4928 |   12730   623203  1834343 |   446368     4926     34 |  0.268 % |
6.63/7.05	c 7	===============================================================================
6.63/7.05	c 7	restarts              : 9
6.63/7.05	c 7	conflicts             : 4981          (1143 /sec)
6.63/7.05	c 7	decisions             : 8865          (0.51 % random) (2035 /sec)
6.63/7.05	c 7	propagations          : 2692795        (618133 /sec)
6.63/7.05	c 7	conflict literals     : 168289         (21.22 % deleted)
6.63/7.05	c 7	Memory used           : 28.52 MB
6.63/7.05	c 7	CPU time              : 4.35634 s
6.63/7.05	c 7	
6.63/7.05	c 7	SATISFIABLE
6.63/7.05	c 7	OK
6.63/7.05	c 7	FOUND: _COST <= 344
6.63/7.05	s SATISFIABLE
6.63/7.05	c 7	DECODING HOME/temp.out WITH HOME/temp.map
6.63/7.05	c 7	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.69/7.57	c 8	Decoding HOME/temp.out
6.77/7.68	c 8	OBJECTIVE _COST 344
6.77/7.68	o 344
6.77/7.68	v 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1
6.77/7.69	c 8	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
6.86/7.71	c 8	OK
6.86/7.71	c 8	OBJECTIVE BOUND: 0 <= _COST <= 344
6.86/7.71	c 8	SEARCHING: _COST <= 172
6.86/7.72	c 8	============================[ Search Statistics ]==============================
6.86/7.73	c 8	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.86/7.73	c 8	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.86/7.73	c 8	===============================================================================
6.86/7.73	c 8	|      4981 |   12730   623203  1834343 |   207734     4979     34 |  0.268 % |
7.05/7.90	c 8	|      5083 |   12730   623203  1834343 |   228507     5081     34 | 27.140 % |
7.15/8.06	c 8	|      5234 |   12730   623203  1834343 |   251358     5232     33 | 27.140 % |
7.35/8.29	c 8	|      5460 |   12730   623203  1834343 |   276494     5454     33 | 27.641 % |
7.75/8.63	c 9	|      5798 |   12730   623203  1834343 |   304143     5790     32 | 27.963 % |
8.05/8.99	c 9	|      6305 |   12730   623203  1834343 |   334558     6297     30 | 27.963 % |
8.76/9.66	c 10	|      7064 |   12730   623203  1834343 |   368014     7056     29 | 27.963 % |
9.76/10.66	c 11	|      8204 |    9194   392308  1151977 |   404815     8194     27 | 28.119 % |
11.06/11.94	c 12	|      9914 |    9193   392308  1151977 |   445296     9900     26 | 28.582 % |
12.95/13.81	c 14	|     12476 |    9116   387230  1137010 |   489826    12462     25 | 28.582 % |
15.65/16.57	c 17	|     16321 |    9101   386437  1134683 |   538809    16305     23 | 28.699 % |
20.95/21.86	c 22	|     22087 |    9001   380450  1117063 |   592690    22062     22 | 29.608 % |
31.24/32.14	c 32	|     30736 |    8985   379617  1114624 |   651959    30711     22 | 29.608 % |
49.52/50.44	c 50	|     43711 |    8955   377825  1109349 |   717155    43682     22 | 29.843 % |
83.70/84.69	c 85	|     63172 |    8940   376774  1106245 |   788870    63141     22 | 30.070 % |
137.39/138.39	c 138	|     92366 |    8925   375724  1103144 |   867757    92334     22 | 30.078 % |
243.35/244.38	c 244	|    136157 |    8893   374041  1098205 |   954533   136121     23 | 30.329 % |
432.28/433.33	c 433	|    201843 |    8846   371363  1090331 |  1049987   201803     23 | 30.697 % |
730.58/732.61	c 733	===============================================================================
730.58/732.61	c 733	restarts              : 27
730.58/732.61	c 733	conflicts             : 288312        (396 /sec)
730.58/732.61	c 733	decisions             : 386628        (0.72 % random) (531 /sec)
730.58/732.61	c 733	propagations          : 190252460      (261350 /sec)
730.58/732.61	c 733	conflict literals     : 6646863        (43.32 % deleted)
730.58/732.61	c 733	Memory used           : 57.91 MB
730.58/732.61	c 733	CPU time              : 727.96 s
730.58/732.61	c 733	
730.58/732.61	c 733	UNSATISFIABLE
730.58/732.61	c 733	OK
730.58/732.61	c 733	NOT FOUND: _COST <= 172
730.58/732.61	c 733	OK
730.58/732.61	c 733	OBJECTIVE BOUND: 173 <= _COST <= 344
730.58/732.61	c 733	SEARCHING: _COST <= 258
730.58/732.61	c 733	============================[ Search Statistics ]==============================
730.58/732.61	c 733	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
730.58/732.61	c 733	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
730.58/732.61	c 733	===============================================================================
730.58/732.61	c 733	|    288312 |    7854   346191  1017728 |   115397   259620     24 | 30.697 % |
737.43/739.57	c 740	|    288413 |    7854   346191  1017728 |   126936    20106     17 | 38.468 % |
737.63/739.70	c 740	|    288564 |    7854   346191  1017728 |   139630    20257     17 | 38.468 % |
737.73/739.87	c 740	|    288789 |    7854   346191  1017728 |   153593    20482     17 | 38.468 % |
738.03/740.12	c 740	|    289127 |    7854   346191  1017728 |   168952    20820     17 | 38.468 % |
738.42/740.53	c 741	|    289634 |    7854   346191  1017728 |   185848    21327     17 | 38.468 % |
739.02/741.11	c 741	|    290393 |    7854   346191  1017728 |   204432    22086     17 | 38.468 % |
739.91/742.06	c 742	|    291532 |    7854   346191  1017728 |   224876    23225     17 | 38.468 % |
741.50/743.64	c 744	|    293241 |    7854   346191  1017728 |   247363    24932     17 | 38.523 % |
743.68/745.85	c 746	|    295804 |    7854   346191  1017728 |   272100    27495     18 | 38.523 % |
747.65/749.84	c 750	|    299649 |    7854   346191  1017728 |   299310    31340     19 | 38.523 % |
753.30/755.53	c 756	|    305417 |    7854   346191  1017728 |   329241    37108     19 | 38.523 % |
762.82/765.17	c 765	|    314066 |    7847   345340  1015199 |   362165    45757     19 | 38.523 % |
776.41/778.88	c 779	|    327041 |    7847   345340  1015199 |   398381    58732     20 | 38.523 % |
803.19/805.82	c 806	|    346503 |    7847   345340  1015199 |   438219    78194     22 | 38.523 % |
848.81/851.89	c 852	|    375695 |    7833   343757  1010500 |   482041   107376     24 | 38.633 % |
934.80/938.59	c 939	|    419485 |    7833   343757  1010500 |   530246   151166     25 | 38.633 % |
1096.02/1101.12	c 1101	|    485171 |    7833   343757  1010500 |   583270   216852     28 | 38.633 % |
1382.68/1390.23	c 1390	|    583698 |    7833   343757  1010500 |   641597   315379     30 | 38.633 % |
2011.80/2024.61	c 2025	|    731489 |    7833   343757  1010500 |   705757   463170     33 | 38.633 % |
3424.11/3449.21	c 3449	|    953173 |    7833   343757  1010500 |   776333   684854     34 | 38.633 % |
3600.06/3626.61	c ERROR INTERRUPTED
3600.06/3626.64	c 3627	CPU 3599.21 (0.07 0.05 3599.14 0.84)
3600.06/3626.64	c 3627	END Tue Jul 22 22:28:08 2008

Verifier Data (download as text)

OK	337	350
337 unsatisfied constraints, 350 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-1127267-1216754861/watcher-1127267-1216754861 -o /tmp/evaluation-result-1127267-1216754861/solver-1127267-1216754861 -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-1127267-1216754861.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.23 1.61 3/68 5109
/proc/meminfo: memFree=1668952/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=12272 CPUtime=0
/proc/5109/stat : 5109 (sugar++) R 5107 5109 5049 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 2570786 12566528 327 996147200 4194304 4206940 548682068528 18446744073709551615 254613879397 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/5109/statm: 3068 327 246 3 0 168 0

[startup+0.0574651 s]
/proc/loadavg: 1.00 1.23 1.61 3/68 5109
/proc/meminfo: memFree=1668952/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=13204 CPUtime=0.03
/proc/5109/stat : 5109 (sugar++) R 5107 5109 5049 0 -1 4194304 687 0 0 0 2 1 0 0 18 0 1 0 2570786 13520896 655 996147200 4194304 4206940 548682068528 18446744073709551615 254613879397 0 0 4224 0 0 0 0 17 1 0 0
/proc/5109/statm: 3301 655 336 3 0 401 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13204

[startup+0.101473 s]
/proc/loadavg: 1.00 1.23 1.61 3/68 5109
/proc/meminfo: memFree=1668952/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=13468 CPUtime=0.03
/proc/5109/stat : 5109 (sugar++) D 5107 5109 5049 0 -1 4194304 753 0 0 0 2 1 0 0 18 0 1 0 2570786 13791232 721 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/5109/statm: 3367 721 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468

[startup+0.302611 s]
/proc/loadavg: 1.00 1.23 1.61 3/68 5109
/proc/meminfo: memFree=1668952/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16740 CPUtime=0.09
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1219 128 0 0 5 4 0 0 16 0 1 0 2570786 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16740

[startup+0.701591 s]
/proc/loadavg: 1.00 1.23 1.61 3/68 5109
/proc/meminfo: memFree=1668952/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16740 CPUtime=0.43
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1279 4485 0 51 5 4 31 3 16 0 1 0 2570786 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 16740

[startup+1.50274 s]
/proc/loadavg: 1.00 1.23 1.61 4/94 5160
/proc/meminfo: memFree=1627200/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16740 CPUtime=0.45
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1297 4485 0 51 6 5 31 3 15 0 1 0 2570786 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4185 1104 409 3 0 764 0
[pid=5141] ppid=5109 vsize=5356 CPUtime=0
/proc/5141/stat : 5141 (sh) S 5109 5109 5049 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2570855 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5141/statm: 1339 233 193 169 0 50 0
[pid=5143] ppid=5141 vsize=869468 CPUtime=0.76
/proc/5143/stat : 5143 (java) S 5141 5109 5049 0 -1 0 6632 0 7 0 72 4 0 0 18 0 9 0 2570856 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5143/statm: 217367 5850 2563 9 0 211914 0
[pid=5143/tid=5145] ppid=5141 vsize=869468 CPUtime=0.43
/proc/5143/task/5145/stat : 5145 (java) R 5141 5109 5049 0 -1 64 2740 0 5 0 42 1 0 0 19 0 9 0 2570857 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4126949865 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5143/tid=5147] ppid=5141 vsize=869468 CPUtime=0.07
/proc/5143/task/5147/stat : 5147 (java) S 5141 5109 5049 0 -1 64 1671 0 2 0 6 1 0 0 16 0 9 0 2570858 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5143/tid=5148] ppid=5141 vsize=869468 CPUtime=0
/proc/5143/task/5148/stat : 5148 (java) S 5141 5109 5049 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2570858 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5143/tid=5149] ppid=5141 vsize=869468 CPUtime=0
/proc/5143/task/5149/stat : 5149 (java) S 5141 5109 5049 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2570858 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5143/tid=5153] ppid=5141 vsize=869468 CPUtime=0
/proc/5143/task/5153/stat : 5153 (java) S 5141 5109 5049 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2570860 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5143/tid=5154] ppid=5141 vsize=869468 CPUtime=0.24
/proc/5143/task/5154/stat : 5154 (java) S 5141 5109 5049 0 -1 64 1529 0 0 0 23 1 0 0 16 0 9 0 2570860 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5143/tid=5155] ppid=5141 vsize=869468 CPUtime=0
/proc/5143/task/5155/stat : 5155 (java) S 5141 5109 5049 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2570860 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5143/tid=5156] ppid=5141 vsize=869468 CPUtime=0
/proc/5143/task/5156/stat : 5156 (java) S 5141 5109 5049 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2570860 890335232 5850 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 891564

[startup+3.10105 s]
/proc/loadavg: 1.08 1.24 1.61 3/94 5160
/proc/meminfo: memFree=1598784/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.3
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1481 11758 0 58 6 5 202 17 15 0 1 0 2570786 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1131 414 3 0 797 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 16872

[startup+6.30166 s]
/proc/loadavg: 1.08 1.24 1.61 3/77 5175
/proc/meminfo: memFree=1559232/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.3
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1481 11758 0 58 6 5 202 17 16 0 1 0 2570786 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1131 414 3 0 797 0
[pid=5161] ppid=5109 vsize=28932 CPUtime=3.63
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 7075 0 0 0 360 3 0 0 25 0 1 0 2571049 29626368 7024 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 7233 7024 74 151 0 7079 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 45804

[startup+12.7019 s]
/proc/loadavg: 1.37 1.30 1.63 3/77 5185
/proc/meminfo: memFree=1558720/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=29504 CPUtime=9.38
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 7213 0 0 0 934 4 0 0 25 0 1 0 2571049 30212096 7160 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 7376 7160 80 151 0 7222 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 46376

[startup+25.5013 s]
/proc/loadavg: 1.55 1.34 1.64 3/77 5185
/proc/meminfo: memFree=1559496/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=29504 CPUtime=22.16
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 7227 0 0 0 2212 4 0 0 25 0 1 0 2571049 30212096 7174 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 7376 7174 80 151 0 7222 0
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (KiB) 46376

[startup+51.1012 s]
/proc/loadavg: 1.70 1.39 1.64 3/77 5185
/proc/meminfo: memFree=1559368/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=29704 CPUtime=47.74
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 7286 0 0 0 4770 4 0 0 25 0 1 0 2571049 30416896 7225 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 7426 7225 80 151 0 7272 0
Current children cumulated CPU time (s) 50.22
Current children cumulated vsize (KiB) 46576

[startup+102.307 s]
/proc/loadavg: 1.88 1.49 1.66 3/77 5185
/proc/meminfo: memFree=1556936/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=31884 CPUtime=98.92
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 7811 0 0 0 9887 5 0 0 25 0 1 0 2571049 32649216 7750 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 7971 7750 80 151 0 7817 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 48756

[startup+162.301 s]
/proc/loadavg: 1.95 1.57 1.68 3/77 5185
/proc/meminfo: memFree=1549960/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=35796 CPUtime=158.89
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 8760 0 0 0 15883 6 0 0 25 0 1 0 2571049 36655104 8699 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 8949 8699 80 151 0 8795 0
Current children cumulated CPU time (s) 161.37
Current children cumulated vsize (KiB) 52668

[startup+222.302 s]
/proc/loadavg: 1.98 1.65 1.70 3/77 5185
/proc/meminfo: memFree=1543048/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=38828 CPUtime=218.87
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 9530 0 0 0 21880 7 0 0 25 0 1 0 2571049 39759872 9469 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 9707 9469 80 151 0 9553 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 55700

[startup+282.301 s]
/proc/loadavg: 1.99 1.71 1.71 3/77 5185
/proc/meminfo: memFree=1537928/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=41948 CPUtime=278.85
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 10235 0 0 0 27877 8 0 0 25 0 1 0 2571049 42954752 10174 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 1 0 0
/proc/5161/statm: 10487 10174 80 151 0 10333 0
Current children cumulated CPU time (s) 281.33
Current children cumulated vsize (KiB) 58820

[startup+342.303 s]
/proc/loadavg: 1.99 1.76 1.73 3/77 5185
/proc/meminfo: memFree=1532424/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.48
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1565 15629 0 59 6 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=44792 CPUtime=338.83
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 10965 0 0 0 33874 9 0 0 25 0 1 0 2571049 45867008 10904 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0

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

[pid=5161] ppid=5109 vsize=131588 CPUtime=2839.73
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 32256 0 0 0 283923 50 0 0 25 0 1 0 2571049 134746112 32193 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 32897 32193 80 151 0 32743 0
Current children cumulated CPU time (s) 2842.22
Current children cumulated vsize (KiB) 148460

[startup+2922.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5193
/proc/meminfo: memFree=1352264/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=133172 CPUtime=2899.23
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 32685 0 0 0 289872 51 0 0 25 0 1 0 2571049 136368128 32622 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 33293 32622 80 151 0 33139 0
Current children cumulated CPU time (s) 2901.72
Current children cumulated vsize (KiB) 150044

[startup+2982.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5193
/proc/meminfo: memFree=1348424/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=134980 CPUtime=2958.7
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 33111 0 0 0 295818 52 0 0 25 0 1 0 2571049 138219520 33048 996147200 134512640 135134323 4294956192 18446744073709551615 134531929 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 33745 33048 80 151 0 33591 0
Current children cumulated CPU time (s) 2961.19
Current children cumulated vsize (KiB) 151852

[startup+3042.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5193
/proc/meminfo: memFree=1345352/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=136356 CPUtime=3018.18
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 33465 0 0 0 301765 53 0 0 25 0 1 0 2571049 139628544 33402 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 34089 33402 80 151 0 33935 0
Current children cumulated CPU time (s) 3020.67
Current children cumulated vsize (KiB) 153228

[startup+3102.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5193
/proc/meminfo: memFree=1342408/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=137648 CPUtime=3077.66
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 33790 0 0 0 307712 54 0 0 25 0 1 0 2571049 140951552 33727 996147200 134512640 135134323 4294956192 18446744073709551615 134528258 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 34412 33727 80 151 0 34258 0
Current children cumulated CPU time (s) 3080.15
Current children cumulated vsize (KiB) 154520

[startup+3162.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1339080/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=139420 CPUtime=3137.13
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 34215 0 0 0 313658 55 0 0 25 0 1 0 2571049 142766080 34152 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 34855 34152 80 151 0 34701 0
Current children cumulated CPU time (s) 3139.62
Current children cumulated vsize (KiB) 156292

[startup+3222.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1335816/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=140612 CPUtime=3196.63
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 34544 0 0 0 319607 56 0 0 25 0 1 0 2571049 143986688 34481 996147200 134512640 135134323 4294956192 18446744073709551615 134531934 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 35153 34481 80 151 0 34999 0
Current children cumulated CPU time (s) 3199.12
Current children cumulated vsize (KiB) 157484

[startup+3282.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1332488/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=142068 CPUtime=3256.13
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 34907 0 0 0 325556 57 0 0 25 0 1 0 2571049 145477632 34844 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 35517 34844 80 151 0 35363 0
Current children cumulated CPU time (s) 3258.62
Current children cumulated vsize (KiB) 158940

[startup+3342.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1329032/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=143664 CPUtime=3315.6
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 35303 0 0 0 331503 57 0 0 25 0 1 0 2571049 147111936 35240 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 35916 35240 80 151 0 35762 0
Current children cumulated CPU time (s) 3318.09
Current children cumulated vsize (KiB) 160536

[startup+3402.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1326280/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=144856 CPUtime=3375.11
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 35637 0 0 0 337452 59 0 0 25 0 1 0 2571049 148332544 35574 996147200 134512640 135134323 4294956192 18446744073709551615 134529108 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 36214 35574 80 151 0 36060 0
Current children cumulated CPU time (s) 3377.6
Current children cumulated vsize (KiB) 161728

[startup+3462.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1323144/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=146660 CPUtime=3434.61
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 36081 0 0 0 343401 60 0 0 25 0 1 0 2571049 150179840 36018 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 36665 36018 80 151 0 36511 0
Current children cumulated CPU time (s) 3437.1
Current children cumulated vsize (KiB) 163532

[startup+3522.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1320328/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=148016 CPUtime=3494.09
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 36473 0 0 0 349349 60 0 0 25 0 1 0 2571049 151568384 36410 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 37004 36410 80 151 0 36850 0
Current children cumulated CPU time (s) 3496.58
Current children cumulated vsize (KiB) 164888

[startup+3582.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 5195
/proc/meminfo: memFree=1317384/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=150984 CPUtime=3553.59
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 36830 0 0 0 355298 61 0 0 25 0 1 0 2571049 154607616 36767 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 37746 36767 80 151 0 37592 0
Current children cumulated CPU time (s) 3556.08
Current children cumulated vsize (KiB) 167856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.6 s]
/proc/loadavg: 2.14 2.00 1.92 3/76 5245
/proc/meminfo: memFree=1434056/2055920 swapFree=4192956/4192956
[pid=5109] ppid=5107 vsize=16872 CPUtime=2.49
/proc/5109/stat : 5109 (sugar++) S 5107 5109 5049 0 -1 4194304 1568 15629 0 59 7 5 218 19 16 0 1 0 2570786 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/5109/statm: 4218 1132 414 3 0 797 0
[pid=5161] ppid=5109 vsize=151908 CPUtime=3597.57
/proc/5161/stat : 5161 (minisat-inc) R 5109 5109 5049 0 -1 4194304 37075 0 0 0 359695 62 0 0 25 0 1 0 2571049 155553792 37012 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/5161/statm: 37977 37012 80 151 0 37823 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 168780

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): 3626.64
CPU time (s): 3600.11
CPU user time (s): 3599.21
CPU system time (s): 0.900863
CPU usage (%): 99.2685
Max. virtual memory (cumulated for all children) (KiB): 891564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.21
system time used= 0.900863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54351
page faults= 59
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4954
involuntary context switches= 75939

runsolver used 4.17237 second user time and 10.2664 second system time

The end

Launcher Data (download as text)

Begin job on node87 at 2008-07-22 21:27:41
IDJOB=1127267
IDBENCH=63151
IDSOLVER=367
FILE ID=node87/1127267-1216754861
PBS_JOBID= 7974073
Free space on /tmp= 66564 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2500-147422_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-1127267-1216754861/watcher-1127267-1216754861 -o /tmp/evaluation-result-1127267-1216754861/solver-1127267-1216754861 -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-1127267-1216754861.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9715601121697354f0bb1266f62f11ab
RANDOM SEED=1299653873

node87.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.259
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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1669688 kB
Buffers:         25460 kB
Cached:         282172 kB
SwapCached:          0 kB
Active:         166152 kB
Inactive:       155616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1669688 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1004 kB
Writeback:           0 kB
Mapped:          23816 kB
Slab:            50068 kB
Committed_AS:    52672 kB
PageTables:       1684 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66548 MiB
End job on node87 at 2008-07-22 22:28:10