Trace number 1776403

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 (4 threads)? (MO) 1680.4 665.943

General information on the benchmark

Nameindustrial/grieu/
vmpc_26.cnf
MD5SUM7e9eba7a609bdbcf7c3a7e0f5c07ab04
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark48.85
Satisfiable
(Un)Satisfiability was proved
Number of variables676
Number of clauses86424
Sum of the clauses size226590
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 233878
Number of clauses of size 352494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 552

Solver Data 

0.11/0.12	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776403-1243674633.cnf 
0.11/0.12	c Using SATTIMEOUT of 10000
0.11/0.12	c Using SATRAM of 2047
0.11/0.12	c Size of subset node = 16
0.11/0.12	c Variables = 676
0.11/0.12	c Clauses = 86424
0.11/0.12	c Literals = 226590
0.11/0.12	c Reduced size:
0.11/0.12	c Variables = 676
0.11/0.12	c Clauses = 86424
0.11/0.12	c Literals = 226590
0.11/0.12	c a2
0.32/0.31	c a1
0.62/0.68	c Independent sub-problems = 1
0.62/0.68	c Sub-problem with 676 variables and 86424 clauses
0.62/0.68	c using permutation method 4
0.62/0.68	c count = 1
0.62/0.68	c Ordering finished 0.650 seconds
0.62/0.68	c mapped 0.690 seconds
0.62/0.68	c permuted 0.690 seconds
0.62/0.68	c about to sort
0.62/0.70	c sorted
1.12/1.18	c clauses now 86424
1.12/1.18	c init finished 0.730 seconds
1.12/1.18	c tree built 1.190 seconds
1.12/1.18	c 
1.12/1.18	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.12/1.18	c ---------------------------------|----------------------------------|------------------------------------------------------
1.12/1.18	c ................................ | ..........                       |                        1.2           0.0             
1.12/1.18	c ................................ | ..........                     1 |                        1.2           0.8             
1.12/1.18	c ................................ | ..........                     2 |                        1.2           1.7             
1.12/1.18	c ................................ | ..........                     3 |                        1.2           2.5             
1.12/1.18	c ................................ | ..........                     4 |                        1.2           3.4             
1.12/1.18	c ................................ | ..........                     5 |                        1.2           4.2             
1.22/1.21	c ................................ | ..........                  1000 |                        1.2         819.7        14533
199.96/84.83	c ................................ | ..........                423000 | 22054                200.0        2114.7     31145949
400.46/166.52	c ................................ | ..........                642000 | 36420                400.5        1603.0     50186573
600.03/247.01	c ................................ | ..........                747000 | 43976                600.1        1244.9     64880285
800.63/327.97	c ................................ | ..........                844000 | 51292                800.8        1054.0     77876427
1001.75/405.49	c ................................ | *.........                914000 | 56371               1002.0         912.2     89536601
1200.17/472.93	c ................................ | *.........                993000 | 62212               1200.2         827.4     99264704
1401.74/554.20	c ................................ | *.........               1135000 | 69950               1401.9         809.6    111756448
1600.80/633.98	c ................................ | *.........               1274000 | 78726               1601.0         795.8    121974239

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1776403-1243674633/watcher-1776403-1243674633 -o /tmp/evaluation-result-1776403-1243674633/solver-1776403-1243674633 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776403-1243674633.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: 6.11 5.51 4.41 4/117 23786
/proc/meminfo: memFree=3087520/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1008 CPUtime=0.01
/proc/23786/stat : 23786 (ttsth-5-0) R 23784 23786 10612 0 -1 4202496 133 0 0 0 1 0 0 0 20 0 1 0 1132126149 1032192 89 4294967295 134512640 135237372 3212921696 3212921376 134544637 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23786/statm: 252 89 74 177 0 74 0

[startup+0.100635 s]
/proc/loadavg: 6.11 5.51 4.41 4/117 23786
/proc/meminfo: memFree=3087520/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=5468 CPUtime=0.11
/proc/23786/stat : 23786 (ttsth-5-0) R 23784 23786 10612 0 -1 4202496 1254 0 0 0 11 0 0 0 21 0 1 0 1132126149 5599232 1210 4294967295 134512640 135237372 3212921696 3212921272 134730084 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23786/statm: 1367 1210 75 177 0 1189 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5468

