Trace number 1778820

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
ttsth-5-0 2009-03-19 (16 threads)? (MO) 814.255 53.7958

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
MD5SUM25c7914ccc82f6f574febbd03924feed
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark19
Satisfiable
(Un)Satisfiability was proved
Number of variables16239
Number of clauses48332
Sum of the clauses size112772
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 232220
Number of clauses of size 316110
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.06	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778820-1244945747.cnf 
0.00/0.06	c Using SATTIMEOUT of 10000
0.00/0.06	c Using SATRAM of 2047
0.00/0.06	c Size of subset node = 16
0.00/0.06	c Variables = 16239
0.00/0.06	c Clauses = 48332
0.00/0.06	c Literals = 112772
0.00/0.06	c Reduced size:
0.00/0.06	c Variables = 16239
0.00/0.06	c Clauses = 48308
0.00/0.06	c Literals = 112717
0.00/0.06	c a2
0.10/0.11	c a1
1.58/1.63	c Independent sub-problems = 1
1.58/1.63	c Sub-problem with 16229 variables and 48308 clauses
1.58/1.63	c using permutation method 4
1.58/1.63	c count = 1
1.58/1.63	c Ordering finished 1.600 seconds
1.58/1.63	c mapped 1.610 seconds
1.58/1.63	c permuted 1.610 seconds
1.58/1.63	c about to sort
1.58/1.64	c sorted
2.10/2.13	c clauses now 48308
2.10/2.13	c init finished 1.940 seconds
2.10/2.13	c tree built 2.120 seconds
2.10/2.13	c 
2.10/2.13	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.10/2.13	c ---------------------------------|----------------------------------|------------------------------------------------------
2.10/2.13	c ................................ | ..........                       |                        2.1           0.0            7
2.10/2.13	c ................................ | ..........                     1 |                        2.1           0.5            8
2.10/2.13	c ................................ | ..........                     2 |                        2.1           0.9            8
2.10/2.13	c ................................ | ..........                     3 |                        2.1           1.4            8
2.10/2.13	c ................................ | ..........                     4 |                        2.1           1.9            8
2.10/2.13	c ................................ | ..........                     5 |                        2.1           2.4            8
2.10/2.13	c *............................... | ..........                     6 | 1                      2.1           2.8           12
2.10/2.15	c *............................... | ..........                  1000 | 2                      2.2         450.5          102
261.55/18.73	c *............................... | ..........                607000 | 40509                200.0        3034.7     24256919
474.86/32.20	c *............................... | ..........                867000 | 63871                400.1        2167.1     50941288
685.19/45.56	c *............................... | ..........               1099000 | 85463                600.2        1831.0     75663017

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1778820-1244945747/watcher-1778820-1244945747 -o /tmp/evaluation-result-1778820-1244945747/solver-1778820-1244945747 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778820-1244945747.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 14.27 13.25 12.37 2/184 21629
/proc/meminfo: memFree=19051484/36427776 swapFree=5020/7788
[pid=21629] ppid=21627 vsize=1540 CPUtime=0
/proc/21629/stat : 21629 (ttsth-5-0) R 21627 21629 15497 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 653881108 1576960 239 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 385 240 75 177 0 207 0

[startup+0.080981 s]
/proc/loadavg: 14.27 13.25 12.37 2/184 21629
/proc/meminfo: memFree=19051484/36427776 swapFree=5020/7788
[pid=21629] ppid=21627 vsize=7636 CPUtime=0.08
/proc/21629/stat : 21629 (ttsth-5-0) R 21627 21629 15497 0 -1 4202496 1773 0 0 0 8 0 0 0 20 0 1 0 653881108 7819264 1729 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134749353 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 1909 1729 76 177 0 1731 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7636

[startup+0.100952 s]
/proc/loadavg: 14.27 13.25 12.37 2/184 21629
/proc/meminfo: memFree=19051484/36427776 swapFree=5020/7788
[pid=21629] ppid=21627 vsize=7636 CPUtime=0.1
/proc/21629/stat : 21629 (ttsth-5-0) R 21627 21629 15497 0 -1 4202496 1773 0 0 0 10 0 0 0 20 0 1 0 653881108 7819264 1729 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134680208 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 1909 1729 76 177 0 1731 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636

