Trace number 1777015

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
MD5SUM2936351992cd53f891ea98e5e0e8663e
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 variables1000
Number of clauses20000
Sum of the clauses size100000
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 520000
Number of clauses of size over 50

Solver Data 

0.10/0.13	c +------------------------------+
0.10/0.13	c | gNovelty+, version 1.0       |
0.10/0.13	c +------------------------------+
0.10/0.13	c gnovelty+ -h for help
0.10/0.13	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-1777015-1243430820/watcher-1777015-1243430820 -o /tmp/evaluation-result-1777015-1243430820/solver-1777015-1243430820 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777015-1243430820.cnf 1783499151 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: 0.00 0.00 0.00 3/96 10051
/proc/meminfo: memFree=217216/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=509232 CPUtime=0
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 1352 0 0 0 0 0 0 0 18 0 1 0 1107746159 521453568 1310 4294967295 134512640 135680988 3217350560 3217349824 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/10051/statm: 127308 1318 99 286 0 127020 0

[startup+0.078547 s]
/proc/loadavg: 0.00 0.00 0.00 3/96 10051
/proc/meminfo: memFree=217216/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=517044 CPUtime=0.07
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 11414 0 0 0 5 2 0 0 18 0 1 0 1107746159 529453056 11370 4294967295 134512640 135680988 3217350560 3217349824 134537708 0 0 0 0 0 0 0 17 3 0 0 0
/proc/10051/statm: 129261 11375 99 286 0 128973 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 517044

[startup+0.108544 s]
/proc/loadavg: 0.00 0.00 0.00 3/96 10051
/proc/meminfo: memFree=217216/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=517044 CPUtime=0.1
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 17213 0 0 0 7 3 0 0 18 0 1 0 1107746159 529453056 17169 4294967295 134512640 135680988 3217350560 3217349824 134537779 0 0 0 0 0 0 0 17 3 0 0 0
/proc/10051/statm: 129261 17174 99 286 0 128973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517044

[startup+0.308529 s]
/proc/loadavg: 0.00 0.00 0.00 3/96 10051
/proc/meminfo: memFree=217216/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=0.74
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 63 11 0 0 17 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 548460

[startup+0.708511 s]
/proc/loadavg: 0.00 0.00 0.00 3/96 10051
/proc/meminfo: memFree=217216/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=2.34
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 200 34 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 548460

[startup+1.50847 s]
/proc/loadavg: 0.08 0.02 0.01 5/100 10055
/proc/meminfo: memFree=135476/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=5.5
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 486 64 0 0 16 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=1.34
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 115 19 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=1.34
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 123 11 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=1.33
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 116 17 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 548460

[startup+3.1083 s]
/proc/loadavg: 0.08 0.02 0.01 8/100 10055
/proc/meminfo: memFree=135072/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=11.75
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 1042 133 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=2.86
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 249 37 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=2.92
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 259 33 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=2.9
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 256 34 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 548460

[startup+6.30822 s]
/proc/loadavg: 0.39 0.08 0.03 5/100 10056
/proc/meminfo: memFree=134824/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=24.06
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 2117 289 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=5.94
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 511 83 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566900 134534968 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=6.06
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 530 76 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=5.84
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 517 67 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (KiB) 548460

[startup+12.708 s]
/proc/loadavg: 0.84 0.18 0.06 6/100 10240
/proc/meminfo: memFree=134644/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=48.14
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 4263 551 0 0 16 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=11.81
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 1039 142 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=12.23
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 1079 144 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=11.86
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 1053 133 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.14
Current children cumulated vsize (KiB) 548460

[startup+25.5072 s]
/proc/loadavg: 1.61 0.38 0.13 2/100 10242
/proc/meminfo: memFree=134880/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=97.92
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 8682 1110 0 0 16 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=24.24
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 2163 261 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=24.76
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 2172 304 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=24.45
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 2174 271 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.92
Current children cumulated vsize (KiB) 548460

[startup+51.1049 s]
/proc/loadavg: 2.35 0.66 0.22 5/100 10244
/proc/meminfo: memFree=135036/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=197.32
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 17484 2248 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=49.22
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 4410 512 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=49.53
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 4350 603 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=49.22
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 4371 551 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 197.32
Current children cumulated vsize (KiB) 548460

