Trace number 1777117

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
MD5SUM56d3d27e3897f3ba7df449d72abf21ef
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 variables900
Number of clauses18000
Sum of the clauses size90000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 518000
Number of clauses of size over 50

Solver Data 

0.12/0.12	c +------------------------------+
0.12/0.12	c | gNovelty+, version 1.0       |
0.12/0.12	c +------------------------------+
0.12/0.12	c gnovelty+ -h for help
0.12/0.12	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-1777117-1243436026/watcher-1777117-1243436026 -o /tmp/evaluation-result-1777117-1243436026/solver-1777117-1243436026 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777117-1243436026.cnf 1929803127 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.83 4.07 4.07 3/97 24338
/proc/meminfo: memFree=3088536/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=509228 CPUtime=0.01
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 1400 0 0 0 0 1 0 0 18 0 1 0 1097739819 521449472 1356 4294967295 134512640 135680988 3214578928 3214578192 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/24338/statm: 127307 1364 99 286 0 127019 0

[startup+0.032526 s]
/proc/loadavg: 3.83 4.07 4.07 3/97 24338
/proc/meminfo: memFree=3088536/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=517044 CPUtime=0.04
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 9932 0 0 0 1 3 0 0 18 0 1 0 1097739819 529453056 9888 4294967295 134512640 135680988 3214578928 3214577036 134958286 0 0 0 0 0 0 0 17 1 0 0 0
/proc/24338/statm: 129261 9888 99 286 0 128973 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 517044

[startup+0.112518 s]
/proc/loadavg: 3.83 4.07 4.07 3/97 24338
/proc/meminfo: memFree=3088536/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=517040 CPUtime=0.12
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 19097 0 0 0 8 4 0 0 18 0 1 0 1097739819 529448960 19052 4294967295 134512640 135680988 3214578928 3214578192 134537779 0 0 0 0 0 0 0 17 1 0 0 0
/proc/24338/statm: 129260 19057 99 286 0 128972 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 517040

[startup+0.31345 s]
/proc/loadavg: 3.83 4.07 4.07 3/97 24338
/proc/meminfo: memFree=3088536/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=0.78
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 69 9 0 0 18 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 548164

[startup+0.713437 s]
/proc/loadavg: 3.83 4.07 4.07 3/97 24338
/proc/meminfo: memFree=3088536/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=2.33
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 204 29 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 548164

[startup+1.51265 s]
/proc/loadavg: 3.83 4.07 4.07 5/101 24342
/proc/meminfo: memFree=3007480/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=5.43
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 485 58 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=1.3
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 122 8 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=1.34
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 124 10 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=1.32
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 116 16 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 548164

[startup+3.11276 s]
/proc/loadavg: 3.84 4.07 4.07 5/101 24342
/proc/meminfo: memFree=3006988/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=11.44
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 1018 126 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=2.78
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 251 27 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=2.91
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 266 25 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=2.73
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 240 33 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 548164

[startup+6.31204 s]
/proc/loadavg: 3.84 4.07 4.07 5/101 24342
/proc/meminfo: memFree=3006988/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=23.84
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 2103 281 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578260 134532993 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=5.97
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 539 58 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=6.06
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 543 63 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=5.81
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 502 79 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.84
Current children cumulated vsize (KiB) 548164

[startup+12.7115 s]
/proc/loadavg: 3.95 4.09 4.08 6/101 24342
/proc/meminfo: memFree=3006812/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=49.09
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 4348 561 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=12.34
/proc/24338/task/24340/stat : 24340 (gnovelty+) S 24336 24338 8948 0 -1 4202560 98 0 0 0 1106 128 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=12.37
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 1106 131 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=12.07
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 1062 145 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385332 134534838 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.09
Current children cumulated vsize (KiB) 548164

[startup+25.5103 s]
/proc/loadavg: 3.95 4.08 4.07 6/101 24342
/proc/meminfo: memFree=3006884/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=98.7
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 8744 1126 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=24.59
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 2197 262 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=24.75
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 2220 255 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=24.6
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 2161 299 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.7
Current children cumulated vsize (KiB) 548164

