Trace number 1779345

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) 1384.19 95.2978

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-17-s100.cnf
MD5SUMd37c12b8284d10d47c2000db061ff0e1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.89
Satisfiable
(Un)Satisfiability was proved
Number of variables31318
Number of clauses94116
Sum of the clauses size221584
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260636
Number of clauses of size 333416
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-1779345-1244952536.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 = 31318
0.10/0.13	c Clauses = 94116
0.10/0.13	c Literals = 221584
0.10/0.13	c Reduced size:
0.10/0.13	c Variables = 31318
0.10/0.13	c Clauses = 93632
0.10/0.13	c Literals = 220300
0.10/0.13	c a2
0.20/0.24	c a1
3.58/3.61	c Independent sub-problems = 1
3.58/3.61	c Sub-problem with 31170 variables and 93632 clauses
3.58/3.61	c using permutation method 4
3.58/3.61	c count = 1
3.58/3.61	c Ordering finished 3.580 seconds
3.58/3.61	c mapped 3.600 seconds
3.58/3.61	c permuted 3.600 seconds
3.58/3.61	c about to sort
3.58/3.62	c sorted
4.48/4.56	c clauses now 93632
4.48/4.56	c init finished 4.210 seconds
4.48/4.56	c tree built 4.550 seconds
4.48/4.56	c 
4.48/4.56	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.48/4.56	c ---------------------------------|----------------------------------|------------------------------------------------------
4.48/4.56	c ................................ | ..........                       |                        4.6           0.0             
4.48/4.56	c ................................ | ..........                     1 |                        4.6           0.2             
4.48/4.56	c ................................ | ..........                     2 |                        4.6           0.4             
4.48/4.56	c ................................ | ..........                     3 |                        4.6           0.7             
4.48/4.56	c ................................ | ..........                     4 |                        4.6           0.9             
4.48/4.56	c ................................ | ..........                     5 |                        4.6           1.1             
4.48/4.58	c ................................ | ..........                  1000 | 7                      4.7         215.1          116
303.81/23.75	c ................................ | ..........               1201000 | 32355                200.1        6002.9     15181065
583.76/41.71	c ................................ | ..........               1861000 | 54199                400.0        4652.3     31442265
847.72/58.60	c ................................ | ..........               2278000 | 71340                600.5        3793.7     48041501
1084.58/74.24	c ................................ | ..........               2600000 | 84262                800.1        3249.8     65644643
1313.13/89.87	c ................................ | *.........               2846000 | 95245               1000.0        2845.9     83018882

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-1779345-1244952536/watcher-1779345-1244952536 -o /tmp/evaluation-result-1779345-1244952536/solver-1779345-1244952536 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779345-1244952536.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.72 13.82 10.90 2/184 23556
/proc/meminfo: memFree=19045296/36427776 swapFree=3684/8376
[pid=23556] ppid=23554 vsize=1540 CPUtime=0
/proc/23556/stat : 23556 (ttsth-5-0) R 23554 23556 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 654559949 1576960 231 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134639534 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 385 232 75 177 0 207 0

[startup+0.089078 s]
/proc/loadavg: 15.72 13.82 10.90 2/184 23556
/proc/meminfo: memFree=19045296/36427776 swapFree=3684/8376
[pid=23556] ppid=23554 vsize=7928 CPUtime=0.08
/proc/23556/stat : 23556 (ttsth-5-0) R 23554 23556 15497 0 -1 4202496 1637 0 0 0 8 0 0 0 20 0 1 0 654559949 8118272 1593 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134522853 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 1982 1593 75 177 0 1804 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7928

[startup+0.101063 s]
/proc/loadavg: 15.72 13.82 10.90 2/184 23556
/proc/meminfo: memFree=19045296/36427776 swapFree=3684/8376
[pid=23556] ppid=23554 vsize=7928 CPUtime=0.1
/proc/23556/stat : 23556 (ttsth-5-0) R 23554 23556 15497 0 -1 4202496 1755 0 0 0 10 0 0 0 20 0 1 0 654559949 8118272 1711 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134534043 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 1982 1711 75 177 0 1804 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7928

