Trace number 1778380

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) 3670.74 1000.02

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
MD5SUMc80ac2513e7d4a317f260e6d71a9bb08
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 variables360
Number of clauses1530
Sum of the clauses size4590
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31530
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-1778380-1243480337/watcher-1778380-1243480337 -o /tmp/evaluation-result-1778380-1243480337/solver-1778380-1243480337 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778380-1243480337.cnf 1160796604 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.55 3.81 3.81 3/97 32063
/proc/meminfo: memFree=3077020/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=509228 CPUtime=0.01
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 1451 0 0 0 0 1 0 0 18 0 1 0 1102170931 521449472 1408 4294967295 134512640 135680988 3216148704 3216147968 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/32063/statm: 127307 1415 99 286 0 127019 0

[startup+0.040728 s]
/proc/loadavg: 3.55 3.81 3.81 3/97 32063
/proc/meminfo: memFree=3077020/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=517040 CPUtime=0.05
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 11612 0 0 0 2 3 0 0 18 0 1 0 1102170931 529448960 11569 4294967295 134512640 135680988 3216148704 3216147968 134537708 0 0 0 0 0 0 0 17 2 0 0 0
/proc/32063/statm: 129260 11580 99 286 0 128972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517040

[startup+0.110721 s]
/proc/loadavg: 3.55 3.81 3.81 3/97 32063
/proc/meminfo: memFree=3077020/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=0.14
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19783 0 0 0 7 7 0 0 19 0 4 0 1102170931 558759936 19739 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19739 103 286 0 136128 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 545664

[startup+0.310703 s]
/proc/loadavg: 3.55 3.81 3.81 3/97 32063
/proc/meminfo: memFree=3077020/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=0.88
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19785 0 0 0 51 37 0 0 18 0 4 0 1102170931 558759936 19741 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19741 103 286 0 136128 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 545664

[startup+0.710674 s]
/proc/loadavg: 3.55 3.81 3.81 3/97 32063
/proc/meminfo: memFree=3077020/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=2.31
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19785 0 0 0 118 113 0 0 15 0 4 0 1102170931 558759936 19741 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19741 103 286 0 136128 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 545664

[startup+1.51061 s]
/proc/loadavg: 3.55 3.81 3.81 5/101 32067
/proc/meminfo: memFree=2998628/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=5.35
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 268 267 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147900 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=1.33
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 73 60 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=1.29
/proc/32063/task/32066/stat : 32066 (gnovelty+) S 32061 32063 8948 0 -1 4202560 5 0 0 0 56 73 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=1.27
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 70 57 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 545664

[startup+3.11053 s]
/proc/loadavg: 3.55 3.81 3.81 7/101 32067
/proc/meminfo: memFree=2998504/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=11.23
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 555 568 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=2.78
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 150 128 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=2.76
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 132 144 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=2.77
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 139 138 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 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) 545664

[startup+6.32024 s]
/proc/loadavg: 3.51 3.80 3.80 5/101 32068
/proc/meminfo: memFree=2998536/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=23.33
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 1153 1180 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=5.83
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 303 280 0 0 16 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=5.79
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 284 295 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=5.82
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 292 290 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.33
Current children cumulated vsize (KiB) 545664

[startup+12.7198 s]
/proc/loadavg: 3.55 3.80 3.80 6/101 32251
/proc/meminfo: memFree=2997392/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=46.19
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 2302 2317 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=11.66
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 606 560 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=11.37
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 568 569 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=11.5
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 560 590 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.19
Current children cumulated vsize (KiB) 545664

[startup+25.5187 s]
/proc/loadavg: 3.57 3.80 3.80 6/101 32252
/proc/meminfo: memFree=2997668/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=93.38
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 4689 4649 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=23.55
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 1209 1146 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=23.08
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 1159 1149 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=23.37
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 1145 1192 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 93.38
Current children cumulated vsize (KiB) 545664