[startup+0.30097 s]
/proc/loadavg: 14.27 13.25 12.37 2/184 21629
/proc/meminfo: memFree=19051484/36427776 swapFree=5020/7788
[pid=21629] ppid=21627 vsize=9924 CPUtime=0.28
/proc/21629/stat : 21629 (ttsth-5-0) R 21627 21629 15497 0 -1 4202496 2450 0 0 0 28 0 0 0 20 0 1 0 653881108 10162176 2310 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 2481 2310 77 177 0 2303 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9924

[startup+0.700994 s]
/proc/loadavg: 14.27 13.25 12.37 2/184 21629
/proc/meminfo: memFree=19051484/36427776 swapFree=5020/7788
[pid=21629] ppid=21627 vsize=10056 CPUtime=0.68
/proc/21629/stat : 21629 (ttsth-5-0) R 21627 21629 15497 0 -1 4202496 2487 0 0 0 68 0 0 0 20 0 1 0 653881108 10297344 2347 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 2514 2347 77 177 0 2336 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10056

[startup+1.50105 s]
/proc/loadavg: 14.27 13.25 12.37 2/185 21630
/proc/meminfo: memFree=19042432/36427776 swapFree=5236/17388
[pid=21629] ppid=21627 vsize=10552 CPUtime=1.48
/proc/21629/stat : 21629 (ttsth-5-0) R 21627 21629 15497 0 -1 4202496 2583 0 0 0 148 0 0 0 20 0 1 0 653881108 10805248 2443 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 2638 2443 77 177 0 2460 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10552

[startup+3.10458 s]
/proc/loadavg: 14.27 13.25 12.37 2/185 21630
/proc/meminfo: memFree=18862788/36427776 swapFree=5116/196988
[pid=21629] ppid=21627 vsize=337380 CPUtime=17.21
/proc/21629/stat : 21629 (ttsth-5-0) S 21627 21629 15497 0 -1 4202496 53488 0 0 0 478 1243 0 0 20 0 17 0 653881108 345477120 53300 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 84345 53300 95 177 0 84167 0
Current children cumulated CPU time (s) 17.21
Current children cumulated vsize (KiB) 337380

[startup+6.30573 s]
/proc/loadavg: 14.41 13.29 12.39 17/201 21646
/proc/meminfo: memFree=18799200/36427776 swapFree=4692/262760
[pid=21629] ppid=21627 vsize=400668 CPUtime=67.11
/proc/21629/stat : 21629 (ttsth-5-0) S 21627 21629 15497 0 -1 4202496 69164 0 0 0 2239 4472 0 0 20 0 17 0 653881108 410284032 68976 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 100167 68977 95 177 0 99989 0
[pid=21629/tid=21631] ppid=21627 vsize=400668 CPUtime=4.14
/proc/21629/task/21631/stat : 21631 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 6373 0 0 0 408 6 0 0 20 0 17 0 653881321 410284032 68978 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21629/tid=21632] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21632/stat : 21632 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 789 0 0 0 112 294 0 0 20 0 17 0 653881321 410284032 68978 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21629/tid=21633] ppid=21627 vsize=400668 CPUtime=4.04
/proc/21629/task/21633/stat : 21633 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 1611 0 0 0 126 278 0 0 20 0 17 0 653881321 410284032 68979 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21629/tid=21634] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21634/stat : 21634 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 609 0 0 0 104 302 0 0 20 0 17 0 653881321 410284032 68979 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21629/tid=21635] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21635/stat : 21635 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 789 0 0 0 116 290 0 0 20 0 17 0 653881321 410284032 68979 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21629/tid=21636] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21636/stat : 21636 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 828 0 0 0 106 300 0 0 20 0 17 0 653881321 410284032 68979 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21629/tid=21637] ppid=21627 vsize=400668 CPUtime=4.04
/proc/21629/task/21637/stat : 21637 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 849 0 0 0 120 284 0 0 20 0 17 0 653881321 410284032 68979 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21629/tid=21638] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21638/stat : 21638 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 1509 0 0 0 118 288 0 0 20 0 17 0 653881321 410284032 68979 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21629/tid=21639] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21639/stat : 21639 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 630 0 0 0 110 296 0 0 20 0 17 0 653881322 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21629/tid=21640] ppid=21627 vsize=400668 CPUtime=4.04
/proc/21629/task/21640/stat : 21640 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 757 0 0 0 92 312 0 0 20 0 17 0 653881322 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134680285 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21629/tid=21641] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21641/stat : 21641 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 732 0 0 0 98 308 0 0 20 0 17 0 653881322 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21629/tid=21642] ppid=21627 vsize=400668 CPUtime=4.04
/proc/21629/task/21642/stat : 21642 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 1099 0 0 0 96 308 0 0 20 0 17 0 653881322 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21629/tid=21643] ppid=21627 vsize=400668 CPUtime=4.04
/proc/21629/task/21643/stat : 21643 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 612 0 0 0 94 310 0 0 20 0 17 0 653881322 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21629/tid=21644] ppid=21627 vsize=400668 CPUtime=3.96
/proc/21629/task/21644/stat : 21644 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 1764 0 0 0 124 272 0 0 20 0 17 0 653881322 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21629/tid=21645] ppid=21627 vsize=400668 CPUtime=4.06
/proc/21629/task/21645/stat : 21645 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 1391 0 0 0 116 290 0 0 20 0 17 0 653881323 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21629/tid=21646] ppid=21627 vsize=400668 CPUtime=4.04
/proc/21629/task/21646/stat : 21646 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 754 0 0 0 102 302 0 0 20 0 17 0 653881323 410284032 68980 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 67.11
Current children cumulated vsize (KiB) 400668