[startup+0.301128 s]
/proc/loadavg: 15.72 13.82 10.90 2/184 23556
/proc/meminfo: memFree=19045296/36427776 swapFree=3684/8376
[pid=23556] ppid=23554 vsize=14784 CPUtime=0.3
/proc/23556/stat : 23556 (ttsth-5-0) R 23554 23556 15497 0 -1 4202496 3714 0 0 0 28 2 0 0 20 0 1 0 654559949 15138816 3485 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 3696 3487 77 177 0 3518 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14784

[startup+0.701112 s]
/proc/loadavg: 15.72 13.82 10.90 2/184 23556
/proc/meminfo: memFree=19045296/36427776 swapFree=3684/8376
[pid=23556] ppid=23554 vsize=18348 CPUtime=0.68
/proc/23556/stat : 23556 (ttsth-5-0) R 23554 23556 15497 0 -1 4202496 4621 0 0 0 66 2 0 0 20 0 1 0 654559949 18788352 4392 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134555272 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 4587 4392 77 177 0 4409 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18348

[startup+1.50117 s]
/proc/loadavg: 15.72 13.82 10.90 2/185 23557
/proc/meminfo: memFree=19027488/36427776 swapFree=4404/25440
[pid=23556] ppid=23554 vsize=18664 CPUtime=1.48
/proc/23556/stat : 23556 (ttsth-5-0) R 23554 23556 15497 0 -1 4202496 4688 0 0 0 146 2 0 0 20 0 1 0 654559949 19111936 4459 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134600960 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 4666 4459 77 177 0 4488 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18664

[startup+3.10132 s]
/proc/loadavg: 14.54 13.60 10.85 2/185 23557
/proc/meminfo: memFree=19026620/36427776 swapFree=4336/26016
[pid=23556] ppid=23554 vsize=19636 CPUtime=3.08
/proc/23556/stat : 23556 (ttsth-5-0) R 23554 23556 15497 0 -1 4202496 4914 0 0 0 306 2 0 0 20 0 1 0 654559949 20107264 4685 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134600972 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 4909 4685 77 177 0 4731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19636

