Trace number 1776390

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) 1412.11 90.6924

General information on the benchmark

Nameindustrial/grieu/
vmpc_34.cnf
MD5SUMa27d41b3e10d867544cd2bff7d005be2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1886.11
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of clauses194072
Sum of the clauses size507926
Maximum clause length34
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 276398
Number of clauses of size 3117606
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 568

Solver Data 

0.18/0.21	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776390-1244930564.cnf 
0.18/0.21	c Using SATTIMEOUT of 10000
0.18/0.21	c Using SATRAM of 2047
0.18/0.21	c Size of subset node = 16
0.18/0.21	c Variables = 1156
0.18/0.21	c Clauses = 194072
0.18/0.21	c Literals = 507926
0.18/0.21	c Reduced size:
0.18/0.21	c Variables = 1156
0.18/0.21	c Clauses = 194072
0.18/0.21	c Literals = 507926
0.18/0.21	c a2
0.48/0.51	c a1
1.10/1.16	c Independent sub-problems = 1
1.10/1.16	c Sub-problem with 1156 variables and 194072 clauses
1.10/1.16	c using permutation method 4
1.10/1.16	c count = 1
1.10/1.16	c Ordering finished 1.080 seconds
1.10/1.16	c mapped 1.160 seconds
1.10/1.16	c permuted 1.160 seconds
1.10/1.16	c about to sort
1.18/1.20	c sorted
2.20/2.21	c clauses now 194072
2.20/2.21	c init finished 1.230 seconds
2.20/2.21	c tree built 2.200 seconds
2.20/2.21	c 
2.20/2.21	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.20/2.21	c ---------------------------------|----------------------------------|------------------------------------------------------
2.20/2.21	c ................................ | ..........                       |                        2.2           0.0             
2.20/2.21	c ................................ | ..........                     1 |                        2.2           0.5            1
2.20/2.21	c ................................ | ..........                     2 |                        2.2           0.9           10
2.20/2.21	c ................................ | ..........                     3 |                        2.2           1.4           10
2.20/2.21	c ................................ | ..........                     4 |                        2.2           1.8           11
2.20/2.21	c ................................ | ..........                     5 |                        2.2           2.3           11
8.14/2.63	c ................................ | ..........                  1000 | 10                     5.8         172.1        33136
207.74/15.14	c ................................ | ..........                 51000 | 2646                 204.6         249.2     19011700
404.07/27.43	c ................................ | ..........                 87000 | 4620                 400.8         217.1     36483658
609.85/40.31	c ................................ | ..........                117000 | 6308                 606.5         192.9     52766923
808.06/52.73	c ................................ | ..........                142000 | 7656                 804.9         176.4     66842648
1007.50/65.25	c ................................ | *.........                166000 | 8853                1004.8         165.2     80861025
1210.31/77.95	c ................................ | *.........                187000 | 10024               1207.5         154.9     93863792
1402.03/89.99	c ................................ | *.........                204000 | 11057               1400.0         145.7    105008708

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-1776390-1244930564/watcher-1776390-1244930564 -o /tmp/evaluation-result-1776390-1244930564/solver-1776390-1244930564 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776390-1244930564.cnf 

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


[startup+0 s]
/proc/loadavg: 14.60 15.21 12.02 2/184 19048
/proc/meminfo: memFree=19059728/36427776 swapFree=4360/7796
[pid=19048] ppid=19046 vsize=1552 CPUtime=0
/proc/19048/stat : 19048 (ttsth-5-0) R 19046 19048 15497 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 652362815 1589248 227 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 388 227 75 177 0 210 0

[startup+0.04517 s]
/proc/loadavg: 14.60 15.21 12.02 2/184 19048
/proc/meminfo: memFree=19059728/36427776 swapFree=4360/7796
[pid=19048] ppid=19046 vsize=3908 CPUtime=0.04
/proc/19048/stat : 19048 (ttsth-5-0) R 19046 19048 15497 0 -1 4202496 853 0 0 0 4 0 0 0 20 0 1 0 652362815 4001792 809 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 977 810 75 177 0 799 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3908

