Trace number 1778350

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

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
MD5SUM9a70ac660abd105bceac08fd27643051
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.05/0.08	c +------------------------------+
0.05/0.08	c | gNovelty+, version 1.0       |
0.05/0.08	c +------------------------------+
0.05/0.08	c gnovelty+ -h for help
0.05/0.08	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1778350-1243478712/watcher-1778350-1243478712 -o /tmp/evaluation-result-1778350-1243478712/solver-1778350-1243478712 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778350-1243478712.cnf 1020412254 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.86 4.01 4.09 3/109 30474
/proc/meminfo: memFree=710524/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=509228 CPUtime=0
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 1632 0 0 0 0 0 0 0 18 0 1 0 1112533995 521449472 1588 4294967295 134512640 135680988 3218268288 3218267552 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/30474/statm: 127307 1596 99 286 0 127019 0

[startup+0.055687 s]
/proc/loadavg: 3.86 4.01 4.09 3/109 30474
/proc/meminfo: memFree=710524/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=517040 CPUtime=0.05
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 14313 0 0 0 2 3 0 0 18 0 1 0 1112533995 529448960 14268 4294967295 134512640 135680988 3218268288 3218267552 134537779 0 0 0 0 0 0 0 17 3 0 0 0
/proc/30474/statm: 129260 14279 99 286 0 128972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517040

[startup+0.115771 s]
/proc/loadavg: 3.86 4.01 4.09 3/109 30474
/proc/meminfo: memFree=710524/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=0.16
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19793 0 0 0 8 8 0 0 18 0 4 0 1112533995 558895104 19748 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19748 103 286 0 136161 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 545796

[startup+0.315719 s]
/proc/loadavg: 3.86 4.01 4.09 3/109 30474
/proc/meminfo: memFree=710524/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=0.84
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19794 0 0 0 49 35 0 0 15 0 4 0 1112533995 558895104 19749 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19749 103 286 0 136161 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 545796

[startup+0.715653 s]
/proc/loadavg: 3.86 4.01 4.09 3/109 30474
/proc/meminfo: memFree=710524/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=2.3
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 124 106 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 545796

[startup+1.51562 s]
/proc/loadavg: 3.86 4.01 4.09 5/113 30478
/proc/meminfo: memFree=631568/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=5.18
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 277 241 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=1.23
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 81 42 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=1.25
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 59 66 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=1.34
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 76 58 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 545796

[startup+3.11563 s]
/proc/loadavg: 3.86 4.01 4.09 4/113 30478
/proc/meminfo: memFree=631568/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=11.14
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 607 507 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=2.73
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 155 118 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=2.73
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 143 130 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=2.86
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 171 115 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 545796

[startup+6.3154 s]
/proc/loadavg: 3.87 4.01 4.09 5/113 30478
/proc/meminfo: memFree=631600/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=23.02
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 1233 1069 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=5.78
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 314 264 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=5.68
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 298 270 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662636 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=5.83
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 333 250 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.02
Current children cumulated vsize (KiB) 545796

[startup+12.7151 s]
/proc/loadavg: 3.88 4.01 4.09 5/113 30479
/proc/meminfo: memFree=631368/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=47.1
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 2531 2179 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=11.82
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 646 536 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=11.79
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 617 562 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=11.68
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 657 511 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.1
Current children cumulated vsize (KiB) 545796

[startup+25.5144 s]
/proc/loadavg: 3.91 4.01 4.09 5/113 30480
/proc/meminfo: memFree=631472/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=94.74
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 5161 4313 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=23.72
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 1293 1079 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=23.82
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 1290 1092 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=23.35
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 1285 1050 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270508 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 94.74
Current children cumulated vsize (KiB) 545796

[startup+51.1132 s]
/proc/loadavg: 4.00 4.02 4.09 5/113 30481
/proc/meminfo: memFree=631636/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=190.18
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 10322 8696 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=47.73
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 2575 2198 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=47.41
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 2553 2188 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=47.13
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 2570 2143 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 190.18
Current children cumulated vsize (KiB) 545796

[startup+102.311 s]
/proc/loadavg: 4.04 4.03 4.09 5/113 30669
/proc/meminfo: memFree=630892/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=380.64
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 20759 17305 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=95.4
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 5206 4334 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=94.96
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 5143 4353 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=94.57
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 5151 4306 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 380.64
Current children cumulated vsize (KiB) 545796

[startup+162.307 s]
/proc/loadavg: 3.98 4.01 4.08 5/113 30857
/proc/meminfo: memFree=630760/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=604.29
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 32791 27638 0 0 16 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=150.98
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 8180 6918 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=151.16
/proc/30474/task/30477/stat : 30477 (gnovelty+) S 30472 30474 7955 0 -1 4202560 6 0 0 0 8131 6985 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=150.51
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 8252 6799 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 604.29
Current children cumulated vsize (KiB) 545796

[startup+222.304 s]
/proc/loadavg: 3.71 3.92 4.04 5/113 31049
/proc/meminfo: memFree=630620/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=827.88
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 44831 37957 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=206.91
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 11185 9506 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=207.18
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 11188 9530 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=206.42
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 11251 9391 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 827.88
Current children cumulated vsize (KiB) 545796

[startup+282.311 s]
/proc/loadavg: 3.81 3.92 4.03 6/113 31236
/proc/meminfo: memFree=630892/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=1050.9
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 56934 48156 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=262.43
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 14180 12063 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054764 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=263.03
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 14218 12085 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=30474] ppid=30472 vsize=545796 CPUtime=1492.72
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 81234 68038 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=372.5
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 20192 17058 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=373.43
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 20253 17090 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=372.23
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 20388 16835 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1492.72
Current children cumulated vsize (KiB) 545796