[startup+0.21063 s]
/proc/loadavg: 6.11 5.51 4.41 4/117 23786
/proc/meminfo: memFree=3087520/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=11908 CPUtime=0.22
/proc/23786/stat : 23786 (ttsth-5-0) R 23784 23786 10612 0 -1 4202496 2853 0 0 0 20 2 0 0 21 0 1 0 1132126149 12193792 2808 4294967295 134512640 135237372 3212921696 3212920512 134680723 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23786/statm: 2977 2808 76 177 0 2799 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 11908

[startup+0.310622 s]
/proc/loadavg: 6.11 5.51 4.41 4/117 23786
/proc/meminfo: memFree=3087520/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=11908 CPUtime=0.32
/proc/23786/stat : 23786 (ttsth-5-0) R 23784 23786 10612 0 -1 4202496 2853 0 0 0 30 2 0 0 21 0 1 0 1132126149 12193792 2808 4294967295 134512640 135237372 3212921696 3212920012 134680502 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23786/statm: 2977 2808 76 177 0 2799 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 11908

[startup+0.710606 s]
/proc/loadavg: 6.11 5.51 4.41 4/117 23786
/proc/meminfo: memFree=3087520/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=12836 CPUtime=0.72
/proc/23786/stat : 23786 (ttsth-5-0) R 23784 23786 10612 0 -1 4202496 4452 0 0 0 70 2 0 0 22 0 1 0 1132126149 13144064 3057 4294967295 134512640 135237372 3212921696 3212921048 134730145 0 0 0 0 0 0 0 17 2 0 0 0
/proc/23786/statm: 3209 3057 87 177 0 3031 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12836

[startup+1.51057 s]
/proc/loadavg: 6.11 5.51 4.41 4/120 23789
/proc/meminfo: memFree=3072092/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=57924 CPUtime=1.82
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 7373 0 0 0 178 4 0 0 25 0 5 0 1132126149 59314176 5893 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 14481 5893 95 177 0 14303 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 57924

[startup+3.11048 s]
/proc/loadavg: 6.11 5.51 4.41 7/122 23795
/proc/meminfo: memFree=3054924/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=79352 CPUtime=5.15
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 12654 0 0 0 509 6 0 0 25 0 5 0 1132126149 81256448 11174 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 19838 11174 95 177 0 19660 0
[pid=23786/tid=23792] ppid=23784 vsize=79352 CPUtime=1.13
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 1756 0 0 0 111 2 0 0 25 0 5 0 1132126268 81256448 11174 4294967295 134512640 135237372 3212921696 3086344736 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=79352 CPUtime=1.05
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 1773 0 0 0 105 0 0 0 25 0 5 0 1132126268 81256448 11174 4294967295 134512640 135237372 3212921696 3077967776 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=79352 CPUtime=0.75
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 1328 0 0 0 74 1 0 0 25 0 5 0 1132126268 81256448 11174 4294967295 134512640 135237372 3212921696 3068102368 134680474 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=79352 CPUtime=1.03
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 1710 0 0 0 103 0 0 0 25 0 5 0 1132126268 81256448 11174 4294967295 134512640 135237372 3212921696 3059713824 134592376 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.15
Current children cumulated vsize (KiB) 79352

[startup+6.31032 s]
/proc/loadavg: 6.10 5.52 4.41 7/122 23799
/proc/meminfo: memFree=3017020/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=114348 CPUtime=12.98
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 21219 0 0 0 1290 8 0 0 25 0 5 0 1132126149 117092352 19739 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 28587 19739 95 177 0 28409 0
[pid=23786/tid=23792] ppid=23784 vsize=114348 CPUtime=4.21
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 5348 0 0 0 417 4 0 0 25 0 5 0 1132126268 117092352 19739 4294967295 134512640 135237372 3212921696 3086359232 134562309 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=114348 CPUtime=2.81
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 3797 0 0 0 281 0 0 0 25 0 5 0 1132126268 117092352 19739 4294967295 134512640 135237372 3212921696 3077951264 134590285 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=114348 CPUtime=2.85
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 3348 0 0 0 284 1 0 0 25 0 5 0 1132126268 117092352 19739 4294967295 134512640 135237372 3212921696 3068103440 134587921 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=114348 CPUtime=1.93
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 2639 0 0 0 193 0 0 0 25 0 5 0 1132126268 117092352 19739 4294967295 134512640 135237372 3212921696 3059713504 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 114348

