Trace number 1778365

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) 3692.51 1000.03

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
MD5SUMa68afc9bf021c353745f280b16667e74
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.00/0.08	c +------------------------------+
0.00/0.08	c | gNovelty+, version 1.0       |
0.00/0.08	c +------------------------------+
0.00/0.08	c gnovelty+ -h for help
0.00/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-1778365-1243479675/watcher-1778365-1243479675 -o /tmp/evaluation-result-1778365-1243479675/solver-1778365-1243479675 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778365-1243479675.cnf 284002139 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.58 3.77 3.78 3/115 19925
/proc/meminfo: memFree=3159416/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=509232 CPUtime=0
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 1675 0 0 0 0 0 0 0 18 0 1 0 1112647316 521453568 1632 4294967295 134512640 135680988 3215808032 3215807296 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/19925/statm: 127308 1640 99 286 0 127020 0

[startup+0.089358 s]
/proc/loadavg: 3.58 3.77 3.78 3/115 19925
/proc/meminfo: memFree=3159416/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=0.09
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19780 0 0 0 5 4 0 0 18 0 4 0 1112647316 558764032 19736 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19736 103 286 0 136129 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 545668

[startup+0.109359 s]
/proc/loadavg: 3.58 3.77 3.78 3/115 19925
/proc/meminfo: memFree=3159416/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=0.14
/proc/19925/stat : 19925 (gnovelty+) S 19923 19925 24991 0 -1 4202496 19786 0 0 0 9 5 0 0 19 0 4 0 1112647316 558764032 19742 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19742 103 286 0 136129 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 545668

[startup+0.309404 s]
/proc/loadavg: 3.58 3.77 3.78 3/115 19925
/proc/meminfo: memFree=3159416/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=0.86
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19786 0 0 0 44 42 0 0 18 0 4 0 1112647316 558764032 19742 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19742 103 286 0 136129 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 545668

[startup+0.709333 s]
/proc/loadavg: 3.58 3.77 3.78 3/115 19925
/proc/meminfo: memFree=3159416/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=2.38
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 133 105 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 545668

[startup+1.50933 s]
/proc/loadavg: 3.58 3.77 3.78 5/119 19929
/proc/meminfo: memFree=3081272/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=5.47
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 294 253 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=1.32
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 73 59 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=1.34
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 73 61 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=1.36
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 75 61 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 545668

[startup+3.10932 s]
/proc/loadavg: 3.58 3.77 3.78 6/119 19929
/proc/meminfo: memFree=3081020/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=11.44
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 616 528 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=2.84
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 148 136 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=2.8
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 158 122 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=2.88
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 159 129 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 545668

[startup+6.30925 s]
/proc/loadavg: 3.61 3.77 3.78 5/119 19929
/proc/meminfo: memFree=3081020/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=23.3
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 1255 1075 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=5.81
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 297 284 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=5.78
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 326 252 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=5.91
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 328 263 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.3
Current children cumulated vsize (KiB) 545668

[startup+12.7085 s]
/proc/loadavg: 3.64 3.78 3.79 5/119 19929
/proc/meminfo: memFree=3080868/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=47.01
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 2503 2198 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=11.61
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 593 568 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=11.75
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 642 533 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=11.96
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 657 539 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.01
Current children cumulated vsize (KiB) 545668

[startup+25.508 s]
/proc/loadavg: 3.72 3.79 3.79 5/119 19930
/proc/meminfo: memFree=3080964/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=94.75
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 5004 4471 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=23.6
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 1233 1127 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=23.62
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 1264 1098 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=23.84
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 1281 1103 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 94.75
Current children cumulated vsize (KiB) 545668

[startup+51.107 s]
/proc/loadavg: 3.81 3.80 3.79 5/119 20116
/proc/meminfo: memFree=3080572/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=189.48
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 10059 8889 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=47.29
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 2494 2235 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=47.14
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 2500 2214 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=47.51
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 2543 2208 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 189.48
Current children cumulated vsize (KiB) 545668