[startup+12.7049 s]
/proc/loadavg: 14.45 13.32 12.41 17/201 21646
/proc/meminfo: memFree=18622000/36427776 swapFree=4692/439980
[pid=21629] ppid=21627 vsize=587136 CPUtime=167.03
/proc/21629/stat : 21629 (ttsth-5-0) S 21627 21629 15497 0 -1 4202496 113435 0 0 0 8214 8489 0 0 20 0 17 0 653881108 601227264 113247 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 146784 113247 95 177 0 146606 0
[pid=21629/tid=21631] ppid=21627 vsize=587136 CPUtime=10.56
/proc/21629/task/21631/stat : 21631 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 12841 0 0 0 1040 16 0 0 20 0 17 0 653881321 601227264 113247 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21629/tid=21632] ppid=21627 vsize=587136 CPUtime=10.32
/proc/21629/task/21632/stat : 21632 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 1558 0 0 0 434 598 0 0 20 0 17 0 653881321 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21629/tid=21633] ppid=21627 vsize=587136 CPUtime=10.28
/proc/21629/task/21633/stat : 21633 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 5697 0 0 0 512 516 0 0 20 0 17 0 653881321 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21629/tid=21634] ppid=21627 vsize=587136 CPUtime=10.24
/proc/21629/task/21634/stat : 21634 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 1914 0 0 0 426 598 0 0 20 0 17 0 653881321 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21629/tid=21635] ppid=21627 vsize=587136 CPUtime=10.28
/proc/21629/task/21635/stat : 21635 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 2736 0 0 0 446 582 0 0 20 0 17 0 653881321 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21629/tid=21636] ppid=21627 vsize=587136 CPUtime=10.3
/proc/21629/task/21636/stat : 21636 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 4254 0 0 0 516 514 0 0 20 0 17 0 653881321 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21629/tid=21637] ppid=21627 vsize=587136 CPUtime=10.26
/proc/21629/task/21637/stat : 21637 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 2489 0 0 0 456 570 0 0 20 0 17 0 653881321 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21629/tid=21638] ppid=21627 vsize=587136 CPUtime=10.32
/proc/21629/task/21638/stat : 21638 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 3963 0 0 0 466 566 0 0 20 0 17 0 653881321 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21629/tid=21639] ppid=21627 vsize=587136 CPUtime=10.32
/proc/21629/task/21639/stat : 21639 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 4986 0 0 0 514 518 0 0 20 0 17 0 653881322 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21629/tid=21640] ppid=21627 vsize=587136 CPUtime=10.3
/proc/21629/task/21640/stat : 21640 (ttsth-5-0) S 21627 21629 15497 0 -1 4202560 3917 0 0 0 460 570 0 0 20 0 17 0 653881322 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=21629/tid=21641] ppid=21627 vsize=587136 CPUtime=10.28
/proc/21629/task/21641/stat : 21641 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 2423 0 0 0 432 596 0 0 20 0 17 0 653881322 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21629/tid=21642] ppid=21627 vsize=587136 CPUtime=10.32
/proc/21629/task/21642/stat : 21642 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 3897 0 0 0 484 548 0 0 20 0 17 0 653881322 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21629/tid=21643] ppid=21627 vsize=587136 CPUtime=10.28
/proc/21629/task/21643/stat : 21643 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 3129 0 0 0 418 610 0 0 20 0 17 0 653881322 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21629/tid=21644] ppid=21627 vsize=587136 CPUtime=10.08
/proc/21629/task/21644/stat : 21644 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 3891 0 0 0 474 534 0 0 20 0 17 0 653881322 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21629/tid=21645] ppid=21627 vsize=587136 CPUtime=10.32
/proc/21629/task/21645/stat : 21645 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 5104 0 0 0 498 534 0 0 20 0 17 0 653881323 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21629/tid=21646] ppid=21627 vsize=587136 CPUtime=10.32
/proc/21629/task/21646/stat : 21646 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 2566 0 0 0 444 588 0 0 20 0 17 0 653881323 601227264 113248 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 167.03
Current children cumulated vsize (KiB) 587136

