Trace number 1778341

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

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
MD5SUMcb595cd6bad1f0c5699baaa892a03467
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 variables380
Number of clauses1615
Sum of the clauses size4845
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31615
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.02/0.08	c +------------------------------+
0.02/0.08	c | gNovelty+, version 1.0       |
0.02/0.08	c +------------------------------+
0.02/0.08	c gnovelty+ -h for help
0.02/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-1778341-1243477728/watcher-1778341-1243477728 -o /tmp/evaluation-result-1778341-1243477728/solver-1778341-1243477728 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778341-1243477728.cnf 1009923312 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.57 3.79 3.80 3/96 30322
/proc/meminfo: memFree=217860/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=509228 CPUtime=0.01
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 1401 0 0 0 0 1 0 0 18 0 1 0 1112436933 521449472 1357 4294967295 134512640 135680988 3214849344 3214848608 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/30322/statm: 127307 1363 99 286 0 127019 0

[startup+0.021386 s]
/proc/loadavg: 3.57 3.79 3.80 3/96 30322
/proc/meminfo: memFree=217860/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=509228 CPUtime=0.02
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 6622 0 0 0 1 1 0 0 18 0 1 0 1112436933 521449472 6579 4294967295 134512640 135680988 3214849344 3214848608 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/30322/statm: 127307 6598 99 286 0 127019 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 509228

[startup+0.1115 s]
/proc/loadavg: 3.57 3.79 3.80 3/96 30322
/proc/meminfo: memFree=217860/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=0.14
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19792 0 0 0 3 11 0 0 18 0 4 0 1112436933 558895104 19747 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19747 103 286 0 136161 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 545796

[startup+0.311378 s]
/proc/loadavg: 3.57 3.79 3.80 3/96 30322
/proc/meminfo: memFree=217860/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=0.85
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19793 0 0 0 48 37 0 0 15 0 4 0 1112436933 558895104 19748 4294967295 134512640 135680988 3214849344 3214848540 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19748 103 286 0 136161 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 545796

[startup+0.711359 s]
/proc/loadavg: 3.57 3.79 3.80 3/96 30322
/proc/meminfo: memFree=217860/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=2.38
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19793 0 0 0 119 119 0 0 15 0 4 0 1112436933 558895104 19748 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19748 103 286 0 136161 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 545796

[startup+1.51128 s]
/proc/loadavg: 3.57 3.79 3.80 4/100 30326
/proc/meminfo: memFree=139864/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=5.32
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19793 0 0 0 270 262 0 0 15 0 4 0 1112436933 558895104 19748 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19748 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=1.29
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 72 57 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=1.3
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 63 67 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=1.26
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 64 62 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 545796

[startup+3.11115 s]
/proc/loadavg: 3.57 3.79 3.80 5/100 30326
/proc/meminfo: memFree=139136/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=11.28
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19793 0 0 0 577 551 0 0 16 0 4 0 1112436933 558895104 19748 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19748 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=2.76
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 152 124 0 0 16 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=2.76
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 140 136 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=2.76
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 135 141 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.28
Current children cumulated vsize (KiB) 545796

[startup+6.31087 s]
/proc/loadavg: 3.60 3.80 3.80 5/100 30326
/proc/meminfo: memFree=139136/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=23.02
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19793 0 0 0 1162 1140 0 0 15 0 4 0 1112436933 558895104 19748 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30322/statm: 136449 19748 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=5.69
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 301 268 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=5.67
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 285 282 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=5.68
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 274 294 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.02
Current children cumulated vsize (KiB) 545796

[startup+12.7104 s]
/proc/loadavg: 3.72 3.82 3.81 4/100 30326
/proc/meminfo: memFree=138952/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=46.74
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19793 0 0 0 2390 2284 0 0 15 0 4 0 1112436933 558895104 19748 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30322/statm: 136449 19748 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=11.64
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 606 558 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3077726508 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=11.57
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 619 538 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=11.67
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 571 596 0 0 15 0 4 0 1112436941 558895104 19748 4294967295 134512640 135680988 3214849344 3058942300 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.74
Current children cumulated vsize (KiB) 545796

