Trace number 1109678

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisatOPTIMUM2 2106.58 2126.38

General information on the benchmark

Namecsp/rand-10-20-10/
normalized-rand-10-20-10-5-10000-10_ext.xml
MD5SUM8251395210f77b2e86753effd7694eb9
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints2
Best CPU time to get the best result obtained on this benchmark2106.58
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints5
Maximum constraint arity10
Maximum domain size10
Number of constraints which are defined in extension5
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.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Fri Jul 11 22:27:08 2008
0.00/0.04	c 0	PID 15385
0.00/0.04	c 0	HOST node59.alineos.net
0.00/0.04	c 0	CONVERTING HOME/instance-1109678-1215808028.xml TO HOME/temp.csp
0.00/0.04	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1109678-1215808028.xml' 'HOME/temp.csp'
0.03/0.57	c 0	1 domains, 20 variables, 0 predicates, 5 relations, 5 constraints
0.04/0.62	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.62	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.04/0.69	c 1	Parsing HOME/temp.csp
1.18/1.28	c 1	parsed 31 expressions
1.18/1.28	c 1	Heap : 13 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.18/1.28	c 1	MAX CSP: 5 constraints
1.18/1.28	c 1	Converting to clausal form CSP
1.28/1.30	c 1	converted 4 (10%) expressions
1.28/1.30	c 1	converted 8 (20%) expressions
1.28/1.30	c 1	converted 12 (30%) expressions
1.28/1.30	c 1	converted 16 (40%) expressions
1.28/1.30	c 1	converted 20 (50%) expressions
1.38/1.41	c 1	converted 24 (60%) expressions
1.49/1.60	c 1	converted 28 (70%) expressions
1.99/2.03	c 2	converted 32 (80%) expressions
2.49/2.55	c 2	converted 36 (90%) expressions
2.49/2.55	c 2	converted 39 (100%) expressions
2.49/2.55	c 2	CSP : 26 integers, 0 booleans, 6 clauses, largest domain size 10
2.49/2.55	c 2	Heap : 52 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.49/2.55	c 2	Propagation in CSP
2.49/2.55	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.49/2.55	c 2	CSP : 26 integers, 0 booleans, 6 clauses, largest domain size 10
2.49/2.55	c 2	Heap : 52 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.49/2.55	c 2	Simplifing CSP by introducing new Boolean variables
2.49/2.55	c 2	CSP : 26 integers, 0 booleans, 6 clauses, largest domain size 10
2.49/2.55	c 2	Heap : 52 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.69/2.79	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.69/2.79	c 3	3 (10%) CSP integer variables are encoded (24 clauses, 264 bytes)
2.69/2.79	c 3	6 (20%) CSP integer variables are encoded (48 clauses, 480 bytes)
2.69/2.79	c 3	8 (30%) CSP integer variables are encoded (64 clauses, 624 bytes)
2.69/2.80	c 3	11 (40%) CSP integer variables are encoded (88 clauses, 840 bytes)
2.69/2.80	c 3	13 (50%) CSP integer variables are encoded (104 clauses, 1016 bytes)
2.79/2.80	c 3	16 (60%) CSP integer variables are encoded (128 clauses, 1280 bytes)
2.79/2.80	c 3	19 (70%) CSP integer variables are encoded (152 clauses, 1544 bytes)
2.79/2.80	c 3	21 (80%) CSP integer variables are encoded (160 clauses, 1632 bytes)
2.79/2.80	c 3	24 (90%) CSP integer variables are encoded (160 clauses, 1632 bytes)
2.79/2.80	c 3	26 (100%) CSP integer variables are encoded (164 clauses, 1676 bytes)
161.01/162.19	c 162	1 (10%) CSP clauses are encoded (140870 clauses, 7263949 bytes)
315.52/318.20	c 318	2 (20%) CSP clauses are encoded (281852 clauses, 14545960 bytes)
477.36/481.51	c 481	3 (30%) CSP clauses are encoded (422905 clauses, 21828236 bytes)
631.77/637.45	c 637	4 (40%) CSP clauses are encoded (563934 clauses, 29538063 bytes)
797.08/804.36	c 804	5 (50%) CSP clauses are encoded (705064 clauses, 37753843 bytes)
797.08/804.37	c 804	6 (60%) CSP clauses are encoded (705095 clauses, 37754380 bytes)
797.08/804.37	c 804	6 CSP clauses encoded
797.08/804.37	c 804	Writing map file : HOME/temp.map
797.08/804.37	c 804	Heap : 59 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
797.08/804.37	c 804	SAT : 190 SAT variables, 705095 SAT clauses, 37754380 bytes
797.08/804.37	c 804	Heap : 59 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
797.15/804.41	c 804	OBJECTIVE minimize _COST
797.15/804.42	c 804	OBJECTIVE BOUND: 0 <= _COST <= 
797.15/804.42	c 804	SEARCHING: _COST <= 3
797.15/804.42	c 804	SOLVING HOME/temp.cnf
797.15/804.42	c 804	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
797.15/804.43	c 804	This is MiniSat 2.0 beta
797.15/804.43	c 804	WARNING: for repeatability, setting FPU to use double precision
797.15/804.43	c 804	============================[ Problem Statistics ]=============================
797.15/804.43	c 804	|                                                                             |
797.15/804.43	c 804	|  Number of variables:  190                                                  |
797.15/804.43	c 804	|  Number of clauses:    705096                                               |
798.13/805.47	c 805	|  Parsing time:         0.95         s                                       |
798.23/805.54	c 805	============================[ Search Statistics ]==============================
798.23/805.54	c 805	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
798.23/805.54	c 805	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
798.23/805.54	c 805	===============================================================================
798.23/805.54	c 805	|         0 |     188   705093  9561186 |   235031        0    nan |  0.000 % |
798.63/805.94	c 806	|       101 |     188   705093  9561186 |   258534      101     11 |  1.055 % |
798.82/806.14	c 806	|       253 |     188   705093  9561186 |   284387      253     11 |  1.058 % |
799.22/806.51	c 806	|       480 |     188   705093  9561186 |   312826      480     10 |  1.078 % |
799.41/806.79	c 807	|       817 |     188   705093  9561186 |   344108      817     10 |  1.078 % |
800.12/807.40	c 807	===============================================================================
800.12/807.41	c 807	restarts              : 5
800.12/807.41	c 807	conflicts             : 1224           (428 /sec)
800.12/807.41	c 807	decisions             : 1693           (1.36 % random) (592 /sec)
800.12/807.41	c 807	propagations          : 13429          (4696 /sec)
800.12/807.41	c 807	conflict literals     : 12521          (23.73 % deleted)
800.12/807.41	c 807	Memory used           : 63.32 MB
800.12/807.41	c 807	CPU time              : 2.85956 s
800.12/807.41	c 807	
800.12/807.41	c 807	SATISFIABLE
800.12/807.42	c 807	FOUND: _COST <= 3
800.12/807.42	s SATISFIABLE
800.12/807.42	c 807	DECODING HOME/temp.out WITH HOME/temp.map
800.12/807.42	c 807	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
800.14/807.50	c 807	Decoding HOME/temp.out
800.14/807.52	c 807	OBJECTIVE _COST 3
800.14/807.52	o 3
800.14/807.52	v 9 9 6 9 6 4 6 9 9 0 9 8 9 7 7 2 9 3 4 5
800.14/807.52	c 807	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
800.14/807.54	c 807	OBJECTIVE BOUND: 0 <= _COST <= 3
800.14/807.54	c 807	SEARCHING: _COST <= 1
800.14/807.54	c 807	SOLVING HOME/temp.cnf
800.14/807.54	c 807	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
800.14/807.54	c 807	This is MiniSat 2.0 beta
800.14/807.54	c 807	WARNING: for repeatability, setting FPU to use double precision
800.14/807.54	c 807	============================[ Problem Statistics ]=============================
800.14/807.54	c 807	|                                                                             |
800.14/807.55	c 807	|  Number of variables:  190                                                  |
800.14/807.55	c 807	|  Number of clauses:    705096                                               |
801.28/808.60	c 808	|  Parsing time:         0.95         s                                       |
801.28/808.67	c 809	============================[ Search Statistics ]==============================
801.28/808.67	c 809	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
801.28/808.67	c 809	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
801.28/808.67	c 809	===============================================================================
801.28/808.67	c 809	|         0 |     186   705091  9561182 |   235030        0    nan |  0.000 % |
801.48/808.89	c 809	|       101 |     186   705091  9561182 |   258533      101      9 |  2.108 % |
801.68/809.03	c 809	|       251 |     186   705091  9561182 |   284386      251     10 |  2.122 % |
801.78/809.17	c 809	|       478 |     186   705091  9561182 |   312825      478     10 |  2.130 % |
802.08/809.47	c 809	|       816 |     186   705091  9561182 |   344107      816     10 |  2.130 % |
802.66/810.02	c 810	|      1322 |     186   705091  9561182 |   378518     1322     10 |  2.130 % |
803.56/810.97	c 811	|      2081 |     186   705091  9561182 |   416370     2081     10 |  2.130 % |
805.24/812.66	c 813	|      3220 |     186   705091  9561182 |   458007     3220     10 |  2.130 % |
808.01/815.41	c 815	|      4929 |     186   705091  9561182 |   503808     4929     11 |  2.130 % |
813.07/820.54	c 820	|      7492 |     186   705091  9561182 |   554189     7492     10 |  2.133 % |
819.50/827.05	c 827	|     11336 |     186   705091  9561182 |   609608    11336     11 |  2.133 % |
828.51/836.13	c 836	|     17102 |     186   705091  9561182 |   670568    17102     12 |  2.136 % |
843.17/850.96	c 851	|     25751 |     186   705091  9561182 |   737625    25751     12 |  2.128 % |
866.64/874.63	c 874	|     38726 |     186   705091  9561182 |   811388    38726     12 |  2.136 % |
915.88/924.33	c 924	|     58187 |     185   705091  9561182 |   892527    58186     12 |  2.634 % |
970.45/979.41	c 979	|     87379 |     185   705091  9561182 |   981780    87378     12 |  2.659 % |
1075.85/1085.86	c 1086	|    131169 |     185   705091  9561182 |  1079958   131168     13 |  2.651 % |
1241.96/1253.56	c 1253	|    196853 |     183   705091  9561182 |  1187953   196851     13 |  3.687 % |
1502.57/1516.70	c 1517	|    295380 |     183   705091  9561182 |  1306749   295378     14 |  3.701 % |
1989.91/2008.65	c 2009	|    443169 |     179   705091  9561182 |  1437424   443166     14 |  5.792 % |
2094.30/2114.05	c 2114	===============================================================================
2094.30/2114.05	c 2114	restarts              : 20
2094.30/2114.05	c 2114	conflicts             : 469571         (363 /sec)
2094.30/2114.05	c 2114	decisions             : 585153         (1.64 % random) (452 /sec)
2094.30/2114.05	c 2114	propagations          : 6498795        (5023 /sec)
2094.30/2114.05	c 2114	conflict literals     : 6524261        (18.48 % deleted)
2094.30/2114.05	c 2114	Memory used           : 112.89 MB
2094.30/2114.05	c 2114	CPU time              : 1293.9 s
2094.30/2114.05	c 2114	
2094.30/2114.05	c 2114	UNSATISFIABLE
2094.30/2114.07	c 2114	NOT FOUND: _COST <= 1
2094.30/2114.07	c 2114	OBJECTIVE BOUND: 2 <= _COST <= 3
2094.30/2114.07	c 2114	SEARCHING: _COST <= 2
2094.30/2114.07	c 2114	SOLVING HOME/temp.cnf
2094.30/2114.07	c 2114	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2094.30/2114.08	c 2114	This is MiniSat 2.0 beta
2094.30/2114.08	c 2114	WARNING: for repeatability, setting FPU to use double precision
2094.30/2114.08	c 2114	============================[ Problem Statistics ]=============================
2094.30/2114.08	c 2114	|                                                                             |
2094.30/2114.08	c 2114	|  Number of variables:  190                                                  |
2094.30/2114.08	c 2114	|  Number of clauses:    705096                                               |
2095.39/2115.14	c 2115	|  Parsing time:         0.95         s                                       |
2095.48/2115.21	c 2115	============================[ Search Statistics ]==============================
2095.48/2115.21	c 2115	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2095.48/2115.21	c 2115	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2095.48/2115.21	c 2115	===============================================================================
2095.48/2115.21	c 2115	|         0 |     187   705092  9561184 |   235030        0    nan |  0.000 % |
2095.78/2115.51	c 2115	|       101 |     187   705092  9561184 |   258533      101      9 |  1.582 % |
2095.97/2115.76	c 2116	|       254 |     187   705092  9561184 |   284387      254      9 |  1.585 % |
2096.17/2115.96	c 2116	|       479 |     187   705092  9561184 |   312825      479     10 |  1.604 % |
2096.67/2116.49	c 2116	|       816 |     187   705092  9561184 |   344108      816     10 |  1.604 % |
2097.26/2117.06	c 2117	|      1323 |     187   705092  9561184 |   378519     1323     11 |  1.604 % |
2098.15/2117.99	c 2118	|      2083 |     187   705092  9561184 |   416371     2083     11 |  1.604 % |
2099.24/2119.03	c 2119	|      3223 |     187   705092  9561184 |   458008     3223     12 |  1.604 % |
2101.72/2121.53	c 2121	|      4932 |     187   705092  9561184 |   503809     4932     11 |  1.604 % |
2105.09/2124.97	c 2125	|      7494 |     187   705092  9561184 |   554190     7494     12 |  1.604 % |
2106.38/2126.22	c 2126	===============================================================================
2106.38/2126.22	c 2126	restarts              : 10
2106.38/2126.22	c 2126	conflicts             : 8096           (680 /sec)
2106.38/2126.22	c 2126	decisions             : 11082          (1.28 % random) (930 /sec)
2106.38/2126.22	c 2126	propagations          : 137502         (11542 /sec)
2106.38/2126.22	c 2126	conflict literals     : 92655          (23.56 % deleted)
2106.38/2126.22	c 2126	Memory used           : 64.29 MB
2106.38/2126.22	c 2126	CPU time              : 11.9132 s
2106.38/2126.22	c 2126	
2106.38/2126.22	c 2126	SATISFIABLE
2106.38/2126.23	c 2126	FOUND: _COST <= 2
2106.38/2126.23	c 2126	DECODING HOME/temp.out WITH HOME/temp.map
2106.38/2126.23	c 2126	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2106.43/2126.32	c 2126	Decoding HOME/temp.out
2106.43/2126.33	c 2126	OBJECTIVE _COST 2
2106.43/2126.33	o 2
2106.43/2126.34	v 9 6 6 2 8 5 8 9 9 1 0 2 9 8 5 7 0 7 8 9
2106.43/2126.34	c 2126	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2106.43/2126.36	c 2126	OBJECTIVE _COST 2
2106.43/2126.36	s OPTIMUM FOUND
2106.43/2126.36	c 2126	CPU 2105.5 (0.03 0.01 2105.47 1.03)
2106.43/2126.36	c 2126	END Fri Jul 11 23:02:34 2008

