Trace number 1779375

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) 875.067 60.4987

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-16-s100.cnf
MD5SUM0b8996f2f5c4b978a2df4466203c2361
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark77.15
Satisfiable
(Un)Satisfiability was proved
Number of variables31248
Number of clauses93904
Sum of the clauses size221062
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260522
Number of clauses of size 333318
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.10/0.13	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779375-1244952876.cnf 
0.10/0.13	c Using SATTIMEOUT of 10000
0.10/0.13	c Using SATRAM of 2047
0.10/0.13	c Size of subset node = 16
0.10/0.13	c Variables = 31248
0.10/0.13	c Clauses = 93904
0.10/0.13	c Literals = 221062
0.10/0.13	c Reduced size:
0.10/0.13	c Variables = 31248
0.10/0.13	c Clauses = 93420
0.10/0.13	c Literals = 219778
0.10/0.13	c a2
0.20/0.24	c a1
3.80/3.86	c Independent sub-problems = 1
3.80/3.86	c Sub-problem with 31100 variables and 93420 clauses
3.80/3.86	c using permutation method 4
3.80/3.86	c count = 1
3.80/3.86	c Ordering finished 3.830 seconds
3.80/3.86	c mapped 3.850 seconds
3.80/3.86	c permuted 3.850 seconds
3.80/3.86	c about to sort
3.80/3.88	c sorted
4.78/4.82	c clauses now 93420
4.78/4.82	c init finished 4.470 seconds
4.78/4.82	c tree built 4.800 seconds
4.78/4.82	c 
4.78/4.82	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.78/4.82	c ---------------------------------|----------------------------------|------------------------------------------------------
4.78/4.82	c ................................ | ..........                       |                        4.8           0.0             
4.78/4.82	c ................................ | ..........                     1 |                        4.8           0.2             
4.78/4.82	c ................................ | ..........                     2 |                        4.8           0.4             
4.78/4.82	c ................................ | ..........                     3 |                        4.8           0.6             
4.78/4.82	c ................................ | ..........                     4 |                        4.8           0.8             
4.78/4.82	c ................................ | ..........                     5 |                        4.8           1.0             
4.78/4.83	c ................................ | ..........                  1000 | 10                     4.9         203.7          170
264.71/21.56	c ................................ | ..........                591000 | 17692                200.2        2952.3     23638444
494.66/36.21	c ................................ | ..........                951000 | 29149                400.1        2377.0     47028837
719.91/50.52	c ................................ | ..........               1198000 | 38088                600.4        1995.2     69330565

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-1779375-1244952876/watcher-1779375-1244952876 -o /tmp/evaluation-result-1779375-1244952876/solver-1779375-1244952876 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779375-1244952876.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: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=1540 CPUtime=0
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 654593991 1576960 232 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 385 232 75 177 0 207 0