[startup+12.71 s]
/proc/loadavg: 6.25 5.56 4.43 7/124 23811
/proc/meminfo: memFree=2957788/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=170704 CPUtime=28.69
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 35223 0 0 0 2853 16 0 0 25 0 5 0 1132126149 174800896 33743 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 42676 33744 95 177 0 42498 0
[pid=23786/tid=23792] ppid=23784 vsize=170704 CPUtime=10.45
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 11077 0 0 0 1039 6 0 0 25 0 5 0 1132126268 174800896 33744 4294967295 134512640 135237372 3212921696 3086356288 134680503 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=170704 CPUtime=5.91
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 6243 0 0 0 589 2 0 0 25 0 5 0 1132126268 174800896 33744 4294967295 134512640 135237372 3212921696 3077952208 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=170704 CPUtime=6.32
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 6750 0 0 0 631 1 0 0 25 0 5 0 1132126268 174800896 33744 4294967295 134512640 135237372 3212921696 3068098256 134592489 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=170704 CPUtime=4.83
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 5067 0 0 0 479 4 0 0 25 0 5 0 1132126268 174800896 33744 4294967295 134512640 135237372 3212921696 3059710192 134562377 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 170704

[startup+25.5093 s]
/proc/loadavg: 6.35 5.62 4.47 9/123 23950
/proc/meminfo: memFree=2871668/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=256152 CPUtime=57.42
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 56028 0 0 0 5713 29 0 0 25 0 5 0 1132126149 262299648 54548 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 64038 54548 95 177 0 63860 0
[pid=23786/tid=23792] ppid=23784 vsize=256152 CPUtime=20.02
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 18172 0 0 0 1989 13 0 0 25 0 5 0 1132126268 262299648 54548 4294967295 134512640 135237372 3212921696 3086354848 134587822 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=256152 CPUtime=13.01
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 10693 0 0 0 1297 4 0 0 25 0 5 0 1132126268 262299648 54548 4294967295 134512640 135237372 3212921696 3077968368 134561428 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=256152 CPUtime=12.45
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 11655 0 0 0 1243 2 0 0 25 0 5 0 1132126268 262299648 54548 4294967295 134512640 135237372 3212921696 3068098624 134562351 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=256152 CPUtime=10.76
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 9421 0 0 0 1069 7 0 0 25 0 5 0 1132126268 262299648 54548 4294967295 134512640 135237372 3212921696 3059714496 134562328 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57.42
Current children cumulated vsize (KiB) 256152

[startup+51.108 s]
/proc/loadavg: 6.42 5.69 4.52 7/122 24059
/proc/meminfo: memFree=2739396/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=391356 CPUtime=117.47
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 89591 0 0 0 11705 42 0 0 25 0 5 0 1132126149 400748544 88111 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 97839 88111 95 177 0 97661 0
[pid=23786/tid=23792] ppid=23784 vsize=391356 CPUtime=32.72
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 24796 0 0 0 3257 15 0 0 25 0 5 0 1132126268 400748544 88111 4294967295 134512640 135237372 3212921696 3086357344 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=391356 CPUtime=33.11
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 21971 0 0 0 3300 11 0 0 25 0 5 0 1132126268 400748544 88111 4294967295 134512640 135237372 3212921696 3077983820 134680502 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=391356 CPUtime=24.83
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) D 23784 23786 10612 0 -1 4202560 18860 0 0 0 2480 3 0 0 25 0 5 0 1132126268 400748544 88111 4294967295 134512640 135237372 3212921696 3068094652 134952254 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=391356 CPUtime=25.62
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 17877 0 0 0 2552 10 0 0 25 0 5 0 1132126268 400748544 88111 4294967295 134512640 135237372 3212921696 3059710744 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 117.47
Current children cumulated vsize (KiB) 391356

