Trace number 1125179

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.13 3614.06

General information on the benchmark

Namemaxcsp/celar/scens/
normalized-scenw-06-24_ext.xml
MD5SUM9f00bd0851b545a4cec305cef1793732
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints22
Best CPU time to get the best result obtained on this benchmark6.18006
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints1203
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension1203
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.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Wed Jul 16 02:13:39 2008
0.00/0.08	c 0	PID 21482
0.06/0.08	c 0	HOST node38.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1125179-1216167219.xml TO HOME/temp.csp
0.06/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1125179-1216167219.xml' 'HOME/temp.csp'
0.07/0.74	c 1	3 domains, 100 variables, 0 predicates, 1003 relations, 1203 constraints
0.07/0.77	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.77	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.71/0.85	c 1	Parsing HOME/temp.csp
1.32/1.49	c 2	parsed 2309 expressions
1.32/1.49	c 2	Heap : 9 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.41/1.51	c 2	MAX CSP: 1203 constraints
1.41/1.51	c 2	Converting to clausal form CSP
1.41/1.55	c 2	converted 352 (10%) expressions
1.41/1.56	c 2	converted 703 (20%) expressions
1.41/1.57	c 2	converted 1055 (30%) expressions
1.52/1.64	c 2	converted 1406 (40%) expressions
1.61/1.77	c 2	converted 1758 (50%) expressions
1.81/1.90	c 2	converted 2109 (60%) expressions
1.81/1.94	c 2	converted 2461 (70%) expressions
1.81/1.98	c 2	converted 2812 (80%) expressions
1.91/2.02	c 2	converted 3164 (90%) expressions
2.20/2.36	c 3	converted 3515 (100%) expressions
2.20/2.36	c 3	CSP : 2506 integers, 0 booleans, 3608 clauses, largest domain size 1805
2.20/2.36	c 3	Heap : 22 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.20/2.36	c 3	Propagation in CSP
2.30/2.42	c 3	1197 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.30/2.42	c 3	CSP : 2506 integers, 0 booleans, 3608 clauses, largest domain size 1204
2.30/2.42	c 3	Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.30/2.43	c 3	Simplifing CSP by introducing new Boolean variables
2.30/2.43	c 3	CSP : 2506 integers, 0 booleans, 3608 clauses, largest domain size 1204
2.30/2.43	c 3	Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.40/2.53	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.40/2.55	c 3	251 (10%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55	c 3	502 (20%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55	c 3	752 (30%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55	c 3	1003 (40%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.55	c 3	1253 (50%) CSP integer variables are encoded (1414 clauses, 16371 bytes)
2.40/2.56	c 3	1504 (60%) CSP integer variables are encoded (3767 clauses, 46960 bytes)
2.40/2.57	c 3	1755 (70%) CSP integer variables are encoded (5768 clauses, 72973 bytes)
2.40/2.57	c 3	2005 (80%) CSP integer variables are encoded (8094 clauses, 103361 bytes)
2.40/2.57	c 3	2256 (90%) CSP integer variables are encoded (10010 clauses, 132101 bytes)
2.40/2.59	c 3	2506 (100%) CSP integer variables are encoded (23433 clauses, 333446 bytes)
2.59/2.72	c 3	361 (10%) CSP clauses are encoded (29158 clauses, 456186 bytes)
2.59/2.80	c 3	722 (20%) CSP clauses are encoded (34410 clauses, 578083 bytes)
2.69/2.87	c 3	1083 (30%) CSP clauses are encoded (39481 clauses, 695853 bytes)
2.79/2.92	c 3	1444 (40%) CSP clauses are encoded (49685 clauses, 887406 bytes)
2.90/3.08	c 3	1804 (50%) CSP clauses are encoded (136391 clauses, 2471787 bytes)
2.99/3.13	c 4	2165 (60%) CSP clauses are encoded (161952 clauses, 2931135 bytes)
3.38/3.57	c 4	2526 (70%) CSP clauses are encoded (416461 clauses, 7615699 bytes)
3.49/3.64	c 4	2887 (80%) CSP clauses are encoded (445728 clauses, 8202740 bytes)
4.18/4.33	c 5	3248 (90%) CSP clauses are encoded (709303 clauses, 13730703 bytes)
6.36/6.59	c 7	3608 (100%) CSP clauses are encoded (1893540 clauses, 39118051 bytes)
6.36/6.59	c 7	3608 CSP clauses encoded
6.36/6.59	c 7	Writing map file : HOME/temp.map
6.46/6.62	c 7	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.46/6.62	c 7	SAT : 25938 SAT variables, 1893540 SAT clauses, 39118051 bytes
6.46/6.62	c 7	Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.46/6.67	c 7	OBJECTIVE minimize _COST
6.46/6.67	c 7	SOLVING HOME/temp.cnf
6.46/6.67	c 7	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
6.46/6.67	c 7	This is MiniSat 2.0 beta incremental
6.46/6.67	c 7	WARNING: for repeatability, setting FPU to use double precision
6.46/6.67	c 7	============================[ Problem Statistics ]=============================
6.46/6.67	c 7	|                                                                             |
6.46/6.67	c 7	|  Number of variables:  25938                                                |
6.46/6.67	c 7	|  Number of clauses:    1893540                                              |
6.51/7.56	c 8	|  Parsing time:         0.77         s                                       |
6.51/7.60	c 8	OK
6.51/7.60	c 8	OBJECTIVE BOUND: 0 <= _COST <= 
6.51/7.60	c 8	SEARCHING: _COST <= 602
6.51/7.60	c 8	============================[ Search Statistics ]==============================
6.51/7.60	c 8	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/7.60	c 8	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.41/7.60	c 8	===============================================================================
7.41/7.60	c 8	|         0 |   25938  1893540  5635347 |   631180        0    nan |  0.000 % |
7.90/8.17	c 9	===============================================================================
7.90/8.17	c 9	restarts              : 1
7.90/8.17	c 9	conflicts             : 77            (56 /sec)
7.90/8.17	c 9	decisions             : 1364          (1.17 % random) (997 /sec)
7.90/8.17	c 9	propagations          : 154005         (112594 /sec)
7.90/8.17	c 9	conflict literals     : 880            (12.87 % deleted)
7.90/8.17	c 9	Memory used           : 80.27 MB
7.90/8.17	c 9	CPU time              : 1.36779 s
7.90/8.17	c 9	
7.90/8.17	c 9	SATISFIABLE
7.90/8.18	c 9	OK
7.90/8.18	c 9	FOUND: _COST <= 602
7.90/8.18	s SATISFIABLE
7.90/8.18	c 9	DECODING HOME/temp.out WITH HOME/temp.map
7.90/8.18	c 9	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
7.98/8.26	c 9	Decoding HOME/temp.out
7.98/8.42	c 9	OBJECTIVE _COST 296
7.98/8.42	o 296
7.98/8.42	v 16 0 18 16 5 17 15 17 19 4 19 0 0 11 11 19 4 16 7 1 6 19 8 2 11 19 19 8 11 19 19 4 0 6 8 11 11 1 2 11 11 10 12 2 11 4 5 3 6 9 7 8 3 14 11 11 5 14 19 3 5 0 15 9 12 6 5 6 2 11 2 7 6 11 3 1 4 11 11 8 6 9 6 10 3 11 2 19 13 14 8 12 7 11 19 19 7 19 11 -1
7.98/8.43	c 9	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.98/8.46	c 9	OK
7.98/8.46	c 9	OBJECTIVE BOUND: 0 <= _COST <= 296
7.98/8.46	c 9	SEARCHING: _COST <= 148
7.98/8.46	c 9	============================[ Search Statistics ]==============================
7.98/8.46	c 9	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.98/8.46	c 9	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.98/8.46	c 9	===============================================================================
7.98/8.46	c 9	|        77 |   25926  1893540  5635347 |   631180       76     12 |  0.000 % |
8.47/8.71	c 9	|       177 |   25926  1893540  5635347 |   694298      176     15 | 39.753 % |
8.66/8.94	c 9	|       327 |   25926  1893540  5635347 |   763727      326     18 | 39.753 % |
9.16/9.42	c 10	|       553 |   25926  1893540  5635347 |   840100      552     20 | 39.753 % |
9.46/9.71	c 10	|       890 |   25926  1893540  5635347 |   924110      889     21 | 39.753 % |
10.45/10.78	c 11	|      1397 |   25926  1893540  5635347 |  1016521     1396     25 | 39.753 % |
10.94/11.24	c 12	===============================================================================
10.94/11.24	c 12	restarts              : 7
10.94/11.24	c 12	conflicts             : 1764          (427 /sec)
10.94/11.24	c 12	decisions             : 4869          (0.72 % random) (1177 /sec)
10.94/11.24	c 12	propagations          : 1815366        (438985 /sec)
10.94/11.24	c 12	conflict literals     : 45515          (25.15 % deleted)
10.94/11.24	c 12	Memory used           : 80.40 MB
10.94/11.24	c 12	CPU time              : 4.13537 s
10.94/11.24	c 12	
10.94/11.24	c 12	SATISFIABLE
10.94/11.25	c 12	OK
10.94/11.25	c 12	FOUND: _COST <= 148
10.94/11.25	c 12	DECODING HOME/temp.out WITH HOME/temp.map
10.94/11.25	c 12	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
10.99/11.33	c 12	Decoding HOME/temp.out
10.99/11.67	c 12	OBJECTIVE _COST 148
10.99/11.67	o 148
10.99/11.68	v 15 5 0 19 7 5 15 19 19 3 19 19 6 11 3 16 11 17 5 5 19 16 11 11 6 13 19 4 1 14 12 10 9 11 10 1 10 5 8 1 2 8 7 2 11 4 5 4 14 11 13 13 2 14 2 11 1 14 19 3 7 6 8 4 15 5 19 8 4 3 3 11 8 9 7 1 2 10 11 5 4 11 18 7 11 3 11 10 13 14 19 7 11 0 19 19 19 19 6 -1
10.99/11.69	c 12	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
10.99/11.73	c 12	OK
10.99/11.73	c 12	OBJECTIVE BOUND: 0 <= _COST <= 148
10.99/11.73	c 12	SEARCHING: _COST <= 74
10.99/11.73	c 12	============================[ Search Statistics ]==============================
10.99/11.73	c 12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.99/11.73	c 12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.99/11.73	c 12	===============================================================================
10.99/11.73	c 12	|      1764 |   15627  1893540  5635347 |   631180     1763     26 | 39.753 % |
11.61/11.94	c 12	|      1865 |   15627  1893540  5635347 |   694298     1864     25 | 48.389 % |
11.81/12.19	c 13	|      2015 |   15627  1893540  5635347 |   763727     2014     25 | 48.389 % |
12.20/12.57	c 13	|      2240 |   15627  1893540  5635347 |   840100     2239     25 | 48.389 % |
12.70/13.09	c 14	|      2579 |   15627  1893540  5635347 |   924110     2578     25 | 48.389 % |
13.59/13.99	c 14	|      3085 |   15627  1893540  5635347 |  1016521     3084     24 | 48.389 % |
14.78/15.14	c 16	|      3844 |   15627  1893540  5635347 |  1118173     3843     23 | 48.389 % |
16.76/17.12	c 18	|      4983 |   15627  1893540  5635347 |  1229991     4982     22 | 48.389 % |
19.43/19.84	c 20	|      6691 |   15627  1893540  5635347 |  1352990     6690     21 | 48.389 % |
24.28/24.78	c 25	|      9255 |   13387   451547  1345975 |  1488289     9245     21 | 48.389 % |
28.45/28.99	c 29	|     13100 |   13387   451547  1345975 |  1637118    13090     21 | 48.389 % |
36.56/37.18	c 38	|     18866 |   13387   451547  1345975 |  1800830    18856     22 | 48.389 % |
48.35/49.07	c 49	|     27516 |   13387   451547  1345975 |  1980913    27506     24 | 48.389 % |
70.64/71.51	c 72	|     40491 |   13387   451547  1345975 |  2179004    40481     25 | 48.389 % |
103.42/104.64	c 105	|     59952 |   13387   451547  1345975 |  2396904    59942     25 | 48.389 % |
155.11/156.81	c 157	|     89144 |   13387   451547  1345975 |  2636595    89134     25 | 48.389 % |
249.62/252.28	c 253	|    132933 |   13387   451547  1345975 |  2900255   132923     26 | 48.389 % |
423.76/428.04	c 428	|    198619 |   13387   451547  1345975 |  3190280   198609     27 | 48.389 % |
700.54/707.48	c 708	|    297145 |   13387   451547  1345975 |  3509308   297135     27 | 48.389 % |
1193.57/1205.19	c 1206	|    444935 |   13387   451547  1345975 |  3860239   444925     27 | 48.389 % |
2177.37/2190.84	c 2191	|    666619 |   13387   451547  1345975 |  4246263   666609     28 | 48.389 % |
3600.04/3614.01	c ERROR INTERRUPTED
3600.04/3614.05	c 3614	CPU 3599.2 (0.06 0.02 3599.14 0.87)
3600.04/3614.05	c 3614	END Wed Jul 16 03:13:53 2008

Verifier Data (download as text)

OK	130	1073
130 unsatisfied constraints, 1073 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-1125179-1216167219/watcher-1125179-1216167219 -o /tmp/evaluation-result-1125179-1216167219/solver-1125179-1216167219 -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-1125179-1216167219.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=12000 CPUtime=0
/proc/21482/stat : 21482 (sugar++) R 21480 21482 21034 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73421743 12288000 178 996147200 4194304 4206940 548682068528 18446744073709551615 266910444117 0 0 4224 0 0 0 0 17 1 0 0
/proc/21482/statm: 3000 178 139 3 0 100 0

[startup+0.081068 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.06
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 73421743 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101709 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.07
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.302699 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.07
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701743 s]
/proc/loadavg: 2.26 2.06 2.02 4/81 21482
/proc/meminfo: memFree=1737560/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.07
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+1.50183 s]
/proc/loadavg: 2.26 2.06 2.02 3/92 21504
/proc/meminfo: memFree=1727488/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.71
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1297 5219 0 1 5 2 60 4 15 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
[pid=21495] ppid=21482 vsize=5356 CPUtime=0
/proc/21495/stat : 21495 (sh) S 21482 21482 21034 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73421820 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21495/statm: 1339 233 193 169 0 50 0
[pid=21496] ppid=21495 vsize=864040 CPUtime=0.7
/proc/21496/stat : 21496 (java) S 21495 21482 21034 0 -1 0 7022 0 1 0 66 4 0 0 18 0 9 0 73421821 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21496/statm: 216010 6301 2540 9 0 210585 0
[pid=21496/tid=21497] ppid=21495 vsize=864040 CPUtime=0.4
/proc/21496/task/21497/stat : 21497 (java) R 21495 21482 21034 0 -1 64 2493 0 1 0 39 1 0 0 18 0 9 0 73421822 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4125979545 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21498] ppid=21495 vsize=864040 CPUtime=0.2
/proc/21496/task/21498/stat : 21498 (java) S 21495 21482 21034 0 -1 64 3495 0 0 0 19 1 0 0 16 0 9 0 73421823 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21499] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21499/stat : 21499 (java) S 21495 21482 21034 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73421823 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21500] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21500/stat : 21500 (java) S 21495 21482 21034 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73421823 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21501] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21501/stat : 21501 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21502] ppid=21495 vsize=864040 CPUtime=0.07
/proc/21496/task/21502/stat : 21502 (java) S 21495 21482 21034 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21503] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21503/stat : 21503 (java) S 21495 21482 21034 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21504] ppid=21495 vsize=864040 CPUtime=0
/proc/21496/task/21504/stat : 21504 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73421825 884776960 6301 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 886136

