Trace number 2062293

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar v1.14.6+minisat? (TO) 1800.06 1804.84

General information on the benchmark

Namecsp/allsquares/
normalized-squares-37-37.xml
MD5SUM910e7d5320a57af4b8daccf7478c49bc
Bench CategoryAlldiff+Cumul+Elt+WSum (alldiff,cumulative,element,weightedsum)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2738
Number of constraints3333
Maximum constraint arity37
Maximum domain size133
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2665
Global constraints used (with number of constraints)cumulative(2),weightedsum(666)

Solver Data 

0.05/0.08	c 0	Sugar v1-14-6 + HOME/minisat
0.05/0.08	c 0	BEGIN Sat Jul 11 18:08:36 2009
0.05/0.08	c 0	PID 12175
0.05/0.08	c 0	HOST node71.alineos.net
0.05/0.08	c 0	CONVERTING HOME/instance-2062293-1247328516.xml TO HOME/temp.csp
0.05/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2062293-1247328516.xml' 'HOME/temp.csp'
0.06/0.80	c 1	38 domains, 2738 variables, 2 predicates, 0 relations, 3333 constraints
0.06/0.82	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.82	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.89	c 1	Parsing HOME/temp.csp
0.93/1.04	c 1	parsed 6111 expressions
0.93/1.05	c 1	Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.93/1.05	c 1	Converting to clausal form CSP
0.93/1.08	c 1	converted 612 (10%) expressions
0.93/1.08	c 1	converted 1223 (20%) expressions
0.93/1.09	c 1	converted 1834 (30%) expressions
0.93/1.10	c 1	converted 2445 (40%) expressions
1.13/1.28	c 1	converted 3056 (50%) expressions
1.23/1.34	c 1	converted 3667 (60%) expressions
1.33/1.43	c 1	converted 4278 (70%) expressions
1.33/1.47	c 2	converted 4889 (80%) expressions
1.43/1.52	c 2	converted 5500 (90%) expressions
3.30/3.42	c 3	converted 6111 (100%) expressions
3.30/3.43	c 3	CSP : 14974 integers, 6934 booleans, 44505 clauses, largest domain size 134
3.30/3.43	c 3	Heap : 32 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
3.30/3.43	c 3	Propagation in CSP
3.40/3.57	c 4	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.40/3.57	c 4	CSP : 14974 integers, 6934 booleans, 44505 clauses, largest domain size 134
3.40/3.57	c 4	Heap : 31 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
3.40/3.59	c 4	Simplifing CSP by introducing new Boolean variables
3.51/3.62	c 4	CSP : 14974 integers, 6934 booleans, 44505 clauses, largest domain size 134
3.51/3.62	c 4	Heap : 32 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
3.71/3.82	c 4	Encoding CSP to SAT : HOME/temp.cnf
3.71/3.86	c 4	1498 (10%) CSP integer variables are encoded (8266 clauses, 105325 bytes)
3.71/3.87	c 4	2995 (20%) CSP integer variables are encoded (11861 clauses, 159250 bytes)
3.80/3.91	c 4	4493 (30%) CSP integer variables are encoded (35588 clauses, 515155 bytes)
3.80/3.93	c 4	5990 (40%) CSP integer variables are encoded (58596 clauses, 860275 bytes)
3.80/3.96	c 4	7487 (50%) CSP integer variables are encoded (81657 clauses, 1206190 bytes)
3.80/3.99	c 4	8985 (60%) CSP integer variables are encoded (103555 clauses, 1558037 bytes)
3.89/4.03	c 4	10482 (70%) CSP integer variables are encoded (127282 clauses, 1961396 bytes)
3.89/4.06	c 4	11980 (80%) CSP integer variables are encoded (150665 clauses, 2358907 bytes)
3.89/4.09	c 4	13477 (90%) CSP integer variables are encoded (173462 clauses, 2746456 bytes)
4.00/4.12	c 4	14974 (100%) CSP integer variables are encoded (195968 clauses, 3129058 bytes)
4.79/4.91	c 5	4451 (10%) CSP clauses are encoded (631018 clauses, 11107008 bytes)
5.86/6.07	c 6	8901 (20%) CSP clauses are encoded (1186083 clauses, 22960546 bytes)
6.94/7.16	c 7	13352 (30%) CSP clauses are encoded (1712795 clauses, 34342230 bytes)
8.03/8.27	c 8	17802 (40%) CSP clauses are encoded (2250256 clauses, 45959593 bytes)
9.12/9.38	c 9	22253 (50%) CSP clauses are encoded (2785354 clauses, 57490621 bytes)
11.38/11.67	c 12	26703 (60%) CSP clauses are encoded (3916280 clauses, 82801174 bytes)
12.76/13.02	c 13	31154 (70%) CSP clauses are encoded (4520238 clauses, 97670368 bytes)
13.84/14.20	c 14	35604 (80%) CSP clauses are encoded (5046949 clauses, 110635669 bytes)
15.02/15.37	c 15	40055 (90%) CSP clauses are encoded (5562611 clauses, 123308941 bytes)
17.19/17.55	c 18	44505 (100%) CSP clauses are encoded (6626882 clauses, 148588543 bytes)
17.19/17.55	c 18	44505 CSP clauses encoded
17.19/17.55	c 18	Writing map file : HOME/temp.map
17.19/17.58	c 18	Heap : 29 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
17.19/17.58	c 18	SAT : 217780 SAT variables, 6626882 SAT clauses, 148588543 bytes
17.19/17.58	c 18	Heap : 29 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
17.26/17.62	c 18	SOLVING HOME/temp.cnf
17.26/17.62	c 18	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
17.26/17.62	c 18	This is MiniSat 2.0 beta
17.26/17.62	c 18	WARNING: for repeatability, setting FPU to use double precision
17.26/17.62	c 18	============================[ Problem Statistics ]=============================
17.26/17.62	c 18	|                                                                             |
17.26/17.62	c 18	|  Number of variables:  217780                                               |
17.26/17.62	c 18	|  Number of clauses:    6626882                                              |
20.71/21.13	c 21	|  Parsing time:         3.02         s                                       |
20.81/21.29	c 21	============================[ Search Statistics ]==============================
20.81/21.29	c 21	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.81/21.29	c 21	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
20.81/21.29	c 21	===============================================================================
20.81/21.29	c 21	|         0 |  217780  6626882 19692804 |  2208960        0    nan |  0.000 % |
23.39/23.81	c 24	|       101 |  217780  6626882 19692804 |  2429856      101     43 |  0.000 % |
26.36/26.82	c 27	|       251 |  217780  6626882 19692804 |  2672842      251     49 |  0.000 % |
29.73/30.24	c 30	|       476 |  217780  6626882 19692804 |  2940126      476     52 |  0.000 % |
34.87/35.47	c 36	|       815 |  217780  6626882 19692804 |  3234139      815     54 |  0.000 % |
42.89/43.57	c 44	|      1321 |  217780  6626882 19692804 |  3557553     1321     63 |  0.000 % |
55.88/56.64	c 57	|      2080 |  217780  6626882 19692804 |  3913308     2080     60 |  0.000 % |
74.10/75.04	c 75	|      3219 |  217780  6626882 19692804 |  4304639     3219     58 |  0.000 % |
98.96/100.18	c 100	|      4929 |  217780  6626882 19692804 |  4735103     4929     58 |  0.000 % |
141.36/142.99	c 143	|      7491 |  217780  6626882 19692804 |  5208613     7491     59 |  0.000 % |
192.16/194.25	c 194	|     11335 |  217780  6626882 19692804 |  5729475    11335     61 |  0.000 % |
295.67/298.77	c 299	|     17101 |  217780  6626882 19692804 |  6302422    17101     65 |  0.000 % |
427.85/431.98	c 432	|     25750 |  217780  6626882 19692804 |  6932664    25750     68 |  0.000 % |
636.95/641.20	c 641	|     38725 |  217780  6626882 19692804 |  7625931    38725     77 |  0.000 % |
931.31/935.64	c 936	|     58186 |  217780  6626882 19692804 |  8388524    58186     78 |  0.000 % |
1589.91/1594.58	c 1595	|     87378 |  217780  6626882 19692804 |  9227376    87378     78 |  0.000 % |
1800.02/1804.72	c ERROR INTERRUPTED
1800.02/1804.76	s UNKNOWN
1800.02/1804.76	c 1805	CPU 17.3 (0.06 0.01 16.1 1.13)
1800.02/1804.76	c 1805	END Sat Jul 11 18:38:41 2009

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2062293-1247328516/watcher-2062293-1247328516 -o /tmp/evaluation-result-2062293-1247328516/solver-2062293-1247328516 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2062293-1247328516.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/75 12175
/proc/meminfo: memFree=937320/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=18576 CPUtime=0
/proc/12175/stat : 12175 (runsolver) R 12173 12175 11136 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 19914178 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12175/statm: 4644 284 249 26 0 2626 0

