Trace number 1110516

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+minisatMSAT (TO)14 3600.01 3618.66

General information on the benchmark

Namecsp/wordsVg/
normalized-crossword-m1c-words-vg12-16_ext.xml
MD5SUMd5a5b46f918ed24babfe0cb73c479416
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.01
Satisfiable
(Un)Satisfiability was proved
Number of variables192
Number of constraints28
Maximum constraint arity16
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.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Sat Jul 12 03:47:39 2008
0.00/0.05	c 0	PID 14244
0.00/0.05	c 0	HOST node5.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1110516-1215827259.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110516-1215827259.xml' 'HOME/temp.csp'
0.03/0.48	c 1	1 domains, 192 variables, 0 predicates, 2 relations, 28 constraints
0.03/0.53	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.53	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.45/0.61	c 1	Parsing HOME/temp.csp
0.45/0.75	c 1	parsed 223 expressions
0.45/0.76	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.45/0.76	c 1	MAX CSP: 28 constraints
0.45/0.76	c 1	Converting to clausal form CSP
0.45/0.78	c 1	converted 26 (10%) expressions
0.45/0.79	c 1	converted 51 (20%) expressions
0.45/0.79	c 1	converted 77 (30%) expressions
0.45/0.79	c 1	converted 102 (40%) expressions
0.45/0.79	c 1	converted 127 (50%) expressions
0.45/0.79	c 1	converted 153 (60%) expressions
0.45/0.79	c 1	converted 178 (70%) expressions
0.46/0.98	c 1	converted 204 (80%) expressions
1.50/1.62	c 2	converted 229 (90%) expressions
1.50/1.67	c 2	converted 254 (100%) expressions
1.50/1.68	c 2	CSP : 248 integers, 0 booleans, 83 clauses, largest domain size 43
1.50/1.68	c 2	Heap : 29 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.50/1.68	c 2	Propagation in CSP
1.50/1.69	c 2	25 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.50/1.69	c 2	CSP : 248 integers, 0 booleans, 83 clauses, largest domain size 29
1.50/1.69	c 2	Heap : 29 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.50/1.69	c 2	Simplifing CSP by introducing new Boolean variables
1.50/1.69	c 2	CSP : 248 integers, 0 booleans, 83 clauses, largest domain size 29
1.50/1.69	c 2	Heap : 29 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.70/1.83	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.70/1.85	c 2	25 (10%) CSP integer variables are encoded (600 clauses, 6456 bytes)
1.70/1.85	c 2	50 (20%) CSP integer variables are encoded (1200 clauses, 13537 bytes)
1.70/1.85	c 2	75 (30%) CSP integer variables are encoded (1800 clauses, 21337 bytes)
1.70/1.85	c 2	100 (40%) CSP integer variables are encoded (2400 clauses, 29137 bytes)
1.70/1.86	c 2	124 (50%) CSP integer variables are encoded (2976 clauses, 36625 bytes)
1.70/1.86	c 2	149 (60%) CSP integer variables are encoded (3576 clauses, 44425 bytes)
1.70/1.86	c 2	174 (70%) CSP integer variables are encoded (4176 clauses, 52225 bytes)
1.70/1.86	c 2	199 (80%) CSP integer variables are encoded (4608 clauses, 57841 bytes)
1.70/1.86	c 2	224 (90%) CSP integer variables are encoded (4640 clauses, 58257 bytes)
1.70/1.86	c 2	248 (100%) CSP integer variables are encoded (4804 clauses, 60389 bytes)
47.65/48.21	c 49	9 (10%) CSP clauses are encoded (311965 clauses, 26069620 bytes)
83.78/84.71	c 85	17 (20%) CSP clauses are encoded (554357 clauses, 47207302 bytes)
85.16/86.17	c 87	25 (30%) CSP clauses are encoded (582269 clauses, 50053123 bytes)
85.75/86.72	c 87	34 (40%) CSP clauses are encoded (592764 clauses, 51161234 bytes)
85.75/86.72	c 87	42 (50%) CSP clauses are encoded (593316 clauses, 51170459 bytes)
85.75/86.72	c 87	50 (60%) CSP clauses are encoded (593350 clauses, 51170978 bytes)
85.75/86.73	c 87	59 (70%) CSP clauses are encoded (593813 clauses, 51179051 bytes)
85.75/86.73	c 87	67 (80%) CSP clauses are encoded (593867 clauses, 51179907 bytes)
85.75/86.73	c 87	75 (90%) CSP clauses are encoded (593917 clauses, 51180689 bytes)
85.75/86.73	c 87	83 (100%) CSP clauses are encoded (594108 clauses, 51183856 bytes)
85.75/86.73	c 87	83 CSP clauses encoded
85.75/86.73	c 87	Writing map file : HOME/temp.map
85.75/86.73	c 87	Heap : 40 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
85.75/86.73	c 87	SAT : 5052 SAT variables, 594108 SAT clauses, 51183856 bytes
85.75/86.73	c 87	Heap : 40 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
85.75/86.78	c 87	OBJECTIVE minimize _COST
85.75/86.78	c 87	OBJECTIVE BOUND: 0 <= _COST <= 
85.75/86.78	c 87	SEARCHING: _COST <= 14
85.75/86.78	c 87	SOLVING HOME/temp.cnf
85.75/86.78	c 87	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
85.75/86.79	c 87	This is MiniSat 2.0 beta
85.75/86.79	c 87	WARNING: for repeatability, setting FPU to use double precision
85.75/86.79	c 87	============================[ Problem Statistics ]=============================
85.75/86.79	c 87	|                                                                             |
85.75/86.79	c 87	|  Number of variables:  5052                                                 |
85.75/86.79	c 87	|  Number of clauses:    594109                                               |
86.80/87.89	c 88	|  Parsing time:         0.97         s                                       |
86.90/87.95	c 88	============================[ Search Statistics ]==============================
86.90/87.95	c 88	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.90/87.95	c 88	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
86.90/87.95	c 88	===============================================================================
86.90/87.95	c 88	|         0 |    4982   593562  9559782 |   197854        0    nan |  0.000 % |
87.00/88.01	c 88	|       101 |    4982   593562  9559782 |   217639      101      8 |  1.386 % |
87.00/88.03	c 88	|       251 |    4982   593562  9559782 |   239403      251      8 |  1.386 % |
87.09/88.16	c 89	|       476 |    4982   593562  9559782 |   263343      476      8 |  1.386 % |
87.19/88.26	c 89	|       813 |    4982   593562  9559782 |   289678      813      8 |  1.386 % |
87.29/88.37	c 89	|      1320 |    4982   593562  9559782 |   318645     1320      9 |  1.386 % |
87.39/88.48	c 89	|      2080 |    4982   593562  9559782 |   350510     2080      9 |  1.386 % |
87.69/88.71	c 89	|      3221 |    4982   593562  9559782 |   385561     3221      9 |  1.386 % |
87.88/88.94	c 89	|      4930 |    4982   593562  9559782 |   424117     4930      9 |  1.386 % |
88.27/89.34	c 90	|      7492 |    4982   593562  9559782 |   466529     7492     10 |  1.386 % |
88.98/90.08	c 90	|     11337 |    4982   593562  9559782 |   513182    11337     10 |  1.386 % |
89.76/90.89	c 91	|     17103 |    4982   593562  9559782 |   564500    17103     10 |  1.386 % |
91.54/92.64	c 93	|     25756 |    4982   593562  9559782 |   620950    25756     11 |  1.386 % |
93.62/94.75	c 95	|     38731 |    4982   593562  9559782 |   683045    38731     11 |  1.386 % |
98.48/99.60	c 100	|     58194 |    4982   593562  9559782 |   751350    58194     11 |  1.386 % |
105.41/106.69	c 107	|     87386 |    4982   593562  9559782 |   826485    87386     12 |  1.386 % |
134.54/136.04	c 136	|    131175 |    4982   593562  9559782 |   909133   131175     14 |  1.386 % |
162.36/164.16	c 165	|    196860 |    4982   593562  9559782 |  1000047   196860     14 |  1.386 % |
186.64/188.60	c 189	===============================================================================
186.64/188.60	c 189	restarts              : 18
186.64/188.60	c 189	conflicts             : 240483         (2390 /sec)
186.64/188.60	c 189	decisions             : 366018         (1.64 % random) (3638 /sec)
186.64/188.60	c 189	propagations          : 11739879       (116683 /sec)
186.64/188.60	c 189	conflict literals     : 3679541        (24.43 % deleted)
186.64/188.60	c 189	Memory used           : 91.50 MB
186.64/188.60	c 189	CPU time              : 100.614 s
186.64/188.60	c 189	
186.64/188.60	c 189	SATISFIABLE
186.64/188.62	c 189	FOUND: _COST <= 14
186.64/188.62	s SATISFIABLE
186.64/188.62	c 189	DECODING HOME/temp.out WITH HOME/temp.map
186.64/188.62	c 189	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
186.68/188.71	c 189	Decoding HOME/temp.out
186.68/188.78	c 189	OBJECTIVE _COST 14
186.68/188.78	o 14
186.68/188.78	v 8 18 8 0 25 2 25 21 7 18 17 14 2 2 1 25 13 20 13 15 25 14 25 8 24 20 0 21 14 14 14 25 19 17 3 15 25 13 25 11 15 18 19 4 12 13 22 25 17 15 8 17 25 19 25 11 14 15 8 17 15 2 3 25 14 17 6 0 13 8 25 0 19 8 14 13 0 11 11 24 3 8 4 8 25 13 25 8 7 2 13 8 17 20 4 25 20 18 13 18 25 20 25 13 4 8 0 6 19 18 17 25 2 8 14 8 25 14 25 14 18 14 11 7 12 8 8 25 19 13 20 13 25 20 25 20 8 20 8 19 4 21 25 25 14 6 18 6 25 18 25 18 25 18 25 4 13 4 8 25 17 11 11 11 25 11 25 11 4 11 4 17 19 11 13 25 24 24 24 24 25 24 25 24 18 24 18 18 18 24 6 25
186.68/188.79	c 189	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
186.69/188.84	c 189	OBJECTIVE BOUND: 0 <= _COST <= 14
186.69/188.84	c 189	SEARCHING: _COST <= 7
186.69/188.84	c 189	SOLVING HOME/temp.cnf
186.69/188.84	c 189	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
186.69/188.84	c 189	This is MiniSat 2.0 beta
186.69/188.84	c 189	WARNING: for repeatability, setting FPU to use double precision
186.69/188.84	c 189	============================[ Problem Statistics ]=============================
186.69/188.84	c 189	|                                                                             |
186.69/188.85	c 189	|  Number of variables:  5052                                                 |
186.69/188.85	c 189	|  Number of clauses:    594109                                               |
187.87/189.95	c 190	|  Parsing time:         0.96         s                                       |
187.97/190.01	c 190	============================[ Search Statistics ]==============================
187.97/190.01	c 190	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.97/190.01	c 190	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
187.97/190.01	c 190	===============================================================================
187.97/190.01	c 190	|         0 |    4940   593226  9558893 |   197742        0    nan |  0.000 % |
187.97/190.02	c 190	|       100 |    4940   593226  9558893 |   217516      100      6 |  2.217 % |
187.97/190.05	c 190	|       250 |    4940   593226  9558893 |   239267      250      7 |  2.217 % |
188.07/190.11	c 191	|       475 |    4940   593226  9558893 |   263194      475      8 |  2.217 % |
188.07/190.15	c 191	|       812 |    4940   593226  9558893 |   289514      812      7 |  2.217 % |
188.18/190.21	c 191	|      1318 |    4940   593226  9558893 |   318465     1318      8 |  2.217 % |
188.27/190.33	c 191	|      2077 |    4940   593226  9558893 |   350312     2077      9 |  2.217 % |
188.36/190.47	c 191	|      3218 |    4940   593226  9558893 |   385343     3218      9 |  2.217 % |
188.56/190.65	c 191	|      4928 |    4940   593226  9558893 |   423877     4928     10 |  2.217 % |
188.86/190.97	c 191	|      7491 |    4940   593226  9558893 |   466265     7491     10 |  2.217 % |
189.45/191.50	c 192	|     11335 |    4940   593226  9558893 |   512891    11335      9 |  2.217 % |
190.25/192.34	c 193	|     17103 |    4940   593226  9558893 |   564181    17103     10 |  2.217 % |
192.13/194.26	c 195	|     25752 |    4940   593226  9558893 |   620599    25752     11 |  2.217 % |
197.08/199.25	c 200	|     38727 |    4940   593226  9558893 |   682659    38727     11 |  2.217 % |
206.19/208.43	c 209	|     58188 |    4940   593226  9558893 |   750924    58188     13 |  2.217 % |
224.92/227.31	c 228	|     87382 |    4940   593226  9558893 |   826017    87382     14 |  2.217 % |
282.28/285.28	c 286	|    131171 |    4940   593226  9558893 |   908619   131171     15 |  2.217 % |
416.31/420.52	c 421	|    196857 |    4940   593226  9558893 |   999481   196857     17 |  2.217 % |
670.31/676.92	c 677	|    295383 |    4940   593226  9558893 |  1099429   295383     18 |  2.217 % |
1205.38/1219.40	c 1220	|    443173 |    4940   593226  9558893 |  1209372   443173     20 |  2.217 % |
1861.10/1879.01	c 1879	|    664856 |    4940   593226  9558893 |  1330309   664856     22 |  2.217 % |
3600.01/3618.62	c ERROR INTERRUPTED
3600.01/3618.64	c 3619	CPU 185.9 (0.04 0.01 185.86 0.93)
3600.01/3618.64	c 3619	END Sat Jul 12 04:47:58 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-1110516-1215827259/watcher-1110516-1215827259 -o /tmp/evaluation-result-1110516-1215827259/solver-1110516-1215827259 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1110516-1215827259.xml 

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=12000 CPUtime=0
/proc/14244/stat : 14244 (sugar) R 14242 14244 13113 0 -1 4194304 195 0 0 0 0 0 0 0 22 0 1 0 39429243 12288000 163 996147200 4194304 4206940 548682068592 18446744073709551615 226913093167 0 0 4224 0 0 0 0 17 1 0 0
/proc/14244/statm: 3000 163 125 3 0 100 0

