Trace number 1779913

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)? (TO) 2426.73 1000.13

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
MD5SUMa7bc41b32260e4459b2bee7c18cacba1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark385.17
Satisfiable
(Un)Satisfiability was proved
Number of variables31540
Number of clauses157264
Sum of the clauses size453246
Maximum clause length9
Minimum clause length1
Number of clauses of size 14112
Number of clauses of size 239373
Number of clauses of size 392004
Number of clauses of size 415027
Number of clauses of size 56616
Number of clauses of size over 5132

Solver Data 

0.31/0.38	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779913-1243680173.cnf 
0.31/0.38	c Using SATTIMEOUT of 10000
0.31/0.38	c Using SATRAM of 2047
0.31/0.38	c Size of subset node = 16
0.31/0.38	c Variables = 31540
0.31/0.38	c Clauses = 157264
0.31/0.38	c Literals = 453246
0.31/0.38	c Reduced size:
0.31/0.38	c Variables = 31540
0.31/0.38	c Clauses = 141643
0.31/0.38	c Literals = 414027
0.31/0.38	c a2
0.71/0.73	c a1
11.11/11.18	c Independent sub-problems = 1
11.11/11.18	c Sub-problem with 26520 variables and 141643 clauses
11.11/11.18	c using permutation method 4
11.11/11.18	c count = 1
11.11/11.18	c Ordering finished 11.110 seconds
11.11/11.18	c mapped 11.180 seconds
11.11/11.18	c permuted 11.180 seconds
11.11/11.18	c about to sort
11.21/11.23	c sorted
13.51/13.51	c clauses now 141643
13.51/13.51	c init finished 11.410 seconds
13.51/13.51	c tree built 13.510 seconds
13.51/13.51	c 
13.51/13.51	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
13.51/13.51	c ---------------------------------|----------------------------------|------------------------------------------------------
13.51/13.51	c ................................ | ..........                       |                       13.5           0.0             
13.51/13.51	c ................................ | ..........                     1 |                       13.5           0.1             
13.51/13.51	c ****************................ | ..........                     2 |                       13.5           0.1            1
13.51/13.51	c ****************................ | ..........                     3 |                       13.5           0.2            1
13.51/13.51	c ****************................ | ..........                     4 |                       13.5           0.3            1
13.51/13.51	c ****************................ | ..........                     5 |                       13.5           0.4            1
13.51/13.51	c ****************................ | ..........                     6 |                       13.5           0.4            1
13.51/13.52	c ****************................ | ..........                  1000 | 2                     13.5          74.0          109
200.14/102.99	c ****************................ | ..........               1421000 | 67938                200.3        7092.6     14222184
400.07/186.12	c ****************................ | ..........               2729000 | 139527               400.1        6821.3     25660596
600.40/266.49	c ****************................ | ..........               3176000 | 168350               600.6        5288.1     33071190
800.35/346.74	c ****************................ | ..........               3439000 | 185302               800.4        4296.5     40397230
1000.46/427.21	c ****************................ | *.........               3728000 | 203880              1000.5        3726.2     47687790
1200.06/507.33	c ****************................ | *.........               3981000 | 220178              1200.1        3317.2     53578918
1400.74/584.60	c ****************................ | *.........               4276000 | 239026              1400.7        3052.7     59479837
1599.99/664.59	c ****************................ | *.........               4555000 | 256845              1600.2        2846.6     65268560
1800.02/745.28	c ****************................ | *.........               4946000 | 281323              1800.2        2747.5     74365109
2000.20/826.05	c ****************................ | **........               5494000 | 316709              2000.3        2746.6     84717434

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-1779913-1243680173/watcher-1779913-1243680173 -o /tmp/evaluation-result-1779913-1243680173/solver-1779913-1243680173 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779913-1243680173.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.25 6.32 6.20 4/104 29926
/proc/meminfo: memFree=2103136/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1816 CPUtime=0.02
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 363 0 0 0 2 0 0 0 23 0 1 0 1122118516 1859584 318 4294967295 134512640 135237372 3214570736 3214569260 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 487 319 75 177 0 309 0

