Trace number 1112011

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+minisat-incMSAT (TO)14 3600.09 3608.82

General information on the benchmark

Namecsp/lexVg/
normalized-crossword-m1c-lex-vg13-15_ext.xml
MD5SUMb258f11631d15fef104a51006eeac6bf
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints14
Best CPU time to get the best result obtained on this benchmark3600.08
Satisfiable
(Un)Satisfiability was proved
Number of variables195
Number of constraints28
Maximum constraint arity15
Maximum domain size26
Number of constraints which are defined in extension28
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sat Jul 12 13:03:30 2008
0.00/0.08	c 0	PID 19984
0.06/0.08	c 0	HOST node25.alineos.net
0.06/0.08	c 0	CONVERTING HOME/instance-1112011-1215860609.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-1112011-1215860609.xml' 'HOME/temp.csp'
0.07/0.30	c 0	1 domains, 195 variables, 0 predicates, 2 relations, 28 constraints
0.07/0.35	c 0	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.35	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.32/0.43	c 0	Parsing HOME/temp.csp
0.32/0.53	c 0	parsed 226 expressions
0.32/0.53	c 0	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.32/0.53	c 0	MAX CSP: 28 constraints
0.32/0.53	c 0	Converting to clausal form CSP
0.32/0.56	c 0	converted 26 (10%) expressions
0.32/0.56	c 0	converted 52 (20%) expressions
0.32/0.56	c 0	converted 78 (30%) expressions
0.32/0.56	c 0	converted 103 (40%) expressions
0.32/0.56	c 0	converted 129 (50%) expressions
0.32/0.56	c 0	converted 155 (60%) expressions
0.32/0.56	c 0	converted 180 (70%) expressions
0.32/0.60	c 0	converted 206 (80%) expressions
0.32/0.69	c 0	converted 232 (90%) expressions
0.32/0.73	c 0	converted 257 (100%) expressions
0.32/0.73	c 0	CSP : 251 integers, 0 booleans, 83 clauses, largest domain size 43
0.32/0.73	c 0	Heap : 6 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.32/0.73	c 0	Propagation in CSP
0.32/0.74	c 0	25 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.32/0.74	c 0	CSP : 251 integers, 0 booleans, 83 clauses, largest domain size 29
0.32/0.74	c 0	Heap : 6 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.32/0.74	c 0	Simplifing CSP by introducing new Boolean variables
0.32/0.74	c 0	CSP : 251 integers, 0 booleans, 83 clauses, largest domain size 29
0.32/0.74	c 0	Heap : 6 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.32/0.78	c 0	Encoding CSP to SAT : HOME/temp.cnf
0.32/0.80	c 0	26 (10%) CSP integer variables are encoded (624 clauses, 6720 bytes)
0.32/0.80	c 0	51 (20%) CSP integer variables are encoded (1224 clauses, 13849 bytes)
0.32/0.80	c 0	76 (30%) CSP integer variables are encoded (1824 clauses, 21649 bytes)
0.32/0.81	c 0	101 (40%) CSP integer variables are encoded (2424 clauses, 29449 bytes)
0.32/0.81	c 0	126 (50%) CSP integer variables are encoded (3024 clauses, 37249 bytes)
0.32/0.81	c 0	151 (60%) CSP integer variables are encoded (3624 clauses, 45049 bytes)
0.32/0.81	c 0	176 (70%) CSP integer variables are encoded (4224 clauses, 52849 bytes)
0.32/0.81	c 0	201 (80%) CSP integer variables are encoded (4680 clauses, 58777 bytes)
0.32/0.81	c 0	226 (90%) CSP integer variables are encoded (4709 clauses, 59154 bytes)
0.32/0.81	c 0	251 (100%) CSP integer variables are encoded (4876 clauses, 61325 bytes)
5.09/5.24	c 5	9 (10%) CSP clauses are encoded (65617 clauses, 5243070 bytes)
8.13/8.57	c 8	17 (20%) CSP clauses are encoded (109009 clauses, 9021206 bytes)
8.73/9.19	c 9	25 (30%) CSP clauses are encoded (120601 clauses, 10126877 bytes)
9.02/9.42	c 9	34 (40%) CSP clauses are encoded (124976 clauses, 10549797 bytes)
9.02/9.43	c 9	42 (50%) CSP clauses are encoded (125528 clauses, 10559022 bytes)
9.02/9.43	c 9	50 (60%) CSP clauses are encoded (125562 clauses, 10559541 bytes)
9.02/9.44	c 9	59 (70%) CSP clauses are encoded (126025 clauses, 10567614 bytes)
9.02/9.44	c 9	67 (80%) CSP clauses are encoded (126079 clauses, 10568470 bytes)
9.02/9.44	c 9	75 (90%) CSP clauses are encoded (126129 clauses, 10569252 bytes)
9.02/9.44	c 9	83 (100%) CSP clauses are encoded (126320 clauses, 10572419 bytes)
9.02/9.44	c 9	83 CSP clauses encoded
9.02/9.44	c 9	Writing map file : HOME/temp.map
9.02/9.44	c 9	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
9.02/9.44	c 9	SAT : 5127 SAT variables, 126320 SAT clauses, 10572419 bytes
9.02/9.45	c 9	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
9.02/9.48	c 9	OBJECTIVE minimize _COST
9.02/9.48	c 9	SOLVING HOME/temp.cnf
9.02/9.48	c 9	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
9.02/9.48	c 9	This is MiniSat 2.0 beta incremental
9.02/9.48	c 9	WARNING: for repeatability, setting FPU to use double precision
9.02/9.48	c 9	============================[ Problem Statistics ]=============================
9.02/9.48	c 9	|                                                                             |
9.02/9.49	c 9	|  Number of variables:  5127                                                 |
9.02/9.49	c 9	|  Number of clauses:    126320                                               |
9.07/9.70	c 9	|  Parsing time:         0.20         s                                       |
9.07/9.71	c 9	OK
9.07/9.71	c 9	OBJECTIVE BOUND: 0 <= _COST <= 
9.07/9.71	c 9	SEARCHING: _COST <= 14
9.07/9.71	c 9	============================[ Search Statistics ]==============================
9.07/9.71	c 9	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.07/9.71	c 9	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.07/9.71	c 9	===============================================================================
9.07/9.71	c 9	|         0 |    5127   126320  1977112 |    42106        0    nan |  0.000 % |
9.07/9.73	c 9	|       100 |    5127   126320  1977112 |    46317      100      8 |  0.000 % |
9.37/9.82	c 9	|       253 |    5127   126320  1977112 |    50949      253      8 |  0.000 % |
9.37/9.84	c 9	|       479 |    5127   126320  1977112 |    56043      479      7 |  0.000 % |
9.37/9.86	c 9	|       816 |    5127   126320  1977112 |    61648      816      9 |  0.000 % |
9.37/9.89	c 9	|      1324 |    5127   126320  1977112 |    67813     1324      9 |  0.000 % |
9.47/9.93	c 9	|      2084 |    5127   126320  1977112 |    74594     2084      9 |  0.000 % |
9.47/9.98	c 9	|      3224 |    5127   126320  1977112 |    82053     3224     10 |  0.000 % |
9.56/10.06	c 10	|      4934 |    5127   126320  1977112 |    90259     4934     10 |  0.000 % |
9.76/10.26	c 10	|      7496 |    5127   126320  1977112 |    99285     7496      9 |  0.000 % |
10.26/10.74	c 10	|     11342 |    5127   126320  1977112 |   109213    11342     10 |  0.000 % |
10.96/11.41	c 11	|     17108 |    5127   126320  1977112 |   120135    17108     10 |  0.000 % |
11.95/12.44	c 12	|     25757 |    5127   126320  1977112 |   132148    25757     11 |  0.000 % |
14.32/14.80	c 14	|     38732 |    5127   126320  1977112 |   145363    38732     11 |  0.000 % |
17.99/18.51	c 18	|     58194 |    5127   126320  1977112 |   159899    58194     12 |  0.000 % |
27.30/27.92	c 27	|     87386 |    5127   126320  1977112 |   175889    87386     13 |  0.000 % |
51.47/52.39	c 52	|    131175 |    5127   126320  1977112 |   193478   131175     15 |  0.000 % |
101.30/102.61	c 102	|    196860 |    5127   126320  1977112 |   212826    36473     14 |  0.000 % |
128.14/129.76	c 129	===============================================================================
128.14/129.76	c 129	restarts              : 18
128.14/129.76	c 129	conflicts             : 244381        (2053 /sec)
128.14/129.76	c 129	decisions             : 407185        (1.62 % random) (3421 /sec)
128.14/129.76	c 129	propagations          : 35991599       (302346 /sec)
128.14/129.76	c 129	conflict literals     : 4187227        (29.55 % deleted)
128.14/129.76	c 129	Memory used           : 35.34 MB
128.14/129.76	c 129	CPU time              : 119.041 s
128.14/129.76	c 129	
128.14/129.76	c 129	SATISFIABLE
128.14/129.76	c 129	OK
128.14/129.76	c 129	FOUND: _COST <= 14
128.14/129.76	s SATISFIABLE
128.14/129.76	c 129	DECODING HOME/temp.out WITH HOME/temp.map
128.14/129.76	c 129	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
128.20/129.85	c 129	Decoding HOME/temp.out
128.21/129.92	c 129	OBJECTIVE _COST 14
128.21/129.92	o 14
128.21/129.93	v 18 19 15 2 10 7 18 0 16 22 25 25 22 19 19 20 4 17 14 13 24 15 20 20 8 25 25 4 24 7 15 11 4 13 8 15 14 19 4 13 19 8 0 17 24 17 4 2 18 6 4 17 7 18 13 25 25 19 0 17 0 19 0 19 7 17 19 14 19 8 25 25 7 13 14 13 24 20 17 19 1 18 17 8 15 25 25 4 13 6 0 15 19 20 18 14 22 8 14 4 25 25 17 14 11 19 4 8 2 1 11 17 19 13 18 25 25 1 18 14 8 22 14 19 17 14 8 0 13 0 25 25 4 0 1 14 17 13 8 8 8 19 19 0 20 25 25 0 20 20 13 8 0 1 3 3 8 8 8 10 25 25 19 17 11 0 19 17 11 6 0 13 21 17 4 25 25 4 20 8 11 4 24 4 4 11 6 4 4 4 25 25 13 18 13
128.21/129.94	c 129	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
128.43/130.02	c 130	OK
128.43/130.02	c 130	OBJECTIVE BOUND: 0 <= _COST <= 14
128.43/130.02	c 130	SEARCHING: _COST <= 7
128.43/130.02	c 130	============================[ Search Statistics ]==============================
128.43/130.02	c 130	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
128.43/130.02	c 130	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
128.43/130.02	c 130	===============================================================================
128.43/130.02	c 130	|    244381 |    5057   125774  1975670 |    41924    83994     18 |  0.000 % |
128.63/130.26	c 130	|    244481 |    5057   125774  1975670 |    46117    22667     20 |  1.365 % |
128.63/130.29	c 130	|    244631 |    5057   125774  1975670 |    50728    22817     20 |  1.365 % |
128.72/130.35	c 130	|    244856 |    5057   125774  1975670 |    55801    23042     20 |  1.365 % |
128.82/130.42	c 130	|    245193 |    5057   125774  1975670 |    61381    23379     20 |  1.365 % |
128.92/130.52	c 130	|    245699 |    5057   125774  1975670 |    67520    23885     19 |  1.365 % |
129.02/130.65	c 130	|    246458 |    5057   125774  1975670 |    74272    24644     19 |  1.365 % |
129.22/130.86	c 130	|    247598 |    5057   125774  1975670 |    81699    25784     19 |  1.365 % |
129.61/131.28	c 131	|    249306 |    5057   125774  1975670 |    89869    27492     18 |  1.365 % |
130.01/131.64	c 131	|    251868 |    5057   125774  1975670 |    98856    30054     18 |  1.365 % |
131.40/133.07	c 133	|    255715 |    5057   125774  1975670 |   108741    33901     17 |  1.365 % |
132.78/134.48	c 134	|    261481 |    5057   125774  1975670 |   119615    39667     16 |  1.365 % |
136.45/138.19	c 138	|    270130 |    5057   125774  1975670 |   131577    48316     16 |  1.365 % |
142.49/144.29	c 144	|    283104 |    5057   125774  1975670 |   144735    61290     16 |  1.365 % |
155.86/157.75	c 157	|    302565 |    5057   125774  1975670 |   159208    80751     16 |  1.365 % |
183.89/186.01	c 186	|    331757 |    5057   125774  1975670 |   175129   109943     17 |  1.365 % |
234.61/237.20	c 237	|    375546 |    5057   125774  1975670 |   192642   153732     17 |  1.365 % |
309.40/312.76	c 312	|    441230 |    5057   125774  1975670 |   211906    55929     17 |  1.365 % |
417.47/421.81	c 421	|    539756 |    5057   125774  1975670 |   233097   154455     18 |  1.365 % |
615.28/621.54	c 621	|    687545 |    5057   125774  1975670 |   256407   103112     18 |  1.365 % |
923.52/931.20	c 931	|    909230 |    5057   125774  1975670 |   282048   103239     17 |  1.365 % |
1490.17/1498.04	c 1498	|   1241757 |    5057   125774  1975670 |   310253   193906     18 |  1.365 % |
2244.43/2252.68	c 2252	|   1740545 |    5057   125774  1975670 |   341278   141129     17 |  1.365 % |
3580.75/3589.54	c 3589	|   2488727 |    5057   125774  1975670 |   375406   270697     18 |  1.365 % |
3600.05/3608.81	c ERROR INTERRUPTED
3600.05/3608.82	c 3608	CPU 3599.52 (0.06 0.02 3599.46 0.52)
3600.05/3608.82	c 3608	END Sat Jul 12 14:03:38 2008

