Trace number 1778056

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

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
MD5SUM9d5d7164d3d5840805b65af8448e9499
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 variables500
Number of clauses2125
Sum of the clauses size6375
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32125
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.05/0.08	c +------------------------------+
0.05/0.08	c | gNovelty+, version 1.0       |
0.05/0.08	c +------------------------------+
0.05/0.08	c gnovelty+ -h for help
0.05/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-1778056-1243462286/watcher-1778056-1243462286 -o /tmp/evaluation-result-1778056-1243462286/solver-1778056-1243462286 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778056-1243462286.cnf 130223218 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: 2.94 4.04 4.40 3/97 8551
/proc/meminfo: memFree=3076840/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=509232 CPUtime=0
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 1429 0 0 0 0 0 0 0 18 0 1 0 1100365882 521453568 1387 4294967295 134512640 135680988 3213818944 3213818208 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8551/statm: 127308 1394 99 286 0 127020 0

[startup+0.048511 s]
/proc/loadavg: 2.94 4.04 4.40 3/97 8551
/proc/meminfo: memFree=3076840/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=517044 CPUtime=0.05
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 12968 0 0 0 1 4 0 0 18 0 1 0 1100365882 529453056 12925 4294967295 134512640 135680988 3213818944 3213818208 134537968 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8551/statm: 129261 12936 99 286 0 128973 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517044

[startup+0.108506 s]
/proc/loadavg: 2.94 4.04 4.40 3/97 8551
/proc/meminfo: memFree=3076840/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=0.12
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19814 0 0 0 6 6 0 0 18 0 4 0 1100365882 558903296 19770 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8551/statm: 136451 19770 103 286 0 136163 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 545804

[startup+0.30858 s]
/proc/loadavg: 2.94 4.04 4.40 3/97 8551
/proc/meminfo: memFree=3076840/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=0.84
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19817 0 0 0 51 33 0 0 17 0 4 0 1100365882 558903296 19773 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8551/statm: 136451 19773 103 286 0 136163 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 545804

[startup+0.708461 s]
/proc/loadavg: 2.94 4.04 4.40 3/97 8551
/proc/meminfo: memFree=3076840/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=2.31
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19817 0 0 0 131 100 0 0 15 0 4 0 1100365882 558903296 19773 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8551/statm: 136451 19773 103 286 0 136163 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 545804

[startup+1.50847 s]
/proc/loadavg: 2.94 4.04 4.40 5/101 8555
/proc/meminfo: memFree=2998548/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=5.33
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19817 0 0 0 298 235 0 0 16 0 4 0 1100365882 558903296 19773 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8551/statm: 136451 19773 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=1.3
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 78 52 0 0 16 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=1.31
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 68 63 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=1.29
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 74 55 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3059142956 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 545804

[startup+3.10828 s]
/proc/loadavg: 2.94 4.04 4.40 5/101 8555
/proc/meminfo: memFree=2998552/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=11.23
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19817 0 0 0 609 514 0 0 15 0 4 0 1100365882 558903296 19773 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8551/statm: 136451 19773 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=2.69
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 151 118 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=2.84
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 146 138 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=2.75
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 153 122 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 545804

[startup+6.30809 s]
/proc/loadavg: 3.02 4.04 4.39 4/101 8555
/proc/meminfo: memFree=2998592/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=23.13
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19817 0 0 0 1244 1069 0 0 15 0 4 0 1100365882 558903296 19773 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8551/statm: 136451 19773 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=5.65
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 310 255 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=5.85
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 303 282 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3068535084 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=5.68
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 304 264 0 0 15 0 4 0 1100365890 558903296 19773 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.13
Current children cumulated vsize (KiB) 545804

[startup+12.7076 s]
/proc/loadavg: 3.10 4.04 4.39 5/101 8555
/proc/meminfo: memFree=2998524/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=46.71
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 2488 2183 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=11.66
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 607 559 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=11.76
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 628 548 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=11.59
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 634 525 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.71
Current children cumulated vsize (KiB) 545804

[startup+25.5066 s]
/proc/loadavg: 3.30 4.04 4.38 5/101 8738
/proc/meminfo: memFree=2998360/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=93.99
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 5045 4354 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=23.64
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 1258 1106 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=23.65
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 1274 1091 0 0 16 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=23.45
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 1272 1073 0 0 16 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 93.99
Current children cumulated vsize (KiB) 545804