[startup+51.1167 s]
/proc/loadavg: 3.65 3.79 3.80 5/101 32252
/proc/meminfo: memFree=2997896/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=188.28
/proc/32063/stat : 32063 (gnovelty+) S 32061 32063 8948 0 -1 4202496 19787 0 0 0 9445 9383 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147900 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=47.2
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 2366 2354 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=46.69
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 2323 2346 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121388 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=47.18
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 2349 2369 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 188.28
Current children cumulated vsize (KiB) 545664

[startup+102.313 s]
/proc/loadavg: 3.85 3.82 3.81 5/101 32441
/proc/meminfo: memFree=2997896/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=375.42
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 18864 18678 0 0 16 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=94.14
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 4765 4649 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=93.04
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 4640 4664 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=94.16
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 4740 4676 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 375.42
Current children cumulated vsize (KiB) 545664

[startup+162.308 s]
/proc/loadavg: 3.94 3.85 3.82 4/101 32633
/proc/meminfo: memFree=2997136/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=595.46
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 29982 29564 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=149.17
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 7525 7392 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=148.17
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 7412 7405 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=149.09
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 7473 7436 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 595.46
Current children cumulated vsize (KiB) 545664

[startup+222.313 s]
/proc/loadavg: 4.03 3.89 3.83 5/101 352
/proc/meminfo: memFree=2997020/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=815.39
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 40833 40706 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=203.61
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 10190 10171 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513516 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=202.62
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 10124 10138 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=204.71
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 10226 10245 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 815.39
Current children cumulated vsize (KiB) 545664

[startup+282.308 s]
/proc/loadavg: 3.81 3.86 3.82 5/101 540
/proc/meminfo: memFree=2997004/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=1036.09
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 51936 51673 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147900 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=258.82
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 12967 12915 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=257.77
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 13004 12773 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=32063] ppid=32061 vsize=545664 CPUtime=1478.17
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 74011 73806 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147900 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=369.44
/proc/32063/task/32065/stat : 32065 (gnovelty+) S 32061 32063 8948 0 -1 4202560 4 0 0 0 18519 18425 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=368.78
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 18590 18288 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=370.44
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 18515 18529 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1478.17
Current children cumulated vsize (KiB) 545664

[startup+462.314 s]
/proc/loadavg: 3.85 3.85 3.82 5/101 1121
/proc/meminfo: memFree=2997080/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=1698.59
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 85129 84730 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=424.81
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 21328 21153 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=423.93
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 21372 21021 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=425.38
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 21287 21251 0 0 16 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1698.59
Current children cumulated vsize (KiB) 545664

[startup+522.309 s]
/proc/loadavg: 3.94 3.87 3.82 5/101 1308
/proc/meminfo: memFree=2997080/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=1917.8
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 96158 95622 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=480.41
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 24163 23878 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=478.44
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 24106 23738 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=479.98
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 24026 23972 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1917.8
Current children cumulated vsize (KiB) 545664

[startup+582.305 s]
/proc/loadavg: 3.99 3.89 3.83 5/101 1500
/proc/meminfo: memFree=2996924/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=2138.5
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 107252 106598 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147900 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=535.48
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 26948 26600 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=533.92
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 26908 26484 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=535.06
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 26846 26660 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2138.5
Current children cumulated vsize (KiB) 545664

[startup+642.31 s]
/proc/loadavg: 3.71 3.83 3.81 5/101 1687
/proc/meminfo: memFree=2996948/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=2359.2
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 118379 117541 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=590.88
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 29766 29322 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=588.99
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 29713 29186 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=590.27
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 29550 29477 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2359.2
Current children cumulated vsize (KiB) 545664

[startup+702.316 s]
/proc/loadavg: 3.73 3.81 3.81 5/101 1876
/proc/meminfo: memFree=2997072/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=2579.04
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 129230 128674 0 0 16 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=645.68
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 32498 32070 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=644.27
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 32460 31967 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=645.48
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 32230 32318 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2579.04
Current children cumulated vsize (KiB) 545664

[startup+762.321 s]
/proc/loadavg: 3.91 3.85 3.82 5/101 2064
/proc/meminfo: memFree=2997172/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=2798.57
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 140257 139600 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=701
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 35289 34811 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=699.27
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 35224 34703 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121388 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=699.66
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 34923 35043 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2798.57
Current children cumulated vsize (KiB) 545664

