Trace number 1777615

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) 3858.29 1000.04

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
MD5SUM8a9e5a10d7167b9edb4334092b7b4912
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 variables90
Number of clauses1917
Sum of the clauses size9585
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 51917
Number of clauses of size over 50

Solver Data 

0.02/0.08	c +------------------------------+
0.02/0.08	c | gNovelty+, version 1.0       |
0.02/0.08	c +------------------------------+
0.02/0.08	c gnovelty+ -h for help
0.02/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-1777615-1243451730/watcher-1777615-1243451730 -o /tmp/evaluation-result-1777615-1243451730/solver-1777615-1243451730 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777615-1243451730.cnf 2022593075 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: 4.21 4.11 4.02 3/96 18062
/proc/meminfo: memFree=3040564/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=509232 CPUtime=0.01
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 1417 0 0 0 0 1 0 0 18 0 1 0 1099274155 521453568 1374 4294967295 134512640 135680988 3214423248 3214422512 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/18062/statm: 127308 1382 99 286 0 127020 0

[startup+0.022805 s]
/proc/loadavg: 4.21 4.11 4.02 3/96 18062
/proc/meminfo: memFree=3040564/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=509232 CPUtime=0.02
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 7448 0 0 0 0 2 0 0 18 0 1 0 1099274155 521453568 7405 4294967295 134512640 135680988 3214423248 3214422512 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/18062/statm: 127308 7424 99 286 0 127020 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 509232

[startup+0.112794 s]
/proc/loadavg: 4.21 4.11 4.02 3/96 18062
/proc/meminfo: memFree=3040564/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=0.11
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19782 0 0 0 5 6 0 0 18 0 4 0 1099274155 558903296 19738 4294967295 134512640 135680988 3214423248 3214422580 134533447 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19738 103 286 0 136163 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 545804

[startup+0.313075 s]
/proc/loadavg: 4.21 4.11 4.02 3/96 18062
/proc/meminfo: memFree=3040564/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=0.86
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 64 22 0 0 17 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 545804

[startup+0.712753 s]
/proc/loadavg: 4.21 4.11 4.02 3/96 18062
/proc/meminfo: memFree=3040564/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=2.4
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 194 46 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 545804

[startup+1.51321 s]
/proc/loadavg: 4.21 4.11 4.02 5/100 18066
/proc/meminfo: memFree=2961920/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=5.43
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 445 98 0 0 16 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=1.33
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 110 23 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=1.32
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 103 29 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=1.34
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 115 19 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 545804

[startup+3.11313 s]
/proc/loadavg: 4.20 4.11 4.02 5/100 18066
/proc/meminfo: memFree=2961920/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=11.64
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 942 222 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=2.91
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 235 56 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=2.88
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 227 61 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=2.82
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 232 50 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 545804

[startup+6.31296 s]
/proc/loadavg: 4.20 4.11 4.02 5/100 18067
/proc/meminfo: memFree=2961796/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=24.07
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 1952 455 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=6.03
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 491 112 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=6.02
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 472 130 0 0 16 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=5.83
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 480 103 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 545804

[startup+12.7127 s]
/proc/loadavg: 4.09 4.09 4.01 6/100 18067
/proc/meminfo: memFree=2961900/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=48.71
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 3969 902 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=12.23
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 1006 217 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=12.17
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 972 245 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=11.86
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 972 214 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.71
Current children cumulated vsize (KiB) 545804

[startup+25.5118 s]
/proc/loadavg: 4.08 4.09 4.01 5/100 18069
/proc/meminfo: memFree=2961996/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=98
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 7937 1863 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=24.75
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 2018 457 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=24.41
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 1969 472 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=24.35
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 1974 461 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98
Current children cumulated vsize (KiB) 545804