Verifier Data (download as text)

OK	2	3
2 unsatisfied constraints, 3 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-1109678-1215808028/watcher-1109678-1215808028 -o /tmp/evaluation-result-1109678-1215808028/solver-1109678-1215808028 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1109678-1215808028.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: 0.00 0.00 0.00 3/82 15385
/proc/meminfo: memFree=1172632/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=12272 CPUtime=0
/proc/15385/stat : 15385 (sugar) R 15383 15385 15124 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 37501206 12566528 327 996147200 4194304 4206940 548682068592 18446744073709551615 217051789925 0 0 4224 0 0 0 0 17 0 0 0
/proc/15385/statm: 3068 327 246 3 0 168 0

[startup+0.0726449 s]
/proc/loadavg: 0.00 0.00 0.00 3/82 15385
/proc/meminfo: memFree=1172632/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.03
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 37501206 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15385/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.102653 s]
/proc/loadavg: 0.00 0.00 0.00 3/82 15385
/proc/meminfo: memFree=1172632/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.03
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 37501206 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15385/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.302696 s]
/proc/loadavg: 0.00 0.00 0.00 3/82 15385
/proc/meminfo: memFree=1172632/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.03
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 37501206 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15385/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.702769 s]
/proc/loadavg: 0.00 0.00 0.00 3/82 15385
/proc/meminfo: memFree=1172632/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.58
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 974 7974 0 1 3 1 50 4 15 0 1 0 37501206 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15385/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 13600