[startup+51.1046 s]
/proc/loadavg: 3.46 4.02 4.37 5/101 8743
/proc/meminfo: memFree=2998488/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=188.87
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 10166 8721 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=47.51
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 2539 2212 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=47.15
/proc/8551/task/8554/stat : 8554 (gnovelty+) S 8549 8551 8948 0 -1 4202560 9 0 0 0 2560 2155 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=47.12
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 2589 2123 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 188.87
Current children cumulated vsize (KiB) 545804

[startup+102.32 s]
/proc/loadavg: 3.88 4.04 4.36 5/101 8928
/proc/meminfo: memFree=2997968/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=378.42
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 20384 17458 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=95.22
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 5138 4384 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=94.11
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 5120 4291 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=94.63
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 5137 4326 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 378.42
Current children cumulated vsize (KiB) 545804

[startup+162.316 s]
/proc/loadavg: 3.86 4.00 4.32 5/101 9119
/proc/meminfo: memFree=2997364/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=600.98
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 32229 27869 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=150.72
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 8130 6942 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=149.8
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 8058 6922 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=150.19
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 8054 6965 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 600.98
Current children cumulated vsize (KiB) 545804

[startup+222.311 s]
/proc/loadavg: 3.98 4.01 4.30 4/101 9310
/proc/meminfo: memFree=2997208/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=823.02
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 44361 37941 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=206.64
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 11236 9428 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927212 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=205.37
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 11115 9422 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=205.61
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 11024 9537 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 823.02
Current children cumulated vsize (KiB) 545804

[startup+282.307 s]
/proc/loadavg: 3.80 3.96 4.27 5/101 9502
/proc/meminfo: memFree=2996928/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=1044.72
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 56444 48028 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=262.45
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 14244 12001 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=261.18
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 14169 11949 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0

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

[pid=8551] ppid=8549 vsize=545804 CPUtime=1487.11
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 80637 68074 0 0 16 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=372.53
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 20236 17017 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=371.78
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 20255 16923 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=372.1
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 20160 17050 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1487.11
Current children cumulated vsize (KiB) 545804

[startup+462.313 s]
/proc/loadavg: 3.95 3.95 4.20 4/101 10067
/proc/meminfo: memFree=2997300/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=1709.27
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 92769 78158 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=427.86
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 23236 19550 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=427.36
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 23313 19423 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=427.75
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 23194 19581 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1709.27
Current children cumulated vsize (KiB) 545804

[startup+522.318 s]
/proc/loadavg: 3.81 3.91 4.17 5/101 10256
/proc/meminfo: memFree=2997408/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=1932.81
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 104764 88517 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=484.09
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 26264 22145 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=482.99
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 26322 21977 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=483.97
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 26200 22197 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1932.81
Current children cumulated vsize (KiB) 545804

[startup+582.313 s]
/proc/loadavg: 3.82 3.90 4.15 5/101 10444
/proc/meminfo: memFree=2997304/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=2154.28
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 116757 98671 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=539.42
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 29313 24629 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927212 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=538.94
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 29400 24494 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=539.44
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 29167 24777 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2154.28
Current children cumulated vsize (KiB) 545804

[startup+642.309 s]
/proc/loadavg: 3.87 3.89 4.12 5/101 10630
/proc/meminfo: memFree=2997700/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=2376.48
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 128744 108904 0 0 16 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=594.81
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 32334 27147 0 0 16 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=594.78
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 32398 27080 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=594.9
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 32111 27379 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2376.48
Current children cumulated vsize (KiB) 545804

[startup+702.304 s]
/proc/loadavg: 3.80 3.86 4.10 5/101 10639
/proc/meminfo: memFree=2997752/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=2598.01
/proc/8551/stat : 8551 (gnovelty+) S 8549 8551 8948 0 -1 4202496 19818 0 0 0 140624 119177 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=650.39
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 35293 29746 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=650.38
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 35359 29679 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=650.16
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 35116 29900 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2598.01
Current children cumulated vsize (KiB) 545804