[startup+51.1099 s]
/proc/loadavg: 4.11 4.09 4.01 5/100 18252
/proc/meminfo: memFree=2961820/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=196.25
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 15875 3750 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=49.09
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 3996 913 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=49.16
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 3960 956 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=48.82
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 3951 931 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.25
Current children cumulated vsize (KiB) 545804

[startup+102.307 s]
/proc/loadavg: 3.89 4.04 4.00 5/100 18261
/proc/meminfo: memFree=2961988/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=395.25
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 32026 7499 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=98.96
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 8048 1848 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=99.18
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 8053 1865 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=98.33
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 7965 1868 0 0 16 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 395.25
Current children cumulated vsize (KiB) 545804

[startup+162.312 s]
/proc/loadavg: 3.87 4.01 3.99 6/100 18448
/proc/meminfo: memFree=2962004/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=627.51
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 50952 11799 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=157.25
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 12791 2934 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=157.11
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 12771 2940 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=156.18
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 12669 2949 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 627.51
Current children cumulated vsize (KiB) 545804

[startup+222.308 s]
/proc/loadavg: 3.99 4.02 4.00 5/100 18635
/proc/meminfo: memFree=2962004/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=859.01
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 69799 16102 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=215.46
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 17547 3999 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=214.86
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 17455 4031 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=213.67
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 17333 4034 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962868 134534601 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 859.01
Current children cumulated vsize (KiB) 545804

[startup+282.304 s]
/proc/loadavg: 4.24 4.08 4.02 5/100 18823
/proc/meminfo: memFree=2961996/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=1088.96
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 88645 20251 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=273.34
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 22271 5063 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=271.35
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 22078 5057 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957422 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=18062] ppid=18060 vsize=545804 CPUtime=1551.05
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 126090 29015 0 0 16 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=388.01
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 31557 7244 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=388.02
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 31582 7220 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=386.67
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 31407 7260 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1551.05
Current children cumulated vsize (KiB) 545804

[startup+462.312 s]
/proc/loadavg: 4.12 4.08 4.01 5/100 19393
/proc/meminfo: memFree=2961880/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=1781.94
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 144775 33419 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=445.8
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 36182 8398 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=446.17
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 36308 8309 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=444.09
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 36081 8328 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 545804

[startup+522.317 s]
/proc/loadavg: 4.12 4.08 4.01 5/100 19579
/proc/meminfo: memFree=2961756/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=2013.59
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 163549 37810 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=504.12
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 40873 9539 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=504.38
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 41073 9365 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=502.06
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 40762 9444 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2013.59
Current children cumulated vsize (KiB) 545804

[startup+582.313 s]
/proc/loadavg: 4.04 4.06 4.01 6/100 19768
/proc/meminfo: memFree=2961624/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=2244.24
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 182403 42021 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=562.08
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 45602 10606 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=561.51
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 45724 10427 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=559.75
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 45441 10534 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2244.24
Current children cumulated vsize (KiB) 545804

[startup+642.31 s]
/proc/loadavg: 3.99 4.03 4.00 5/100 19956
/proc/meminfo: memFree=2961508/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=2477.24
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 201302 46422 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=620.62
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 50335 11727 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=619.71
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 50432 11539 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=618.05
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 50182 11623 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2477.24
Current children cumulated vsize (KiB) 545804

[startup+702.305 s]
/proc/loadavg: 4.15 4.06 4.01 5/100 20145
/proc/meminfo: memFree=2961492/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=2707.59
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 220005 50754 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=678.1
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 55009 12801 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=677.22
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 55082 12640 0 0 16 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=675.62
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 54857 12705 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2707.59
Current children cumulated vsize (KiB) 545804

[startup+762.311 s]
/proc/loadavg: 4.09 4.06 4.01 5/100 20336
/proc/meminfo: memFree=2961508/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=2939.09
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 238854 55055 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=735.82
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 59714 13868 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=735.06
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 59851 13655 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=733.12
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 59493 13819 0 0 16 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2939.09
Current children cumulated vsize (KiB) 545804