Verifier Data (download as text)

OK	14	14
14 unsatisfied constraints, 14 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-1112011-1215860609/watcher-1112011-1215860609 -o /tmp/evaluation-result-1112011-1215860609/solver-1112011-1215860609 -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-1112011-1215860609.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.00 2.00 2.00 4/81 19984
/proc/meminfo: memFree=1915816/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=12268 CPUtime=0
/proc/19984/stat : 19984 (sugar++) R 19982 19984 19573 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 42762859 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 253307353701 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/19984/statm: 3067 316 241 3 0 167 0

[startup+0.0819271 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 19984
/proc/meminfo: memFree=1915816/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=0.06
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 42762859 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101982 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 19984
/proc/meminfo: memFree=1915816/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=0.07
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 42762859 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.302016 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 19984
/proc/meminfo: memFree=1915816/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=0.07
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 42762859 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740

[startup+0.701083 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 19984
/proc/meminfo: memFree=1915816/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=0.32
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1296 4285 0 1 5 2 22 3 15 0 1 0 42762859 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 16740

[startup+1.50222 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 20006
/proc/meminfo: memFree=1899664/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=0.32
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1297 4285 0 1 5 2 22 3 15 0 1 0 42762859 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1104 409 3 0 764 0
[pid=19997] ppid=19984 vsize=5356 CPUtime=0
/proc/19997/stat : 19997 (sh) S 19984 19984 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42762894 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19997/statm: 1339 233 193 169 0 50 0
[pid=19998] ppid=19997 vsize=864416 CPUtime=1.11
/proc/19998/stat : 19998 (java) S 19997 19984 19573 0 -1 0 6824 0 1 0 107 4 0 0 19 0 9 0 42762894 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19998/statm: 216104 6024 2564 9 0 210651 0
[pid=19998/tid=19999] ppid=19997 vsize=864416 CPUtime=0.84
/proc/19998/task/19999/stat : 19999 (java) R 19997 19984 19573 0 -1 64 2773 0 1 0 82 2 0 0 24 0 9 0 42762895 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4126494075 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20000] ppid=19997 vsize=864416 CPUtime=0.16
/proc/19998/task/20000/stat : 20000 (java) S 19997 19984 19573 0 -1 64 3013 0 0 0 15 1 0 0 16 0 9 0 42762896 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20001] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20001/stat : 20001 (java) S 19997 19984 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42762896 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20002] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20002/stat : 20002 (java) S 19997 19984 19573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42762897 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20003] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20003/stat : 20003 (java) S 19997 19984 19573 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42762898 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20004] ppid=19997 vsize=864416 CPUtime=0.1
/proc/19998/task/20004/stat : 20004 (java) S 19997 19984 19573 0 -1 64 346 0 0 0 10 0 0 0 16 0 9 0 42762898 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20005] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20005/stat : 20005 (java) S 19997 19984 19573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42762899 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20006] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20006/stat : 20006 (java) S 19997 19984 19573 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42762899 885161984 6024 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 886512