[startup+0.046611 s]
/proc/loadavg: 6.25 6.32 6.20 4/104 29926
/proc/meminfo: memFree=2103136/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=3048 CPUtime=0.05
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 642 0 0 0 5 0 0 0 25 0 1 0 1122118516 3121152 597 4294967295 134512640 135237372 3214570736 3214570100 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 762 597 75 177 0 584 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3048

[startup+0.106607 s]
/proc/loadavg: 6.25 6.32 6.20 4/104 29926
/proc/meminfo: memFree=2103136/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=5624 CPUtime=0.11
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 1284 0 0 0 11 0 0 0 25 0 1 0 1122118516 5758976 1239 4294967295 134512640 135237372 3214570736 3214570184 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 1406 1239 75 177 0 1228 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5624

[startup+0.306594 s]
/proc/loadavg: 6.25 6.32 6.20 4/104 29926
/proc/meminfo: memFree=2103136/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=11876 CPUtime=0.31
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 2770 0 0 0 31 0 0 0 25 0 1 0 1122118516 12161024 2725 4294967295 134512640 135237372 3214570736 3214570428 134534043 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 2969 2725 75 177 0 2791 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 11876

[startup+0.706567 s]
/proc/loadavg: 6.25 6.32 6.20 4/104 29926
/proc/meminfo: memFree=2103136/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=22968 CPUtime=0.71
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 5457 0 0 0 71 0 0 0 25 0 1 0 1122118516 23519232 5384 4294967295 134512640 135237372 3214570736 3214569568 134680499 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 5742 5384 76 177 0 5564 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 22968

[startup+1.50651 s]
/proc/loadavg: 6.25 6.32 6.20 4/105 29927
/proc/meminfo: memFree=2082416/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=26972 CPUtime=1.51
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 7081 0 0 0 151 0 0 0 25 0 1 0 1122118516 27619328 6541 4294967295 134512640 135237372 3214570736 3214570064 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 6743 6541 77 177 0 6565 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 26972

[startup+3.1064 s]
/proc/loadavg: 6.25 6.32 6.20 4/105 29927
/proc/meminfo: memFree=2078160/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=27192 CPUtime=3.11
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 7088 0 0 0 311 0 0 0 25 0 1 0 1122118516 27844608 6548 4294967295 134512640 135237372 3214570736 3214570096 134600972 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 6798 6548 77 177 0 6620 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 27192

[startup+6.30618 s]
/proc/loadavg: 5.99 6.26 6.19 4/105 29927
/proc/meminfo: memFree=2077888/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=27324 CPUtime=6.31
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 7154 0 0 0 631 0 0 0 25 0 1 0 1122118516 27979776 6614 4294967295 134512640 135237372 3214570736 3214570096 134600718 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 6831 6614 77 177 0 6653 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 27324

[startup+12.7057 s]
/proc/loadavg: 5.75 6.21 6.17 5/105 29927
/proc/meminfo: memFree=2014744/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=106276 CPUtime=12.71
/proc/29926/stat : 29926 (ttsth-5-0) R 29924 29926 2540 0 -1 4202496 27088 0 0 0 1268 3 0 0 25 0 1 0 1122118516 108826624 26409 4294967295 134512640 135237372 3214570736 3212769528 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29926/statm: 26570 26411 91 177 0 26392 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 106276

[startup+25.5049 s]
/proc/loadavg: 5.68 6.17 6.15 9/110 29964
/proc/meminfo: memFree=1935304/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=202924 CPUtime=37.44
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 43317 0 0 0 3734 10 0 0 25 0 5 0 1122118516 207794176 42499 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 50731 42499 95 177 0 50553 0
[pid=29926/tid=29928] ppid=29924 vsize=202924 CPUtime=7.62
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 2930 0 0 0 761 1 0 0 25 0 5 0 1122119867 207794176 42499 4294967295 134512640 135237372 3214570736 3082252128 134680273 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=202924 CPUtime=4.42
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 3087 0 0 0 441 1 0 0 25 0 5 0 1122119867 207794176 42499 4294967295 134512640 135237372 3214570736 3074029100 134550976 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=202924 CPUtime=5.81
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 2724 0 0 0 580 1 0 0 25 0 5 0 1122119867 207794176 42499 4294967295 134512640 135237372 3214570736 3065592976 134588152 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=202924 CPUtime=6.08
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 3242 0 0 0 607 1 0 0 25 0 5 0 1122119869 207794176 42499 4294967295 134512640 135237372 3214570736 3057224928 134552732 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.44
Current children cumulated vsize (KiB) 202924