[startup+25.502 s]
/proc/loadavg: 14.80 13.45 12.46 17/201 21646
/proc/meminfo: memFree=18163424/36427776 swapFree=4692/897344
[pid=21629] ppid=21627 vsize=1067164 CPUtime=368.79
/proc/21629/stat : 21629 (ttsth-5-0) S 21627 21629 15497 0 -1 4202496 225704 0 0 0 25394 11485 0 0 20 0 17 0 653881108 1092775936 225516 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 266791 225516 95 177 0 266613 0
[pid=21629/tid=21631] ppid=21627 vsize=1067164 CPUtime=23.34
/proc/21629/task/21631/stat : 21631 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 22383 0 0 0 2302 32 0 0 20 0 17 0 653881321 1092775936 225517 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21629/tid=21632] ppid=21627 vsize=1067164 CPUtime=22.96
/proc/21629/task/21632/stat : 21632 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 7475 0 0 0 1500 796 0 0 20 0 17 0 653881321 1092775936 225517 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21629/tid=21633] ppid=21627 vsize=1067164 CPUtime=22.88
/proc/21629/task/21633/stat : 21633 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 14586 0 0 0 1558 730 0 0 20 0 17 0 653881321 1092775936 225517 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21629/tid=21634] ppid=21627 vsize=1067164 CPUtime=22.8
/proc/21629/task/21634/stat : 21634 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 9564 0 0 0 1474 806 0 0 20 0 17 0 653881321 1092775936 225518 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21629/tid=21635] ppid=21627 vsize=1067164 CPUtime=22.88
/proc/21629/task/21635/stat : 21635 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 7138 0 0 0 1488 800 0 0 20 0 17 0 653881321 1092775936 225518 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21629/tid=21636] ppid=21627 vsize=1067164 CPUtime=22.92
/proc/21629/task/21636/stat : 21636 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 11521 0 0 0 1600 692 0 0 20 0 17 0 653881321 1092775936 225518 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134680208 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21629/tid=21637] ppid=21627 vsize=1067164 CPUtime=22.8
/proc/21629/task/21637/stat : 21637 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 11021 0 0 0 1484 796 0 0 20 0 17 0 653881321 1092775936 225519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21629/tid=21638] ppid=21627 vsize=1067164 CPUtime=22.96
/proc/21629/task/21638/stat : 21638 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 10142 0 0 0 1536 760 0 0 20 0 17 0 653881321 1092775936 225520 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21629/tid=21639] ppid=21627 vsize=1067164 CPUtime=22.96
/proc/21629/task/21639/stat : 21639 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 15168 0 0 0 1612 684 0 0 20 0 17 0 653881322 1092775936 225520 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21629/tid=21640] ppid=21627 vsize=1067164 CPUtime=22.9
/proc/21629/task/21640/stat : 21640 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 12428 0 0 0 1540 750 0 0 20 0 17 0 653881322 1092775936 225520 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21629/tid=21641] ppid=21627 vsize=1067164 CPUtime=22.9
/proc/21629/task/21641/stat : 21641 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 7422 0 0 0 1490 800 0 0 20 0 17 0 653881322 1092775936 225520 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21629/tid=21642] ppid=21627 vsize=1067164 CPUtime=22.98
/proc/21629/task/21642/stat : 21642 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 9703 0 0 0 1560 738 0 0 20 0 17 0 653881322 1092775936 225522 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21629/tid=21643] ppid=21627 vsize=1067164 CPUtime=22.88
/proc/21629/task/21643/stat : 21643 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 7000 0 0 0 1452 836 0 0 20 0 17 0 653881322 1092775936 225524 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21629/tid=21644] ppid=21627 vsize=1067164 CPUtime=22.46
/proc/21629/task/21644/stat : 21644 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 10939 0 0 0 1538 708 0 0 20 0 17 0 653881322 1092775936 225525 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21629/tid=21645] ppid=21627 vsize=1067164 CPUtime=22.94
/proc/21629/task/21645/stat : 21645 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 12482 0 0 0 1556 738 0 0 20 0 17 0 653881323 1092775936 225525 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21629/tid=21646] ppid=21627 vsize=1067164 CPUtime=22.94
/proc/21629/task/21646/stat : 21646 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 8664 0 0 0 1506 788 0 0 20 0 17 0 653881323 1092775936 225525 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 368.79
Current children cumulated vsize (KiB) 1067164