[startup+6.30598 s]
/proc/loadavg: 14.54 13.60 10.85 17/201 23573
/proc/meminfo: memFree=18661712/36427776 swapFree=4668/394016
[pid=23556] ppid=23554 vsize=524596 CPUtime=31.64
/proc/23556/stat : 23556 (ttsth-5-0) S 23554 23556 15497 0 -1 4202496 100757 0 0 0 982 2182 0 0 20 0 17 0 654559949 537186304 100343 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 131149 100343 95 177 0 130971 0
[pid=23556/tid=23558] ppid=23554 vsize=524596 CPUtime=1.7
/proc/23556/task/23558/stat : 23558 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1357 0 0 0 166 4 0 0 20 0 17 0 654560405 537186304 100343 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23556/tid=23559] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23559/stat : 23559 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 441 0 0 0 24 144 0 0 20 0 17 0 654560405 537186304 100344 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23556/tid=23560] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23560/stat : 23560 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 518 0 0 0 32 136 0 0 20 0 17 0 654560405 537186304 100344 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23556/tid=23561] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23561/stat : 23561 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 486 0 0 0 24 144 0 0 20 0 17 0 654560405 537186304 100344 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23556/tid=23562] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23562/stat : 23562 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 577 0 0 0 26 142 0 0 20 0 17 0 654560405 537186304 100345 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23556/tid=23563] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23563/stat : 23563 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 450 0 0 0 28 140 0 0 20 0 17 0 654560405 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23556/tid=23564] ppid=23554 vsize=524596 CPUtime=1.7
/proc/23556/task/23564/stat : 23564 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 391 0 0 0 24 146 0 0 20 0 17 0 654560405 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23556/tid=23565] ppid=23554 vsize=524596 CPUtime=1.7
/proc/23556/task/23565/stat : 23565 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 431 0 0 0 28 142 0 0 20 0 17 0 654560405 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23556/tid=23566] ppid=23554 vsize=524596 CPUtime=1.7
/proc/23556/task/23566/stat : 23566 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 456 0 0 0 26 144 0 0 20 0 17 0 654560405 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23556/tid=23567] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23567/stat : 23567 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 546 0 0 0 20 148 0 0 20 0 17 0 654560405 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23556/tid=23568] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23568/stat : 23568 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 468 0 0 0 24 144 0 0 20 0 17 0 654560406 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134549947 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23556/tid=23569] ppid=23554 vsize=524596 CPUtime=1.7
/proc/23556/task/23569/stat : 23569 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 478 0 0 0 28 142 0 0 20 0 17 0 654560406 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134590285 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23556/tid=23570] ppid=23554 vsize=524596 CPUtime=1.66
/proc/23556/task/23570/stat : 23570 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 554 0 0 0 26 140 0 0 20 0 17 0 654560406 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23556/tid=23571] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23571/stat : 23571 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 462 0 0 0 32 136 0 0 20 0 17 0 654560406 537186304 100346 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23556/tid=23572] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23572/stat : 23572 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 510 0 0 0 22 146 0 0 20 0 17 0 654560406 537186304 100347 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23556/tid=23573] ppid=23554 vsize=524596 CPUtime=1.68
/proc/23556/task/23573/stat : 23573 (ttsth-5-0) S 23554 23556 15497 0 -1 4202560 494 0 0 0 24 144 0 0 20 0 17 0 654560407 537186304 100348 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 31.64
Current children cumulated vsize (KiB) 524596

[startup+12.7063 s]
/proc/loadavg: 14.69 13.67 10.89 17/201 23573
/proc/meminfo: memFree=18560060/36427776 swapFree=4692/496108
[pid=23556] ppid=23554 vsize=620516 CPUtime=131.74
/proc/23556/stat : 23556 (ttsth-5-0) S 23554 23556 15497 0 -1 4202496 125041 0 0 0 4185 8989 0 0 20 0 17 0 654559949 635408384 124627 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 155129 124627 95 177 0 154951 0
[pid=23556/tid=23558] ppid=23554 vsize=620516 CPUtime=8.08
/proc/23556/task/23558/stat : 23558 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3919 0 0 0 794 14 0 0 20 0 17 0 654560405 635408384 124627 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134562320 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23556/tid=23559] ppid=23554 vsize=620516 CPUtime=7.9
/proc/23556/task/23559/stat : 23559 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 2209 0 0 0 206 584 0 0 20 0 17 0 654560405 635408384 124627 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23556/tid=23560] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23560/stat : 23560 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1916 0 0 0 174 620 0 0 20 0 17 0 654560405 635408384 124627 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23556/tid=23561] ppid=23554 vsize=620516 CPUtime=7.92
/proc/23556/task/23561/stat : 23561 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1656 0 0 0 170 622 0 0 20 0 17 0 654560405 635408384 124627 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23556/tid=23562] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23562/stat : 23562 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1809 0 0 0 180 614 0 0 20 0 17 0 654560405 635408384 124627 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23556/tid=23563] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23563/stat : 23563 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1856 0 0 0 196 598 0 0 20 0 17 0 654560405 635408384 124627 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23556/tid=23564] ppid=23554 vsize=620516 CPUtime=7.96
/proc/23556/task/23564/stat : 23564 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1923 0 0 0 190 606 0 0 20 0 17 0 654560405 635408384 124628 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23556/tid=23565] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23565/stat : 23565 (ttsth-5-0) S 23554 23556 15497 0 -1 4202560 1985 0 0 0 206 588 0 0 20 0 17 0 654560405 635408384 124628 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=23556/tid=23566] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23566/stat : 23566 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 2032 0 0 0 212 582 0 0 20 0 17 0 654560405 635408384 124628 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23556/tid=23567] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23567/stat : 23567 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1959 0 0 0 212 582 0 0 20 0 17 0 654560405 635408384 124628 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23556/tid=23568] ppid=23554 vsize=620516 CPUtime=7.98
/proc/23556/task/23568/stat : 23568 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 2481 0 0 0 248 550 0 0 20 0 17 0 654560406 635408384 124628 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23556/tid=23569] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23569/stat : 23569 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1939 0 0 0 206 588 0 0 20 0 17 0 654560406 635408384 124628 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23556/tid=23570] ppid=23554 vsize=620516 CPUtime=7.8
/proc/23556/task/23570/stat : 23570 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1914 0 0 0 198 582 0 0 20 0 17 0 654560406 635408384 124629 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23556/tid=23571] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23571/stat : 23571 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1669 0 0 0 194 600 0 0 20 0 17 0 654560406 635408384 124629 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23556/tid=23572] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23572/stat : 23572 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1845 0 0 0 186 608 0 0 20 0 17 0 654560406 635408384 124629 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23556/tid=23573] ppid=23554 vsize=620516 CPUtime=7.94
/proc/23556/task/23573/stat : 23573 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 1791 0 0 0 186 608 0 0 20 0 17 0 654560407 635408384 124629 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 131.74
Current children cumulated vsize (KiB) 620516