[startup+51.1031 s]
/proc/loadavg: 6.18 6.25 6.18 8/109 30117
/proc/meminfo: memFree=1859424/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=280872 CPUtime=88.63
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 62117 0 0 0 8849 14 0 0 25 0 5 0 1122118516 287612928 61299 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 70218 61299 95 177 0 70040 0
[pid=29926/tid=29928] ppid=29924 vsize=280872 CPUtime=21.62
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 6550 0 0 0 2160 2 0 0 25 0 5 0 1122119867 287612928 61299 4294967295 134512640 135237372 3214570736 3082254384 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=280872 CPUtime=16.01
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 7983 0 0 0 1599 2 0 0 25 0 5 0 1122119867 287612928 61299 4294967295 134512640 135237372 3214570736 3074014396 134680502 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=280872 CPUtime=18.64
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 8332 0 0 0 1861 3 0 0 25 0 5 0 1122119867 287612928 61300 4294967295 134512640 135237372 3214570736 3065637952 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=280872 CPUtime=18.85
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 7919 0 0 0 1884 1 0 0 25 0 5 0 1122119869 287612928 61300 4294967295 134512640 135237372 3214570736 3057218560 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 88.63
Current children cumulated vsize (KiB) 280872

[startup+102.32 s]
/proc/loadavg: 6.39 6.29 6.19 7/109 30305
/proc/meminfo: memFree=1754752/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=390584 CPUtime=198.64
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 87938 0 0 0 19834 30 0 0 25 0 5 0 1122118516 399958016 87120 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 97646 87120 95 177 0 97468 0
[pid=29926/tid=29928] ppid=29924 vsize=390584 CPUtime=48.58
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 12478 0 0 0 4851 7 0 0 25 0 5 0 1122119867 399958016 87120 4294967295 134512640 135237372 3214570736 3082252240 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=390584 CPUtime=42.01
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 14238 0 0 0 4195 6 0 0 25 0 5 0 1122119867 399958016 87120 4294967295 134512640 135237372 3214570736 3073995024 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=390584 CPUtime=46.39
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 16301 0 0 0 4632 7 0 0 25 0 5 0 1122119867 399958016 87120 4294967295 134512640 135237372 3214570736 3065608336 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=390584 CPUtime=48.15
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 13587 0 0 0 4811 4 0 0 25 0 5 0 1122119869 399958016 87120 4294967295 134512640 135237372 3214570736 3057220608 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 198.64
Current children cumulated vsize (KiB) 390584

[startup+162.315 s]
/proc/loadavg: 6.62 6.36 6.22 8/110 30456
/proc/meminfo: memFree=1623800/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=527888 CPUtime=342.77
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 120653 0 0 0 34234 43 0 0 25 0 5 0 1122118516 540557312 119835 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 131972 119835 95 177 0 131794 0
[pid=29926/tid=29928] ppid=29924 vsize=527888 CPUtime=101.02
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 27360 0 0 0 10088 14 0 0 25 0 5 0 1122119867 540557312 119835 4294967295 134512640 135237372 3214570736 3082254512 134680245 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=527888 CPUtime=71.31
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 20614 0 0 0 7123 8 0 0 25 0 5 0 1122119867 540557312 119835 4294967295 134512640 135237372 3214570736 3074008768 134680288 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=527888 CPUtime=79.31
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 21862 0 0 0 7921 10 0 0 25 0 5 0 1122119867 540557312 119835 4294967295 134512640 135237372 3214570736 3065607792 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=527888 CPUtime=77.62
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 19483 0 0 0 7757 5 0 0 25 0 5 0 1122119869 540557312 119835 4294967295 134512640 135237372 3214570736 3057217888 134562459 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 342.77
Current children cumulated vsize (KiB) 527888