[startup+0.0716619 s]
/proc/loadavg: 1.92 1.98 1.99 4/75 12175
/proc/meminfo: memFree=937320/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16476 CPUtime=0.05
/proc/12175/stat : 12175 (sugar) R 12173 12175 11136 0 -1 4194304 1022 0 0 0 4 1 0 0 18 0 1 0 19914178 16871424 990 996147200 4194304 4206940 548682068608 18446744073709551615 231962219233 0 0 4224 0 0 0 0 17 1 0 0
/proc/12175/statm: 4119 990 380 3 0 698 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16476

[startup+0.106543 s]
/proc/loadavg: 1.92 1.98 1.99 4/75 12175
/proc/meminfo: memFree=937320/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=0.06
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 19914178 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.30169 s]
/proc/loadavg: 1.92 1.98 1.99 4/75 12175
/proc/meminfo: memFree=937320/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=0.06
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 19914178 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.701739 s]
/proc/loadavg: 1.92 1.98 1.99 4/75 12175
/proc/meminfo: memFree=937320/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=0.06
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 19914178 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+1.50185 s]
/proc/loadavg: 1.92 1.98 1.99 3/86 12197
/proc/meminfo: memFree=927632/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=0.77
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1309 7321 0 1 6 1 65 5 15 0 1 0 19914178 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1111 409 3 0 796 0
[pid=12188] ppid=12175 vsize=5356 CPUtime=0
/proc/12188/stat : 12188 (sh) S 12175 12175 11136 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 19914260 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12188/statm: 1339 233 193 169 0 50 0
[pid=12189] ppid=12188 vsize=868564 CPUtime=0.66
/proc/12189/stat : 12189 (java) S 12188 12175 11136 0 -1 0 7403 0 1 0 62 4 0 0 18 0 9 0 19914260 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12189/statm: 217141 6634 2566 9 0 211646 0
[pid=12189/tid=12190] ppid=12188 vsize=868564 CPUtime=0.39
/proc/12189/task/12190/stat : 12190 (java) R 12188 12175 11136 0 -1 64 2677 0 1 0 38 1 0 0 22 0 9 0 19914261 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4126822575 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12191] ppid=12188 vsize=868564 CPUtime=0.09
/proc/12189/task/12191/stat : 12191 (java) S 12188 12175 11136 0 -1 64 2546 0 0 0 8 1 0 0 16 0 9 0 19914262 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12192] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12192/stat : 12192 (java) S 12188 12175 11136 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19914262 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12193] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12193/stat : 12193 (java) S 12188 12175 11136 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 19914262 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12194] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12194/stat : 12194 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19914264 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12195] ppid=12188 vsize=868564 CPUtime=0.15
/proc/12189/task/12195/stat : 12195 (java) S 12188 12175 11136 0 -1 64 1481 0 0 0 15 0 0 0 16 0 9 0 19914264 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12196] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12196/stat : 12196 (java) S 12188 12175 11136 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19914265 889409536 6634 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12197] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12197/stat : 12197 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 19914265 889409536 6634 996147200 134512640 134550932 4294955936 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) 890788