[startup+0.101182 s]
/proc/loadavg: 14.60 15.21 12.02 2/184 19048
/proc/meminfo: memFree=19059728/36427776 swapFree=4360/7796
[pid=19048] ppid=19046 vsize=7640 CPUtime=0.1
/proc/19048/stat : 19048 (ttsth-5-0) R 19046 19048 15497 0 -1 4202496 1782 0 0 0 10 0 0 0 20 0 1 0 652362815 7823360 1738 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134887182 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 1910 1739 75 177 0 1732 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7640

[startup+0.301242 s]
/proc/loadavg: 14.60 15.21 12.02 2/184 19048
/proc/meminfo: memFree=19059728/36427776 swapFree=4360/7796
[pid=19048] ppid=19046 vsize=22336 CPUtime=0.3
/proc/19048/stat : 19048 (ttsth-5-0) R 19046 19048 15497 0 -1 4202496 5466 0 0 0 30 0 0 0 20 0 1 0 652362815 22872064 5421 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134680367 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 5584 5421 76 177 0 5406 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 22336

[startup+0.70127 s]
/proc/loadavg: 14.60 15.21 12.02 2/184 19048
/proc/meminfo: memFree=19059728/36427776 swapFree=4360/7796
[pid=19048] ppid=19046 vsize=21628 CPUtime=0.68
/proc/19048/stat : 19048 (ttsth-5-0) R 19046 19048 15497 0 -1 4202496 7204 0 0 0 68 0 0 0 20 0 1 0 652362815 22147072 4873 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134732614 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 5407 4873 77 177 0 5229 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21628

[startup+1.50131 s]
/proc/loadavg: 14.60 15.21 12.02 2/185 19049
/proc/meminfo: memFree=19034448/36427776 swapFree=4804/33276
[pid=19048] ppid=19046 vsize=37532 CPUtime=1.48
/proc/19048/stat : 19048 (ttsth-5-0) R 19046 19048 15497 0 -1 4202496 12042 0 0 0 144 4 0 0 20 0 1 0 652362815 38432768 9133 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134730243 0 0 1 0 0 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 9383 9133 88 177 0 9205 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37532

[startup+3.10416 s]
/proc/loadavg: 14.60 15.21 12.02 2/185 19049
/proc/meminfo: memFree=19003916/36427776 swapFree=4480/63592
[pid=19048] ppid=19046 vsize=212872 CPUtime=17.14
/proc/19048/stat : 19048 (ttsth-5-0) S 19046 19048 15497 0 -1 4202496 22985 0 0 0 1149 565 0 0 20 0 17 0 652362815 217980928 19788 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 53218 19791 95 177 0 53040 0
Current children cumulated CPU time (s) 17.14
Current children cumulated vsize (KiB) 212872