[startup+222.311 s]
/proc/loadavg: 6.57 6.38 6.23 9/110 30627
/proc/meminfo: memFree=1516676/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=635388 CPUtime=490.48
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 146840 0 0 0 48992 56 0 0 25 0 5 0 1122118516 650637312 146022 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 158847 146022 95 177 0 158669 0
[pid=29926/tid=29928] ppid=29924 vsize=635388 CPUtime=159.06
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 44457 0 0 0 15885 21 0 0 25 0 5 0 1122119867 650637312 146022 4294967295 134512640 135237372 3214570736 3082267392 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=635388 CPUtime=101.4
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 23826 0 0 0 10132 8 0 0 25 0 5 0 1122119867 650637312 146022 4294967295 134512640 135237372 3214570736 3074006860 134562272 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=635388 CPUtime=109.21
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 24804 0 0 0 10906 15 0 0 25 0 5 0 1122119867 650637312 146022 4294967295 134512640 135237372 3214570736 3065606304 134562363 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=635388 CPUtime=107.3
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 22419 0 0 0 10724 6 0 0 25 0 5 0 1122119869 650637312 146022 4294967295 134512640 135237372 3214570736 3057219632 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 490.48
Current children cumulated vsize (KiB) 635388

[startup+282.307 s]
/proc/loadavg: 6.47 6.40 6.25 8/110 30808
/proc/meminfo: memFree=1432880/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=724204 CPUtime=640.12
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 167823 0 0 0 63944 68 0 0 25 0 5 0 1122118516 741584896 167005 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 181051 167005 95 177 0 180873 0
[pid=29926/tid=29928] ppid=29924 vsize=724204 CPUtime=192.87
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 55101 0 0 0 19261 26 0 0 25 0 5 0 1122119867 741584896 167005 4294967295 134512640 135237372 3214570736 3082269152 134562388 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=724204 CPUtime=131.34
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 26460 0 0 0 13125 9 0 0 25 0 5 0 1122119867 741584896 167005 4294967295 134512640 135237372 3214570736 3074030080 134551002 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=724204 CPUtime=145.51
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 28713 0 0 0 14534 17 0 0 25 0 5 0 1122119867 741584896 167005 4294967295 134512640 135237372 3214570736 3065644176 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=724204 CPUtime=156.89
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 26215 0 0 0 15679 10 0 0 25 0 5 0 1122119869 741584896 167005 4294967295 134512640 135237372 3214570736 3057219984 134562444 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 640.12
Current children cumulated vsize (KiB) 724204

[startup+342.313 s]
/proc/loadavg: 6.52 6.41 6.26 8/110 30960
/proc/meminfo: memFree=1346944/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=815056 CPUtime=789.45
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 189124 0 0 0 78857 88 0 0 25 0 5 0 1122118516 834617344 188306 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 203764 188306 95 177 0 203586 0
[pid=29926/tid=29928] ppid=29924 vsize=815056 CPUtime=231.98

################
# More data... #
################


[startup+582.306 s]
/proc/loadavg: 6.30 6.38 6.28 8/109 31629
/proc/meminfo: memFree=1041632/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1134540 CPUtime=1394.97
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 264984 0 0 0 139371 126 0 0 25 0 5 0 1122118516 1161768960 264166 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 283635 264166 95 177 0 283457 0
[pid=29926/tid=29928] ppid=29924 vsize=1134540 CPUtime=443.4
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 91121 0 0 0 44300 40 0 0 25 0 5 0 1122119867 1161768960 264166 4294967295 134512640 135237372 3214570736 3082271756 134562272 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1134540 CPUtime=279.31
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 52036 0 0 0 27908 23 0 0 25 0 5 0 1122119867 1161768960 264166 4294967295 134512640 135237372 3214570736 3073996608 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1134540 CPUtime=321.37
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 45815 0 0 0 32106 31 0 0 25 0 5 0 1122119867 1161768960 264166 4294967295 134512640 135237372 3214570736 3065607888 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1134540 CPUtime=337.38
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 44678 0 0 0 33712 26 0 0 25 0 5 0 1122119869 1161768960 264166 4294967295 134512640 135237372 3214570736 3057230352 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1394.97
Current children cumulated vsize (KiB) 1134540