[startup+102.31 s]
/proc/loadavg: 3.35 1.18 0.42 5/100 10431
/proc/meminfo: memFree=134300/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=396.32
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 35111 4521 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=98.9
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 8795 1095 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=99.8
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 8815 1165 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=99.17
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 8793 1124 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 396.32
Current children cumulated vsize (KiB) 548460

[startup+162.305 s]
/proc/loadavg: 3.63 1.65 0.63 6/100 10618
/proc/meminfo: memFree=134168/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=628.53
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 55838 7015 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=157.45
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 14021 1724 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=157.68
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 13976 1792 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=156.78
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 13934 1744 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 628.53
Current children cumulated vsize (KiB) 548460

[startup+222.31 s]
/proc/loadavg: 4.23 2.17 0.87 7/100 10805
/proc/meminfo: memFree=133928/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=860.03
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 76412 9591 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=215.17
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 19158 2359 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=215.83
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 19141 2442 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=213.96
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 19005 2391 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 860.03
Current children cumulated vsize (KiB) 548460

[startup+282.315 s]
/proc/loadavg: 4.40 2.58 1.09 5/100 10994
/proc/meminfo: memFree=133680/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=1094.3
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 97221 12209 0 0 16 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=273.84
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 24413 2971 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=274.07
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 24299 3108 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=10051] ppid=10049 vsize=548460 CPUtime=1559.61
/proc/10051/stat : 10051 (gnovelty+) S 10049 10051 10015 0 -1 4202496 20774 0 0 0 138464 17497 0 0 16 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=389.68
/proc/10051/task/10053/stat : 10053 (gnovelty+) S 10049 10051 10015 0 -1 4202560 110 0 0 0 34689 4279 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=390.3
/proc/10051/task/10054/stat : 10054 (gnovelty+) S 10049 10051 10015 0 -1 4202560 112 0 0 0 34587 4443 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=389.26
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 34524 4402 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782572 134997743 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1559.61
Current children cumulated vsize (KiB) 548460

[startup+462.311 s]
/proc/loadavg: 4.15 3.32 1.64 6/100 11563
/proc/meminfo: memFree=134168/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=1793.37
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 159179 20158 0 0 16 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=448.02
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 39861 4941 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=448.71
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 39773 5098 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=447.46
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 39663 5083 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1793.37
Current children cumulated vsize (KiB) 548460

[startup+522.306 s]
/proc/loadavg: 4.17 3.48 1.80 5/100 11750
/proc/meminfo: memFree=134424/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=2025.59
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 179763 22796 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=506.11
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 45003 5608 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=506.39
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 44867 5772 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=505.61
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 44819 5742 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2025.59
Current children cumulated vsize (KiB) 548460

[startup+582.31 s]
/proc/loadavg: 4.54 3.71 1.98 5/100 11939
/proc/meminfo: memFree=134424/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=2259.28
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 200547 25381 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=564.49
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 50213 6236 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=564.74
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 50030 6444 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=564.18
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 50025 6393 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2259.28
Current children cumulated vsize (KiB) 548460

[startup+642.306 s]
/proc/loadavg: 4.48 3.85 2.13 5/100 12127
/proc/meminfo: memFree=134540/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=2492.89
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 221281 28008 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=622.57
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 55379 6878 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=623.92
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 55264 7128 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=622.69
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 55214 7055 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2492.89
Current children cumulated vsize (KiB) 548460

[startup+702.311 s]
/proc/loadavg: 4.35 3.92 2.26 5/100 12319
/proc/meminfo: memFree=133680/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=2726.7
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 241951 30719 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=681.19
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 60551 7568 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=682.33
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 60449 7784 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=681.39
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 60399 7740 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2726.7
Current children cumulated vsize (KiB) 548460