[startup+3.10206 s]
/proc/loadavg: 1.93 1.98 1.99 4/86 12197
/proc/meminfo: memFree=908880/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=0.77
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1309 7321 0 1 6 1 65 5 16 0 1 0 19914178 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1111 409 3 0 796 0
[pid=12188] ppid=12175 vsize=5356 CPUtime=0
/proc/12188/stat : 12188 (sh) S 12175 12175 11136 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 19914260 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12188/statm: 1339 233 193 169 0 50 0
[pid=12189] ppid=12188 vsize=868564 CPUtime=2.24
/proc/12189/stat : 12189 (java) S 12188 12175 11136 0 -1 0 13205 0 1 0 217 7 0 0 18 0 9 0 19914260 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12189/statm: 217141 12159 2567 9 0 211646 0
[pid=12189/tid=12190] ppid=12188 vsize=868564 CPUtime=1.38
/proc/12189/task/12190/stat : 12190 (java) R 12188 12175 11136 0 -1 64 3013 0 1 0 136 2 0 0 25 0 9 0 19914261 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4126547136 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12191] ppid=12188 vsize=868564 CPUtime=0.61
/proc/12189/task/12191/stat : 12191 (java) S 12188 12175 11136 0 -1 64 7962 0 0 0 58 3 0 0 16 0 9 0 19914262 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12192] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12192/stat : 12192 (java) S 12188 12175 11136 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19914262 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12193] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12193/stat : 12193 (java) S 12188 12175 11136 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 19914262 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12194] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12194/stat : 12194 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19914264 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12195] ppid=12188 vsize=868564 CPUtime=0.21
/proc/12189/task/12195/stat : 12195 (java) S 12188 12175 11136 0 -1 64 1531 0 0 0 21 0 0 0 16 0 9 0 19914264 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12196] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12196/stat : 12196 (java) S 12188 12175 11136 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19914265 889409536 12159 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12197] ppid=12188 vsize=868564 CPUtime=0
/proc/12189/task/12197/stat : 12197 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 19914265 889409536 12159 996147200 134512640 134550932 4294955936 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) 890788