[startup+25.5095 s]
/proc/loadavg: 3.63 3.79 3.80 5/100 30511
/proc/meminfo: memFree=138352/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=93.69
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 4821 4548 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=23.44
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 1201 1143 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=23.32
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 1214 1118 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=23.31
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 1168 1163 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 93.69
Current children cumulated vsize (KiB) 545796

[startup+51.1171 s]
/proc/loadavg: 3.69 3.79 3.80 6/100 30512
/proc/meminfo: memFree=138536/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=188.24
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 9690 9134 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=46.93
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 2386 2307 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=46.89
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 2424 2265 0 0 16 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=47.04
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 2386 2318 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 188.24
Current children cumulated vsize (KiB) 545796

[startup+102.313 s]
/proc/loadavg: 3.70 3.78 3.79 5/100 30704
/proc/meminfo: memFree=137828/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=378.14
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 19611 18203 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=94.19
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 4855 4564 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=94.6
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 4904 4556 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=94.64
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 4859 4605 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942252 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 378.14
Current children cumulated vsize (KiB) 545796

[startup+162.308 s]
/proc/loadavg: 3.82 3.80 3.80 5/100 30891
/proc/meminfo: memFree=138372/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=599.22
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 30884 29038 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=149.58
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 7709 7249 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=149.88
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 7687 7301 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=149.37
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 7621 7316 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942252 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 599.22
Current children cumulated vsize (KiB) 545796

[startup+222.313 s]
/proc/loadavg: 3.71 3.77 3.79 5/100 31080
/proc/meminfo: memFree=138588/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=820.19
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 42284 39735 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=205.31
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 10674 9857 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=204.85
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 10514 9971 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=204.31
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 10430 10001 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 820.19
Current children cumulated vsize (KiB) 545796

[startup+282.308 s]
/proc/loadavg: 3.93 3.82 3.81 5/100 31267
/proc/meminfo: memFree=138232/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=1040.58
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 53612 50446 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=260.78
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 13598 12480 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726508 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=259.84
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 13338 12646 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 1 0 0 0

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

[pid=30322] ppid=30320 vsize=545796 CPUtime=1483.2
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 76243 72077 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=371.53
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 19289 17864 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=370.42
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 18935 18107 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=370.37
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 18912 18125 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1483.2
Current children cumulated vsize (KiB) 545796

[startup+462.313 s]
/proc/loadavg: 3.90 3.82 3.80 5/100 31836
/proc/meminfo: memFree=138760/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=1703
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 87580 82720 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=426.21
/proc/30322/task/30324/stat : 30324 (gnovelty+) S 30320 30322 10015 0 -1 4202560 5 0 0 0 22117 20504 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=425.22
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 21740 20782 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=425.73
/proc/30322/task/30326/stat : 30326 (gnovelty+) S 30320 30322 10015 0 -1 4202560 6 0 0 0 21756 20817 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1703
Current children cumulated vsize (KiB) 545796

[startup+522.318 s]
/proc/loadavg: 3.78 3.79 3.79 5/100 32025
/proc/meminfo: memFree=138844/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=1925.18
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 99014 93504 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=481.9
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 24998 23192 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=480.73
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 24622 23451 0 0 16 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=481.05
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 24573 23532 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942252 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1925.18
Current children cumulated vsize (KiB) 545796

[startup+582.313 s]
/proc/loadavg: 3.77 3.78 3.79 5/100 32212
/proc/meminfo: memFree=139240/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=2145.5
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 110416 104134 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=536.66
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 27884 25782 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=536.32
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 27513 26119 0 0 16 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=536.29
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 27387 26242 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2145.5
Current children cumulated vsize (KiB) 545796

[startup+642.308 s]
/proc/loadavg: 3.81 3.79 3.79 5/100 32400
/proc/meminfo: memFree=138992/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=2366.12
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 121707 114905 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=592.17
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 30637 28580 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=591.21
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 30345 28776 0 0 16 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=590.85
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 30202 28883 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2366.12
Current children cumulated vsize (KiB) 545796

[startup+702.313 s]
/proc/loadavg: 3.83 3.79 3.79 5/100 32588
/proc/meminfo: memFree=138944/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=2586.31
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 133099 125532 0 0 16 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=647.15
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 33455 31260 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=646.61
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 33214 31447 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=645.37
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 33026 31511 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2586.31
Current children cumulated vsize (KiB) 545796