[startup+51.1086 s]
/proc/loadavg: 4.05 4.09 4.08 5/101 24350
/proc/meminfo: memFree=3006636/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=197.99
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 17531 2268 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=49.7
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 4418 552 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=49.53
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 4394 559 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=49.57
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 4369 588 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 197.99
Current children cumulated vsize (KiB) 548164

[startup+102.315 s]
/proc/loadavg: 4.13 4.12 4.09 5/101 24535
/proc/meminfo: memFree=3006512/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=398.14
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 35282 4532 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=99.49
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 8809 1140 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=100.12
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 8851 1161 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=99.41
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 8818 1123 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 398.14
Current children cumulated vsize (KiB) 548164

[startup+162.31 s]
/proc/loadavg: 4.26 4.14 4.10 5/101 24724
/proc/meminfo: memFree=3006388/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=628.64
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 55725 7139 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=156.93
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 13956 1737 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=158.36
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 13984 1852 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=156.85
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 13916 1769 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 628.64
Current children cumulated vsize (KiB) 548164

[startup+222.306 s]
/proc/loadavg: 4.25 4.16 4.10 5/101 24913
/proc/meminfo: memFree=3006472/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=859.37
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 76156 9781 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=214.7
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 19106 2364 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=216.24
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 19069 2555 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=213.91
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 18937 2454 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 859.37
Current children cumulated vsize (KiB) 548164

[startup+282.311 s]
/proc/loadavg: 4.10 4.13 4.09 5/101 25102
/proc/meminfo: memFree=3006160/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=1093.56
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 96891 12465 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=273.29
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 24282 3047 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=275.19
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 24254 3265 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=24338] ppid=24336 vsize=548164 CPUtime=1559.66
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 138414 17552 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=390.09
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 34689 4320 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=390.99
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 34552 4547 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=388.8
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 34555 4325 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1559.66
Current children cumulated vsize (KiB) 548164

[startup+462.316 s]
/proc/loadavg: 4.13 4.11 4.09 5/101 25669
/proc/meminfo: memFree=3006100/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=1794.34
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 159258 20176 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=448.87
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 39897 4990 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169588 134533489 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=449.83
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 39808 5175 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=447.15
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 39718 4997 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1794.34
Current children cumulated vsize (KiB) 548164

[startup+522.312 s]
/proc/loadavg: 4.17 4.12 4.09 5/101 25858
/proc/meminfo: memFree=3006216/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=2028.36
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 180065 22771 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=507.58
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 45105 5653 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=507.72
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 44940 5832 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=505.58
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 44905 5653 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2028.36
Current children cumulated vsize (KiB) 548164

[startup+582.307 s]
/proc/loadavg: 4.16 4.13 4.09 5/101 26047
/proc/meminfo: memFree=3005896/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=2260.87
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 200748 25339 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=565.93
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 50282 6311 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=565.96
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 50149 6447 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=563.14
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 50017 6297 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2260.87
Current children cumulated vsize (KiB) 548164

[startup+642.303 s]
/proc/loadavg: 4.16 4.13 4.09 6/101 26233
/proc/meminfo: memFree=3005936/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=2492.12
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 221256 27956 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=623.7
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 55380 6990 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=623.14
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 55231 7083 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=621.46
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 55193 6953 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2492.12
Current children cumulated vsize (KiB) 548164

[startup+702.319 s]
/proc/loadavg: 4.10 4.12 4.09 5/101 26419
/proc/meminfo: memFree=3005944/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=2722.87
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 241715 30572 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=681.84
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 60539 7645 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=680.55
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 60275 7780 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=678.94
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 60309 7585 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2722.87
Current children cumulated vsize (KiB) 548164

[startup+762.313 s]
/proc/loadavg: 4.12 4.12 4.09 6/101 26608
/proc/meminfo: memFree=3005936/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=2955.7
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 262381 33189 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=740.04
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 65713 8291 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=738.65
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 65418 8447 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=736.52
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 65412 8240 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2955.7
Current children cumulated vsize (KiB) 548164