[startup+25.5032 s]
/proc/loadavg: 14.89 13.74 10.95 17/201 23573
/proc/meminfo: memFree=18372784/36427776 swapFree=4692/683184
[pid=23556] ppid=23554 vsize=810140 CPUtime=332.05
/proc/23556/stat : 23556 (ttsth-5-0) S 23554 23556 15497 0 -1 4202496 170284 0 0 0 12691 20514 0 0 20 0 17 0 654559949 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 202535 169870 95 177 0 202357 0
[pid=23556/tid=23558] ppid=23554 vsize=810140 CPUtime=20.86
/proc/23556/task/23558/stat : 23558 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 12869 0 0 0 2064 22 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134591059 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23556/tid=23559] ppid=23554 vsize=810140 CPUtime=20.32
/proc/23556/task/23559/stat : 23559 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 4327 0 0 0 630 1402 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23556/tid=23560] ppid=23554 vsize=810140 CPUtime=20.38
/proc/23556/task/23560/stat : 23560 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3944 0 0 0 570 1468 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23556/tid=23561] ppid=23554 vsize=810140 CPUtime=20.36
/proc/23556/task/23561/stat : 23561 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3197 0 0 0 544 1492 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23556/tid=23562] ppid=23554 vsize=810140 CPUtime=20.4
/proc/23556/task/23562/stat : 23562 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3419 0 0 0 600 1440 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23556/tid=23563] ppid=23554 vsize=810140 CPUtime=20.4
/proc/23556/task/23563/stat : 23563 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3642 0 0 0 586 1454 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23556/tid=23564] ppid=23554 vsize=810140 CPUtime=20.54
/proc/23556/task/23564/stat : 23564 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 5815 0 0 0 806 1248 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23556/tid=23565] ppid=23554 vsize=810140 CPUtime=20.54
/proc/23556/task/23565/stat : 23565 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 5474 0 0 0 796 1258 0 0 20 0 17 0 654560405 829583360 169870 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23556/tid=23566] ppid=23554 vsize=810140 CPUtime=20.4
/proc/23556/task/23566/stat : 23566 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3332 0 0 0 592 1448 0 0 20 0 17 0 654560405 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23556/tid=23567] ppid=23554 vsize=810140 CPUtime=20.54
/proc/23556/task/23567/stat : 23567 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 4872 0 0 0 822 1232 0 0 20 0 17 0 654560405 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23556/tid=23568] ppid=23554 vsize=810140 CPUtime=20.56
/proc/23556/task/23568/stat : 23568 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 5468 0 0 0 798 1258 0 0 20 0 17 0 654560406 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23556/tid=23569] ppid=23554 vsize=810140 CPUtime=20.5
/proc/23556/task/23569/stat : 23569 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 5249 0 0 0 762 1288 0 0 20 0 17 0 654560406 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134680257 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23556/tid=23570] ppid=23554 vsize=810140 CPUtime=20.02
/proc/23556/task/23570/stat : 23570 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3192 0 0 0 598 1404 0 0 20 0 17 0 654560406 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23556/tid=23571] ppid=23554 vsize=810140 CPUtime=20.5
/proc/23556/task/23571/stat : 23571 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 4772 0 0 0 744 1306 0 0 20 0 17 0 654560406 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23556/tid=23572] ppid=23554 vsize=810140 CPUtime=20.46
/proc/23556/task/23572/stat : 23572 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 3002 0 0 0 580 1466 0 0 20 0 17 0 654560406 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23556/tid=23573] ppid=23554 vsize=810140 CPUtime=20.56
/proc/23556/task/23573/stat : 23573 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 5572 0 0 0 770 1286 0 0 20 0 17 0 654560407 829583360 169871 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 332.05
Current children cumulated vsize (KiB) 810140