[startup+6.30573 s]
/proc/loadavg: 14.71 15.23 12.04 17/201 19065
/proc/meminfo: memFree=18916056/36427776 swapFree=4692/155520
[pid=19048] ppid=19046 vsize=312100 CPUtime=68.38
/proc/19048/stat : 19048 (ttsth-5-0) S 19046 19048 15497 0 -1 4202496 47343 0 0 0 6273 565 0 0 20 0 17 0 652362815 319590400 44145 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 78025 44147 95 177 0 77847 0
[pid=19048/tid=19050] ppid=19046 vsize=312100 CPUtime=4.12
/proc/19048/task/19050/stat : 19050 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1992 0 0 0 380 32 0 0 20 0 17 0 652363036 319590400 44147 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19048/tid=19051] ppid=19046 vsize=312100 CPUtime=4.12
/proc/19048/task/19051/stat : 19051 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1895 0 0 0 378 34 0 0 20 0 17 0 652363036 319590400 44149 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19048/tid=19052] ppid=19046 vsize=312100 CPUtime=4.12
/proc/19048/task/19052/stat : 19052 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1620 0 0 0 378 34 0 0 20 0 17 0 652363036 319590400 44149 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19048/tid=19053] ppid=19046 vsize=312100 CPUtime=4.08
/proc/19048/task/19053/stat : 19053 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 2226 0 0 0 376 32 0 0 20 0 17 0 652363036 319590400 44149 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19048/tid=19054] ppid=19046 vsize=312100 CPUtime=4.1
/proc/19048/task/19054/stat : 19054 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1494 0 0 0 378 32 0 0 20 0 17 0 652363036 319590400 44150 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19048/tid=19055] ppid=19046 vsize=312100 CPUtime=4.16
/proc/19048/task/19055/stat : 19055 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1824 0 0 0 378 38 0 0 20 0 17 0 652363036 319590400 44150 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134549960 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19048/tid=19056] ppid=19046 vsize=312100 CPUtime=4.1
/proc/19048/task/19056/stat : 19056 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1529 0 0 0 380 30 0 0 20 0 17 0 652363036 319590400 44150 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19048/tid=19057] ppid=19046 vsize=312100 CPUtime=4.18
/proc/19048/task/19057/stat : 19057 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1990 0 0 0 378 40 0 0 20 0 17 0 652363036 319590400 44150 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134590180 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19048/tid=19058] ppid=19046 vsize=312100 CPUtime=4.12
/proc/19048/task/19058/stat : 19058 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1943 0 0 0 380 32 0 0 20 0 17 0 652363036 319590400 44151 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19048/tid=19059] ppid=19046 vsize=312100 CPUtime=4.14
/proc/19048/task/19059/stat : 19059 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1626 0 0 0 380 34 0 0 20 0 17 0 652363036 319590400 44152 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19048/tid=19060] ppid=19046 vsize=312100 CPUtime=4.16
/proc/19048/task/19060/stat : 19060 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1987 0 0 0 380 36 0 0 20 0 17 0 652363036 319590400 44153 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19048/tid=19061] ppid=19046 vsize=312100 CPUtime=4.2
/proc/19048/task/19061/stat : 19061 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1658 0 0 0 380 40 0 0 20 0 17 0 652363036 319590400 44153 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19048/tid=19062] ppid=19046 vsize=312100 CPUtime=4.12
/proc/19048/task/19062/stat : 19062 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1771 0 0 0 378 34 0 0 20 0 17 0 652363036 319590400 44153 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19048/tid=19063] ppid=19046 vsize=312100 CPUtime=4.06
/proc/19048/task/19063/stat : 19063 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1736 0 0 0 372 34 0 0 20 0 17 0 652363036 319590400 44153 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134550041 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19048/tid=19064] ppid=19046 vsize=312100 CPUtime=4.14
/proc/19048/task/19064/stat : 19064 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1728 0 0 0 380 34 0 0 20 0 17 0 652363036 319590400 44153 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19048/tid=19065] ppid=19046 vsize=312100 CPUtime=4.14
/proc/19048/task/19065/stat : 19065 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 1643 0 0 0 378 36 0 0 20 0 17 0 652363036 319590400 44154 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134680242 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 68.38
Current children cumulated vsize (KiB) 312100