[startup+102.305 s]
/proc/loadavg: 6.61 5.85 4.64 7/122 24317
/proc/meminfo: memFree=2497732/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=637960 CPUtime=243.27
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 149082 0 0 0 24257 70 0 0 25 0 5 0 1132126149 653271040 147602 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 159490 147602 95 177 0 159312 0
[pid=23786/tid=23792] ppid=23784 vsize=637960 CPUtime=66.04
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 40316 0 0 0 6578 26 0 0 25 0 5 0 1132126268 653271040 147602 4294967295 134512640 135237372 3212921696 3086354064 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=637960 CPUtime=63.41
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 37581 0 0 0 6328 13 0 0 25 0 5 0 1132126268 653271040 147602 4294967295 134512640 135237372 3212921696 3077965472 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=637960 CPUtime=54.9
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 34555 0 0 0 5478 12 0 0 25 0 5 0 1132126268 653271040 147602 4294967295 134512640 135237372 3212921696 3068097600 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=637960 CPUtime=57.73
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 30543 0 0 0 5757 16 0 0 25 0 5 0 1132126268 653271040 147602 4294967295 134512640 135237372 3212921696 3059710432 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 243.27
Current children cumulated vsize (KiB) 637960

[startup+162.312 s]
/proc/loadavg: 6.41 5.93 4.74 7/122 24593
/proc/meminfo: memFree=2294852/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=849012 CPUtime=390.2
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 200192 0 0 0 38932 88 0 0 25 0 5 0 1132126149 869388288 198712 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 212253 198712 95 177 0 212075 0
[pid=23786/tid=23792] ppid=23784 vsize=849012 CPUtime=119.33
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 57987 0 0 0 11901 32 0 0 25 0 5 0 1132126268 869388288 198712 4294967295 134512640 135237372 3212921696 3086350256 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=849012 CPUtime=97.91
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 52026 0 0 0 9773 18 0 0 25 0 5 0 1132126268 869388288 198712 4294967295 134512640 135237372 3212921696 3077969680 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=849012 CPUtime=84.35
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 43455 0 0 0 8420 15 0 0 25 0 5 0 1132126268 869388288 198712 4294967295 134512640 135237372 3212921696 3068099184 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=849012 CPUtime=87.43
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 40637 0 0 0 8723 20 0 0 25 0 5 0 1132126268 869388288 198712 4294967295 134512640 135237372 3212921696 3059710576 134562357 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 390.2
Current children cumulated vsize (KiB) 849012

[startup+222.319 s]
/proc/loadavg: 6.65 6.08 4.86 8/124 24882
/proc/meminfo: memFree=2117056/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1029868 CPUtime=538.94
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 244017 0 0 0 53783 111 0 0 25 0 5 0 1132126149 1054584832 242537 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 257467 242537 95 177 0 257289 0
[pid=23786/tid=23792] ppid=23784 vsize=1029868 CPUtime=159.19
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 68259 0 0 0 15880 39 0 0 25 0 5 0 1132126268 1054584832 242537 4294967295 134512640 135237372 3212921696 3086355552 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=1029868 CPUtime=135.39
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 64674 0 0 0 13512 27 0 0 25 0 5 0 1132126268 1054584832 242537 4294967295 134512640 135237372 3212921696 3077967776 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=1029868 CPUtime=113.35
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 50847 0 0 0 11317 18 0 0 25 0 5 0 1132126268 1054584832 242537 4294967295 134512640 135237372 3212921696 3068100432 134562309 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=1029868 CPUtime=129.83
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 54150 0 0 0 12959 24 0 0 25 0 5 0 1132126268 1054584832 242537 4294967295 134512640 135237372 3212921696 3059722448 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 538.94
Current children cumulated vsize (KiB) 1029868