[startup+51.1053 s]
/proc/loadavg: 15.27 13.92 11.08 17/201 23573
/proc/meminfo: memFree=17966984/36427776 swapFree=4692/1087208
[pid=23556] ppid=23554 vsize=1243672 CPUtime=732.11
/proc/23556/stat : 23556 (ttsth-5-0) S 23554 23556 15497 0 -1 4202496 272682 0 0 0 33688 39523 0 0 20 0 17 0 654559949 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 310918 272268 95 177 0 310740 0
[pid=23556/tid=23558] ppid=23554 vsize=1243672 CPUtime=46.46
/proc/23556/task/23558/stat : 23558 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 35251 0 0 0 4598 48 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23556/tid=23559] ppid=23554 vsize=1243672 CPUtime=45
/proc/23556/task/23559/stat : 23559 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 8154 0 0 0 1656 2844 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23556/tid=23560] ppid=23554 vsize=1243672 CPUtime=45.1
/proc/23556/task/23560/stat : 23560 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 6942 0 0 0 1606 2904 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23556/tid=23561] ppid=23554 vsize=1243672 CPUtime=45.1
/proc/23556/task/23561/stat : 23561 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 7184 0 0 0 1600 2910 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23556/tid=23562] ppid=23554 vsize=1243672 CPUtime=45.24
/proc/23556/task/23562/stat : 23562 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 8394 0 0 0 1730 2794 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23556/tid=23563] ppid=23554 vsize=1243672 CPUtime=45.56
/proc/23556/task/23563/stat : 23563 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 10301 0 0 0 1962 2594 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23556/tid=23564] ppid=23554 vsize=1243672 CPUtime=45.62
/proc/23556/task/23564/stat : 23564 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 13299 0 0 0 2084 2478 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23556/tid=23565] ppid=23554 vsize=1243672 CPUtime=45.54
/proc/23556/task/23565/stat : 23565 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 10460 0 0 0 2018 2536 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23556/tid=23566] ppid=23554 vsize=1243672 CPUtime=45.36
/proc/23556/task/23566/stat : 23566 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 8653 0 0 0 1820 2716 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23556/tid=23567] ppid=23554 vsize=1243672 CPUtime=45.6
/proc/23556/task/23567/stat : 23567 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 10866 0 0 0 2092 2468 0 0 20 0 17 0 654560405 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23556/tid=23568] ppid=23554 vsize=1243672 CPUtime=45.44
/proc/23556/task/23568/stat : 23568 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 9734 0 0 0 1922 2622 0 0 20 0 17 0 654560406 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23556/tid=23569] ppid=23554 vsize=1243672 CPUtime=45.7
/proc/23556/task/23569/stat : 23569 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 11405 0 0 0 2192 2378 0 0 20 0 17 0 654560406 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23556/tid=23570] ppid=23554 vsize=1243672 CPUtime=44.58
/proc/23556/task/23570/stat : 23570 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 7297 0 0 0 1786 2672 0 0 20 0 17 0 654560406 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134562420 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23556/tid=23571] ppid=23554 vsize=1243672 CPUtime=45.62
/proc/23556/task/23571/stat : 23571 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 10708 0 0 0 2022 2540 0 0 20 0 17 0 654560406 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23556/tid=23572] ppid=23554 vsize=1243672 CPUtime=45.66
/proc/23556/task/23572/stat : 23572 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 9484 0 0 0 1946 2620 0 0 20 0 17 0 654560406 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23556/tid=23573] ppid=23554 vsize=1243672 CPUtime=45.84
/proc/23556/task/23573/stat : 23573 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 12411 0 0 0 2228 2356 0 0 20 0 17 0 654560407 1273520128 272268 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 732.11
Current children cumulated vsize (KiB) 1243672



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+95.1032 s]
/proc/loadavg: 15.52 14.17 11.30 18/201 23578
/proc/meminfo: memFree=17156192/36427776 swapFree=4692/1897316
[pid=23556] ppid=23554 vsize=2096408 CPUtime=1383.84
/proc/23556/stat : 23556 (ttsth-5-0) S 23554 23556 15497 0 -1 4202496 472954 0 0 0 82255 56129 0 0 20 0 17 0 654559949 2146721792 472540 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 524102 472541 95 177 0 523924 0
[pid=23556/tid=23558] ppid=23554 vsize=2096408 CPUtime=90.12
/proc/23556/task/23558/stat : 23558 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 79155 0 0 0 8912 100 0 0 20 0 17 0 654560405 2146721792 472541 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23556/tid=23559] ppid=23554 vsize=2096408 CPUtime=86.01
/proc/23556/task/23559/stat : 23559 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 19423 0 0 0 4526 4075 0 0 20 0 17 0 654560405 2146721792 472541 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23556/tid=23560] ppid=23554 vsize=2096408 CPUtime=86.53
/proc/23556/task/23560/stat : 23560 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 17153 0 0 0 4414 4239 0 0 20 0 17 0 654560405 2146721792 472541 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134519962 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23556/tid=23561] ppid=23554 vsize=2096408 CPUtime=84.01
/proc/23556/task/23561/stat : 23561 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 15505 0 0 0 4275 4126 0 0 20 0 17 0 654560405 2146721792 472541 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23556/tid=23562] ppid=23554 vsize=2096408 CPUtime=85.66
/proc/23556/task/23562/stat : 23562 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 18522 0 0 0 4665 3901 0 0 20 0 17 0 654560405 2146721792 472541 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23556/tid=23563] ppid=23554 vsize=2096408 CPUtime=82.43
/proc/23556/task/23563/stat : 23563 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 20548 0 0 0 4770 3473 0 0 20 0 17 0 654560405 2146721792 472541 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23556/tid=23564] ppid=23554 vsize=2096408 CPUtime=81.1
/proc/23556/task/23564/stat : 23564 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 22137 0 0 0 4526 3584 0 0 20 0 17 0 654560405 2146721792 472541 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23556/tid=23565] ppid=23554 vsize=2096408 CPUtime=88.38
/proc/23556/task/23565/stat : 23565 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 19944 0 0 0 5184 3654 0 0 20 0 17 0 654560405 2146721792 472543 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23556/tid=23566] ppid=23554 vsize=2096408 CPUtime=86.51
/proc/23556/task/23566/stat : 23566 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 18525 0 0 0 4859 3792 0 0 20 0 17 0 654560405 2146721792 472543 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23556/tid=23567] ppid=23554 vsize=2096408 CPUtime=87.88
/proc/23556/task/23567/stat : 23567 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 21852 0 0 0 5269 3519 0 0 20 0 17 0 654560405 2146721792 472543 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23556/tid=23568] ppid=23554 vsize=2096408 CPUtime=87.84
/proc/23556/task/23568/stat : 23568 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 19537 0 0 0 4872 3912 0 0 20 0 17 0 654560406 2146721792 472543 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23556/tid=23569] ppid=23554 vsize=2096408 CPUtime=88.75
/proc/23556/task/23569/stat : 23569 (ttsth-5-0) S 23554 23556 15497 0 -1 4202560 25940 0 0 0 5394 3481 0 0 20 0 17 0 654560406 2146721792 472545 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=23556/tid=23570] ppid=23554 vsize=2096408 CPUtime=86.87
/proc/23556/task/23570/stat : 23570 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 18995 0 0 0 5128 3559 0 0 20 0 17 0 654560406 2146721792 472545 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23556/tid=23571] ppid=23554 vsize=2096408 CPUtime=85.73
/proc/23556/task/23571/stat : 23571 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 21681 0 0 0 4959 3614 0 0 20 0 17 0 654560406 2146721792 472546 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23556/tid=23572] ppid=23554 vsize=2096408 CPUtime=82.37
/proc/23556/task/23572/stat : 23572 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 18757 0 0 0 4591 3646 0 0 20 0 17 0 654560406 2146721792 472546 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23556/tid=23573] ppid=23554 vsize=2096408 CPUtime=89.03
/proc/23556/task/23573/stat : 23573 (ttsth-5-0) R 23554 23556 15497 0 -1 4202560 23142 0 0 0 5486 3417 0 0 20 0 17 0 654560407 2146721792 472547 18446744073709551615 134512640 135237372 4290187856 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1383.84
Current children cumulated vsize (KiB) 2096408

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

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