[startup+6.3025 s]
/proc/loadavg: 1.93 1.98 1.99 3/86 12197
/proc/meminfo: memFree=871760/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=0.77
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1310 7321 0 1 6 1 65 5 16 0 1 0 19914178 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1111 409 3 0 796 0
[pid=12188] ppid=12175 vsize=5356 CPUtime=0
/proc/12188/stat : 12188 (sh) S 12175 12175 11136 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 19914260 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12188/statm: 1339 233 193 169 0 50 0
[pid=12189] ppid=12188 vsize=868708 CPUtime=5.38
/proc/12189/stat : 12189 (java) S 12188 12175 11136 0 -1 0 15430 0 1 0 514 24 0 0 18 0 9 0 19914260 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12189/statm: 217177 13922 2591 9 0 211654 0
[pid=12189/tid=12190] ppid=12188 vsize=868708 CPUtime=4.1
/proc/12189/task/12190/stat : 12190 (java) R 12188 12175 11136 0 -1 64 3382 0 1 0 394 16 0 0 25 0 9 0 19914261 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4127141100 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12191] ppid=12188 vsize=868708 CPUtime=0.97
/proc/12189/task/12191/stat : 12191 (java) S 12188 12175 11136 0 -1 64 9776 0 0 0 91 6 0 0 16 0 9 0 19914262 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12192] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12192/stat : 12192 (java) S 12188 12175 11136 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19914262 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12193] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12193/stat : 12193 (java) S 12188 12175 11136 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 19914262 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12194] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12194/stat : 12194 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19914264 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12195] ppid=12188 vsize=868708 CPUtime=0.28
/proc/12189/task/12195/stat : 12195 (java) S 12188 12175 11136 0 -1 64 1573 0 0 0 27 1 0 0 16 0 9 0 19914264 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12196] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12196/stat : 12196 (java) S 12188 12175 11136 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19914265 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12197] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12197/stat : 12197 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 19914265 889556992 13922 996147200 134512640 134550932 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) 890932