[startup+282.306 s]
/proc/loadavg: 6.45 6.12 4.95 7/122 25153
/proc/meminfo: memFree=1960644/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1193796 CPUtime=687.57
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 283603 0 0 0 68625 132 0 0 25 0 5 0 1132126149 1222447104 282123 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 298449 282123 95 177 0 298271 0
[pid=23786/tid=23792] ppid=23784 vsize=1193796 CPUtime=189.64
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 75755 0 0 0 18923 41 0 0 25 0 5 0 1132126268 1222447104 282123 4294967295 134512640 135237372 3212921696 3086361840 134562351 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=1193796 CPUtime=170.51
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 76546 0 0 0 17016 35 0 0 25 0 5 0 1132126268 1222447104 282123 4294967295 134512640 135237372 3212921696 3077969664 134561428 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=1193796 CPUtime=145.13
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 58427 0 0 0 14493 20 0 0 25 0 5 0 1132126268 1222447104 282123 4294967295 134512640 135237372 3212921696 3068100336 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=1193796 CPUtime=181.11
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 66788 0 0 0 18078 33 0 0 25 0 5 0 1132126268 1222447104 282123 4294967295 134512640 135237372 3212921696 3059710528 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 687.57
Current children cumulated vsize (KiB) 1193796

[startup+342.313 s]
/proc/loadavg: 6.62 6.22 5.06 7/124 25433
/proc/meminfo: memFree=1808240/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1350304 CPUtime=836.36
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 321374 0 0 0 83487 149 0 0 25 0 5 0 1132126149 1382711296 319894 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 337576 319894 95 177 0 337398 0
[pid=23786/tid=23792] ppid=23784 vsize=1350304 CPUtime=228.63
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 84921 0 0 0 22817 46 0 0 25 0 5 0 1132126268 1382711296 319894 4294967295 134512640 135237372 3212921696 3086358752 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=1350304 CPUtime=218.22
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 91213 0 0 0 21785 37 0 0 25 0 5 0 1132126268 1382711296 319894 4294967295 134512640 135237372 3212921696 3077955760 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=1350304 CPUtime=177.39
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 65026 0 0 0 17717 22 0 0 25 0 5 0 1132126268 1382711296 319894 4294967295 134512640 135237372 3212921696 3068099840 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=1350304 CPUtime=210.93
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 74127 0 0 0 21052 41 0 0 25 0 5 0 1132126268 1382711296 319894 4294967295 134512640 135237372 3212921696 3059714616 134562273 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 836.36
Current children cumulated vsize (KiB) 1350304

[startup+402.31 s]
/proc/loadavg: 6.55 6.26 5.14 8/123 25679
/proc/meminfo: memFree=1673364/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1491676 CPUtime=992.48
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 355383 0 0 0 99085 163 0 0 25 0 5 0 1132126149 1527476224 353903 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 372919 353903 95 177 0 372741 0
[pid=23786/tid=23792] ppid=23784 vsize=1491676 CPUtime=264.51
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 91512 0 0 0 26403 48 0 0 25 0 5 0 1132126268 1527476224 353903 4294967295 134512640 135237372 3212921696 3086358480 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=1491676 CPUtime=259.75
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 103069 0 0 0 25933 42 0 0 25 0 5 0 1132126268 1527476224 353903 4294967295 134512640 135237372 3212921696 3077967504 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=1491676 CPUtime=214.2
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 72116 0 0 0 21394 26 0 0 25 0 5 0 1132126268 1527476224 353903 4294967295 134512640 135237372 3212921696 3068096704 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=1491676 CPUtime=252.84
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 82599 0 0 0 25240 44 0 0 25 0 5 0 1132126268 1527476224 353903 4294967295 134512640 135237372 3212921696 3059707376 134562341 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 992.48
Current children cumulated vsize (KiB) 1491676

[startup+462.317 s]
/proc/loadavg: 6.53 6.30 5.22 9/125 25905
/proc/meminfo: memFree=1538208/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1629160 CPUtime=1171.28
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 388785 0 0 0 116944 184 0 0 25 0 5 0 1132126149 1668259840 387305 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 407290 387305 95 177 0 407112 0
[pid=23786/tid=23792] ppid=23784 vsize=1629160 CPUtime=312.99
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 99696 0 0 0 31245 54 0 0 25 0 5 0 1132126268 1668259840 387305 4294967295 134512640 135237372 3212921696 3086359328 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=1629160 CPUtime=300.51
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 112211 0 0 0 30000 51 0 0 25 0 5 0 1132126268 1668259840 387305 4294967295 134512640 135237372 3212921696 3077965184 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=1629160 CPUtime=274.17
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 83124 0 0 0 27387 30 0 0 25 0 5 0 1132126268 1668259840 387305 4294967295 134512640 135237372 3212921696 3068103088 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=1629160 CPUtime=282.42
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 87667 0 0 0 28196 46 0 0 25 0 5 0 1132126268 1668259840 387305 4294967295 134512640 135237372 3212921696 3059715984 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1171.28
Current children cumulated vsize (KiB) 1629160