[startup+102.315 s]
/proc/loadavg: 3.92 3.83 3.80 5/119 20119
/proc/meminfo: memFree=3080344/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=378.58
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 20193 17665 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=93.86
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 4951 4435 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=94.84
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 5036 4448 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=94.55
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 5117 4338 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 378.58
Current children cumulated vsize (KiB) 545668

[startup+162.313 s]
/proc/loadavg: 3.89 3.84 3.81 5/119 20307
/proc/meminfo: memFree=3080104/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=599.83
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 32129 27854 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=149.16
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 7941 6975 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=150.59
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 8041 7018 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=149.85
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 8036 6949 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 599.83
Current children cumulated vsize (KiB) 545668

[startup+222.31 s]
/proc/loadavg: 3.80 3.82 3.81 7/119 20496
/proc/meminfo: memFree=3079856/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=821.44
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 43831 38313 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=204.36
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 10854 9582 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624108 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=206.23
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 11024 9599 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=205.32
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 10902 9630 0 0 16 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839888 134545720 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 821.44
Current children cumulated vsize (KiB) 545668

[startup+282.318 s]
/proc/loadavg: 3.83 3.82 3.81 5/119 20683
/proc/meminfo: memFree=3080228/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=1043.01
/proc/19925/stat : 19925 (gnovelty+) S 19923 19925 24991 0 -1 4202496 19789 0 0 0 55676 48625 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=259.98
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 13877 12121 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=262.13
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 14018 12195 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 1 0 0 0

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

[pid=19925] ppid=19923 vsize=545668 CPUtime=1486.45
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 79134 69511 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=370.85
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 19712 17373 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=373.07
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 19845 17462 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=371.48
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 19789 17359 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1486.45
Current children cumulated vsize (KiB) 545668

[startup+462.31 s]
/proc/loadavg: 3.92 3.87 3.82 5/119 21252
/proc/meminfo: memFree=3080724/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=1706.49
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 90979 79670 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=426.42
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 22739 19903 0 0 16 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=427.94
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 22751 20043 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=426.29
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 22749 19880 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1706.49
Current children cumulated vsize (KiB) 545668

[startup+522.308 s]
/proc/loadavg: 4.14 3.94 3.84 5/119 21441
/proc/meminfo: memFree=3080352/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=1927.38
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 102894 89844 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=481.38
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 25734 22404 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=483.05
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 25706 22599 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=481.81
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 25721 22460 0 0 16 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1927.38
Current children cumulated vsize (KiB) 545668

[startup+582.306 s]
/proc/loadavg: 3.93 3.91 3.84 5/119 21628
/proc/meminfo: memFree=3080600/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=2149.85
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 114705 100280 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=536.68
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 28695 24973 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=538.62
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 28692 25170 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=537.62
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 28646 25116 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2149.85
Current children cumulated vsize (KiB) 545668

[startup+642.313 s]
/proc/loadavg: 4.00 3.94 3.85 4/119 21814
/proc/meminfo: memFree=3080600/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=2370.83
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 126554 110529 0 0 16 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=591.93
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 31662 27531 0 0 16 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624336 134547454 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=593.83
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 31606 27777 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=593.35
/proc/19925/task/19929/stat : 19929 (gnovelty+) S 19923 19925 24991 0 -1 4202560 4 0 0 0 31646 27689 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2370.83
Current children cumulated vsize (KiB) 545668

[startup+702.311 s]
/proc/loadavg: 3.84 3.90 3.84 5/119 22003
/proc/meminfo: memFree=3080624/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=2592
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 138246 120954 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=647.5
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 34587 30163 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=648.87
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 34514 30373 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=648.35
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 34579 30256 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2592
Current children cumulated vsize (KiB) 545668

[startup+762.308 s]
/proc/loadavg: 3.86 3.90 3.84 5/119 22195
/proc/meminfo: memFree=3080600/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=2813.11
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 149921 131390 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=702.75
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 37510 32765 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=704.6
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 37456 33004 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=703.97
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 37510 32887 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2813.11
Current children cumulated vsize (KiB) 545668