[startup+12.7024 s]
/proc/loadavg: 1.94 1.98 1.99 3/86 12197
/proc/meminfo: memFree=802064/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=0.77
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1310 7321 0 1 6 1 65 5 16 0 1 0 19914178 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1111 409 3 0 796 0
[pid=12188] ppid=12175 vsize=5356 CPUtime=0
/proc/12188/stat : 12188 (sh) S 12175 12175 11136 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 19914260 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12188/statm: 1339 233 193 169 0 50 0
[pid=12189] ppid=12188 vsize=868708 CPUtime=11.69
/proc/12189/stat : 12189 (java) S 12188 12175 11136 0 -1 0 15957 0 1 0 1099 70 0 0 18 0 9 0 19914260 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12189/statm: 217177 13922 2591 9 0 211654 0
[pid=12189/tid=12190] ppid=12188 vsize=868708 CPUtime=10.17
/proc/12189/task/12190/stat : 12190 (java) R 12188 12175 11136 0 -1 64 3909 0 1 0 960 57 0 0 25 0 9 0 19914261 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4127137038 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12191] ppid=12188 vsize=868708 CPUtime=1.21
/proc/12189/task/12191/stat : 12191 (java) S 12188 12175 11136 0 -1 64 9776 0 0 0 111 10 0 0 16 0 9 0 19914262 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12192] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12192/stat : 12192 (java) S 12188 12175 11136 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19914262 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12193] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12193/stat : 12193 (java) S 12188 12175 11136 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 19914262 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12194] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12194/stat : 12194 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19914264 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12195] ppid=12188 vsize=868708 CPUtime=0.28
/proc/12189/task/12195/stat : 12195 (java) S 12188 12175 11136 0 -1 64 1573 0 0 0 27 1 0 0 17 0 9 0 19914264 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12196] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12196/stat : 12196 (java) S 12188 12175 11136 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19914265 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12189/tid=12197] ppid=12188 vsize=868708 CPUtime=0
/proc/12189/task/12197/stat : 12197 (java) S 12188 12175 11136 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 19914265 889556992 13922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 890932

[startup+25.5024 s]
/proc/loadavg: 1.95 1.98 1.99 3/78 12199
/proc/meminfo: memFree=496464/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=297832 CPUtime=7.78
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 72331 0 0 0 732 46 0 0 25 0 1 0 19915940 304979968 72317 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12199/statm: 74458 72317 76 150 0 74305 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 320056

[startup+51.1026 s]
/proc/loadavg: 1.96 1.98 1.99 3/78 12199
/proc/meminfo: memFree=493968/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0

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

/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 80834 0 0 0 139989 62 0 0 25 0 1 0 19915940 339861504 80820 996147200 134512640 135127466 4294956256 18446744073709551615 134527053 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 82974 80820 76 150 0 82821 0
Current children cumulated CPU time (s) 1417.8
Current children cumulated vsize (KiB) 354120