[startup+0.055045 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.03
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 39429243 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.100936 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.03
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 39429243 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301792 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.03
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 39429243 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701837 s]
/proc/loadavg: 1.99 1.98 2.00 4/73 14244
/proc/meminfo: memFree=1674960/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.45
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 3 0 38 4 16 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13600

[startup+1.50193 s]
/proc/loadavg: 2.07 2.00 2.01 4/84 14266
/proc/meminfo: memFree=1658360/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864156 CPUtime=0.93
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 10657 0 1 0 88 5 0 0 18 0 9 0 39429297 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216039 9904 2540 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864156 CPUtime=0.36
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 2784 0 1 0 35 1 0 0 19 0 9 0 39429298 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864156 CPUtime=0.47
/proc/14258/task/14260/stat : 14260 (java) R 14257 14244 13113 0 -1 64 6846 0 0 0 45 2 0 0 17 0 9 0 39429299 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 104456976 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864156 CPUtime=0.07
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 334 0 0 0 7 0 0 0 16 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864156 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 884895744 9904 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 883112

[startup+3.1021 s]
/proc/loadavg: 2.07 2.00 2.01 3/84 14266
/proc/meminfo: memFree=1634424/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864268 CPUtime=2.52
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 13142 0 1 0 245 7 0 0 18 0 9 0 39429297 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216067 12345 2565 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864268 CPUtime=1.63
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3070 0 1 0 161 2 0 0 25 0 9 0 39429298 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4126619812 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864268 CPUtime=0.75
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 9019 0 0 0 72 3 0 0 16 0 9 0 39429299 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864268 CPUtime=0.11
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 360 0 0 0 11 0 0 0 16 0 9 0 39429301 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 885010432 12345 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 883224