[startup+3.10301 s]
/proc/loadavg: 2.26 2.06 2.02 3/92 21504
/proc/meminfo: memFree=1701248/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.71
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1297 5219 0 1 5 2 60 4 15 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
[pid=21495] ppid=21482 vsize=5356 CPUtime=0
/proc/21495/stat : 21495 (sh) S 21482 21482 21034 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73421820 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21495/statm: 1339 233 193 169 0 50 0
[pid=21496] ppid=21495 vsize=868488 CPUtime=2.28
/proc/21496/stat : 21496 (java) S 21495 21482 21034 0 -1 0 12065 0 1 0 219 9 0 0 18 0 9 0 73421821 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21496/statm: 217122 11214 2565 9 0 211669 0
[pid=21496/tid=21497] ppid=21495 vsize=868488 CPUtime=1.27
/proc/21496/task/21497/stat : 21497 (java) R 21495 21482 21034 0 -1 64 3028 0 1 0 124 3 0 0 22 0 9 0 73421822 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4126998837 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21498] ppid=21495 vsize=868488 CPUtime=0.69
/proc/21496/task/21498/stat : 21498 (java) S 21495 21482 21034 0 -1 64 6842 0 0 0 66 3 0 0 16 0 9 0 73421823 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21499] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21499/stat : 21499 (java) S 21495 21482 21034 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73421823 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21500] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21500/stat : 21500 (java) S 21495 21482 21034 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73421823 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21501] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21501/stat : 21501 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21502] ppid=21495 vsize=868488 CPUtime=0.29
/proc/21496/task/21502/stat : 21502 (java) S 21495 21482 21034 0 -1 64 1497 0 0 0 28 1 0 0 16 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21503] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21503/stat : 21503 (java) S 21495 21482 21034 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21504] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21504/stat : 21504 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73421825 889331712 11214 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890584

