Trace number 1777066

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
MD5SUM30068bb62ff2ae5a4888c347460a4a1d
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 variables1100
Number of clauses22000
Sum of the clauses size110000
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 522000
Number of clauses of size over 50

Solver Data 

0.12/0.14	c +------------------------------+
0.12/0.14	c | gNovelty+, version 1.0       |
0.12/0.14	c +------------------------------+
0.12/0.14	c gnovelty+ -h for help
0.12/0.14	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-1777066-1243433783/watcher-1777066-1243433783 -o /tmp/evaluation-result-1777066-1243433783/solver-1777066-1243433783 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777066-1243433783.cnf 2105970126 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.95 4.15 3.92 2/96 24958
/proc/meminfo: memFree=3042512/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=509228 CPUtime=0.01
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 1557 0 0 0 0 1 0 0 25 0 1 0 1097479456 521449472 1514 4294967295 134512640 135680988 3213882448 3213881712 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24958/statm: 127307 1514 99 286 0 127019 0

[startup+0.044456 s]
/proc/loadavg: 3.95 4.15 3.92 2/96 24958
/proc/meminfo: memFree=3042512/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=517044 CPUtime=0.05
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 9956 0 0 0 2 3 0 0 25 0 1 0 1097479456 529453056 9913 4294967295 134512640 135680988 3213882448 3213880556 134958286 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24958/statm: 129261 9913 99 286 0 128973 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517044

[startup+0.114451 s]
/proc/loadavg: 3.95 4.15 3.92 2/96 24958
/proc/meminfo: memFree=3042512/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=517040 CPUtime=0.12
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 16743 0 0 0 4 8 0 0 25 0 1 0 1097479456 529448960 16699 4294967295 134512640 135680988 3213882448 3213881712 134537968 0 0 0 0 0 0 0 17 2 0 0 0
/proc/24958/statm: 129260 16710 99 286 0 128972 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 517040

[startup+0.314434 s]
/proc/loadavg: 3.95 4.15 3.92 2/96 24958
/proc/meminfo: memFree=3042512/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=0.71
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 61 10 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 548748

[startup+0.714407 s]
/proc/loadavg: 3.95 4.15 3.92 2/96 24958
/proc/meminfo: memFree=3042512/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=2.29
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 200 29 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 548748

[startup+1.51435 s]
/proc/loadavg: 3.95 4.15 3.92 5/100 24962
/proc/meminfo: memFree=2965808/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=5.47
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 483 64 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=1.36
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 113 23 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=1.34
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 123 11 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=1.32
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 123 9 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 548748

[startup+3.11424 s]
/proc/loadavg: 3.95 4.15 3.92 5/100 24962
/proc/meminfo: memFree=2965808/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=11.82
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 1045 137 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=2.94
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 249 45 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=2.93
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 266 27 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=2.91
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 269 22 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134533697 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.82
Current children cumulated vsize (KiB) 548748

[startup+6.31403 s]
/proc/loadavg: 3.95 4.15 3.92 5/100 24962
/proc/meminfo: memFree=2965592/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=24.53
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 2188 265 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=6.11
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 535 76 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=6.11
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 558 53 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=6.1
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 548 62 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134533852 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.53
Current children cumulated vsize (KiB) 548748

[startup+12.7136 s]
/proc/loadavg: 3.95 4.15 3.92 5/100 24963
/proc/meminfo: memFree=2965500/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=49.88
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 4428 560 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=12.46
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 1094 152 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=12.44
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 1126 118 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=12.45
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 1105 140 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134533087 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (KiB) 548748

[startup+25.5127 s]
/proc/loadavg: 3.96 4.14 3.92 5/100 24965
/proc/meminfo: memFree=2965432/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=100.59
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 8904 1155 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=25.16
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 2222 294 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=25.16
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 2239 277 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=25.08
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 2226 282 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134533489 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.59
Current children cumulated vsize (KiB) 548748

[startup+51.111 s]
/proc/loadavg: 3.97 4.13 3.92 2/100 24970
/proc/meminfo: memFree=2965052/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=202.05
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 17928 2277 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=50.52
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 4467 585 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=50.51
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 4496 555 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=50.43
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 4476 567 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134532936 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.05
Current children cumulated vsize (KiB) 548748