[startup+522.313 s]
/proc/loadavg: 6.69 6.38 5.31 9/123 26150
/proc/meminfo: memFree=1394088/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1781472 CPUtime=1323.04
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 425589 0 0 0 132098 206 0 0 25 0 5 0 1132126149 1824227328 424109 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 445368 424109 95 177 0 445190 0
[pid=23786/tid=23792] ppid=23784 vsize=1781472 CPUtime=348.13
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 108021 0 0 0 34751 62 0 0 25 0 5 0 1132126268 1824227328 424109 4294967295 134512640 135237372 3212921696 3086340544 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=1781472 CPUtime=339.44
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 121445 0 0 0 33887 57 0 0 25 0 5 0 1132126268 1824227328 424109 4294967295 134512640 135237372 3212921696 3077972144 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=1781472 CPUtime=321.65
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 95197 0 0 0 32131 34 0 0 25 0 5 0 1132126268 1824227328 424109 4294967295 134512640 135237372 3212921696 3068087472 134562341 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=1781472 CPUtime=312.63
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 94839 0 0 0 31213 50 0 0 25 0 5 0 1132126268 1824227328 424109 4294967295 134512640 135237372 3212921696 3059714464 134562401 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1323.04
Current children cumulated vsize (KiB) 1781472

[startup+582.31 s]
/proc/loadavg: 6.49 6.38 5.38 8/125 26396
/proc/meminfo: memFree=1257096/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=1922892 CPUtime=1472.09
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 459276 0 0 0 146985 224 0 0 25 0 5 0 1132126149 1969041408 457796 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 480723 457796 95 177 0 480545 0
[pid=23786/tid=23792] ppid=23784 vsize=1922892 CPUtime=392.21
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 117939 0 0 0 39151 70 0 0 25 0 5 0 1132126268 1969041408 457796 4294967295 134512640 135237372 3212921696 3086348128 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=1922892 CPUtime=370.51
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 128004 0 0 0 36992 59 0 0 25 0 5 0 1132126268 1969041408 457796 4294967295 134512640 135237372 3212921696 3077966976 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=1922892 CPUtime=365.64
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 105056 0 0 0 36526 38 0 0 25 0 5 0 1132126268 1969041408 457796 4294967295 134512640 135237372 3212921696 3068105584 134562281 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=1922892 CPUtime=342.55
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 102190 0 0 0 34201 54 0 0 25 0 5 0 1132126268 1969041408 457796 4294967295 134512640 135237372 3212921696 3059716496 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1472.09
Current children cumulated vsize (KiB) 1922892