[startup+12.7079 s]
/proc/loadavg: 14.81 15.24 12.06 17/201 19065
/proc/meminfo: memFree=18722556/36427776 swapFree=4692/347208
[pid=19048] ppid=19046 vsize=501416 CPUtime=169.69
/proc/19048/stat : 19048 (ttsth-5-0) S 19046 19048 15497 0 -1 4202496 93180 0 0 0 16398 571 0 0 20 0 17 0 652362815 513449984 89982 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 125354 89982 95 177 0 125176 0
[pid=19048/tid=19050] ppid=19046 vsize=501416 CPUtime=10.48
/proc/19048/task/19050/stat : 19050 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 5203 0 0 0 1016 32 0 0 20 0 17 0 652363036 513449984 89982 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134561392 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19048/tid=19051] ppid=19046 vsize=501416 CPUtime=10.46
/proc/19048/task/19051/stat : 19051 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4875 0 0 0 1010 36 0 0 20 0 17 0 652363036 513449984 89982 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19048/tid=19052] ppid=19046 vsize=501416 CPUtime=10.5
/proc/19048/task/19052/stat : 19052 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4482 0 0 0 1016 34 0 0 20 0 17 0 652363036 513449984 89983 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19048/tid=19053] ppid=19046 vsize=501416 CPUtime=10.42
/proc/19048/task/19053/stat : 19053 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4691 0 0 0 1008 34 0 0 20 0 17 0 652363036 513449984 89983 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19048/tid=19054] ppid=19046 vsize=501416 CPUtime=10.44
/proc/19048/task/19054/stat : 19054 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 3886 0 0 0 1012 32 0 0 20 0 17 0 652363036 513449984 89983 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19048/tid=19055] ppid=19046 vsize=501416 CPUtime=10.5
/proc/19048/task/19055/stat : 19055 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4716 0 0 0 1012 38 0 0 20 0 17 0 652363036 513449984 89985 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19048/tid=19056] ppid=19046 vsize=501416 CPUtime=10.46
/proc/19048/task/19056/stat : 19056 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4751 0 0 0 1012 34 0 0 20 0 17 0 652363036 513449984 89985 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19048/tid=19057] ppid=19046 vsize=501416 CPUtime=10.5
/proc/19048/task/19057/stat : 19057 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4831 0 0 0 1010 40 0 0 20 0 17 0 652363036 513449984 89985 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19048/tid=19058] ppid=19046 vsize=501416 CPUtime=10.44
/proc/19048/task/19058/stat : 19058 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4209 0 0 0 1012 32 0 0 20 0 17 0 652363036 513449984 89985 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19048/tid=19059] ppid=19046 vsize=501416 CPUtime=10.48
/proc/19048/task/19059/stat : 19059 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4202 0 0 0 1014 34 0 0 20 0 17 0 652363036 513449984 89985 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19048/tid=19060] ppid=19046 vsize=501416 CPUtime=10.48
/proc/19048/task/19060/stat : 19060 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4948 0 0 0 1012 36 0 0 20 0 17 0 652363036 513449984 89985 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19048/tid=19061] ppid=19046 vsize=501416 CPUtime=10.54
/proc/19048/task/19061/stat : 19061 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4525 0 0 0 1014 40 0 0 20 0 17 0 652363036 513449984 89985 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134588792 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19048/tid=19062] ppid=19046 vsize=501416 CPUtime=10.46
/proc/19048/task/19062/stat : 19062 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4619 0 0 0 1012 34 0 0 20 0 17 0 652363036 513449984 89986 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19048/tid=19063] ppid=19046 vsize=501416 CPUtime=10.24
/proc/19048/task/19063/stat : 19063 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4623 0 0 0 990 34 0 0 20 0 17 0 652363036 513449984 89986 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562278 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19048/tid=19064] ppid=19046 vsize=501416 CPUtime=10.48
/proc/19048/task/19064/stat : 19064 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 5139 0 0 0 1014 34 0 0 20 0 17 0 652363036 513449984 89986 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19048/tid=19065] ppid=19046 vsize=501416 CPUtime=10.48
/proc/19048/task/19065/stat : 19065 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 4796 0 0 0 1012 36 0 0 20 0 17 0 652363036 513449984 89986 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134591069 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.69
Current children cumulated vsize (KiB) 501416