[startup+95.221 s]
/proc/loadavg: 15.52 14.17 11.30 18/201 23578
/proc/meminfo: memFree=17156192/36427776 swapFree=4692/1897316
[pid=23556] ppid=23554 vsize=0 CPUtime=1384.1
/proc/23556/stat : 23556 (ttsth-5-0) Z 23554 23556 15497 0 -1 4203532 473023 0 0 0 82271 56139 0 0 20 0 2 0 654559949 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/23556/statm: 0 0 0 0 0 0 0
[pid=23556/tid=23568] ppid=23554 vsize=0 CPUtime=87.94
/proc/23556/task/23568/stat : 23568 (ttsth-5-0) R 23554 23556 15497 0 -1 4203588 19537 0 0 0 4872 3922 0 0 20 0 2 0 654560406 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1384.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 95.2978
CPU time (s): 1384.19
CPU user time (s): 822.723
CPU system time (s): 561.463
CPU usage (%): 1452.49
Max. virtual memory (cumulated for all children) (KiB): 2096408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 822.723
system time used= 561.463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473023
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= 202688
involuntary context switches= 6116

runsolver used 0.49203 second user time and 1.40809 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:08:56
IDJOB=1779345
IDBENCH=70841
IDSOLVER=634
FILE ID=xenhost3-49/1779345-1244952536
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-17-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779345-1244952536/watcher-1779345-1244952536 -o /tmp/evaluation-result-1779345-1244952536/solver-1779345-1244952536 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779345-1244952536.cnf

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

MD5SUM BENCH= d37c12b8284d10d47c2000db061ff0e1
RANDOM SEED= 1127257131

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:      19045296 kB
Buffers:        482608 kB
Cached:       14118040 kB
SwapCached:          0 kB
Active:        4129536 kB
Inactive:     10480128 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:        8376 kB
Mapped:           3684 kB
Slab:           721516 kB
SReclaimable:   694744 kB
SUnreclaim:      26772 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= 7023 MiB
End job on xenhost3-49 at 2009-06-14 06:10:33