[startup+822.308 s]
/proc/loadavg: 4.15 4.13 4.09 7/102 26787
/proc/meminfo: memFree=3006056/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=3189.07
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 283088 35819 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578260 134534534 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=798.04
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 70841 8963 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=797.24
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 70613 9111 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=795.04
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 70615 8889 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3189.07
Current children cumulated vsize (KiB) 548164

[startup+882.314 s]
/proc/loadavg: 4.38 4.20 4.12 5/101 26807
/proc/meminfo: memFree=3006248/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=3421.67
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 303691 38476 0 0 16 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578260 134532936 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=856.22
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 76014 9608 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=855.36
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 75761 9775 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=853.48
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 75782 9566 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3421.67
Current children cumulated vsize (KiB) 548164

[startup+942.31 s]
/proc/loadavg: 4.09 4.15 4.10 6/101 26993
/proc/meminfo: memFree=3006248/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=3653.83
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 324320 41063 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=913.85
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 81141 10244 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=912.9
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 80864 10426 0 0 16 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=912.55
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 81039 10216 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3653.83
Current children cumulated vsize (KiB) 548164



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.02 4.12 4.09 5/101 27187
/proc/meminfo: memFree=3005700/3368532 swapFree=1952996/1959888
[pid=24338] ppid=24336 vsize=548164 CPUtime=3876.43
/proc/24338/stat : 24338 (gnovelty+) R 24336 24338 8948 0 -1 4202496 20662 0 0 0 344103 43540 0 0 15 0 4 0 1097739819 561319936 20617 4294967295 134512640 135680988 3214578928 3214578172 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/24338/statm: 137041 20617 103 286 0 136753 0
[pid=24338/tid=24340] ppid=24336 vsize=548164 CPUtime=969.8
/proc/24338/task/24340/stat : 24340 (gnovelty+) R 24336 24338 8948 0 -1 4202560 98 0 0 0 86099 10881 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3077169500 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24338/tid=24341] ppid=24336 vsize=548164 CPUtime=969.21
/proc/24338/task/24341/stat : 24341 (gnovelty+) R 24336 24338 8948 0 -1 4202560 102 0 0 0 85870 11051 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3067777372 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24338/tid=24342] ppid=24336 vsize=548164 CPUtime=967.91
/proc/24338/task/24342/stat : 24342 (gnovelty+) R 24336 24338 8948 0 -1 4202560 100 0 0 0 85966 10825 0 0 15 0 4 0 1097739832 561319936 20617 4294967295 134512640 135680988 3214578928 3058385244 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3876.43
Current children cumulated vsize (KiB) 548164

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): 3876.47
CPU user time (s): 3441.07
CPU system time (s): 435.4
CPU usage (%): 387.639
Max. virtual memory (cumulated for all children) (KiB): 548164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3441.07
system time used= 435.4
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20662
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= 14905757
involuntary context switches= 59890

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-27 16:53:46
IDJOB=1777117
IDBENCH=70221
IDSOLVER=617
FILE ID=tipi45/1777117-1243436026
PBS_JOBID=
Free space on /tmp= 15501 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S743448446-027.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777117-1243436026/watcher-1777117-1243436026 -o /tmp/evaluation-result-1777117-1243436026/solver-1777117-1243436026 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777117-1243436026.cnf 1929803127 4

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

MD5SUM BENCH= 56d3d27e3897f3ba7df449d72abf21ef
RANDOM SEED= 1929803127

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:       3088536 kB
Buffers:        122988 kB
Cached:          51032 kB
SwapCached:       2100 kB
Active:          64008 kB
Inactive:       119200 kB
HighTotal:     2489216 kB
HighFree:      2425680 kB
LowTotal:       879316 kB
LowFree:        662856 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:        8072 kB
Mapped:           3324 kB
Slab:            84512 kB
SReclaimable:    73584 kB
SUnreclaim:      10928 kB
PageTables:        496 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= 15501 MiB
End job on tipi45 at 2009-05-27 17:10:28