[startup+6.30246 s]
/proc/loadavg: 2.07 2.00 2.00 3/84 14266
/proc/meminfo: memFree=1629944/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864268 CPUtime=5.69
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 14064 0 1 0 561 8 0 0 18 0 9 0 39429297 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216067 13237 2565 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864268 CPUtime=4.74
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3100 0 1 0 472 2 0 0 25 0 9 0 39429298 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864268 CPUtime=0.81
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 9911 0 0 0 77 4 0 0 16 0 9 0 39429299 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864268 CPUtime=0.11
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 360 0 0 0 11 0 0 0 16 0 9 0 39429301 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 885010432 13237 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 883224

[startup+12.7022 s]
/proc/loadavg: 2.06 2.00 2.00 3/84 14266
/proc/meminfo: memFree=1618296/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864268 CPUtime=12.03
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 15955 0 1 0 1190 13 0 0 18 0 9 0 39429297 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216067 15011 2565 9 0 210614 0
[pid=14258/tid=14259] ppid=14257 vsize=864268 CPUtime=10.91
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3217 0 1 0 1085 6 0 0 25 0 9 0 39429298 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4126095819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864268 CPUtime=0.97
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 11681 0 0 0 92 5 0 0 16 0 9 0 39429299 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39429299 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14263] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14263/stat : 14263 (java) S 14257 14244 13113 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39429301 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14264] ppid=14257 vsize=864268 CPUtime=0.12
/proc/14258/task/14264/stat : 14264 (java) S 14257 14244 13113 0 -1 64 364 0 0 0 12 0 0 0 16 0 9 0 39429301 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14265] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14265/stat : 14265 (java) S 14257 14244 13113 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39429301 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14266] ppid=14257 vsize=864268 CPUtime=0
/proc/14258/task/14266/stat : 14266 (java) S 14257 14244 13113 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39429301 885010432 15011 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 883224