[startup+462.312 s]
/proc/loadavg: 4.23 4.02 4.04 5/113 31802
/proc/meminfo: memFree=630636/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=1714.91
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 93408 78083 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=428.38
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 23256 19582 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=429.17
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 23304 19613 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=427.15
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 23435 19280 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1714.91
Current children cumulated vsize (KiB) 545796

[startup+522.309 s]
/proc/loadavg: 4.06 4.01 4.04 5/113 31990
/proc/meminfo: memFree=630512/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=1936.21
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 105657 87964 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=483.5
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 26331 22019 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=484.65
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 26398 22067 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=482.91
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 26520 21771 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1936.21
Current children cumulated vsize (KiB) 545796

[startup+582.306 s]
/proc/loadavg: 3.94 3.98 4.02 4/113 32177
/proc/meminfo: memFree=630768/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=2157.94
/proc/30474/stat : 30474 (gnovelty+) S 30472 30474 7955 0 -1 4202496 19795 0 0 0 117647 98147 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=538.52
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 29311 24541 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=540.38
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 29415 24623 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=538.82
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 29560 24322 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2157.94
Current children cumulated vsize (KiB) 545796

[startup+642.312 s]
/proc/loadavg: 3.92 3.97 4.01 5/113 32368
/proc/meminfo: memFree=630768/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=2379.53
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 129700 108253 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=594.51
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 32345 27106 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=595.17
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 32298 27219 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=594.61
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 32660 26801 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2379.53
Current children cumulated vsize (KiB) 545796

[startup+702.309 s]
/proc/loadavg: 4.08 4.00 4.01 5/113 32557
/proc/meminfo: memFree=630768/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=2602.79
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 141949 118330 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=649.87
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 35324 29663 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=650.9
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 35360 29730 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=650.75
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 35745 29330 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2602.79
Current children cumulated vsize (KiB) 545796

[startup+762.316 s]
/proc/loadavg: 4.14 4.03 4.02 5/113 32745
/proc/meminfo: memFree=630636/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=2825
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 154090 128410 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=705.49
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 38385 32164 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=705.96
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 38349 32247 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=706.36
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 38744 31892 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2825
Current children cumulated vsize (KiB) 545796

[startup+822.313 s]
/proc/loadavg: 4.08 4.03 4.02 5/113 465
/proc/meminfo: memFree=630760/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=3049.18
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 166346 138572 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=761.3
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 41436 34694 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=762
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 41388 34812 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=762.52
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 41846 34406 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3049.18
Current children cumulated vsize (KiB) 545796

[startup+882.31 s]
/proc/loadavg: 4.15 4.06 4.02 5/113 652
/proc/meminfo: memFree=630892/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=3271.61
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 178422 148739 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=817.08
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 44423 37285 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=817.39
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 44449 37290 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=818.05
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 44848 36957 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3271.61
Current children cumulated vsize (KiB) 545796

[startup+942.306 s]
/proc/loadavg: 4.26 4.10 4.04 6/113 839
/proc/meminfo: memFree=630768/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=3494.92
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 190500 158992 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=873
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 47503 39797 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=873.03
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 47473 39830 0 0 16 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=874.17
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 47829 39588 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3494.92
Current children cumulated vsize (KiB) 545796



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.29 4.14 4.05 5/113 1043
/proc/meminfo: memFree=630520/3368532 swapFree=1959840/1959888
[pid=30474] ppid=30472 vsize=545796 CPUtime=3709.79
/proc/30474/stat : 30474 (gnovelty+) R 30472 30474 7955 0 -1 4202496 19795 0 0 0 202182 168797 0 0 15 0 4 0 1112533995 558895104 19750 4294967295 134512640 135680988 3218268288 3218267532 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30474/statm: 136449 19750 103 286 0 136161 0
[pid=30474/tid=30476] ppid=30472 vsize=545796 CPUtime=926.32
/proc/30474/task/30476/stat : 30476 (gnovelty+) R 30472 30474 7955 0 -1 4202560 5 0 0 0 50409 42223 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3077054812 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30474/tid=30477] ppid=30472 vsize=545796 CPUtime=927.33
/proc/30474/task/30477/stat : 30477 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 50425 42308 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3067662684 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30474/tid=30478] ppid=30472 vsize=545796 CPUtime=927.45
/proc/30474/task/30478/stat : 30478 (gnovelty+) R 30472 30474 7955 0 -1 4202560 6 0 0 0 50747 41998 0 0 15 0 4 0 1112534003 558895104 19750 4294967295 134512640 135680988 3218268288 3058270556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3709.79
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): 3709.85
CPU user time (s): 2021.86
CPU system time (s): 1687.99
CPU usage (%): 370.971
Max. virtual memory (cumulated for all children) (KiB): 545796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2021.86
system time used= 1687.99
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19795
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= 93063743
involuntary context switches= 226917

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 04:45:12
IDJOB=1778350
IDBENCH=70632
IDSOLVER=617
FILE ID=/1778350-1243478712
PBS_JOBID=
Free space on /tmp= 7987 MiB

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

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

MD5SUM BENCH= 9a70ac660abd105bceac08fd27643051
RANDOM SEED= 1020412254

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
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.073
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.073
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:        710376 kB
Buffers:         41800 kB
Cached:        2435280 kB
SwapCached:          0 kB
Active:        1299712 kB
Inactive:      1196512 kB
HighTotal:     2489216 kB
HighFree:       449384 kB
LowTotal:       879316 kB
LowFree:        260992 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1332 kB
Writeback:           0 kB
AnonPages:       19144 kB
Mapped:           7724 kB
Slab:           152220 kB
SReclaimable:   138648 kB
SUnreclaim:      13572 kB
PageTables:        664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   110896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7987 MiB
End job on  at 2009-05-28 05:01:52