[startup+642.312 s]
/proc/loadavg: 6.44 6.41 6.29 7/109 31818
/proc/meminfo: memFree=973408/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1207380 CPUtime=1544.85
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 281818 0 0 0 154357 128 0 0 25 0 5 0 1122118516 1236357120 281000 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 301845 281000 95 177 0 301667 0
[pid=29926/tid=29928] ppid=29924 vsize=1207380 CPUtime=503.36
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 99988 0 0 0 50294 42 0 0 25 0 5 0 1122119867 1236357120 281000 4294967295 134512640 135237372 3214570736 3082271744 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1207380 CPUtime=309.18
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 54811 0 0 0 30895 23 0 0 25 0 5 0 1122119867 1236357120 281000 4294967295 134512640 135237372 3214570736 3073995504 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1207380 CPUtime=351.51
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 48266 0 0 0 35120 31 0 0 25 0 5 0 1122119867 1236357120 281000 4294967295 134512640 135237372 3214570736 3065607424 134562278 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1207380 CPUtime=367.29
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 47419 0 0 0 36703 26 0 0 25 0 5 0 1122119869 1236357120 281000 4294967295 134512640 135237372 3214570736 3057219216 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1544.85
Current children cumulated vsize (KiB) 1207380

[startup+702.318 s]
/proc/loadavg: 6.35 6.39 6.29 7/109 32010
/proc/meminfo: memFree=889228/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1295276 CPUtime=1693.3
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 302882 0 0 0 169186 144 0 0 25 0 5 0 1122118516 1326362624 302064 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 323819 302064 95 177 0 323641 0
[pid=29926/tid=29928] ppid=29924 vsize=1295276 CPUtime=554.39
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 105409 0 0 0 55394 45 0 0 25 0 5 0 1122119867 1326362624 302064 4294967295 134512640 135237372 3214570736 3082267872 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1295276 CPUtime=342.59
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 62149 0 0 0 34230 29 0 0 25 0 5 0 1122119867 1326362624 302064 4294967295 134512640 135237372 3214570736 3073967568 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1295276 CPUtime=383.26
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 52928 0 0 0 38292 34 0 0 25 0 5 0 1122119867 1326362624 302064 4294967295 134512640 135237372 3214570736 3065606960 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1295276 CPUtime=399.55
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 51062 0 0 0 39925 30 0 0 25 0 5 0 1122119869 1326362624 302064 4294967295 134512640 135237372 3214570736 3057219104 134562334 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1693.3
Current children cumulated vsize (KiB) 1295276

[startup+762.314 s]
/proc/loadavg: 6.35 6.39 6.29 7/109 32197
/proc/meminfo: memFree=764724/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1425044 CPUtime=1842.23
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 333702 0 0 0 184072 151 0 0 25 0 5 0 1122118516 1459245056 332884 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 356261 332884 95 177 0 356083 0
[pid=29926/tid=29928] ppid=29924 vsize=1425044 CPUtime=600.13
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 121898 0 0 0 59964 49 0 0 25 0 5 0 1122119867 1459245056 332884 4294967295 134512640 135237372 3214570736 3082266256 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1425044 CPUtime=385.11
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 70535 0 0 0 38481 30 0 0 25 0 5 0 1122119867 1459245056 332884 4294967295 134512640 135237372 3214570736 3073949056 134680326 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1425044 CPUtime=412.53
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 55873 0 0 0 41219 34 0 0 25 0 5 0 1122119867 1459245056 332884 4294967295 134512640 135237372 3214570736 3065608064 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1425044 CPUtime=430.95
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 54062 0 0 0 43063 32 0 0 25 0 5 0 1122119869 1459245056 332884 4294967295 134512640 135237372 3214570736 3057219856 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 1425044