[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.31 2/85 12566
/proc/meminfo: memFree=447248/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=332952 CPUtime=1460.47
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 81112 0 0 0 145985 62 0 0 25 0 1 0 19915940 340942848 81098 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 83238 81098 76 150 0 83085 0
Current children cumulated CPU time (s) 1477.76
Current children cumulated vsize (KiB) 355176

[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.28 2/85 12566
/proc/meminfo: memFree=446160/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=334008 CPUtime=1520.44
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 81362 0 0 0 151981 63 0 0 25 0 1 0 19915940 342024192 81348 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 83502 81348 76 150 0 83349 0
Current children cumulated CPU time (s) 1537.73
Current children cumulated vsize (KiB) 356232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.26 2/85 12566
/proc/meminfo: memFree=445072/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=335064 CPUtime=1580.41
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 81635 0 0 0 157978 63 0 0 25 0 1 0 19915940 343105536 81621 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 83766 81621 76 150 0 83613 0
Current children cumulated CPU time (s) 1597.7
Current children cumulated vsize (KiB) 357288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/85 12566
/proc/meminfo: memFree=443600/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=336520 CPUtime=1640.39
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 82009 0 0 0 163975 64 0 0 25 0 1 0 19915940 344596480 81995 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 84130 81995 76 150 0 83977 0
Current children cumulated CPU time (s) 1657.68
Current children cumulated vsize (KiB) 358744

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/85 12566
/proc/meminfo: memFree=442128/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=338420 CPUtime=1700.36
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 82391 0 0 0 169972 64 0 0 25 0 1 0 19915940 346542080 82377 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 84605 82377 76 150 0 84452 0
Current children cumulated CPU time (s) 1717.65
Current children cumulated vsize (KiB) 360644

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/85 12566
/proc/meminfo: memFree=440528/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=340008 CPUtime=1760.34
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 82780 0 0 0 175969 65 0 0 25 0 1 0 19915940 348168192 82766 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 85002 82766 76 150 0 84849 0
Current children cumulated CPU time (s) 1777.63
Current children cumulated vsize (KiB) 362232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.7 s]
/proc/loadavg: 1.00 1.01 1.20 2/85 12566
/proc/meminfo: memFree=439952/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=340668 CPUtime=1782.73
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 82935 0 0 0 178208 65 0 0 25 0 1 0 19915940 348844032 82921 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 85167 82921 76 150 0 85014 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 362892

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

############
# WARNING:
# current cumulated CPU time (17.36 s) is less than in the last sample (1800.02 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1782.66 s) to the 'lost time'.

[startup+1804.7 s]
/proc/loadavg: 1.00 1.01 1.20 2/85 12566
/proc/meminfo: memFree=439952/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.29
/proc/12175/stat : 12175 (sugar) S 12173 12175 11136 0 -1 4194304 1376 23990 0 2 6 1 1610 112 16 0 1 0 19914178 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12175/statm: 4217 1113 409 3 0 796 0
[pid=12198] ppid=12175 vsize=5356 CPUtime=0
/proc/12198/stat : 12198 (sh) S 12175 12175 11136 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19915940 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12198/statm: 1339 232 193 169 0 50 0
[pid=12199] ppid=12198 vsize=340668 CPUtime=1782.73
/proc/12199/stat : 12199 (minisat) R 12198 12175 11136 0 -1 4194304 82935 0 0 0 178208 65 0 0 25 0 1 0 19915940 348844032 82921 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/12199/statm: 85167 82921 76 150 0 85014 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 362892

[startup+1804.82 s]
/proc/loadavg: 1.00 1.01 1.20 2/85 12566
/proc/meminfo: memFree=439952/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.36
/proc/12175/stat : 12175 (sugar) R 12173 12175 11136 0 -1 4194304 1423 24267 0 2 6 7 1610 113 17 0 1 0 19914178 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 231962547241 0 0 4224 16386 0 0 0 17 1 0 0
/proc/12175/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 17.36
Current children cumulated vsize (KiB) 16868
#
############


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

[startup+1804.82 s]
/proc/loadavg: 1.00 1.01 1.20 2/85 12566
/proc/meminfo: memFree=439952/2055920 swapFree=4192952/4192956
[pid=12175] ppid=12173 vsize=16868 CPUtime=17.36
/proc/12175/stat : 12175 (sugar) R 12173 12175 11136 0 -1 4194304 1423 24267 0 2 6 7 1610 113 17 0 1 0 19914178 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 231962547241 0 0 4224 16386 0 0 0 17 1 0 0
/proc/12175/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 17.36
Current children cumulated vsize (KiB) 16868

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1782.66
#  lost CPU user time (s): 1782.08
#  lost CPU system time (s): 0.58

Real time (s): 1804.84
CPU time (s): 1800.06
CPU user time (s): 1798.25
CPU system time (s): 1.80481
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 891324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1715
system time used= 1.22481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25749
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14168
involuntary context switches= 14368

runsolver used 2.09068 second user time and 4.97224 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-11 18:08:36
IDJOB=2062293
IDBENCH=53886
IDSOLVER=739
FILE ID=node71/2062293-1247328516
PBS_JOBID= 9506489
Free space on /tmp= 66380 MiB

SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/allsquares/normalized-squares-37-37.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2062293-1247328516/watcher-2062293-1247328516 -o /tmp/evaluation-result-2062293-1247328516/solver-2062293-1247328516 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2062293-1247328516.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 910e7d5320a57af4b8daccf7478c49bc
RANDOM SEED=1294333399

node71.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.222
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.222
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:        937864 kB
Buffers:         49876 kB
Cached:         996504 kB
SwapCached:          4 kB
Active:         146556 kB
Inactive:       919072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        937864 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            2136 kB
Writeback:           0 kB
Mapped:          29916 kB
Slab:            37712 kB
Committed_AS:   230364 kB
PageTables:       1816 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= 66380 MiB
End job on node71 at 2009-07-11 18:38:43