[startup+822.316 s]
/proc/loadavg: 3.93 3.86 3.82 5/101 2251
/proc/meminfo: memFree=2997132/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=3019.11
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 151402 150509 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=755.94
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 38062 37532 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513516 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=754.32
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 38027 37405 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=755.05
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 37688 37817 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3019.11
Current children cumulated vsize (KiB) 545664

[startup+882.312 s]
/proc/loadavg: 3.87 3.85 3.82 5/101 2446
/proc/meminfo: memFree=2997124/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=3239.59
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 162518 161441 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=811.23
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 40899 40224 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=809.4
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 40767 40173 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=809.76
/proc/32063/task/32067/stat : 32067 (gnovelty+) S 32061 32063 8948 0 -1 4202560 4 0 0 0 40476 40500 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3239.59
Current children cumulated vsize (KiB) 545664

[startup+942.307 s]
/proc/loadavg: 3.91 3.86 3.82 5/101 2640
/proc/meminfo: memFree=2997156/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=3459.54
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 173612 172342 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147900 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=866
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 43686 42914 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513564 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=864.53
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 43548 42905 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=864.62
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 43212 43250 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3459.54
Current children cumulated vsize (KiB) 545664



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 3.81 3.84 3.81 4/101 2834
/proc/meminfo: memFree=2997324/3368532 swapFree=1952996/1959888
[pid=32063] ppid=32061 vsize=545664 CPUtime=3670.72
/proc/32063/stat : 32063 (gnovelty+) R 32061 32063 8948 0 -1 4202496 19787 0 0 0 184161 182911 0 0 15 0 4 0 1102170931 558759936 19743 4294967295 134512640 135680988 3216148704 3216147948 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32063/statm: 136416 19743 103 286 0 136128 0
[pid=32063/tid=32065] ppid=32061 vsize=545664 CPUtime=919.28
/proc/32063/task/32065/stat : 32065 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 46364 45564 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3077513516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32063/tid=32066] ppid=32061 vsize=545664 CPUtime=916.96
/proc/32063/task/32066/stat : 32066 (gnovelty+) R 32061 32063 8948 0 -1 4202560 5 0 0 0 46180 45516 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3068121436 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=32063/tid=32067] ppid=32061 vsize=545664 CPUtime=916.94
/proc/32063/task/32067/stat : 32067 (gnovelty+) R 32061 32063 8948 0 -1 4202560 4 0 0 0 45808 45886 0 0 15 0 4 0 1102170939 558759936 19743 4294967295 134512640 135680988 3216148704 3058729308 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3670.72
Current children cumulated vsize (KiB) 545664

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.02
CPU time (s): 3670.74
CPU user time (s): 1841.62
CPU system time (s): 1829.12
CPU usage (%): 367.068
Max. virtual memory (cumulated for all children) (KiB): 545664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1841.62
system time used= 1829.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19787
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= 104922896
involuntary context switches= 268218

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-28 05:12:17
IDJOB=1778380
IDBENCH=70642
IDSOLVER=617
FILE ID=tipi45/1778380-1243480337
PBS_JOBID=
Free space on /tmp= 15502 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/360/unif-k3-r4.25-v360-c1530-S23373420-028.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778380-1243480337/watcher-1778380-1243480337 -o /tmp/evaluation-result-1778380-1243480337/solver-1778380-1243480337 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778380-1243480337.cnf 1160796604 4

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

MD5SUM BENCH= c80ac2513e7d4a317f260e6d71a9bb08
RANDOM SEED= 1160796604

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:       3077020 kB
Buffers:        123472 kB
Cached:          61708 kB
SwapCached:       2100 kB
Active:          64440 kB
Inactive:       130100 kB
HighTotal:     2489216 kB
HighFree:      2415044 kB
LowTotal:       879316 kB
LowFree:        661976 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            1404 kB
Writeback:           0 kB
AnonPages:        8196 kB
Mapped:           3520 kB
Slab:            85124 kB
SReclaimable:    74300 kB
SUnreclaim:      10824 kB
PageTables:        480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    89412 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 05:28:59