[startup+642.307 s]
/proc/loadavg: 6.51 6.43 5.46 8/122 26634
/proc/meminfo: memFree=1141544/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=2041496 CPUtime=1621.69
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 488454 0 0 0 161928 241 0 0 25 0 5 0 1132126149 2090491904 486974 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 510374 486974 95 177 0 510196 0
[pid=23786/tid=23792] ppid=23784 vsize=2041496 CPUtime=434.02
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 126872 0 0 0 43320 82 0 0 25 0 5 0 1132126268 2090491904 486974 4294967295 134512640 135237372 3212921696 3086356656 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=2041496 CPUtime=400.51
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 134761 0 0 0 39990 61 0 0 25 0 5 0 1132126268 2090491904 486974 4294967295 134512640 135237372 3212921696 3077966976 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=2041496 CPUtime=413.44
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 112573 0 0 0 41306 38 0 0 25 0 5 0 1132126268 2090491904 486974 4294967295 134512640 135237372 3212921696 3068098432 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=2041496 CPUtime=372.53
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 108161 0 0 0 37196 57 0 0 25 0 5 0 1132126268 2090491904 486974 4294967295 134512640 135237372 3212921696 3059715152 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1621.69
Current children cumulated vsize (KiB) 2041496



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+665.806 s]
/proc/loadavg: 6.76 6.49 5.50 7/124 26859
/proc/meminfo: memFree=1087984/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=2096468 CPUtime=1680.27
/proc/23786/stat : 23786 (ttsth-5-0) S 23784 23786 10612 0 -1 4202496 501237 0 0 0 167776 251 0 0 25 0 5 0 1132126149 2146783232 499757 4294967295 134512640 135237372 3212921696 3212921292 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 524117 499757 95 177 0 523939 0
[pid=23786/tid=23792] ppid=23784 vsize=2096468 CPUtime=445.91
/proc/23786/task/23792/stat : 23792 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 129386 0 0 0 44506 85 0 0 25 0 5 0 1132126268 2146783232 499757 4294967295 134512640 135237372 3212921696 3086358816 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=2096468 CPUtime=412.21
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 138057 0 0 0 41159 62 0 0 25 0 5 0 1132126268 2146783232 499757 4294967295 134512640 135237372 3212921696 3077971840 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23786/tid=23794] ppid=23784 vsize=2096468 CPUtime=436.85
/proc/23786/task/23794/stat : 23794 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 116472 0 0 0 43645 40 0 0 25 0 5 0 1132126268 2146783232 499757 4294967295 134512640 135237372 3212921696 3068101584 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23786/tid=23795] ppid=23784 vsize=2096468 CPUtime=384.11
/proc/23786/task/23795/stat : 23795 (ttsth-5-0) R 23784 23786 10612 0 -1 4202560 111235 0 0 0 38350 61 0 0 25 0 5 0 1132126268 2146783232 499757 4294967295 134512640 135237372 3212921696 3059707456 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1680.27
Current children cumulated vsize (KiB) 2096468

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

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

[startup+665.926 s]
/proc/loadavg: 6.76 6.49 5.50 7/124 26859
/proc/meminfo: memFree=1087984/3368532 swapFree=1959840/1959888
[pid=23786] ppid=23784 vsize=0 CPUtime=1680.39
/proc/23786/stat : 23786 (ttsth-5-0) Z 23784 23786 10612 0 -1 4203524 501248 0 0 0 167779 260 0 0 18 0 2 0 1132126149 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23786/statm: 0 0 0 0 0 0 0
[pid=23786/tid=23793] ppid=23784 vsize=0 CPUtime=412.3
/proc/23786/task/23793/stat : 23793 (ttsth-5-0) R 23784 23786 10612 0 -1 4203588 138057 0 0 0 41159 71 0 0 25 0 2 0 1132126268 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1680.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 665.943
CPU time (s): 1680.4
CPU user time (s): 1677.79
CPU system time (s): 2.61
CPU usage (%): 252.334
Max. virtual memory (cumulated for all children) (KiB): 2096468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1677.79
system time used= 2.61
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501248
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= 1075
involuntary context switches= 60889

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 11:10:33
IDJOB=1776403
IDBENCH=20494
IDSOLVER=632
FILE ID=/1776403-1243674633
PBS_JOBID=
Free space on /tmp= 7981 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_26.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776403-1243674633/watcher-1776403-1243674633 -o /tmp/evaluation-result-1776403-1243674633/solver-1776403-1243674633 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776403-1243674633.cnf

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

MD5SUM BENCH= 7e9eba7a609bdbcf7c3a7e0f5c07ab04
RANDOM SEED= 550217568

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3087520 kB
Buffers:         88884 kB
Cached:          75980 kB
SwapCached:          0 kB
Active:         121492 kB
Inactive:        65448 kB
HighTotal:     2489216 kB
HighFree:      2390596 kB
LowTotal:       879316 kB
LowFree:        696924 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2104 kB
Writeback:           0 kB
AnonPages:       22076 kB
Mapped:           8252 kB
Slab:            82864 kB
SReclaimable:    70728 kB
SUnreclaim:      12136 kB
PageTables:        804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123552 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7981 MiB
End job on  at 2009-05-30 11:21:41