Trace number 1777597

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
gNovelty+-T 2009-03-22 (4 threads)? (TO) 3857.56 1000.04

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/UNKNOWN/110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
MD5SUMbe53d6aab4327d2095ad021029e1f91d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses2343
Sum of the clauses size11715
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52343
Number of clauses of size over 50

Solver Data 

0.03/0.08	c +------------------------------+
0.03/0.08	c | gNovelty+, version 1.0       |
0.03/0.08	c +------------------------------+
0.03/0.08	c gnovelty+ -h for help
0.03/0.08	c

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-1777597-1243450729/watcher-1777597-1243450729 -o /tmp/evaluation-result-1777597-1243450729/solver-1777597-1243450729 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777597-1243450729.cnf 1398114094 4 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 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: 3.63 3.89 3.89 3/96 14810
/proc/meminfo: memFree=3040280/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=509232 CPUtime=0
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 1317 0 0 0 0 0 0 0 18 0 1 0 1099174027 521453568 1273 4294967295 134512640 135680988 3220083264 3220082528 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/14810/statm: 127308 1280 99 286 0 127020 0

[startup+0.039367 s]
/proc/loadavg: 3.63 3.89 3.89 3/96 14810
/proc/meminfo: memFree=3040280/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=517044 CPUtime=0.03
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 10782 0 0 0 0 3 0 0 18 0 1 0 1099174027 529453056 10737 4294967295 134512640 135680988 3220083264 3220082528 134537779 0 0 0 0 0 0 0 17 3 0 0 0
/proc/14810/statm: 129261 10743 99 286 0 128973 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 517044

[startup+0.109325 s]
/proc/loadavg: 3.63 3.89 3.89 3/96 14810
/proc/meminfo: memFree=3040280/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=0.11
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19807 0 0 0 5 6 0 0 19 0 4 0 1099174027 558903296 19762 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 545804

[startup+0.309312 s]
/proc/loadavg: 3.63 3.89 3.89 3/96 14810
/proc/meminfo: memFree=3040280/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=0.87
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 69 18 0 0 18 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 545804

[startup+0.709348 s]
/proc/loadavg: 3.63 3.89 3.89 3/96 14810
/proc/meminfo: memFree=3040280/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=2.45
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 203 42 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 545804

[startup+1.50934 s]
/proc/loadavg: 3.63 3.89 3.89 5/100 14814
/proc/meminfo: memFree=2961696/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=5.51
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 466 85 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=1.38
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 114 24 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=1.37
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 116 21 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=1.35
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 122 13 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 545804

[startup+3.10917 s]
/proc/loadavg: 3.63 3.89 3.89 5/100 14814
/proc/meminfo: memFree=2961628/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=11.52
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 968 184 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=2.92
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 246 46 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=2.78
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 234 44 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=2.84
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 242 42 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 545804

[startup+6.30961 s]
/proc/loadavg: 3.66 3.89 3.89 5/100 14814
/proc/meminfo: memFree=2961628/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=23.63
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 1986 377 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=6.08
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 506 102 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=5.77
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 490 87 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=5.72
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 483 89 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.63
Current children cumulated vsize (KiB) 545804

[startup+12.7087 s]
/proc/loadavg: 3.77 3.91 3.89 5/100 14815
/proc/meminfo: memFree=2961568/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=48.23
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 4027 796 0 0 16 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=12.16
/proc/14810/task/14812/stat : 14812 (gnovelty+) S 14808 14810 15881 0 -1 4202560 7 0 0 0 1004 212 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=11.99
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 1019 180 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=11.83
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 976 207 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.23
Current children cumulated vsize (KiB) 545804

[startup+25.5081 s]
/proc/loadavg: 3.82 3.91 3.90 5/100 14817
/proc/meminfo: memFree=2961500/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=97.04
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 8085 1619 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=23.92
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 1966 426 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=23.92
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 2005 387 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=24.34
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 2025 409 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.04
Current children cumulated vsize (KiB) 545804