[startup+3.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 20006
/proc/meminfo: memFree=1895696/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=0.32
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1297 4285 0 1 5 2 22 3 15 0 1 0 42762859 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1104 409 3 0 764 0
[pid=19997] ppid=19984 vsize=5356 CPUtime=0
/proc/19997/stat : 19997 (sh) S 19984 19984 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42762894 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19997/statm: 1339 233 193 169 0 50 0
[pid=19998] ppid=19997 vsize=864416 CPUtime=2.69
/proc/19998/stat : 19998 (java) S 19997 19984 19573 0 -1 0 7580 0 1 0 262 7 0 0 19 0 9 0 42762894 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19998/statm: 216104 6604 2564 9 0 210651 0
[pid=19998/tid=19999] ppid=19997 vsize=864416 CPUtime=2.32
/proc/19998/task/19999/stat : 19999 (java) R 19997 19984 19573 0 -1 64 2947 0 1 0 228 4 0 0 25 0 9 0 42762895 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 103215017 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20000] ppid=19997 vsize=864416 CPUtime=0.25
/proc/19998/task/20000/stat : 20000 (java) S 19997 19984 19573 0 -1 64 3595 0 0 0 23 2 0 0 16 0 9 0 42762896 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20001] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20001/stat : 20001 (java) S 19997 19984 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42762896 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20002] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20002/stat : 20002 (java) S 19997 19984 19573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42762897 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20003] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20003/stat : 20003 (java) S 19997 19984 19573 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42762898 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20004] ppid=19997 vsize=864416 CPUtime=0.1
/proc/19998/task/20004/stat : 20004 (java) S 19997 19984 19573 0 -1 64 346 0 0 0 10 0 0 0 16 0 9 0 42762898 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20005] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20005/stat : 20005 (java) S 19997 19984 19573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42762899 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20006] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20006/stat : 20006 (java) S 19997 19984 19573 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42762899 885161984 6604 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 886512