[startup+762.308 s]
/proc/loadavg: 3.80 3.78 3.79 5/100 307
/proc/meminfo: memFree=138868/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=2807.71
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 144567 136204 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=702.42
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 36348 33894 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=702.27
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 36045 34182 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334380 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=700.66
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 35915 34151 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2807.71
Current children cumulated vsize (KiB) 545796

[startup+822.313 s]
/proc/loadavg: 3.81 3.79 3.79 4/100 500
/proc/meminfo: memFree=138960/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=3028.81
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 155889 146992 0 0 16 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=757.55
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 39090 36665 0 0 16 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=757.28
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 38824 36904 0 0 16 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=756.13
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 38829 36784 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3028.81
Current children cumulated vsize (KiB) 545796

[startup+882.308 s]
/proc/loadavg: 3.85 3.81 3.79 5/100 687
/proc/meminfo: memFree=139116/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=3250.15
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 167413 157602 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=812.83
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 41950 39333 0 0 16 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=812.36
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 41693 39543 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=811.65
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 41688 39477 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3250.15
Current children cumulated vsize (KiB) 545796

[startup+942.303 s]
/proc/loadavg: 3.79 3.80 3.79 5/100 875
/proc/meminfo: memFree=138860/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=3470.07
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 178823 168184 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=868.01
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 44823 41978 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=867.27
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 44561 42166 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=866.59
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 44534 42125 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3470.07
Current children cumulated vsize (KiB) 545796



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 3.89 3.82 3.80 5/100 1074
/proc/meminfo: memFree=138960/3368532 swapFree=1953788/1959888
[pid=30322] ppid=30320 vsize=545796 CPUtime=3681.31
/proc/30322/stat : 30322 (gnovelty+) R 30320 30322 10015 0 -1 4202496 19794 0 0 0 189804 178327 0 0 15 0 4 0 1112436933 558895104 19749 4294967295 134512640 135680988 3214849344 3214848588 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30322/statm: 136449 19749 103 286 0 136161 0
[pid=30322/tid=30324] ppid=30320 vsize=545796 CPUtime=920.9
/proc/30322/task/30324/stat : 30324 (gnovelty+) R 30320 30322 10015 0 -1 4202560 5 0 0 0 47568 44522 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30322/tid=30325] ppid=30320 vsize=545796 CPUtime=920.45
/proc/30322/task/30325/stat : 30325 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 47335 44710 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30322/tid=30326] ppid=30320 vsize=545796 CPUtime=918.88
/proc/30322/task/30326/stat : 30326 (gnovelty+) R 30320 30322 10015 0 -1 4202560 6 0 0 0 47261 44627 0 0 15 0 4 0 1112436941 558895104 19749 4294967295 134512640 135680988 3214849344 3058942300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3681.31
Current children cumulated vsize (KiB) 545796

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3681.37
CPU user time (s): 1898.06
CPU system time (s): 1783.31
CPU usage (%): 368.121
Max. virtual memory (cumulated for all children) (KiB): 545796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1898.06
system time used= 1783.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19794
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= 103295246
involuntary context switches= 256645

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 04:28:48
IDJOB=1778341
IDBENCH=70629
IDSOLVER=617
FILE ID=/1778341-1243477728
PBS_JOBID=
Free space on /tmp= 6476 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/380/unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778341-1243477728/watcher-1778341-1243477728 -o /tmp/evaluation-result-1778341-1243477728/solver-1778341-1243477728 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778341-1243477728.cnf 1009923312 4

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

MD5SUM BENCH= cb595cd6bad1f0c5699baaa892a03467
RANDOM SEED= 1009923312

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:        217860 kB
Buffers:         47160 kB
Cached:        2932772 kB
SwapCached:       2256 kB
Active:        1721704 kB
Inactive:      1267588 kB
HighTotal:     2489216 kB
HighFree:        86964 kB
LowTotal:       879316 kB
LowFree:        130896 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            1408 kB
Writeback:           0 kB
AnonPages:        8620 kB
Mapped:           3012 kB
Slab:           151348 kB
SReclaimable:   137828 kB
SUnreclaim:      13520 kB
PageTables:        464 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-28 04:45:31