[startup+6.30237 s]
/proc/loadavg: 2.24 2.06 2.02 3/92 21504
/proc/meminfo: memFree=1671936/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=16740 CPUtime=0.71
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1297 5219 0 1 5 2 60 4 15 0 1 0 73421743 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4185 1104 409 3 0 764 0
[pid=21495] ppid=21482 vsize=5356 CPUtime=0
/proc/21495/stat : 21495 (sh) S 21482 21482 21034 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73421820 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21495/statm: 1339 233 193 169 0 50 0
[pid=21496] ppid=21495 vsize=868488 CPUtime=5.45
/proc/21496/stat : 21496 (java) S 21495 21482 21034 0 -1 0 12411 0 1 0 515 30 0 0 18 0 9 0 73421821 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21496/statm: 217122 11221 2565 9 0 211669 0
[pid=21496/tid=21497] ppid=21495 vsize=868488 CPUtime=4.32
/proc/21496/task/21497/stat : 21497 (java) R 21495 21482 21034 0 -1 64 3368 0 1 0 410 22 0 0 25 0 9 0 73421822 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4126996586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21498] ppid=21495 vsize=868488 CPUtime=0.8
/proc/21496/task/21498/stat : 21498 (java) S 21495 21482 21034 0 -1 64 6842 0 0 0 75 5 0 0 16 0 9 0 73421823 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21499] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21499/stat : 21499 (java) S 21495 21482 21034 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73421823 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21500] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21500/stat : 21500 (java) S 21495 21482 21034 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 73421823 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21501] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21501/stat : 21501 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21502] ppid=21495 vsize=868488 CPUtime=0.3
/proc/21496/task/21502/stat : 21502 (java) S 21495 21482 21034 0 -1 64 1503 0 0 0 29 1 0 0 16 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21503] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21503/stat : 21503 (java) S 21495 21482 21034 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21496/tid=21504] ppid=21495 vsize=868488 CPUtime=0
/proc/21496/task/21504/stat : 21504 (java) S 21495 21482 21034 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73421825 889331712 11221 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 890584