[startup+25.502 s]
/proc/loadavg: 15.07 15.28 12.12 17/201 19065
/proc/meminfo: memFree=18378144/36427776 swapFree=4692/690892
[pid=19048] ppid=19046 vsize=846884 CPUtime=373.52
/proc/19048/stat : 19048 (ttsth-5-0) S 19046 19048 15497 0 -1 4202496 175748 0 0 0 36649 703 0 0 20 0 17 0 652362815 867209216 172550 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 211721 172551 95 177 0 211543 0
[pid=19048/tid=19050] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19050/stat : 19050 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 10101 0 0 0 2286 38 0 0 20 0 17 0 652363036 867209216 172551 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19048/tid=19051] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19051/stat : 19051 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 10421 0 0 0 2278 46 0 0 20 0 17 0 652363036 867209216 172551 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19048/tid=19052] ppid=19046 vsize=846884 CPUtime=23.22
/proc/19048/task/19052/stat : 19052 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 9397 0 0 0 2282 40 0 0 20 0 17 0 652363036 867209216 172551 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19048/tid=19053] ppid=19046 vsize=846884 CPUtime=23.2
/proc/19048/task/19053/stat : 19053 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 9758 0 0 0 2274 46 0 0 20 0 17 0 652363036 867209216 172551 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19048/tid=19054] ppid=19046 vsize=846884 CPUtime=23.22
/proc/19048/task/19054/stat : 19054 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 9050 0 0 0 2280 42 0 0 20 0 17 0 652363036 867209216 172551 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19048/tid=19055] ppid=19046 vsize=846884 CPUtime=23.2
/proc/19048/task/19055/stat : 19055 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 9537 0 0 0 2278 42 0 0 20 0 17 0 652363036 867209216 172552 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19048/tid=19056] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19056/stat : 19056 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 10745 0 0 0 2276 48 0 0 20 0 17 0 652363036 867209216 172552 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19048/tid=19057] ppid=19046 vsize=846884 CPUtime=23.22
/proc/19048/task/19057/stat : 19057 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 10364 0 0 0 2272 50 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19048/tid=19058] ppid=19046 vsize=846884 CPUtime=23.2
/proc/19048/task/19058/stat : 19058 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 8833 0 0 0 2278 42 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19048/tid=19059] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19059/stat : 19059 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 8533 0 0 0 2282 42 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19048/tid=19060] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19060/stat : 19060 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 10119 0 0 0 2280 44 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19048/tid=19061] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19061/stat : 19061 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 9340 0 0 0 2284 40 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19048/tid=19062] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19062/stat : 19062 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 9881 0 0 0 2282 42 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19048/tid=19063] ppid=19046 vsize=846884 CPUtime=22.76
/proc/19048/task/19063/stat : 19063 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 9248 0 0 0 2232 44 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19048/tid=19064] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19064/stat : 19064 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 10824 0 0 0 2282 42 0 0 20 0 17 0 652363036 867209216 172553 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19048/tid=19065] ppid=19046 vsize=846884 CPUtime=23.24
/proc/19048/task/19065/stat : 19065 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 10913 0 0 0 2280 44 0 0 20 0 17 0 652363036 867209216 172554 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 373.52
Current children cumulated vsize (KiB) 846884