[startup+1.50192 s]
/proc/loadavg: 0.16 0.03 0.01 2/93 15407
/proc/meminfo: memFree=1156672/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.58
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 974 7974 0 1 3 1 50 4 15 0 1 0 37501206 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 797 370 3 0 500 0
[pid=15398] ppid=15385 vsize=5356 CPUtime=0
/proc/15398/stat : 15398 (sh) S 15385 15385 15124 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37501268 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15398/statm: 1339 233 193 169 0 50 0
[pid=15399] ppid=15398 vsize=864676 CPUtime=0.91
/proc/15399/stat : 15399 (java) S 15398 15385 15124 0 -1 0 9769 0 1 0 87 4 0 0 18 0 9 0 37501268 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15399/statm: 216169 8955 2542 9 0 210744 0
[pid=15399/tid=15400] ppid=15398 vsize=864676 CPUtime=0.49
/proc/15399/task/15400/stat : 15400 (java) R 15398 15385 15124 0 -1 64 2695 0 1 0 48 1 0 0 16 0 9 0 37501269 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4126515125 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15401] ppid=15398 vsize=864676 CPUtime=0.35
/proc/15399/task/15401/stat : 15401 (java) S 15398 15385 15124 0 -1 64 6048 0 0 0 33 2 0 0 16 0 9 0 37501270 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15402] ppid=15398 vsize=864676 CPUtime=0
/proc/15399/task/15402/stat : 15402 (java) S 15398 15385 15124 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 37501270 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15403] ppid=15398 vsize=864676 CPUtime=0
/proc/15399/task/15403/stat : 15403 (java) S 15398 15385 15124 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 37501270 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15404] ppid=15398 vsize=864676 CPUtime=0
/proc/15399/task/15404/stat : 15404 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 37501272 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15405] ppid=15398 vsize=864676 CPUtime=0.05
/proc/15399/task/15405/stat : 15405 (java) S 15398 15385 15124 0 -1 64 330 0 0 0 5 0 0 0 16 0 9 0 37501272 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15406] ppid=15398 vsize=864676 CPUtime=0
/proc/15399/task/15406/stat : 15406 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37501272 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15407] ppid=15398 vsize=864676 CPUtime=0
/proc/15399/task/15407/stat : 15407 (java) S 15398 15385 15124 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37501272 885428224 8955 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 883632