[startup+12.7011 s]
/proc/loadavg: 2.30 2.07 2.02 3/83 21525
/proc/meminfo: memFree=1614984/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 15 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=82456 CPUtime=5.21
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20074 0 0 0 510 11 0 0 25 0 1 0 73422410 84434944 20018 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20614 20018 79 151 0 20460 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 99456

[startup+25.5025 s]
/proc/loadavg: 2.23 2.07 2.02 3/83 21525
/proc/meminfo: memFree=1614856/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=82852 CPUtime=17.89
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20194 0 0 0 1778 11 0 0 25 0 1 0 73422410 84840448 20138 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20713 20138 79 151 0 20559 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 99852

[startup+51.1024 s]
/proc/loadavg: 2.15 2.06 2.02 3/83 21525
/proc/meminfo: memFree=1614984/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=83024 CPUtime=43.24
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20223 0 0 0 4313 11 0 0 25 0 1 0 73422410 85016576 20167 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20756 20167 79 151 0 20602 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 100024

[startup+102.306 s]
/proc/loadavg: 2.06 2.05 2.01 3/83 21525
/proc/meminfo: memFree=1614600/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=83196 CPUtime=93.96
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 20292 0 0 0 9385 11 0 0 25 0 1 0 73422410 85192704 20228 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/21505/statm: 20799 20228 79 151 0 20645 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 100196