[startup+822.31 s]
/proc/loadavg: 6.41 6.41 6.30 8/109 32386
/proc/meminfo: memFree=648768/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1549984 CPUtime=1991
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 362979 0 0 0 198930 170 0 0 25 0 5 0 1122118516 1587183616 362161 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 387496 362161 95 177 0 387318 0
[pid=29926/tid=29928] ppid=29924 vsize=1549984 CPUtime=641.54
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 135201 0 0 0 64099 55 0 0 25 0 5 0 1122119867 1587183616 362161 4294967295 134512640 135237372 3214570736 3082263936 134562320 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1549984 CPUtime=414.85
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 76253 0 0 0 41454 31 0 0 25 0 5 0 1122119867 1587183616 362161 4294967295 134512640 135237372 3214570736 3073980864 134587924 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1549984 CPUtime=442.35
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 61810 0 0 0 44194 41 0 0 25 0 5 0 1122119867 1587183616 362161 4294967295 134512640 135237372 3214570736 3065555680 134590501 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1549984 CPUtime=478.75
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 58381 0 0 0 47838 37 0 0 25 0 5 0 1122119869 1587183616 362161 4294967295 134512640 135237372 3214570736 3057220064 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1991
Current children cumulated vsize (KiB) 1549984

[startup+882.316 s]
/proc/loadavg: 6.27 6.38 6.29 7/109 32572
/proc/meminfo: memFree=525908/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1677828 CPUtime=2139.94
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 393314 0 0 0 213809 185 0 0 25 0 5 0 1122118516 1718095872 392496 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 419457 392496 95 177 0 419279 0
[pid=29926/tid=29928] ppid=29924 vsize=1677828 CPUtime=692.85
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 150598 0 0 0 69220 65 0 0 25 0 5 0 1122119867 1718095872 392496 4294967295 134512640 135237372 3214570736 3082248960 134562413 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1677828 CPUtime=444.21
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 82290 0 0 0 44388 33 0 0 25 0 5 0 1122119867 1718095872 392496 4294967295 134512640 135237372 3214570736 3073960136 134519944 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1677828 CPUtime=477.85
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 67806 0 0 0 47742 43 0 0 25 0 5 0 1122119867 1718095872 392496 4294967295 134512640 135237372 3214570736 3065591392 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1677828 CPUtime=511.52
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 61286 0 0 0 51114 38 0 0 25 0 5 0 1122119869 1718095872 392496 4294967295 134512640 135237372 3214570736 3057219552 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2139.94
Current children cumulated vsize (KiB) 1677828