[startup+3.10123 s]
/proc/loadavg: 0.16 0.03 0.01 2/93 15407
/proc/meminfo: memFree=1121344/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.58
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 974 7974 0 1 3 1 50 4 16 0 1 0 37501206 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 797 370 3 0 500 0
[pid=15398] ppid=15385 vsize=5356 CPUtime=0
/proc/15398/stat : 15398 (sh) S 15385 15385 15124 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37501268 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15398/statm: 1339 233 193 169 0 50 0
[pid=15399] ppid=15398 vsize=864796 CPUtime=2.54
/proc/15399/stat : 15399 (java) S 15398 15385 15124 0 -1 0 18995 0 1 0 246 8 0 0 18 0 9 0 37501268 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15399/statm: 216199 17500 2564 9 0 210746 0
[pid=15399/tid=15400] ppid=15398 vsize=864796 CPUtime=1.11
/proc/15399/task/15400/stat : 15400 (java) R 15398 15385 15124 0 -1 64 3298 0 1 0 110 1 0 0 18 0 9 0 37501269 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4126573852 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15401] ppid=15398 vsize=864796 CPUtime=1.32
/proc/15399/task/15401/stat : 15401 (java) S 15398 15385 15124 0 -1 64 14647 0 0 0 127 5 0 0 16 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15402] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15402/stat : 15402 (java) S 15398 15385 15124 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15403] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15403/stat : 15403 (java) S 15398 15385 15124 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15404] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15404/stat : 15404 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15405] ppid=15398 vsize=864796 CPUtime=0.08
/proc/15399/task/15405/stat : 15405 (java) S 15398 15385 15124 0 -1 64 354 0 0 0 8 0 0 0 16 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15406] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15406/stat : 15406 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15407] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15407/stat : 15407 (java) S 15398 15385 15124 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 883752