[startup+162.303 s]
/proc/loadavg: 2.02 2.04 2.01 3/83 21525
/proc/meminfo: memFree=1614344/2055920 swapFree=4191900/4192956

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

[pid=21505] ppid=21482 vsize=167552 CPUtime=2841.43
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 40665 0 0 0 284109 34 0 0 25 0 1 0 73422410 171573248 40601 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 41888 40601 79 151 0 41734 0
Current children cumulated CPU time (s) 2848.62
Current children cumulated vsize (KiB) 184552

[startup+2922.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 21574
/proc/meminfo: memFree=1522440/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=168784 CPUtime=2901.41
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 41023 0 0 0 290106 35 0 0 25 0 1 0 73422410 172834816 40959 996147200 134512640 135134323 4294956192 18446744073709551615 134531947 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 42196 40959 79 151 0 42042 0
Current children cumulated CPU time (s) 2908.6
Current children cumulated vsize (KiB) 185784

[startup+2982.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 21574
/proc/meminfo: memFree=1520904/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=170316 CPUtime=2961.39
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 41397 0 0 0 296104 35 0 0 25 0 1 0 73422410 174403584 41333 996147200 134512640 135134323 4294956192 18446744073709551615 134532120 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 42579 41333 79 151 0 42425 0
Current children cumulated CPU time (s) 2968.58
Current children cumulated vsize (KiB) 187316

[startup+3042.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/83 21574
/proc/meminfo: memFree=1518792/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=172724 CPUtime=3021.37
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 41925 0 0 0 302101 36 0 0 25 0 1 0 73422410 176869376 41861 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 43181 41861 79 151 0 43027 0
Current children cumulated CPU time (s) 3028.56
Current children cumulated vsize (KiB) 189724

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1517192/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=174308 CPUtime=3081.35
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 42333 0 0 0 308099 36 0 0 25 0 1 0 73422410 178491392 42269 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 43577 42269 79 151 0 43423 0
Current children cumulated CPU time (s) 3088.54
Current children cumulated vsize (KiB) 191308

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1515400/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=175992 CPUtime=3141.33
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 42773 0 0 0 314096 37 0 0 25 0 1 0 73422410 180215808 42709 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 43998 42709 79 151 0 43844 0
Current children cumulated CPU time (s) 3148.52
Current children cumulated vsize (KiB) 192992

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1513736/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=177700 CPUtime=3201.3
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 43178 0 0 0 320093 37 0 0 25 0 1 0 73422410 181964800 43114 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 44425 43114 79 151 0 44271 0
Current children cumulated CPU time (s) 3208.49
Current children cumulated vsize (KiB) 194700

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1512008/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=179356 CPUtime=3261.29
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 43603 0 0 0 326091 38 0 0 25 0 1 0 73422410 183660544 43539 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 44839 43539 79 151 0 44685 0
Current children cumulated CPU time (s) 3268.48
Current children cumulated vsize (KiB) 196356

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1510664/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=180676 CPUtime=3321.26
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 43945 0 0 0 332088 38 0 0 25 0 1 0 73422410 185012224 43881 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 45169 43881 79 151 0 45015 0
Current children cumulated CPU time (s) 3328.45
Current children cumulated vsize (KiB) 197676

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1509448/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=181732 CPUtime=3381.24
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 44251 0 0 0 338085 39 0 0 25 0 1 0 73422410 186093568 44187 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 45433 44187 79 151 0 45279 0
Current children cumulated CPU time (s) 3388.43
Current children cumulated vsize (KiB) 198732

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 21574
/proc/meminfo: memFree=1507272/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=183968 CPUtime=3441.21
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 44805 0 0 0 344082 39 0 0 25 0 1 0 73422410 188383232 44733 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 45992 44733 79 151 0 45838 0
Current children cumulated CPU time (s) 3448.4
Current children cumulated vsize (KiB) 200968

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1505480/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=185684 CPUtime=3501.19
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 45247 0 0 0 350080 39 0 0 25 0 1 0 73422410 190140416 45175 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 46421 45175 79 151 0 46267 0
Current children cumulated CPU time (s) 3508.38
Current children cumulated vsize (KiB) 202684

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1504008/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=187380 CPUtime=3561.17
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 45613 0 0 0 356077 40 0 0 25 0 1 0 73422410 191877120 45541 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 46845 45541 79 151 0 46691 0
Current children cumulated CPU time (s) 3568.36
Current children cumulated vsize (KiB) 204380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 21574
/proc/meminfo: memFree=1503112/2055920 swapFree=4191900/4192956
[pid=21482] ppid=21480 vsize=17000 CPUtime=7.19
/proc/21482/stat : 21482 (sugar++) S 21480 21482 21034 0 -1 4194304 1652 25846 0 4 6 2 668 43 16 0 1 0 73421743 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21482/statm: 4250 1149 414 3 0 829 0
[pid=21505] ppid=21482 vsize=188172 CPUtime=3592.85
/proc/21505/stat : 21505 (minisat-inc) R 21482 21482 21034 0 -1 4194304 45833 0 0 0 359245 40 0 0 25 0 1 0 73422410 192688128 45761 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/21505/statm: 47043 45761 79 151 0 46889 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 205172

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): 3614.06
CPU time (s): 3600.13
CPU user time (s): 3599.22
CPU system time (s): 0.91586
CPU usage (%): 99.6147
Max. virtual memory (cumulated for all children) (KiB): 890584

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

runsolver used 4.72928 second user time and 9.8745 second system time

The end

Launcher Data (download as text)

Begin job on node38 at 2008-07-16 02:13:39
IDJOB=1125179
IDBENCH=63087
IDSOLVER=367
FILE ID=node38/1125179-1216167219
PBS_JOBID= 7905789
Free space on /tmp= 66560 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/celar/scens/normalized-scenw-06-24_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-1125179-1216167219/watcher-1125179-1216167219 -o /tmp/evaluation-result-1125179-1216167219/solver-1125179-1216167219 -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-1125179-1216167219.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9f00bd0851b545a4cec305cef1793732
RANDOM SEED=912422522

node38.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.218
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.218
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:       1738040 kB
Buffers:         68176 kB
Cached:         158696 kB
SwapCached:        384 kB
Active:         188640 kB
Inactive:        62848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1738040 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            1536 kB
Writeback:           0 kB
Mapped:          43328 kB
Slab:            51388 kB
Committed_AS:   225672 kB
PageTables:       2100 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= 66560 MiB
End job on node38 at 2008-07-16 03:13:55