[startup+942.312 s]
/proc/loadavg: 6.36 6.39 6.30 8/109 32761
/proc/meminfo: memFree=426716/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1782032 CPUtime=2288.73
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 418093 0 0 0 228678 195 0 0 25 0 5 0 1122118516 1824800768 417275 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 445508 417275 95 177 0 445330 0
[pid=29926/tid=29928] ppid=29924 vsize=1782032 CPUtime=752.32
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 162429 0 0 0 75165 67 0 0 25 0 5 0 1122119867 1824800768 417275 4294967295 134512640 135237372 3214570736 3082247920 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1782032 CPUtime=474.11
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 87830 0 0 0 47375 36 0 0 25 0 5 0 1122119867 1824800768 417275 4294967295 134512640 135237372 3214570736 3073971920 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1782032 CPUtime=507.51
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 72187 0 0 0 50707 44 0 0 25 0 5 0 1122119867 1824800768 417275 4294967295 134512640 135237372 3214570736 3065583280 134680364 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1782032 CPUtime=541.28
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 64313 0 0 0 54086 42 0 0 25 0 5 0 1122119869 1824800768 417275 4294967295 134512640 135237372 3214570736 3057219632 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2288.73
Current children cumulated vsize (KiB) 1782032



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.31 6.38 6.30 7/109 481
/proc/meminfo: memFree=361332/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=1850560 CPUtime=2426.6
/proc/29926/stat : 29926 (ttsth-5-0) S 29924 29926 2540 0 -1 4202496 434222 0 0 0 242458 202 0 0 25 0 5 0 1122118516 1894973440 433404 4294967295 134512640 135237372 3214570736 3214570332 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 462640 433404 95 177 0 462462 0
[pid=29926/tid=29928] ppid=29924 vsize=1850560 CPUtime=791.52
/proc/29926/task/29928/stat : 29928 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 167001 0 0 0 79081 71 0 0 25 0 5 0 1122119867 1894973440 433404 4294967295 134512640 135237372 3214570736 3082247840 134562380 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29929] ppid=29924 vsize=1850560 CPUtime=502.58
/proc/29926/task/29929/stat : 29929 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 92925 0 0 0 50219 39 0 0 25 0 5 0 1122119867 1894973440 433404 4294967295 134512640 135237372 3214570736 3073870368 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=1850560 CPUtime=535.91
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 76613 0 0 0 53547 44 0 0 25 0 5 0 1122119867 1894973440 433404 4294967295 134512640 135237372 3214570736 3065607984 134562401 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29926/tid=29931] ppid=29924 vsize=1850560 CPUtime=583.08
/proc/29926/task/29931/stat : 29931 (ttsth-5-0) R 29924 29926 2540 0 -1 4202560 66349 0 0 0 58266 42 0 0 25 0 5 0 1122119869 1894973440 433404 4294967295 134512640 135237372 3214570736 3057219792 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2426.6
Current children cumulated vsize (KiB) 1850560

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

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

[startup+1000.13 s]
/proc/loadavg: 6.31 6.38 6.30 7/109 481
/proc/meminfo: memFree=361332/3368532 swapFree=1954076/1959888
[pid=29926] ppid=29924 vsize=0 CPUtime=2426.73
/proc/29926/stat : 29926 (ttsth-5-0) Z 29924 29926 2540 0 -1 4203524 434229 0 0 0 242462 211 0 0 18 0 2 0 1122118516 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29926/statm: 0 0 0 0 0 0 0
[pid=29926/tid=29930] ppid=29924 vsize=0 CPUtime=536
/proc/29926/task/29930/stat : 29930 (ttsth-5-0) R 29924 29926 2540 0 -1 4203588 76613 0 0 0 53547 53 0 0 25 0 2 0 1122119867 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2426.73
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29926 and gives
#  childrusage.ru_utime.tv_sec=2424
#  childrusage.ru_utime.tv_usec=620000
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=110000
# CPU time returned by wait4() is 2426.73
# while last known CPU time is 2426.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.13
CPU time (s): 2426.73
CPU user time (s): 2424.62
CPU system time (s): 2.11
CPU usage (%): 242.64
Max. virtual memory (cumulated for all children) (KiB): 1850560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2424.62
system time used= 2.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434229
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= 868
involuntary context switches= 25372

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 12:42:53
IDJOB=1779913
IDBENCH=70940
IDSOLVER=632
FILE ID=tipi44/1779913-1243680173
PBS_JOBID=
Free space on /tmp= 15891 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l44_lambda.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779913-1243680173/watcher-1779913-1243680173 -o /tmp/evaluation-result-1779913-1243680173/solver-1779913-1243680173 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779913-1243680173.cnf

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

MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED= 2044861593

Linux tipi44 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.116
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.116
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.10
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.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2103876 kB
Buffers:        176484 kB
Cached:         754020 kB
SwapCached:       2152 kB
Active:         842620 kB
Inactive:       314368 kB
HighTotal:     2489216 kB
HighFree:      1522600 kB
LowTotal:       879316 kB
LowFree:        581276 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            5240 kB
Writeback:           0 kB
AnonPages:      225536 kB
Mapped:           5668 kB
Slab:            97672 kB
SReclaimable:    87264 kB
SUnreclaim:      10408 kB
PageTables:        768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   308332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15891 MiB
End job on tipi44 at 2009-05-30 12:59:36