[startup+6.30183 s]
/proc/loadavg: 0.23 0.05 0.02 2/93 15407
/proc/meminfo: memFree=1108800/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.58
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 974 7974 0 1 3 1 50 4 16 0 1 0 37501206 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 797 370 3 0 500 0
[pid=15398] ppid=15385 vsize=5356 CPUtime=0
/proc/15398/stat : 15398 (sh) S 15385 15385 15124 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37501268 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15398/statm: 1339 233 193 169 0 50 0
[pid=15399] ppid=15398 vsize=864796 CPUtime=5.74
/proc/15399/stat : 15399 (java) S 15398 15385 15124 0 -1 0 19004 0 1 0 566 8 0 0 18 0 9 0 37501268 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15399/statm: 216199 17500 2564 9 0 210746 0
[pid=15399/tid=15400] ppid=15398 vsize=864796 CPUtime=4.27
/proc/15399/task/15400/stat : 15400 (java) R 15398 15385 15124 0 -1 64 3307 0 1 0 426 1 0 0 25 0 9 0 37501269 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4126555618 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15401] ppid=15398 vsize=864796 CPUtime=1.36
/proc/15399/task/15401/stat : 15401 (java) S 15398 15385 15124 0 -1 64 14647 0 0 0 130 6 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15402] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15402/stat : 15402 (java) S 15398 15385 15124 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15403] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15403/stat : 15403 (java) S 15398 15385 15124 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15404] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15404/stat : 15404 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15405] ppid=15398 vsize=864796 CPUtime=0.08
/proc/15399/task/15405/stat : 15405 (java) S 15398 15385 15124 0 -1 64 354 0 0 0 8 0 0 0 16 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15406] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15406/stat : 15406 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15407] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15407/stat : 15407 (java) S 15398 15385 15124 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 883752