[startup+0.107878 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=7792 CPUtime=0.1
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 1753 0 0 0 10 0 0 0 20 0 1 0 654593991 7979008 1710 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134534215 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 1948 1710 75 177 0 1770 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7792

[startup+0.203909 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=13976 CPUtime=0.2
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 3293 0 0 0 20 0 0 0 20 0 1 0 654593991 14311424 3249 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134519996 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 3494 3249 76 177 0 3316 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13976

[startup+0.303913 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=15024 CPUtime=0.28
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 3775 0 0 0 26 2 0 0 20 0 1 0 654593991 15384576 3547 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 3756 3549 77 177 0 3578 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15024

[startup+0.703909 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=18464 CPUtime=0.68
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 4618 0 0 0 66 2 0 0 20 0 1 0 654593991 18907136 4390 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134749343 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 4616 4390 77 177 0 4438 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18464

[startup+1.504 s]
/proc/loadavg: 15.83 14.89 12.22 2/185 23672
/proc/meminfo: memFree=19027652/36427776 swapFree=4656/26284
[pid=23671] ppid=23669 vsize=18620 CPUtime=1.48
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 4683 0 0 0 146 2 0 0 20 0 1 0 654593991 19066880 4455 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134555272 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 4655 4455 77 177 0 4477 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18620

[startup+3.10411 s]
/proc/loadavg: 14.64 14.66 12.16 2/185 23672
/proc/meminfo: memFree=19025864/36427776 swapFree=4620/26928
[pid=23671] ppid=23669 vsize=19476 CPUtime=3.1
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 4851 0 0 0 306 4 0 0 20 0 1 0 654593991 19943424 4623 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134600960 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 4869 4623 77 177 0 4691 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 19476

[startup+6.30444 s]
/proc/loadavg: 14.64 14.66 12.16 17/201 23688
/proc/meminfo: memFree=18664828/36427776 swapFree=4692/390700
[pid=23671] ppid=23669 vsize=527124 CPUtime=27.46
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 101491 0 0 0 950 1796 0 0 20 0 17 0 654593991 539774976 101079 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 131781 101080 95 177 0 131603 0
[pid=23671/tid=23673] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2285 0 0 0 126 16 0 0 20 0 17 0 654594473 539774976 101081 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 471 0 0 0 22 120 0 0 20 0 17 0 654594473 539774976 101081 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 597 0 0 0 28 112 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 440 0 0 0 20 120 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=527124 CPUtime=1.38
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 431 0 0 0 28 110 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 480 0 0 0 34 106 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 647 0 0 0 32 110 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 696 0 0 0 34 108 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 393 0 0 0 32 108 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 448 0 0 0 18 124 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 473 0 0 0 22 120 0 0 20 0 17 0 654594473 539774976 101084 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 476 0 0 0 16 124 0 0 20 0 17 0 654594473 539774976 101084 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 405 0 0 0 26 116 0 0 20 0 17 0 654594474 539774976 101084 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 502 0 0 0 30 110 0 0 20 0 17 0 654594474 539774976 101085 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134590146 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 428 0 0 0 16 124 0 0 20 0 17 0 654594474 539774976 101086 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 393 0 0 0 14 126 0 0 20 0 17 0 654594474 539774976 101086 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 27.46
Current children cumulated vsize (KiB) 527124

[startup+12.705 s]
/proc/loadavg: 14.70 14.67 12.19 17/201 23688
/proc/meminfo: memFree=18482584/36427776 swapFree=4692/572360
[pid=23671] ppid=23669 vsize=707388 CPUtime=126.99
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 144683 0 0 0 6201 6498 0 0 20 0 17 0 654593991 724365312 144271 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 176847 144272 95 177 0 176669 0
[pid=23671/tid=23673] ppid=23669 vsize=707388 CPUtime=7.82
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8138 0 0 0 758 24 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=707388 CPUtime=7.68
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3740 0 0 0 326 442 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3145 0 0 0 328 432 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=707388 CPUtime=7.58
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2732 0 0 0 316 442 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=707388 CPUtime=7.58
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2917 0 0 0 342 416 0 0 20 0 17 0 654594473 724365312 144273 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3361 0 0 0 340 420 0 0 20 0 17 0 654594473 724365312 144274 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3204 0 0 0 334 426 0 0 20 0 17 0 654594473 724365312 144275 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=707388 CPUtime=7.62
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2900 0 0 0 334 428 0 0 20 0 17 0 654594473 724365312 144275 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2555 0 0 0 350 414 0 0 20 0 17 0 654594473 724365312 144276 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134680720 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3330 0 0 0 350 414 0 0 20 0 17 0 654594473 724365312 144276 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=707388 CPUtime=7.66
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3165 0 0 0 340 426 0 0 20 0 17 0 654594473 724365312 144276 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=707388 CPUtime=7.66
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2908 0 0 0 354 412 0 0 20 0 17 0 654594473 724365312 144277 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2251 0 0 0 330 434 0 0 20 0 17 0 654594474 724365312 144277 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=707388 CPUtime=7.48
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2755 0 0 0 316 432 0 0 20 0 17 0 654594474 724365312 144277 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2537 0 0 0 310 450 0 0 20 0 17 0 654594474 724365312 144278 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3119 0 0 0 320 444 0 0 20 0 17 0 654594474 724365312 144278 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 126.99
Current children cumulated vsize (KiB) 707388

[startup+25.5051 s]
/proc/loadavg: 14.90 14.72 12.23 17/201 23693
/proc/meminfo: memFree=18128588/36427776 swapFree=4692/925500
[pid=23671] ppid=23669 vsize=1073096 CPUtime=327.09
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 231580 0 0 0 20088 12621 0 0 20 0 17 0 654593991 1098850304 231168 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 268274 231168 95 177 0 268096 0
[pid=23671/tid=23673] ppid=23669 vsize=1073096 CPUtime=20.6
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16547 0 0 0 2022 38 0 0 20 0 17 0 654594473 1098850304 231168 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=1073096 CPUtime=20.18
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 9012 0 0 0 1142 876 0 0 20 0 17 0 654594473 1098850304 231169 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=1073096 CPUtime=19.9
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7663 0 0 0 1126 864 0 0 20 0 17 0 654594473 1098850304 231169 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7573 0 0 0 1150 860 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=1073096 CPUtime=20.06
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7365 0 0 0 1184 822 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 9860 0 0 0 1182 828 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8270 0 0 0 1186 824 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8493 0 0 0 1202 808 0 0 20 0 17 0 654594473 1098850304 231171 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=1073096 CPUtime=20.16
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7727 0 0 0 1200 816 0 0 20 0 17 0 654594473 1098850304 231171 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=1073096 CPUtime=20.02
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8622 0 0 0 1174 828 0 0 20 0 17 0 654594473 1098850304 231171 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=1073096 CPUtime=20.22
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 9964 0 0 0 1208 814 0 0 20 0 17 0 654594473 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=1073096 CPUtime=20.2
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8120 0 0 0 1206 814 0 0 20 0 17 0 654594473 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=1073096 CPUtime=20.22
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 6539 0 0 0 1198 824 0 0 20 0 17 0 654594474 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=1073096 CPUtime=19.84
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7212 0 0 0 1158 826 0 0 20 0 17 0 654594474 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7841 0 0 0 1122 888 0 0 20 0 17 0 654594474 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=1073096 CPUtime=20.2
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8845 0 0 0 1172 848 0 0 20 0 17 0 654594474 1098850304 231173 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 327.09
Current children cumulated vsize (KiB) 1073096

[startup+51.1041 s]
/proc/loadavg: 15.28 14.82 12.33 17/201 23693
/proc/meminfo: memFree=17430868/36427776 swapFree=4692/1623448
[pid=23671] ppid=23669 vsize=1821712 CPUtime=729.38
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 407827 0 0 0 52336 20602 0 0 20 0 17 0 654593991 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 455428 407415 95 177 0 455250 0
[pid=23671/tid=23673] ppid=23669 vsize=1821712 CPUtime=46.17
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 31725 0 0 0 4561 56 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=1821712 CPUtime=45.4
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 24185 0 0 0 3100 1440 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=1821712 CPUtime=44.74
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16692 0 0 0 3072 1402 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=1821712 CPUtime=45.2
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18639 0 0 0 3150 1370 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=1821712 CPUtime=45.18
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16868 0 0 0 3150 1368 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=1821712 CPUtime=45.22
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 23432 0 0 0 3130 1392 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134550408 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=1821712 CPUtime=45.33
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 19649 0 0 0 3235 1298 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=1821712 CPUtime=45.22
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 17230 0 0 0 3178 1344 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=1821712 CPUtime=45.3
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18132 0 0 0 3164 1366 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=1821712 CPUtime=44.96
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18038 0 0 0 3152 1344 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591214 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=1821712 CPUtime=45.47
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 23853 0 0 0 3211 1336 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=1821712 CPUtime=45.51
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 17114 0 0 0 3253 1298 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=1821712 CPUtime=45.4
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 13703 0 0 0 3180 1360 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=1821712 CPUtime=44.62
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16590 0 0 0 3120 1342 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=1821712 CPUtime=45.28
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 21759 0 0 0 3094 1434 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=1821712 CPUtime=45.42
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18289 0 0 0 3132 1410 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 729.38
Current children cumulated vsize (KiB) 1821712



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+60.3052 s]
/proc/loadavg: 15.39 14.86 12.37 17/201 23693
/proc/meminfo: memFree=17155932/36427776 swapFree=4692/1897904
[pid=23671] ppid=23669 vsize=2099756 CPUtime=874.75
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 472920 0 0 0 64878 22597 0 0 20 0 17 0 654593991 2150150144 472508 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 524939 472508 95 177 0 524761 0
[pid=23671/tid=23673] ppid=23669 vsize=2099756 CPUtime=55.38
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 37850 0 0 0 5476 62 0 0 20 0 17 0 654594473 2150150144 472509 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=2099756 CPUtime=54.49
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 29174 0 0 0 3873 1576 0 0 20 0 17 0 654594473 2150150144 472509 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=2099756 CPUtime=53.81
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 19655 0 0 0 3847 1534 0 0 20 0 17 0 654594473 2150150144 472509 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=2099756 CPUtime=54.24
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 22837 0 0 0 3912 1512 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=2099756 CPUtime=54.28
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20371 0 0 0 3922 1506 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=2099756 CPUtime=54.29
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 28300 0 0 0 3915 1514 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=2099756 CPUtime=54.43
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 23852 0 0 0 4007 1436 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=2099756 CPUtime=54.32
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20060 0 0 0 3954 1478 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=2099756 CPUtime=54.36
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 22955 0 0 0 3920 1516 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=2099756 CPUtime=54.06
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 21901 0 0 0 3938 1468 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=2099756 CPUtime=54.62
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 28268 0 0 0 4014 1448 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=2099756 CPUtime=54.62
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20995 0 0 0 4062 1400 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=2099756 CPUtime=54.46
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16060 0 0 0 3930 1516 0 0 20 0 17 0 654594474 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=2099756 CPUtime=53.55
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20519 0 0 0 3893 1462 0 0 20 0 17 0 654594474 2150150144 472511 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134680336 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=2099756 CPUtime=54.39
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 27166 0 0 0 3867 1572 0 0 20 0 17 0 654594474 2150150144 472511 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=2099756 CPUtime=54.55
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 21029 0 0 0 3901 1554 0 0 20 0 17 0 654594474 2150150144 472511 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 874.75
Current children cumulated vsize (KiB) 2099756

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

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

[startup+60.425 s]
/proc/loadavg: 15.39 14.86 12.37 17/201 23693
/proc/meminfo: memFree=17155932/36427776 swapFree=4692/1897904
[pid=23671] ppid=23669 vsize=0 CPUtime=874.99
/proc/23671/stat : 23671 (ttsth-5-0) Z 23669 23671 15497 0 -1 4203532 472950 0 0 0 64889 22610 0 0 20 0 2 0 654593991 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 0 0 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=0 CPUtime=54.56
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4203588 16068 0 0 0 3930 1526 0 0 20 0 2 0 654594474 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 874.99
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 60.4987
CPU time (s): 875.067
CPU user time (s): 648.901
CPU system time (s): 226.166
CPU usage (%): 1446.42
Max. virtual memory (cumulated for all children) (KiB): 2099756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 648.901
system time used= 226.166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472950
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= 125494
involuntary context switches= 1818

runsolver used 0.348021 second user time and 0.816051 second system time

The end

Launcher Data

Begin job on xenhost3-49 at 2009-06-14 06:14:36
IDJOB=1779375
IDBENCH=70845
IDSOLVER=634
FILE ID=xenhost3-49/1779375-1244952876
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779375-1244952876/watcher-1779375-1244952876 -o /tmp/evaluation-result-1779375-1244952876/solver-1779375-1244952876 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779375-1244952876.cnf

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

MD5SUM BENCH= 0b8996f2f5c4b978a2df4466203c2361
RANDOM SEED= 732894401

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:      19045864 kB
Buffers:        482608 kB
Cached:       14118084 kB
SwapCached:          0 kB
Active:        4129176 kB
Inactive:     10480172 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:        7984 kB
Mapped:           3760 kB
Slab:           721568 kB
SReclaimable:   694748 kB
SUnreclaim:      26820 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-14 06:15:39