[startup+102.308 s]
/proc/loadavg: 3.94 4.09 3.91 5/100 25157
/proc/meminfo: memFree=2963820/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=404.5
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 35926 4524 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=101.24
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 9004 1120 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595572 134534551 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=101.06
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 8990 1116 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=100.91
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 8965 1126 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.5
Current children cumulated vsize (KiB) 548748

[startup+162.313 s]
/proc/loadavg: 3.98 4.07 3.91 5/100 25344
/proc/meminfo: memFree=2963820/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=641.78
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 56985 7193 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=160.56
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 14288 1768 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595572 134533050 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=160.29
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 14247 1782 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=160.24
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 14248 1776 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 641.78
Current children cumulated vsize (KiB) 548748

[startup+222.309 s]
/proc/loadavg: 3.99 4.05 3.91 5/100 25531
/proc/meminfo: memFree=2963572/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=878.83
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 78086 9797 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=219.79
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 19561 2418 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595572 134533489 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=219.44
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 19506 2438 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=219.58
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 19525 2433 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 878.83
Current children cumulated vsize (KiB) 548748

[startup+282.305 s]
/proc/loadavg: 3.96 4.03 3.91 5/100 25720
/proc/meminfo: memFree=2963200/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=1115.94
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 99087 12507 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881780 134534374 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=278.98
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 24795 3103 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=278.66
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 24739 3127 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=24958] ppid=24956 vsize=548748 CPUtime=1590.75
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 141189 17886 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=397.93
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 35368 4425 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595572 134533068 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=397.21
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 35253 4468 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=397.66
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 35303 4463 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1590.75
Current children cumulated vsize (KiB) 548748

[startup+462.313 s]
/proc/loadavg: 4.02 4.01 3.91 5/100 26290
/proc/meminfo: memFree=2963448/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=1827.94
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 162251 20543 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881780 134532918 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=457.15
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 40607 5108 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=456.65
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 40494 5171 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=456.86
/proc/24958/task/24962/stat : 24962 (gnovelty+) S 24956 24958 15881 0 -1 4202560 123 0 0 0 40578 5108 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1827.94
Current children cumulated vsize (KiB) 548748

[startup+522.309 s]
/proc/loadavg: 4.00 4.00 3.91 5/100 26477
/proc/meminfo: memFree=2963200/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=2064.97
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 183280 23217 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=516.32
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 45844 5788 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595572 134534551 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=516.15
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 45784 5831 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=515.93
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 45804 5789 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2064.97
Current children cumulated vsize (KiB) 548748

[startup+582.315 s]
/proc/loadavg: 3.97 3.99 3.91 5/100 26666
/proc/meminfo: memFree=2963448/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=2302.06
/proc/24958/stat : 24958 (gnovelty+) S 24956 24958 15881 0 -1 4202496 20884 0 0 0 204344 25862 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=575.65
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 51095 6470 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595500 134997786 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=575.44
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 51090 6454 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=575.06
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 51057 6449 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2302.06
Current children cumulated vsize (KiB) 548748

[startup+642.311 s]
/proc/loadavg: 3.92 3.97 3.90 6/100 26854
/proc/meminfo: memFree=2963200/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=2539.34
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 225396 28538 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=634.99
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 56362 7137 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=634.75
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 56361 7114 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=634.43
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 56305 7138 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2539.34
Current children cumulated vsize (KiB) 548748

[startup+702.307 s]
/proc/loadavg: 3.89 3.95 3.90 5/100 27046
/proc/meminfo: memFree=2963200/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=2776.59
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 246561 31098 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=694.05
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 61646 7759 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=694.27
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 61687 7740 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203444 134533871 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=693.86
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 61580 7806 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2776.59
Current children cumulated vsize (KiB) 548748

[startup+762.323 s]
/proc/loadavg: 3.96 3.96 3.91 5/100 27233
/proc/meminfo: memFree=2963076/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=3014
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 267629 33771 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=753.43
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 66883 8460 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=753.69
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 66968 8401 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=753.22
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 66872 8450 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134532936 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3014
Current children cumulated vsize (KiB) 548748