[startup+12.7011 s]
/proc/loadavg: 0.29 0.06 0.02 2/93 15407
/proc/meminfo: memFree=1108672/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.58
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 974 7974 0 1 3 1 50 4 16 0 1 0 37501206 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 797 370 3 0 500 0
[pid=15398] ppid=15385 vsize=5356 CPUtime=0
/proc/15398/stat : 15398 (sh) S 15385 15385 15124 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37501268 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15398/statm: 1339 233 193 169 0 50 0
[pid=15399] ppid=15398 vsize=864796 CPUtime=12.13
/proc/15399/stat : 15399 (java) S 15398 15385 15124 0 -1 0 19004 0 1 0 1205 8 0 0 18 0 9 0 37501268 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15399/statm: 216199 17500 2564 9 0 210746 0
[pid=15399/tid=15400] ppid=15398 vsize=864796 CPUtime=10.67
/proc/15399/task/15400/stat : 15400 (java) R 15398 15385 15124 0 -1 64 3307 0 1 0 1066 1 0 0 25 0 9 0 37501269 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4126555637 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15401] ppid=15398 vsize=864796 CPUtime=1.36
/proc/15399/task/15401/stat : 15401 (java) S 15398 15385 15124 0 -1 64 14647 0 0 0 130 6 0 0 16 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15402] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15402/stat : 15402 (java) S 15398 15385 15124 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15403] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15403/stat : 15403 (java) S 15398 15385 15124 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15404] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15404/stat : 15404 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15405] ppid=15398 vsize=864796 CPUtime=0.08
/proc/15399/task/15405/stat : 15405 (java) S 15398 15385 15124 0 -1 64 354 0 0 0 8 0 0 0 16 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15406] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15406/stat : 15406 (java) S 15398 15385 15124 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15407] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15407/stat : 15407 (java) S 15398 15385 15124 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37501272 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 883752

[startup+25.5025 s]
/proc/loadavg: 0.40 0.09 0.03 2/93 15407
/proc/meminfo: memFree=1108736/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=0.58
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 974 7974 0 1 3 1 50 4 16 0 1 0 37501206 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 797 370 3 0 500 0
[pid=15398] ppid=15385 vsize=5356 CPUtime=0
/proc/15398/stat : 15398 (sh) S 15385 15385 15124 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37501268 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15398/statm: 1339 233 193 169 0 50 0
[pid=15399] ppid=15398 vsize=864796 CPUtime=24.94
/proc/15399/stat : 15399 (java) S 15398 15385 15124 0 -1 0 19014 0 1 0 2485 9 0 0 18 0 9 0 37501268 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15399/statm: 216199 17500 2564 9 0 210746 0
[pid=15399/tid=15400] ppid=15398 vsize=864796 CPUtime=23.42
/proc/15399/task/15400/stat : 15400 (java) R 15398 15385 15124 0 -1 64 3317 0 1 0 2341 1 0 0 24 0 9 0 37501269 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4126555621 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15401] ppid=15398 vsize=864796 CPUtime=1.4
/proc/15399/task/15401/stat : 15401 (java) S 15398 15385 15124 0 -1 64 14647 0 0 0 134 6 0 0 16 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15399/tid=15402] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15402/stat : 15402 (java) S 15398 15385 15124 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15399/tid=15403] ppid=15398 vsize=864796 CPUtime=0
/proc/15399/task/15403/stat : 15403 (java) S 15398 15385 15124 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 37501270 885551104 17500 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15461] ppid=15385 vsize=5356 CPUtime=0
/proc/15461/stat : 15461 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37581960 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15461/statm: 1339 232 193 169 0 50 0
[pid=15462] ppid=15461 vsize=110084 CPUtime=1084.37
/proc/15462/stat : 15462 (minisat) R 15461 15385 15124 0 -1 4194304 26146 0 0 0 108417 20 0 0 25 0 1 0 37581961 112726016 26132 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/15462/statm: 27521 26132 75 150 0 27368 0
Current children cumulated CPU time (s) 1884.62
Current children cumulated vsize (KiB) 129040

[startup+1962.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/84 15462
/proc/meminfo: memFree=1754304/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=800.25
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1167 64610 1 3 3 1 79957 64 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15461] ppid=15385 vsize=5356 CPUtime=0
/proc/15461/stat : 15461 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37581960 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15461/statm: 1339 232 193 169 0 50 0
[pid=15462] ppid=15461 vsize=111424 CPUtime=1143.8
/proc/15462/stat : 15462 (minisat) R 15461 15385 15124 0 -1 4194304 26489 0 0 0 114360 20 0 0 25 0 1 0 37581961 114098176 26475 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15462/statm: 27856 26475 75 150 0 27703 0
Current children cumulated CPU time (s) 1944.05
Current children cumulated vsize (KiB) 130380