[startup+822.317 s]
/proc/loadavg: 3.88 3.90 3.84 5/119 22384
/proc/meminfo: memFree=3080228/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=3035.55
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 161732 141823 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=758.17
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 40420 35397 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=759.91
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 40429 35562 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=759.49
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 40451 35498 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3035.55
Current children cumulated vsize (KiB) 545668

[startup+882.314 s]
/proc/loadavg: 3.89 3.90 3.84 5/119 22571
/proc/meminfo: memFree=3080228/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=3257.19
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 173567 152152 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=813.19
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 43347 37972 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=815.52
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 43394 38158 0 0 16 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=815.09
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 43441 38068 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3257.19
Current children cumulated vsize (KiB) 545668

[startup+942.311 s]
/proc/loadavg: 3.82 3.87 3.83 5/119 22757
/proc/meminfo: memFree=3080476/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=3478.06
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 185351 162455 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=868.9
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 46338 40552 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=870.33
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 46325 40708 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068232028 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=870.22
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 46308 40714 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3478.06
Current children cumulated vsize (KiB) 545668



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.80 3.86 3.83 7/119 22949
/proc/meminfo: memFree=3079980/3368532 swapFree=1941392/1959888
[pid=19925] ppid=19923 vsize=545668 CPUtime=3692.45
/proc/19925/stat : 19925 (gnovelty+) R 19923 19925 24991 0 -1 4202496 19789 0 0 0 196789 172456 0 0 15 0 4 0 1112647316 558764032 19745 4294967295 134512640 135680988 3215808032 3215807276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/19925/statm: 136417 19745 103 286 0 136129 0
[pid=19925/tid=19927] ppid=19923 vsize=545668 CPUtime=922.36
/proc/19925/task/19927/stat : 19927 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 49202 43034 0 0 16 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3077624156 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19925/tid=19928] ppid=19923 vsize=545668 CPUtime=923.88
/proc/19925/task/19928/stat : 19928 (gnovelty+) R 19923 19925 24991 0 -1 4202560 5 0 0 0 49181 43207 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3068231980 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19925/tid=19929] ppid=19923 vsize=545668 CPUtime=923.9
/proc/19925/task/19929/stat : 19929 (gnovelty+) R 19923 19925 24991 0 -1 4202560 4 0 0 0 49168 43222 0 0 15 0 4 0 1112647324 558764032 19745 4294967295 134512640 135680988 3215808032 3058839900 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3692.45
Current children cumulated vsize (KiB) 545668

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.03
CPU time (s): 3692.51
CPU user time (s): 1967.92
CPU system time (s): 1724.59
CPU usage (%): 369.239
Max. virtual memory (cumulated for all children) (KiB): 545668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1967.92
system time used= 1724.59
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19789
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= 99990062
involuntary context switches= 265792

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 05:01:15
IDJOB=1778365
IDBENCH=70637
IDSOLVER=617
FILE ID=/1778365-1243479675
PBS_JOBID=
Free space on /tmp= 15730 MiB

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

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

MD5SUM BENCH= a68afc9bf021c353745f280b16667e74
RANDOM SEED= 284002139

Linux (none) 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.143
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.143
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.11
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.143
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.17
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.143
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.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3160112 kB
Buffers:         13120 kB
Cached:         122932 kB
SwapCached:       4320 kB
Active:         105292 kB
Inactive:        41516 kB
HighTotal:     2489216 kB
HighFree:      2353972 kB
LowTotal:       879316 kB
LowFree:        806140 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            1396 kB
Writeback:           0 kB
AnonPages:        9340 kB
Mapped:           4076 kB
Slab:            51444 kB
SReclaimable:    43416 kB
SUnreclaim:       8028 kB
PageTables:        748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127264 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15730 MiB
End job on  at 2009-05-28 05:17:57