[startup+822.309 s]
/proc/loadavg: 3.95 3.94 3.90 5/100 27420
/proc/meminfo: memFree=2963200/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=3251.18
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 288675 36443 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=812.78
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 72149 9129 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=812.88
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 72230 9058 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=812.56
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 72156 9100 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134532936 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3251.18
Current children cumulated vsize (KiB) 548748

[startup+882.305 s]
/proc/loadavg: 3.94 3.93 3.90 5/100 27610
/proc/meminfo: memFree=2963076/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=3488.34
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 309816 39018 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=872.06
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 77415 9791 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=872.16
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 77509 9707 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=871.98
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 77436 9762 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134532918 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3488.34
Current children cumulated vsize (KiB) 548748

[startup+942.31 s]
/proc/loadavg: 3.98 3.94 3.91 5/100 27797
/proc/meminfo: memFree=2962952/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=3725.34
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 330827 41707 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=931.24
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 82655 10469 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=931.32
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 82753 10379 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=931.15
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 82699 10416 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811228 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3725.34
Current children cumulated vsize (KiB) 548748



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 3.99 3.95 3.91 5/100 27986
/proc/meminfo: memFree=2963200/3368532 swapFree=1954072/1959888
[pid=24958] ppid=24956 vsize=548748 CPUtime=3953.78
/proc/24958/stat : 24958 (gnovelty+) R 24956 24958 15881 0 -1 4202496 20884 0 0 0 351006 44372 0 0 25 0 4 0 1097479456 561917952 20840 4294967295 134512640 135680988 3213882448 3213881692 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24958/statm: 137187 20840 103 286 0 136899 0
[pid=24958/tid=24960] ppid=24956 vsize=548748 CPUtime=988.34
/proc/24958/task/24960/stat : 24960 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 87719 11115 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3077595484 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24958/tid=24961] ppid=24956 vsize=548748 CPUtime=988.66
/proc/24958/task/24961/stat : 24961 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 87793 11073 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3068203356 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24958/tid=24962] ppid=24956 vsize=548748 CPUtime=988.21
/proc/24958/task/24962/stat : 24962 (gnovelty+) R 24956 24958 15881 0 -1 4202560 123 0 0 0 87742 11079 0 0 25 0 4 0 1097479470 561917952 20840 4294967295 134512640 135680988 3213882448 3058811316 134534049 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3953.78
Current children cumulated vsize (KiB) 548748

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): 3953.85
CPU user time (s): 3510.13
CPU system time (s): 443.72
CPU usage (%): 395.369
Max. virtual memory (cumulated for all children) (KiB): 548748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3510.13
system time used= 443.72
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20884
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= 14519507
involuntary context switches= 184939

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-27 16:16:23
IDJOB=1777066
IDBENCH=70204
IDSOLVER=617
FILE ID=tipi44/1777066-1243433783
PBS_JOBID=
Free space on /tmp= 15893 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1100/unif-k5-r20-v1100-c22000-S1954748117-061.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777066-1243433783/watcher-1777066-1243433783 -o /tmp/evaluation-result-1777066-1243433783/solver-1777066-1243433783 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777066-1243433783.cnf 2105970126 4

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

MD5SUM BENCH= 30068bb62ff2ae5a4888c347460a4a1d
RANDOM SEED= 2105970126

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:       3047840 kB
Buffers:        130736 kB
Cached:          83384 kB
SwapCached:       2184 kB
Active:          88724 kB
Inactive:       135244 kB
HighTotal:     2489216 kB
HighFree:      2393484 kB
LowTotal:       879316 kB
LowFree:        654356 kB
SwapTotal:     1959888 kB
SwapFree:      1954072 kB
Dirty:            2088 kB
Writeback:           0 kB
AnonPages:        9084 kB
Mapped:           3432 kB
Slab:            86572 kB
SReclaimable:    76620 kB
SUnreclaim:       9952 kB
PageTables:        464 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= 15893 MiB
End job on tipi44 at 2009-05-27 16:33:05