[startup+762.31 s]
/proc/loadavg: 3.83 3.85 4.08 7/101 10827
/proc/meminfo: memFree=2997760/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=2819.47
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 152726 129221 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=705.59
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 38251 32308 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=705.39
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 38367 32172 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=706.16
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 38247 32369 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2819.47
Current children cumulated vsize (KiB) 545804

[startup+822.315 s]
/proc/loadavg: 3.94 3.89 4.08 5/101 11016
/proc/meminfo: memFree=2997884/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=3040.42
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 164690 139352 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=761
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 41242 34858 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=761.05
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 41424 34681 0 0 16 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=760.7
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 41197 34873 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.42
Current children cumulated vsize (KiB) 545804

[startup+882.31 s]
/proc/loadavg: 3.90 3.89 4.07 4/101 11204
/proc/meminfo: memFree=2998132/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=3262.94
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 176789 149505 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=816.53
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 44253 37400 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927212 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=816.63
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 44477 37186 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=816.3
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 44215 37415 0 0 16 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3262.94
Current children cumulated vsize (KiB) 545804

[startup+942.316 s]
/proc/loadavg: 3.87 3.89 4.05 5/101 11390
/proc/meminfo: memFree=2998132/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=3483.58
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 188802 159556 0 0 15 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818188 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=871.5
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 47289 39861 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=872.4
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 47616 39624 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=871.47
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 47150 39997 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3483.58
Current children cumulated vsize (KiB) 545804



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.93 3.91 4.05 5/101 11577
/proc/meminfo: memFree=2997760/3368532 swapFree=1952996/1959888
[pid=8551] ppid=8549 vsize=545804 CPUtime=3697.71
/proc/8551/stat : 8551 (gnovelty+) R 8549 8551 8948 0 -1 4202496 19818 0 0 0 200346 169425 0 0 16 0 4 0 1100365882 558903296 19774 4294967295 134512640 135680988 3213818944 3213818276 134534065 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8551/statm: 136451 19774 103 286 0 136163 0
[pid=8551/tid=8553] ppid=8549 vsize=545804 CPUtime=925.3
/proc/8551/task/8553/stat : 8553 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 50212 42318 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3077927260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8551/tid=8554] ppid=8549 vsize=545804 CPUtime=925.46
/proc/8551/task/8554/stat : 8554 (gnovelty+) R 8549 8551 8948 0 -1 4202560 9 0 0 0 50430 42116 0 0 16 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3068535132 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8551/tid=8555] ppid=8549 vsize=545804 CPUtime=924.95
/proc/8551/task/8555/stat : 8555 (gnovelty+) R 8549 8551 8948 0 -1 4202560 8 0 0 0 50078 42417 0 0 15 0 4 0 1100365890 558903296 19774 4294967295 134512640 135680988 3213818944 3059143004 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3697.71
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): 3697.76
CPU user time (s): 2003.49
CPU system time (s): 1694.27
CPU usage (%): 369.763
Max. virtual memory (cumulated for all children) (KiB): 545804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2003.49
system time used= 1694.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19818
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= 97076093
involuntary context switches= 237538

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-28 00:11:26
IDJOB=1778056
IDBENCH=70534
IDSOLVER=617
FILE ID=tipi45/1778056-1243462286
PBS_JOBID=
Free space on /tmp= 15502 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/500/unif-k3-r4.25-v500-c2125-S287307030-088.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778056-1243462286/watcher-1778056-1243462286 -o /tmp/evaluation-result-1778056-1243462286/solver-1778056-1243462286 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778056-1243462286.cnf 130223218 4

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

MD5SUM BENCH= 9d5d7164d3d5840805b65af8448e9499
RANDOM SEED= 130223218

Linux tipi45 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.081
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.41
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.081
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.081
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.16
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.081
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3077284 kB
Buffers:        123432 kB
Cached:          61068 kB
SwapCached:       2100 kB
Active:          64088 kB
Inactive:       129560 kB
HighTotal:     2489216 kB
HighFree:      2415924 kB
LowTotal:       879316 kB
LowFree:        661360 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            1540 kB
Writeback:           0 kB
AnonPages:        8192 kB
Mapped:           3300 kB
Slab:            85572 kB
SReclaimable:    74156 kB
SUnreclaim:      11416 kB
PageTables:        332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    89416 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15502 MiB
End job on tipi45 at 2009-05-28 00:28:08