[startup+51.1023 s]
/proc/loadavg: 15.39 15.33 12.22 17/201 19065
/proc/meminfo: memFree=17852064/36427776 swapFree=4692/1217904
[pid=19048] ppid=19046 vsize=1401268 CPUtime=782.32
/proc/19048/stat : 19048 (ttsth-5-0) S 19046 19048 15497 0 -1 4202496 308015 0 0 0 77252 980 0 0 20 0 17 0 652362815 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 350317 304817 95 177 0 350139 0
[pid=19048/tid=19050] ppid=19046 vsize=1401268 CPUtime=48.84
/proc/19048/task/19050/stat : 19050 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 17391 0 0 0 4836 48 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134591099 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19048/tid=19051] ppid=19046 vsize=1401268 CPUtime=48.83
/proc/19048/task/19051/stat : 19051 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 20379 0 0 0 4817 66 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19048/tid=19052] ppid=19046 vsize=1401268 CPUtime=48.81
/proc/19048/task/19052/stat : 19052 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 17247 0 0 0 4821 60 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19048/tid=19053] ppid=19046 vsize=1401268 CPUtime=48.77
/proc/19048/task/19053/stat : 19053 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 16152 0 0 0 4819 58 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19048/tid=19054] ppid=19046 vsize=1401268 CPUtime=48.81
/proc/19048/task/19054/stat : 19054 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 16663 0 0 0 4823 58 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19048/tid=19055] ppid=19046 vsize=1401268 CPUtime=48.8
/proc/19048/task/19055/stat : 19055 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 17477 0 0 0 4820 60 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19048/tid=19056] ppid=19046 vsize=1401268 CPUtime=48.82
/proc/19048/task/19056/stat : 19056 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 20969 0 0 0 4808 74 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19048/tid=19057] ppid=19046 vsize=1401268 CPUtime=48.8
/proc/19048/task/19057/stat : 19057 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 19666 0 0 0 4808 72 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19048/tid=19058] ppid=19046 vsize=1401268 CPUtime=48.8
/proc/19048/task/19058/stat : 19058 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 15463 0 0 0 4822 58 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19048/tid=19059] ppid=19046 vsize=1401268 CPUtime=48.83
/proc/19048/task/19059/stat : 19059 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 16479 0 0 0 4825 58 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19048/tid=19060] ppid=19046 vsize=1401268 CPUtime=48.82
/proc/19048/task/19060/stat : 19060 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 18620 0 0 0 4824 58 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19048/tid=19061] ppid=19046 vsize=1401268 CPUtime=48.81
/proc/19048/task/19061/stat : 19061 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 17382 0 0 0 4827 54 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19048/tid=19062] ppid=19046 vsize=1401268 CPUtime=48.82
/proc/19048/task/19062/stat : 19062 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 16902 0 0 0 4826 56 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19048/tid=19063] ppid=19046 vsize=1401268 CPUtime=47.83
/proc/19048/task/19063/stat : 19063 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 16700 0 0 0 4725 58 0 0 20 0 17 0 652363036 1434898432 304817 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19048/tid=19064] ppid=19046 vsize=1401268 CPUtime=48.81
/proc/19048/task/19064/stat : 19064 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 20204 0 0 0 4821 60 0 0 20 0 17 0 652363036 1434898432 304818 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19048/tid=19065] ppid=19046 vsize=1401268 CPUtime=48.81
/proc/19048/task/19065/stat : 19065 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 21634 0 0 0 4813 68 0 0 20 0 17 0 652363036 1434898432 304818 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 782.32
Current children cumulated vsize (KiB) 1401268



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+90.5041 s]
/proc/loadavg: 15.69 15.41 12.38 17/201 19065
/proc/meminfo: memFree=17173732/36427776 swapFree=4692/1894848
[pid=19048] ppid=19046 vsize=2098664 CPUtime=1411.77
/proc/19048/stat : 19048 (ttsth-5-0) S 19046 19048 15497 0 -1 4202496 474681 0 0 0 139833 1344 0 0 20 0 17 0 652362815 2149031936 471483 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 524666 471483 95 177 0 524488 0
[pid=19048/tid=19050] ppid=19046 vsize=2098664 CPUtime=88.24
/proc/19048/task/19050/stat : 19050 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 25938 0 0 0 8762 62 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=19048/tid=19051] ppid=19046 vsize=2098664 CPUtime=88.21
/proc/19048/task/19051/stat : 19051 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 31928 0 0 0 8733 88 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=19048/tid=19052] ppid=19046 vsize=2098664 CPUtime=88.21
/proc/19048/task/19052/stat : 19052 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 25459 0 0 0 8741 80 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=19048/tid=19053] ppid=19046 vsize=2098664 CPUtime=88.16
/proc/19048/task/19053/stat : 19053 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 29360 0 0 0 8724 92 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=19048/tid=19054] ppid=19046 vsize=2098664 CPUtime=88.2
/proc/19048/task/19054/stat : 19054 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 25270 0 0 0 8740 80 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=19048/tid=19055] ppid=19046 vsize=2098664 CPUtime=88.18
/proc/19048/task/19055/stat : 19055 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 26355 0 0 0 8736 82 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=19048/tid=19056] ppid=19046 vsize=2098664 CPUtime=88.21
/proc/19048/task/19056/stat : 19056 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 32258 0 0 0 8723 98 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134592323 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=19048/tid=19057] ppid=19046 vsize=2098664 CPUtime=88.19
/proc/19048/task/19057/stat : 19057 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 28041 0 0 0 8727 92 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=19048/tid=19058] ppid=19046 vsize=2098664 CPUtime=88.17
/proc/19048/task/19058/stat : 19058 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 30493 0 0 0 8729 88 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=19048/tid=19059] ppid=19046 vsize=2098664 CPUtime=88.22
/proc/19048/task/19059/stat : 19059 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 26196 0 0 0 8744 78 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=19048/tid=19060] ppid=19046 vsize=2098664 CPUtime=88.2
/proc/19048/task/19060/stat : 19060 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 29009 0 0 0 8736 84 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=19048/tid=19061] ppid=19046 vsize=2098664 CPUtime=88.2
/proc/19048/task/19061/stat : 19061 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 27482 0 0 0 8740 80 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=19048/tid=19062] ppid=19046 vsize=2098664 CPUtime=88.21
/proc/19048/task/19062/stat : 19062 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 25118 0 0 0 8749 72 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=19048/tid=19063] ppid=19046 vsize=2098664 CPUtime=86.42
/proc/19048/task/19063/stat : 19063 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 25561 0 0 0 8564 78 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=19048/tid=19064] ppid=19046 vsize=2098664 CPUtime=88.21
/proc/19048/task/19064/stat : 19064 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 32428 0 0 0 8737 84 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=19048/tid=19065] ppid=19046 vsize=2098664 CPUtime=88.19
/proc/19048/task/19065/stat : 19065 (ttsth-5-0) R 19046 19048 15497 0 -1 4202560 35099 0 0 0 8727 92 0 0 20 0 17 0 652363036 2149031936 471484 18446744073709551615 134512640 135237372 4293578112 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1411.77
Current children cumulated vsize (KiB) 2098664

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

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