[startup+822.307 s]
/proc/loadavg: 4.06 4.06 4.01 5/100 20522
/proc/meminfo: memFree=2961508/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=3171.55
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 257785 59370 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=793.91
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 64499 14892 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=793.44
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 64594 14750 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=791.29
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 64211 14918 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3171.55
Current children cumulated vsize (KiB) 545804

[startup+882.303 s]
/proc/loadavg: 4.42 4.17 4.05 5/100 20711
/proc/meminfo: memFree=2961128/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=3403.8
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 276618 63762 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=852.14
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 69193 16021 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=851.39
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 69280 15859 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=849.02
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 68894 16008 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3403.8
Current children cumulated vsize (KiB) 545804

[startup+942.309 s]
/proc/loadavg: 4.29 4.17 4.05 5/100 20900
/proc/meminfo: memFree=2960888/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=3635.42
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 295531 68011 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=910.16
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 73902 17114 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=909.31
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 74022 16909 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=906.82
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 73609 17073 0 0 16 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3635.42
Current children cumulated vsize (KiB) 545804



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.03 4.12 4.04 5/100 21088
/proc/meminfo: memFree=2961004/3368532 swapFree=1954072/1959888
[pid=18062] ppid=18060 vsize=545804 CPUtime=3858.23
/proc/18062/stat : 18062 (gnovelty+) R 18060 18062 15881 0 -1 4202496 19796 0 0 0 313500 72323 0 0 15 0 4 0 1099274155 558903296 19752 4294967295 134512640 135680988 3214423248 3214422492 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18062/statm: 136451 19752 103 286 0 136163 0
[pid=18062/tid=18064] ppid=18060 vsize=545804 CPUtime=965.75
/proc/18062/task/18064/stat : 18064 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 78391 18184 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3077747036 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18062/tid=18065] ppid=18060 vsize=545804 CPUtime=965.01
/proc/18062/task/18065/stat : 18065 (gnovelty+) R 18060 18062 15881 0 -1 4202560 5 0 0 0 78497 18004 0 0 15 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3068354908 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18062/tid=18066] ppid=18060 vsize=545804 CPUtime=962.53
/proc/18062/task/18066/stat : 18066 (gnovelty+) R 18060 18062 15881 0 -1 4202560 4 0 0 0 78056 18197 0 0 16 0 4 0 1099274163 558903296 19752 4294967295 134512640 135680988 3214423248 3058962780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3858.23
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): 3858.29
CPU user time (s): 3135.05
CPU system time (s): 723.24
CPU usage (%): 385.813
Max. virtual memory (cumulated for all children) (KiB): 545804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3135.05
system time used= 723.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19796
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= 30210455
involuntary context switches= 77759

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-27 21:15:30
IDJOB=1777615
IDBENCH=70387
IDSOLVER=617
FILE ID=tipi44/1777615-1243451730
PBS_JOBID=
Free space on /tmp= 15894 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/90/unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777615-1243451730/watcher-1777615-1243451730 -o /tmp/evaluation-result-1777615-1243451730/solver-1777615-1243451730 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777615-1243451730.cnf 2022593075 4

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

MD5SUM BENCH= 8a9e5a10d7167b9edb4334092b7b4912
RANDOM SEED= 2022593075

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:       3040860 kB
Buffers:        130896 kB
Cached:          90680 kB
SwapCached:       2184 kB
Active:          88412 kB
Inactive:       142656 kB
HighTotal:     2489216 kB
HighFree:      2386488 kB
LowTotal:       879316 kB
LowFree:        654372 kB
SwapTotal:     1959888 kB
SwapFree:      1954072 kB
Dirty:            1364 kB
Writeback:           0 kB
AnonPages:        8716 kB
Mapped:           3140 kB
Slab:            86800 kB
SReclaimable:    76908 kB
SUnreclaim:       9892 kB
PageTables:        472 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:32:12