[startup+6.30204 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 20006
/proc/meminfo: memFree=1889744/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=0.32
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1297 4285 0 1 5 2 22 3 16 0 1 0 42762859 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1104 409 3 0 764 0
[pid=19997] ppid=19984 vsize=5356 CPUtime=0
/proc/19997/stat : 19997 (sh) S 19984 19984 19573 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42762894 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19997/statm: 1339 233 193 169 0 50 0
[pid=19998] ppid=19997 vsize=864416 CPUtime=5.87
/proc/19998/stat : 19998 (java) S 19997 19984 19573 0 -1 0 8168 0 1 0 574 13 0 0 19 0 9 0 42762894 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19998/statm: 216104 6819 2564 9 0 210651 0
[pid=19998/tid=19999] ppid=19997 vsize=864416 CPUtime=5.28
/proc/19998/task/19999/stat : 19999 (java) R 19997 19984 19573 0 -1 64 3318 0 1 0 522 6 0 0 25 0 9 0 42762895 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4126564439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20000] ppid=19997 vsize=864416 CPUtime=0.45
/proc/19998/task/20000/stat : 20000 (java) S 19997 19984 19573 0 -1 64 3809 0 0 0 40 5 0 0 16 0 9 0 42762896 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20001] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20001/stat : 20001 (java) S 19997 19984 19573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42762896 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20002] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20002/stat : 20002 (java) S 19997 19984 19573 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42762897 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20003] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20003/stat : 20003 (java) S 19997 19984 19573 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42762898 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20004] ppid=19997 vsize=864416 CPUtime=0.11
/proc/19998/task/20004/stat : 20004 (java) S 19997 19984 19573 0 -1 64 349 0 0 0 11 0 0 0 16 0 9 0 42762898 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20005] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20005/stat : 20005 (java) S 19997 19984 19573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42762899 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19998/tid=20006] ppid=19997 vsize=864416 CPUtime=0
/proc/19998/task/20006/stat : 20006 (java) S 19997 19984 19573 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42762899 885161984 6819 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 886512

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20007
/proc/meminfo: memFree=1885080/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.07
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1463 14271 0 2 5 2 877 23 16 0 1 0 42762859 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1113 414 3 0 764 0
[pid=20007] ppid=19984 vsize=17912 CPUtime=3.18
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 4428 0 0 0 315 3 0 0 25 0 1 0 42763807 18341888 4376 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/20007/statm: 4478 4376 74 151 0 4324 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 34652