[startup+90.625 s]
/proc/loadavg: 15.69 15.41 12.38 17/201 19065
/proc/meminfo: memFree=17173732/36427776 swapFree=4692/1894848
[pid=19048] ppid=19046 vsize=0 CPUtime=1412.02
/proc/19048/stat : 19048 (ttsth-5-0) Z 19046 19048 15497 0 -1 4203532 474701 0 0 0 139847 1355 0 0 20 0 2 0 652362815 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19048/statm: 0 0 0 0 0 0 0
[pid=19048/tid=19065] ppid=19046 vsize=0 CPUtime=88.3
/proc/19048/task/19065/stat : 19065 (ttsth-5-0) R 19046 19048 15497 0 -1 4203588 35099 0 0 0 8728 102 0 0 20 0 2 0 652363036 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1412.02
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 90.6924
CPU time (s): 1412.11
CPU user time (s): 1398.5
CPU system time (s): 13.6128
CPU usage (%): 1557.03
Max. virtual memory (cumulated for all children) (KiB): 2098664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1398.5
system time used= 13.6128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474701
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= 11655
involuntary context switches= 2874

runsolver used 0.512032 second user time and 1.32408 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 00:02:44
IDJOB=1776390
IDBENCH=20493
IDSOLVER=634
FILE ID=xenhost3-49/1776390-1244930564
PBS_JOBID=
Free space on /tmp= 7023 MiB

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

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

MD5SUM BENCH= a27d41b3e10d867544cd2bff7d005be2
RANDOM SEED= 938162735

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:      19060172 kB
Buffers:        472612 kB
Cached:       14117844 kB
SwapCached:          0 kB
Active:        4118772 kB
Inactive:     10479396 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3344 kB
Writeback:           0 kB
AnonPages:        7796 kB
Mapped:           3696 kB
Slab:           717328 kB
SReclaimable:   690560 kB
SUnreclaim:      26768 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29856 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 00:04:17