[startup+51.1031 s]
/proc/loadavg: 15.27 13.67 12.56 17/201 21646
/proc/meminfo: memFree=17290408/36427776 swapFree=4692/1769900
[pid=21629] ppid=21627 vsize=2005040 CPUtime=774.04
/proc/21629/stat : 21629 (ttsth-5-0) S 21627 21629 15497 0 -1 4202496 445704 0 0 0 62539 14865 0 0 20 0 17 0 653881108 2053160960 445516 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 501260 445516 95 177 0 501082 0
[pid=21629/tid=21631] ppid=21627 vsize=2005040 CPUtime=48.91
/proc/21629/task/21631/stat : 21631 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 39105 0 0 0 4835 56 0 0 20 0 17 0 653881321 2053160960 445516 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21629/tid=21632] ppid=21627 vsize=2005040 CPUtime=48.35
/proc/21629/task/21632/stat : 21632 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 18646 0 0 0 3805 1030 0 0 20 0 17 0 653881321 2053160960 445517 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21629/tid=21633] ppid=21627 vsize=2005040 CPUtime=48.2
/proc/21629/task/21633/stat : 21633 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 27563 0 0 0 3830 990 0 0 20 0 17 0 653881321 2053160960 445517 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21629/tid=21634] ppid=21627 vsize=2005040 CPUtime=48.16
/proc/21629/task/21634/stat : 21634 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 25591 0 0 0 3806 1010 0 0 20 0 17 0 653881321 2053160960 445518 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21629/tid=21635] ppid=21627 vsize=2005040 CPUtime=48.13
/proc/21629/task/21635/stat : 21635 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 17037 0 0 0 3737 1076 0 0 20 0 17 0 653881321 2053160960 445519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21629/tid=21636] ppid=21627 vsize=2005040 CPUtime=48.29
/proc/21629/task/21636/stat : 21636 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 24647 0 0 0 3925 904 0 0 20 0 17 0 653881321 2053160960 445519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21629/tid=21637] ppid=21627 vsize=2005040 CPUtime=48.08
/proc/21629/task/21637/stat : 21637 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 31293 0 0 0 3776 1032 0 0 20 0 17 0 653881321 2053160960 445519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21629/tid=21638] ppid=21627 vsize=2005040 CPUtime=48.36
/proc/21629/task/21638/stat : 21638 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 21689 0 0 0 3860 976 0 0 20 0 17 0 653881321 2053160960 445519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21629/tid=21639] ppid=21627 vsize=2005040 CPUtime=48.33
/proc/21629/task/21639/stat : 21639 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 35007 0 0 0 3935 898 0 0 20 0 17 0 653881322 2053160960 445519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21629/tid=21640] ppid=21627 vsize=2005040 CPUtime=48.25
/proc/21629/task/21640/stat : 21640 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 28659 0 0 0 3861 964 0 0 20 0 17 0 653881322 2053160960 445519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21629/tid=21641] ppid=21627 vsize=2005040 CPUtime=48.3
/proc/21629/task/21641/stat : 21641 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 16440 0 0 0 3840 990 0 0 20 0 17 0 653881322 2053160960 445519 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21629/tid=21642] ppid=21627 vsize=2005040 CPUtime=48.33
/proc/21629/task/21642/stat : 21642 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 21937 0 0 0 3883 950 0 0 20 0 17 0 653881322 2053160960 445520 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21629/tid=21643] ppid=21627 vsize=2005040 CPUtime=48.19
/proc/21629/task/21643/stat : 21643 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 15682 0 0 0 3759 1060 0 0 20 0 17 0 653881322 2053160960 445521 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21629/tid=21644] ppid=21627 vsize=2005040 CPUtime=47.31
/proc/21629/task/21644/stat : 21644 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 25588 0 0 0 3815 916 0 0 20 0 17 0 653881322 2053160960 445521 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134591126 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21629/tid=21645] ppid=21627 vsize=2005040 CPUtime=48.26
/proc/21629/task/21645/stat : 21645 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 26163 0 0 0 3850 976 0 0 20 0 17 0 653881323 2053160960 445522 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21629/tid=21646] ppid=21627 vsize=2005040 CPUtime=48.36
/proc/21629/task/21646/stat : 21646 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 22590 0 0 0 3830 1006 0 0 20 0 17 0 653881323 2053160960 445522 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 774.04
Current children cumulated vsize (KiB) 2005040



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+53.605 s]
/proc/loadavg: 15.27 13.67 12.56 17/201 21646
/proc/meminfo: memFree=17183520/36427776 swapFree=4692/1876448
[pid=21629] ppid=21627 vsize=2098356 CPUtime=813.92
/proc/21629/stat : 21629 (ttsth-5-0) S 21627 21629 15497 0 -1 4202496 467420 0 0 0 66267 15125 0 0 20 0 17 0 653881108 2148716544 467233 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 524589 467233 95 177 0 524411 0
[pid=21629/tid=21631] ppid=21627 vsize=2098356 CPUtime=51.41
/proc/21629/task/21631/stat : 21631 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 40406 0 0 0 5083 58 0 0 20 0 17 0 653881321 2148716544 467234 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21629/tid=21632] ppid=21627 vsize=2098356 CPUtime=50.84
/proc/21629/task/21632/stat : 21632 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 19631 0 0 0 4032 1052 0 0 20 0 17 0 653881321 2148716544 467235 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21629/tid=21633] ppid=21627 vsize=2098356 CPUtime=50.71
/proc/21629/task/21633/stat : 21633 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 29356 0 0 0 4063 1008 0 0 20 0 17 0 653881321 2148716544 467235 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21629/tid=21634] ppid=21627 vsize=2098356 CPUtime=50.65
/proc/21629/task/21634/stat : 21634 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 27388 0 0 0 4039 1026 0 0 20 0 17 0 653881321 2148716544 467235 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21629/tid=21635] ppid=21627 vsize=2098356 CPUtime=50.62
/proc/21629/task/21635/stat : 21635 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 18118 0 0 0 3958 1104 0 0 20 0 17 0 653881321 2148716544 467235 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134680505 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21629/tid=21636] ppid=21627 vsize=2098356 CPUtime=50.78
/proc/21629/task/21636/stat : 21636 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 25838 0 0 0 4158 920 0 0 20 0 17 0 653881321 2148716544 467235 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21629/tid=21637] ppid=21627 vsize=2098356 CPUtime=50.56
/proc/21629/task/21637/stat : 21637 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 33195 0 0 0 4004 1052 0 0 20 0 17 0 653881321 2148716544 467235 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21629/tid=21638] ppid=21627 vsize=2098356 CPUtime=50.86
/proc/21629/task/21638/stat : 21638 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 23039 0 0 0 4092 994 0 0 20 0 17 0 653881321 2148716544 467236 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21629/tid=21639] ppid=21627 vsize=2098356 CPUtime=50.83
/proc/21629/task/21639/stat : 21639 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 36674 0 0 0 4173 910 0 0 20 0 17 0 653881322 2148716544 467237 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21629/tid=21640] ppid=21627 vsize=2098356 CPUtime=50.76
/proc/21629/task/21640/stat : 21640 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 30089 0 0 0 4098 978 0 0 20 0 17 0 653881322 2148716544 467237 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21629/tid=21641] ppid=21627 vsize=2098356 CPUtime=50.79
/proc/21629/task/21641/stat : 21641 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 17336 0 0 0 4081 998 0 0 20 0 17 0 653881322 2148716544 467237 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21629/tid=21642] ppid=21627 vsize=2098356 CPUtime=50.83
/proc/21629/task/21642/stat : 21642 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 23048 0 0 0 4121 962 0 0 20 0 17 0 653881322 2148716544 467237 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21629/tid=21643] ppid=21627 vsize=2098356 CPUtime=50.7
/proc/21629/task/21643/stat : 21643 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 16691 0 0 0 3988 1082 0 0 20 0 17 0 653881322 2148716544 467237 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134590489 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21629/tid=21644] ppid=21627 vsize=2098356 CPUtime=49.75
/proc/21629/task/21644/stat : 21644 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 27123 0 0 0 4045 930 0 0 20 0 17 0 653881322 2148716544 467237 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134680737 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21629/tid=21645] ppid=21627 vsize=2098356 CPUtime=50.76
/proc/21629/task/21645/stat : 21645 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 27389 0 0 0 4084 992 0 0 20 0 17 0 653881323 2148716544 467237 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21629/tid=21646] ppid=21627 vsize=2098356 CPUtime=50.84
/proc/21629/task/21646/stat : 21646 (ttsth-5-0) R 21627 21629 15497 0 -1 4202560 24031 0 0 0 4056 1028 0 0 20 0 17 0 653881323 2148716544 467239 18446744073709551615 134512640 135237372 4291410800 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 813.92
Current children cumulated vsize (KiB) 2098356

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

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