[startup+51.1061 s]
/proc/loadavg: 4.03 3.95 3.91 5/100 15002
/proc/meminfo: memFree=2961336/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=195.94
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 16193 3401 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=48.58
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 3953 905 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=48.63
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 4046 817 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=49.17
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 4088 829 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 195.94
Current children cumulated vsize (KiB) 545804

[startup+102.313 s]
/proc/loadavg: 4.22 4.02 3.93 7/100 15189
/proc/meminfo: memFree=2961304/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=393.85
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 32532 6853 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=97.42
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 7995 1747 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=98.39
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 8167 1672 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=98.63
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 8144 1719 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 393.85
Current children cumulated vsize (KiB) 545804

[startup+162.318 s]
/proc/loadavg: 4.34 4.09 3.96 5/100 15376
/proc/meminfo: memFree=2961156/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=625.83
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 51559 11024 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=155.87
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 12754 2833 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=156.63
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 12971 2692 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=156.31
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 12875 2756 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 625.83
Current children cumulated vsize (KiB) 545804

[startup+222.315 s]
/proc/loadavg: 4.17 4.08 3.96 5/100 15564
/proc/meminfo: memFree=2961080/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=858.73
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 70682 15191 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=213.81
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 17493 3888 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=215.1
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 17776 3734 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=214.55
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 17682 3773 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 858.73
Current children cumulated vsize (KiB) 545804

[startup+282.31 s]
/proc/loadavg: 3.97 4.04 3.95 5/100 15757
/proc/meminfo: memFree=2960984/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=1089
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 89793 19107 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=271.54
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 22269 4885 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=272.46
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 22507 4739 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=14810] ppid=14808 vsize=545804 CPUtime=1552.3
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 127864 27366 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=387.65
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 31749 7016 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=388.2
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 32056 6764 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=388.23
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 32095 6728 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1552.3
Current children cumulated vsize (KiB) 545804

[startup+462.308 s]
/proc/loadavg: 4.06 4.06 3.97 5/100 16324
/proc/meminfo: memFree=2960784/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=1783.68
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 146802 31566 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=444.96
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 36425 8071 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=446.46
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 36821 7825 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=445.96
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 36848 7748 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.68
Current children cumulated vsize (KiB) 545804

[startup+522.304 s]
/proc/loadavg: 4.16 4.08 3.98 5/100 16512
/proc/meminfo: memFree=2960660/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=2015.51
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 165747 35804 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=503.27
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 41153 9174 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=504.79
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 41583 8896 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=503.66
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 41585 8781 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2015.51
Current children cumulated vsize (KiB) 545804

[startup+582.31 s]
/proc/loadavg: 4.06 4.06 3.98 5/100 16701
/proc/meminfo: memFree=2960612/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=2245.57
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 184711 39846 0 0 16 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=560.43
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 45826 10217 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=562.33
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 46303 9930 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=560.52
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 46319 9733 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2245.57
Current children cumulated vsize (KiB) 545804

[startup+642.306 s]
/proc/loadavg: 4.01 4.05 3.98 5/100 16892
/proc/meminfo: memFree=2960824/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=2476.75
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 203822 43853 0 0 16 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=617.81
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 50542 11239 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=620.33
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 51110 10923 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=618.9
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 51158 10732 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2476.75
Current children cumulated vsize (KiB) 545804

[startup+702.302 s]
/proc/loadavg: 4.22 4.11 4.01 5/100 17080
/proc/meminfo: memFree=2960652/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=2707.39
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 222845 47894 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=675.92
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 55331 12261 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=677.6
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 55810 11950 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=676.3
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 55926 11704 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2707.39
Current children cumulated vsize (KiB) 545804

[startup+762.318 s]
/proc/loadavg: 4.03 4.07 4.00 5/100 17267
/proc/meminfo: memFree=2960708/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=2939.16
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 241964 51952 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=733.54
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 60100 13254 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=735.44
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 60583 12961 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=734.51
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 60718 12733 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2939.16
Current children cumulated vsize (KiB) 545804