[startup+25.5026 s]
/proc/loadavg: 2.05 2.00 2.00 3/84 14266
/proc/meminfo: memFree=1602424/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=0.46
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 974 4455 0 1 4 0 38 4 15 0 1 0 39429243 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14244/statm: 3400 797 370 3 0 500 0
[pid=14257] ppid=14244 vsize=5356 CPUtime=0
/proc/14257/stat : 14257 (sh) S 14244 14244 13113 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39429296 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14257/statm: 1339 233 193 169 0 50 0
[pid=14258] ppid=14257 vsize=864388 CPUtime=24.71
/proc/14258/stat : 14258 (java) S 14257 14244 13113 0 -1 0 20365 0 1 0 2451 20 0 0 18 0 9 0 39429297 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14258/statm: 216097 16755 2565 9 0 210644 0
[pid=14258/tid=14259] ppid=14257 vsize=864388 CPUtime=23.12
/proc/14258/task/14259/stat : 14259 (java) R 14257 14244 13113 0 -1 64 3383 0 1 0 2302 10 0 0 25 0 9 0 39429298 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4125952101 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14260] ppid=14257 vsize=864388 CPUtime=1.43
/proc/14258/task/14260/stat : 14260 (java) S 14257 14244 13113 0 -1 64 15920 0 0 0 135 8 0 0 16 0 9 0 39429299 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14261] ppid=14257 vsize=864388 CPUtime=0
/proc/14258/task/14261/stat : 14261 (java) S 14257 14244 13113 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39429299 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14258/tid=14262] ppid=14257 vsize=864388 CPUtime=0
/proc/14258/task/14262/stat : 14262 (java) S 14257 14244 13113 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39429299 885133312 16755 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/meminfo: memFree=1637488/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=180652 CPUtime=2897.07
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 44338 0 0 0 289653 54 0 0 25 0 1 0 39448128 184987648 44324 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 45163 44324 76 150 0 45010 0
Current children cumulated CPU time (s) 3083.91
Current children cumulated vsize (KiB) 199608

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/84 14836
/proc/meminfo: memFree=1635952/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=182052 CPUtime=2957.04
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 44694 0 0 0 295650 54 0 0 25 0 1 0 39448128 186421248 44680 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 45513 44680 76 150 0 45360 0
Current children cumulated CPU time (s) 3143.88
Current children cumulated vsize (KiB) 201008

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1634608/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=183340 CPUtime=3017.03
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45002 0 0 0 301648 55 0 0 25 0 1 0 39448128 187740160 44988 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 45835 44988 76 150 0 45682 0
Current children cumulated CPU time (s) 3203.87
Current children cumulated vsize (KiB) 202296

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1633456/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=184404 CPUtime=3077
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45272 0 0 0 307645 55 0 0 25 0 1 0 39448128 188829696 45258 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 46101 45258 76 150 0 45948 0
Current children cumulated CPU time (s) 3263.84
Current children cumulated vsize (KiB) 203360

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1632176/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=185752 CPUtime=3136.98
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45576 0 0 0 313642 56 0 0 25 0 1 0 39448128 190210048 45562 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 46438 45562 76 150 0 46285 0
Current children cumulated CPU time (s) 3323.82
Current children cumulated vsize (KiB) 204708

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1630576/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=187308 CPUtime=3196.96
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 45949 0 0 0 319640 56 0 0 25 0 1 0 39448128 191803392 45935 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 46827 45935 76 150 0 46674 0
Current children cumulated CPU time (s) 3383.8
Current children cumulated vsize (KiB) 206264

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1629168/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=188580 CPUtime=3256.93
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 46282 0 0 0 325637 56 0 0 25 0 1 0 39448128 193105920 46268 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47145 46268 76 150 0 46992 0
Current children cumulated CPU time (s) 3443.77
Current children cumulated vsize (KiB) 207536

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1627760/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=189768 CPUtime=3316.91
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 46588 0 0 0 331634 57 0 0 25 0 1 0 39448128 194322432 46574 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47442 46574 76 150 0 47289 0
Current children cumulated CPU time (s) 3503.75
Current children cumulated vsize (KiB) 208724

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1626544/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=191024 CPUtime=3376.88
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 46893 0 0 0 337631 57 0 0 25 0 1 0 39448128 195608576 46879 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47756 46879 76 150 0 47603 0
Current children cumulated CPU time (s) 3563.72
Current children cumulated vsize (KiB) 209980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 14836
/proc/meminfo: memFree=1625840/2055920 swapFree=4181128/4192956
[pid=14244] ppid=14242 vsize=13600 CPUtime=186.84
/proc/14244/stat : 14244 (sugar) S 14242 14244 13113 0 -1 4194304 1172 63025 0 3 4 1 18586 93 16 0 1 0 39429243 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14244/statm: 3400 803 374 3 0 500 0
[pid=14279] ppid=14244 vsize=5356 CPUtime=0
/proc/14279/stat : 14279 (sh) S 14244 14244 13113 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 39448127 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14279/statm: 1339 232 193 169 0 50 0
[pid=14280] ppid=14279 vsize=191552 CPUtime=3413.17
/proc/14280/stat : 14280 (minisat) R 14279 14244 13113 0 -1 4194304 47063 0 0 0 341260 57 0 0 25 0 1 0 39448128 196149248 47049 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14280/statm: 47888 47049 76 150 0 47735 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 210508

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14244 and gives
#  childrusage.ru_utime.tv_sec=185
#  childrusage.ru_utime.tv_usec=915736
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=978851
# CPU time returned by wait4() is 186.895
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3618.66
CPU time (s): 3600.01
CPU user time (s): 3598.5
CPU system time (s): 1.51
CPU usage (%): 99.4845
Max. virtual memory (cumulated for all children) (KiB): 888724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.916
system time used= 0.978851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64541
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= 11790
involuntary context switches= 15419

runsolver used 4.25035 second user time and 12.2201 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-12 03:47:39
IDJOB=1110516
IDBENCH=61115
IDSOLVER=368
FILE ID=node5/1110516-1215827259
PBS_JOBID= 7903325
Free space on /tmp= 66464 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg12-16_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110516-1215827259/watcher-1110516-1215827259 -o /tmp/evaluation-result-1110516-1215827259/solver-1110516-1215827259 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1110516-1215827259.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d5a5b46f918ed24babfe0cb73c479416
RANDOM SEED=2023686006

node5.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.212
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.212
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:       1675440 kB
Buffers:         14164 kB
Cached:         126816 kB
SwapCached:       5356 kB
Active:         310388 kB
Inactive:        18792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1675440 kB
SwapTotal:     4192956 kB
SwapFree:      4181128 kB
Dirty:            1356 kB
Writeback:           0 kB
Mapped:         195616 kB
Slab:            36056 kB
Committed_AS:   320532 kB
PageTables:       2280 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= 66532 MiB
End job on node5 at 2008-07-12 04:48:00