[startup+762.316 s]
/proc/loadavg: 4.41 4.02 2.40 6/100 12506
/proc/meminfo: memFree=133796/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=2960.88
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 262782 33306 0 0 16 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349892 134533839 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=739.72
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 65771 8201 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=741.01
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 65682 8419 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=740.2
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 65621 8399 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2960.88
Current children cumulated vsize (KiB) 548460

[startup+822.311 s]
/proc/loadavg: 4.43 4.10 2.53 5/100 12693
/proc/meminfo: memFree=133928/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=3194.1
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 283464 35946 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=798.2
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 70999 8821 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=799.12
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 70808 9104 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=798.96
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 70814 9082 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3194.1
Current children cumulated vsize (KiB) 548460

[startup+882.316 s]
/proc/loadavg: 4.36 4.15 2.64 5/100 12882
/proc/meminfo: memFree=134052/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=3424.23
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 303903 38520 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=855.64
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 76044 9520 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=855.71
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 75834 9737 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=856.87
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 75978 9709 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3424.23
Current children cumulated vsize (KiB) 548460

[startup+942.311 s]
/proc/loadavg: 4.25 4.14 2.73 5/100 13070
/proc/meminfo: memFree=134044/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=3657.37
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 324570 41167 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=913.57
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 81180 10177 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=913.67
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 81018 10349 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=915.49
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 81156 10393 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3657.37
Current children cumulated vsize (KiB) 548460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.27 4.17 2.83 5/100 13258
/proc/meminfo: memFree=133756/3368532 swapFree=1953788/1959888
[pid=10051] ppid=10049 vsize=548460 CPUtime=3881.32
/proc/10051/stat : 10051 (gnovelty+) R 10049 10051 10015 0 -1 4202496 20774 0 0 0 344399 43733 0 0 15 0 4 0 1107746159 561623040 20730 4294967295 134512640 135680988 3217350560 3217349804 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10051/statm: 137115 20730 103 286 0 136827 0
[pid=10051/tid=10053] ppid=10049 vsize=548460 CPUtime=969.53
/proc/10051/task/10053/stat : 10053 (gnovelty+) R 10049 10051 10015 0 -1 4202560 110 0 0 0 86115 10838 0 0 16 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3077566812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10051/tid=10054] ppid=10049 vsize=548460 CPUtime=969.74
/proc/10051/task/10054/stat : 10054 (gnovelty+) R 10049 10051 10015 0 -1 4202560 112 0 0 0 85980 10994 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3068174684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10051/tid=10055] ppid=10049 vsize=548460 CPUtime=970.87
/proc/10051/task/10055/stat : 10055 (gnovelty+) R 10049 10051 10015 0 -1 4202560 113 0 0 0 86081 11006 0 0 15 0 4 0 1107746173 561623040 20730 4294967295 134512640 135680988 3217350560 3058782556 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3881.32
Current children cumulated vsize (KiB) 548460

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): 3881.4
CPU user time (s): 3444.06
CPU system time (s): 437.34
CPU usage (%): 388.128
Max. virtual memory (cumulated for all children) (KiB): 548460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3444.06
system time used= 437.34
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20774
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= 15239084
involuntary context switches= 57867

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-27 15:27:00
IDJOB=1777015
IDBENCH=70187
IDSOLVER=617
FILE ID=/1777015-1243430820
PBS_JOBID=
Free space on /tmp= 6476 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S1284372491-036.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777015-1243430820/watcher-1777015-1243430820 -o /tmp/evaluation-result-1777015-1243430820/solver-1777015-1243430820 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777015-1243430820.cnf 1783499151 4

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

MD5SUM BENCH= 2936351992cd53f891ea98e5e0e8663e
RANDOM SEED= 1783499151

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.061
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.061
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.12
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.061
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
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:        219288 kB
Buffers:         46700 kB
Cached:        2933268 kB
SwapCached:       2256 kB
Active:        1728780 kB
Inactive:      1260368 kB
HighTotal:     2489216 kB
HighFree:        88580 kB
LowTotal:       879316 kB
LowFree:        130708 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:        8464 kB
Mapped:           2984 kB
Slab:           150620 kB
SReclaimable:   137080 kB
SUnreclaim:      13540 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88472 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6476 MiB
End job on  at 2009-05-27 15:43:43