[startup+822.314 s]
/proc/loadavg: 4.11 4.09 4.01 5/100 17455
/proc/meminfo: memFree=2960684/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=3171.89
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 261048 56141 0 0 16 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=791.71
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 64837 14334 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=793.82
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 65388 13994 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=792.34
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 65469 13765 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3171.89
Current children cumulated vsize (KiB) 545804

[startup+882.31 s]
/proc/loadavg: 4.04 4.07 4.00 5/100 17644
/proc/meminfo: memFree=2960644/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=3403.39
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 280162 60177 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=849.38
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 69572 15366 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=852.1
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 70199 15011 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=850.13
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 70271 14742 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3403.39
Current children cumulated vsize (KiB) 545804

[startup+942.316 s]
/proc/loadavg: 4.15 4.08 4.01 5/100 17831
/proc/meminfo: memFree=2960784/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=3634.98
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 299296 64202 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=907.18
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 74362 16356 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=910.07
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 74969 16038 0 0 16 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=908.4
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 75146 15694 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3634.98
Current children cumulated vsize (KiB) 545804



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.21 4.11 4.02 5/100 18023
/proc/meminfo: memFree=2960792/3368532 swapFree=1954072/1959888
[pid=14810] ppid=14808 vsize=545804 CPUtime=3857.49
/proc/14810/stat : 14810 (gnovelty+) R 14808 14810 15881 0 -1 4202496 19815 0 0 0 317457 68292 0 0 15 0 4 0 1099174027 558903296 19770 4294967295 134512640 135680988 3220083264 3220082508 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14810/statm: 136451 19770 103 286 0 136163 0
[pid=14810/tid=14812] ppid=14808 vsize=545804 CPUtime=962.2
/proc/14810/task/14812/stat : 14812 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 78865 17355 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3077247324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14810/tid=14813] ppid=14808 vsize=545804 CPUtime=966.3
/proc/14810/task/14813/stat : 14813 (gnovelty+) R 14808 14810 15881 0 -1 4202560 7 0 0 0 79552 17078 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3067855196 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14810/tid=14814] ppid=14808 vsize=545804 CPUtime=963.79
/proc/14810/task/14814/stat : 14814 (gnovelty+) R 14808 14810 15881 0 -1 4202560 8 0 0 0 79639 16740 0 0 15 0 4 0 1099174035 558903296 19770 4294967295 134512640 135680988 3220083264 3058463068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3857.49
Current children cumulated vsize (KiB) 545804

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3857.56
CPU user time (s): 3174.61
CPU system time (s): 682.95
CPU usage (%): 385.742
Max. virtual memory (cumulated for all children) (KiB): 545804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3174.61
system time used= 682.95
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19815
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= 27429015
involuntary context switches= 77018

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-27 20:58:49
IDJOB=1777597
IDBENCH=70381
IDSOLVER=617
FILE ID=tipi44/1777597-1243450729
PBS_JOBID=
Free space on /tmp= 15894 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/110/unif-k5-r21.3-v110-c2343-S102181364-052.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777597-1243450729/watcher-1777597-1243450729 -o /tmp/evaluation-result-1777597-1243450729/solver-1777597-1243450729 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777597-1243450729.cnf 1398114094 4

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

MD5SUM BENCH= be53d6aab4327d2095ad021029e1f91d
RANDOM SEED= 1398114094

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:       3040280 kB
Buffers:        130896 kB
Cached:          90604 kB
SwapCached:       2184 kB
Active:          88280 kB
Inactive:       142620 kB
HighTotal:     2489216 kB
HighFree:      2386084 kB
LowTotal:       879316 kB
LowFree:        654196 kB
SwapTotal:     1959888 kB
SwapFree:      1954072 kB
Dirty:            1352 kB
Writeback:           0 kB
AnonPages:        8856 kB
Mapped:           3324 kB
Slab:            86856 kB
SReclaimable:    76892 kB
SUnreclaim:       9964 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    87892 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15894 MiB
End job on tipi44 at 2009-05-27 21:15:29