[startup+2022.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/84 15462
/proc/meminfo: memFree=1752704/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=800.25
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1167 64610 1 3 3 1 79957 64 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15461] ppid=15385 vsize=5356 CPUtime=0
/proc/15461/stat : 15461 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37581960 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15461/statm: 1339 232 193 169 0 50 0
[pid=15462] ppid=15461 vsize=112660 CPUtime=1203.24
/proc/15462/stat : 15462 (minisat) R 15461 15385 15124 0 -1 4194304 26882 0 0 0 120303 21 0 0 25 0 1 0 37581961 115363840 26868 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15462/statm: 28165 26868 75 150 0 28012 0
Current children cumulated CPU time (s) 2003.49
Current children cumulated vsize (KiB) 131616

[startup+2082.31 s]
/proc/loadavg: 2.00 1.97 1.74 3/84 15468
/proc/meminfo: memFree=1751288/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=800.25
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1167 64610 1 3 3 1 79957 64 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15461] ppid=15385 vsize=5356 CPUtime=0
/proc/15461/stat : 15461 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37581960 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15461/statm: 1339 232 193 169 0 50 0
[pid=15462] ppid=15461 vsize=114112 CPUtime=1262.66
/proc/15462/stat : 15462 (minisat) R 15461 15385 15124 0 -1 4194304 27219 0 0 0 126245 21 0 0 25 0 1 0 37581961 116850688 27205 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15462/statm: 28528 27205 75 150 0 28375 0
Current children cumulated CPU time (s) 2062.91
Current children cumulated vsize (KiB) 133068

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

[startup+2099.1 s]
/proc/loadavg: 2.00 1.97 1.74 3/84 15468
/proc/meminfo: memFree=1750968/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=800.25
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1167 64610 1 3 3 1 79957 64 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15461] ppid=15385 vsize=5356 CPUtime=0
/proc/15461/stat : 15461 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37581960 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15461/statm: 1339 232 193 169 0 50 0
[pid=15462] ppid=15461 vsize=114556 CPUtime=1279.29
/proc/15462/stat : 15462 (minisat) R 15461 15385 15124 0 -1 4194304 27292 0 0 0 127908 21 0 0 25 0 1 0 37581961 117305344 27278 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15462/statm: 28639 27278 75 150 0 28486 0
Current children cumulated CPU time (s) 2079.54
Current children cumulated vsize (KiB) 133512

[startup+2111.9 s]
/proc/loadavg: 2.00 1.97 1.75 3/84 15468
/proc/meminfo: memFree=1750776/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=800.25
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1167 64610 1 3 3 1 79957 64 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15461] ppid=15385 vsize=5356 CPUtime=0
/proc/15461/stat : 15461 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37581960 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15461/statm: 1339 232 193 169 0 50 0
[pid=15462] ppid=15461 vsize=115600 CPUtime=1291.97
/proc/15462/stat : 15462 (minisat) R 15461 15385 15124 0 -1 4194304 27345 0 0 0 129176 21 0 0 25 0 1 0 37581961 118374400 27331 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15462/statm: 28900 27331 75 150 0 28747 0
Current children cumulated CPU time (s) 2092.22
Current children cumulated vsize (KiB) 134556

[startup+2118.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/84 15470
/proc/meminfo: memFree=1797432/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=2094.39
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1221 92253 1 3 3 1 209347 88 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15469] ppid=15385 vsize=5356 CPUtime=0
/proc/15469/stat : 15469 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37712613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15469/statm: 1339 232 193 169 0 50 0
[pid=15470] ppid=15469 vsize=65560 CPUtime=4.16
/proc/15470/stat : 15470 (minisat) R 15469 15385 15124 0 -1 4194304 15672 0 0 0 406 10 0 0 25 0 1 0 37712614 67133440 15658 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15470/statm: 16390 15658 75 150 0 16237 0
Current children cumulated CPU time (s) 2098.55
Current children cumulated vsize (KiB) 84516

[startup+2121.5 s]
/proc/loadavg: 2.00 1.97 1.75 3/84 15470
/proc/meminfo: memFree=1797432/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=2094.39
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1221 92253 1 3 3 1 209347 88 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15469] ppid=15385 vsize=5356 CPUtime=0
/proc/15469/stat : 15469 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37712613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15469/statm: 1339 232 193 169 0 50 0
[pid=15470] ppid=15469 vsize=65560 CPUtime=7.33
/proc/15470/stat : 15470 (minisat) R 15469 15385 15124 0 -1 4194304 15675 0 0 0 723 10 0 0 25 0 1 0 37712614 67133440 15661 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15470/statm: 16390 15661 75 150 0 16237 0
Current children cumulated CPU time (s) 2101.72
Current children cumulated vsize (KiB) 84516