[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20007
/proc/meminfo: memFree=1879192/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.07
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1463 14271 0 2 5 2 877 23 16 0 1 0 42762859 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1113 414 3 0 764 0
[pid=20007] ppid=19984 vsize=23720 CPUtime=15.85
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 5851 0 0 0 1580 5 0 0 25 0 1 0 42763807 24289280 5799 996147200 134512640 135134323 4294956192 18446744073709551615 134532031 0 0 4096 3 0 0 0 17 1 0 0
/proc/20007/statm: 5930 5799 74 151 0 5776 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 40460

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20007
/proc/meminfo: memFree=1874008/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.07
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1463 14271 0 2 5 2 877 23 16 0 1 0 42762859 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1113 414 3 0 764 0
[pid=20007] ppid=19984 vsize=29088 CPUtime=41.21
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 7180 0 0 0 4114 7 0 0 25 0 1 0 42763807 29786112 7128 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/20007/statm: 7272 7128 74 151 0 7118 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 45828

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20007
/proc/meminfo: memFree=1866840/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.07
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1463 14271 0 2 5 2 877 23 16 0 1 0 42762859 17141760 1113 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19984/statm: 4185 1113 414 3 0 764 0
[pid=20007] ppid=19984 vsize=36052 CPUtime=91.93
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 8925 0 0 0 9184 9 0 0 25 0 1 0 42763807 36917248 8873 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20007/statm: 9013 8873 74 151 0 8859 0
Current children cumulated CPU time (s) 101
Current children cumulated vsize (KiB) 52792

[startup+162.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 20017
/proc/meminfo: memFree=1866400/2055920 swapFree=4180932/4192956

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

[pid=20007] ppid=19984 vsize=63972 CPUtime=2844.59
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15444 0 0 0 284436 23 0 0 25 0 1 0 42763807 65507328 15390 996147200 134512640 135134323 4294956192 18446744073709551615 134532108 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 15993 15390 80 151 0 15839 0
Current children cumulated CPU time (s) 2853.87
Current children cumulated vsize (KiB) 80712

[startup+2922.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20159
/proc/meminfo: memFree=1833632/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=64360 CPUtime=2904.56
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15517 0 0 0 290433 23 0 0 25 0 1 0 42763807 65904640 15463 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16090 15463 80 151 0 15936 0
Current children cumulated CPU time (s) 2913.84
Current children cumulated vsize (KiB) 81100

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20159
/proc/meminfo: memFree=1833632/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=64360 CPUtime=2964.54
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15524 0 0 0 296431 23 0 0 25 0 1 0 42763807 65904640 15470 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16090 15470 80 151 0 15936 0
Current children cumulated CPU time (s) 2973.82
Current children cumulated vsize (KiB) 81100

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20159
/proc/meminfo: memFree=1832992/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=64968 CPUtime=3024.51
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15675 0 0 0 302428 23 0 0 25 0 1 0 42763807 66527232 15621 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16242 15621 80 151 0 16088 0
Current children cumulated CPU time (s) 3033.79
Current children cumulated vsize (KiB) 81708

[startup+3102.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 20159
/proc/meminfo: memFree=1832992/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=65148 CPUtime=3084.49
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15684 0 0 0 308425 24 0 0 25 0 1 0 42763807 66711552 15630 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16287 15630 80 151 0 16133 0
Current children cumulated CPU time (s) 3093.77
Current children cumulated vsize (KiB) 81888

[startup+3162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 20159
/proc/meminfo: memFree=1832864/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=65312 CPUtime=3144.47
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15741 0 0 0 314423 24 0 0 25 0 1 0 42763807 66879488 15687 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16328 15687 80 151 0 16174 0
Current children cumulated CPU time (s) 3153.75
Current children cumulated vsize (KiB) 82052

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20159
/proc/meminfo: memFree=1832224/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=65836 CPUtime=3204.43
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15860 0 0 0 320419 24 0 0 25 0 1 0 42763807 67416064 15806 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16459 15806 80 151 0 16305 0
Current children cumulated CPU time (s) 3213.71
Current children cumulated vsize (KiB) 82576

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20159
/proc/meminfo: memFree=1832160/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=66016 CPUtime=3264.41
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15861 0 0 0 326417 24 0 0 25 0 1 0 42763807 67600384 15807 996147200 134512640 135134323 4294956192 18446744073709551615 134531836 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16504 15807 80 151 0 16350 0
Current children cumulated CPU time (s) 3273.69
Current children cumulated vsize (KiB) 82756

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20159
/proc/meminfo: memFree=1831968/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=66180 CPUtime=3324.38
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15893 0 0 0 332414 24 0 0 25 0 1 0 42763807 67768320 15839 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16545 15839 80 151 0 16391 0
Current children cumulated CPU time (s) 3333.66
Current children cumulated vsize (KiB) 82920

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20159
/proc/meminfo: memFree=1831968/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=66180 CPUtime=3384.36
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15894 0 0 0 338412 24 0 0 25 0 1 0 42763807 67768320 15840 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16545 15840 80 151 0 16391 0
Current children cumulated CPU time (s) 3393.64
Current children cumulated vsize (KiB) 82920

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20165
/proc/meminfo: memFree=1831648/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=66260 CPUtime=3444.32
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15911 0 0 0 344408 24 0 0 25 0 1 0 42763807 67850240 15857 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16565 15857 80 151 0 16411 0
Current children cumulated CPU time (s) 3453.6
Current children cumulated vsize (KiB) 83000

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20165
/proc/meminfo: memFree=1831584/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=66340 CPUtime=3504.3
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 15951 0 0 0 350406 24 0 0 25 0 1 0 42763807 67932160 15897 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16585 15897 80 151 0 16431 0
Current children cumulated CPU time (s) 3513.58
Current children cumulated vsize (KiB) 83080

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20165
/proc/meminfo: memFree=1831328/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=66584 CPUtime=3564.28
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 16006 0 0 0 356403 25 0 0 25 0 1 0 42763807 68182016 15952 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16646 15952 80 151 0 16492 0
Current children cumulated CPU time (s) 3573.56
Current children cumulated vsize (KiB) 83324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20165
/proc/meminfo: memFree=1830880/2055920 swapFree=4180932/4192956
[pid=19984] ppid=19982 vsize=16740 CPUtime=9.28
/proc/19984/stat : 19984 (sugar++) S 19982 19984 19573 0 -1 4194304 1547 18030 0 3 6 2 894 26 16 0 1 0 42762859 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19984/statm: 4185 1114 414 3 0 764 0
[pid=20007] ppid=19984 vsize=67292 CPUtime=3590.77
/proc/20007/stat : 20007 (minisat-inc) R 19984 19984 19573 0 -1 4194304 16127 0 0 0 359052 25 0 0 25 0 1 0 42763807 68907008 16073 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20007/statm: 16823 16073 80 151 0 16669 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 84032

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): 3608.82
CPU time (s): 3600.09
CPU user time (s): 3599.53
CPU system time (s): 0.558915
CPU usage (%): 99.758
Max. virtual memory (cumulated for all children) (KiB): 887804

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

runsolver used 3.78542 second user time and 10.7044 second system time

The end

Launcher Data (download as text)

Begin job on node25 at 2008-07-12 13:03:29
IDJOB=1112011
IDBENCH=61351
IDSOLVER=367
FILE ID=node25/1112011-1215860609
PBS_JOBID= 7903469
Free space on /tmp= 66532 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/lexVg/normalized-crossword-m1c-lex-vg13-15_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-1112011-1215860609/watcher-1112011-1215860609 -o /tmp/evaluation-result-1112011-1215860609/solver-1112011-1215860609 -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-1112011-1215860609.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= b258f11631d15fef104a51006eeac6bf
RANDOM SEED=1855892128

node25.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.265
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.265
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:       1916296 kB
Buffers:         22208 kB
Cached:          53396 kB
SwapCached:       5792 kB
Active:          72592 kB
Inactive:        25928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1916296 kB
SwapTotal:     4192956 kB
SwapFree:      4180932 kB
Dirty:             844 kB
Writeback:           0 kB
Mapped:          38972 kB
Slab:            26196 kB
Committed_AS:   268712 kB
PageTables:       1960 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= 66528 MiB
End job on node25 at 2008-07-12 14:03:40