[startup+53.7253 s]
/proc/loadavg: 15.27 13.67 12.56 17/201 21646
/proc/meminfo: memFree=17183520/36427776 swapFree=4692/1876448
[pid=21629] ppid=21627 vsize=0 CPUtime=814.17
/proc/21629/stat : 21629 (ttsth-5-0) Z 21627 21629 15497 0 -1 4203532 467482 0 0 0 66279 15138 0 0 20 0 2 0 653881108 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/21629/statm: 0 0 0 0 0 0 0
[pid=21629/tid=21646] ppid=21627 vsize=0 CPUtime=50.95
/proc/21629/task/21646/stat : 21646 (ttsth-5-0) R 21627 21629 15497 0 -1 4203588 24036 0 0 0 4057 1038 0 0 20 0 2 0 653881323 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 814.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 53.7958
CPU time (s): 814.255
CPU user time (s): 662.797
CPU system time (s): 151.457
CPU usage (%): 1513.6
Max. virtual memory (cumulated for all children) (KiB): 2098356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 662.797
system time used= 151.457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467482
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96606
involuntary context switches= 1913

runsolver used 0.260016 second user time and 0.776048 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:15:47
IDJOB=1778820
IDBENCH=70768
IDSOLVER=634
FILE ID=xenhost3-49/1778820-1244945747
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor032.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778820-1244945747/watcher-1778820-1244945747 -o /tmp/evaluation-result-1778820-1244945747/solver-1778820-1244945747 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778820-1244945747.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 25c7914ccc82f6f574febbd03924feed
RANDOM SEED= 996289854

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19051484 kB
Buffers:        479196 kB
Cached:       14116468 kB
SwapCached:          0 kB
Active:        4125124 kB
Inactive:     10478908 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1344 kB
Writeback:           0 kB
AnonPages:        7788 kB
Mapped:           4356 kB
Slab:           719660 kB
SReclaimable:   692908 kB
SUnreclaim:      26752 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-14 04:16:43