[startup+2124.7 s]
/proc/loadavg: 2.00 1.97 1.75 3/84 15470
/proc/meminfo: memFree=1797432/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=2094.39
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1221 92253 1 3 3 1 209347 88 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15469] ppid=15385 vsize=5356 CPUtime=0
/proc/15469/stat : 15469 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37712613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15469/statm: 1339 232 193 169 0 50 0
[pid=15470] ppid=15469 vsize=65560 CPUtime=10.5
/proc/15470/stat : 15470 (minisat) R 15469 15385 15124 0 -1 4194304 15681 0 0 0 1040 10 0 0 25 0 1 0 37712614 67133440 15667 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15470/statm: 16390 15667 75 150 0 16237 0
Current children cumulated CPU time (s) 2104.89
Current children cumulated vsize (KiB) 84516

[startup+2125.5 s]
/proc/loadavg: 2.00 1.97 1.75 3/84 15470
/proc/meminfo: memFree=1797368/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=2094.39
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1221 92253 1 3 3 1 209347 88 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15469] ppid=15385 vsize=5356 CPUtime=0
/proc/15469/stat : 15469 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37712613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15469/statm: 1339 232 193 169 0 50 0
[pid=15470] ppid=15469 vsize=65832 CPUtime=11.29
/proc/15470/stat : 15470 (minisat) R 15469 15385 15124 0 -1 4194304 15711 0 0 0 1119 10 0 0 25 0 1 0 37712614 67411968 15697 996147200 134512640 135127466 4294956256 18446744073709551615 134530613 0 0 4096 3 0 0 0 17 1 0 0
/proc/15470/statm: 16458 15697 75 150 0 16305 0
Current children cumulated CPU time (s) 2105.68
Current children cumulated vsize (KiB) 84788

[startup+2125.9 s]
/proc/loadavg: 2.00 1.97 1.75 3/84 15470
/proc/meminfo: memFree=1797368/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=2094.39
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1221 92253 1 3 3 1 209347 88 16 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
[pid=15469] ppid=15385 vsize=5356 CPUtime=0
/proc/15469/stat : 15469 (sh) S 15385 15385 15124 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37712613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15469/statm: 1339 232 193 169 0 50 0
[pid=15470] ppid=15469 vsize=65832 CPUtime=11.69
/proc/15470/stat : 15470 (minisat) R 15469 15385 15124 0 -1 4194304 15711 0 0 0 1159 10 0 0 25 0 1 0 37712614 67411968 15697 996147200 134512640 135127466 4294956256 18446744073709551615 134530656 0 0 4096 3 0 0 0 17 1 0 0
/proc/15470/statm: 16458 15697 75 150 0 16305 0
Current children cumulated CPU time (s) 2106.08
Current children cumulated vsize (KiB) 84788

[startup+2126.31 s]
/proc/loadavg: 2.00 1.97 1.75 3/84 15470
/proc/meminfo: memFree=1797240/2055920 swapFree=4192812/4192956
[pid=15385] ppid=15383 vsize=13600 CPUtime=2106.43
/proc/15385/stat : 15385 (sugar) S 15383 15385 15124 0 -1 4194304 1261 108268 1 3 3 1 210538 101 17 0 1 0 37501206 13926400 802 996147200 4194304 4206940 548682068592 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15385/statm: 3400 802 374 3 0 500 0
Current children cumulated CPU time (s) 2106.43
Current children cumulated vsize (KiB) 13600

Child status: 0
Real time (s): 2126.38
CPU time (s): 2106.58
CPU user time (s): 2105.51
CPU system time (s): 1.07184
CPU usage (%): 99.0689
Max. virtual memory (cumulated for all children) (KiB): 889892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2105.51
system time used= 1.07184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113226
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= 20981
involuntary context switches= 100443

runsolver used 3.00554 second user time and 6.69598 second system time

The end

Launcher Data (download as text)

Begin job on node59 at 2008-07-11 22:27:08
IDJOB=1109678
IDBENCH=60999
IDSOLVER=368
FILE ID=node59/1109678-1215808028
PBS_JOBID= 7903272
Free space on /tmp= 66500 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8251395210f77b2e86753effd7694eb9
RANDOM SEED=42140667

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1173176 kB
Buffers:         12496 kB
Cached:          56796 kB
SwapCached:          0 kB
Active:         803452 kB
Inactive:        27848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1173176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2264 kB
Writeback:           0 kB
Mapped:         782244 kB
Slab:            35192 kB
Committed_AS:   885956 kB
PageTables:       3384 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= 66500 MiB
End job on node59 at 2008-07-11 23:02:34