Trace number 1777012

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
MD5SUMcd8ff3390234df6242528d108d1584c9
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.11/0.13	c +------------------------------+
0.11/0.13	c | gNovelty+, version 1.0       |
0.11/0.13	c +------------------------------+
0.11/0.13	c gnovelty+ -h for help
0.11/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-1777012-1243431128/watcher-1777012-1243431128 -o /tmp/evaluation-result-1777012-1243431128/solver-1777012-1243431128 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777012-1243431128.cnf 2135179040 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/109 7991
/proc/meminfo: memFree=719192/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=509232 CPUtime=0
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 1281 0 0 0 0 0 0 0 18 0 1 0 1107775607 521453568 1237 4294967295 134512640 135680988 3214884160 3214883424 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7991/statm: 127308 1246 99 286 0 127020 0

[startup+0.070391 s]
/proc/loadavg: 0.00 0.00 0.00 3/109 7991
/proc/meminfo: memFree=719192/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=517048 CPUtime=0.07
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 10060 0 0 0 4 3 0 0 18 0 1 0 1107775607 529457152 10016 4294967295 134512640 135680988 3214884160 3214882268 134958286 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7991/statm: 129262 10016 99 286 0 128974 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 517048

[startup+0.11039 s]
/proc/loadavg: 0.00 0.00 0.00 3/109 7991
/proc/meminfo: memFree=719192/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=517044 CPUtime=0.11
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 17663 0 0 0 7 4 0 0 18 0 1 0 1107775607 529453056 17619 4294967295 134512640 135680988 3214884160 3214883424 134537708 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7991/statm: 129261 17623 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044

[startup+0.314566 s]
/proc/loadavg: 0.00 0.00 0.00 3/109 7991
/proc/meminfo: memFree=719192/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=0.76
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 63 13 0 0 17 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 548460

[startup+0.71036 s]
/proc/loadavg: 0.00 0.00 0.00 3/109 7991
/proc/meminfo: memFree=719192/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=2.31
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 199 32 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 548460

[startup+1.51046 s]
/proc/loadavg: 0.40 0.08 0.03 6/113 7995
/proc/meminfo: memFree=637544/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=5.47
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 479 68 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=1.3
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 117 13 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=1.34
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 117 17 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=1.32
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 119 13 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 548460

[startup+3.11082 s]
/proc/loadavg: 0.40 0.08 0.03 6/113 7997
/proc/meminfo: memFree=637248/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=11.81
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 1047 134 0 0 16 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=2.87
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 256 31 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=2.92
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 254 38 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=2.92
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 263 29 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 548460

[startup+6.31013 s]
/proc/loadavg: 0.40 0.08 0.03 7/113 7997
/proc/meminfo: memFree=637048/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=24.34
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 2153 281 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=6.06
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 537 69 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=6.03
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 522 81 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=5.99
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 538 61 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.34
Current children cumulated vsize (KiB) 548460

[startup+12.7098 s]
/proc/loadavg: 1.11 0.24 0.08 5/113 7997
/proc/meminfo: memFree=636988/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=49.05
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 4353 552 0 0 16 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=12.32
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 1101 131 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=12.07
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 1064 143 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=12.04
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 1071 133 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.05
Current children cumulated vsize (KiB) 548460

[startup+25.5093 s]
/proc/loadavg: 1.64 0.38 0.13 5/113 7998
/proc/meminfo: memFree=636928/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=99.09
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 8826 1083 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=25.01
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 2254 247 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=24.58
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 2165 293 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=24.53
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 2186 267 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.09
Current children cumulated vsize (KiB) 548460

[startup+51.1087 s]
/proc/loadavg: 2.50 0.69 0.23 5/113 8000
/proc/meminfo: memFree=636920/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=198.09
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 17679 2130 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=50.06
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 4457 549 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=49.07
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 4369 538 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=49.6
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 4443 517 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 198.09
Current children cumulated vsize (KiB) 548460

[startup+102.315 s]
/proc/loadavg: 3.53 1.28 0.46 6/113 8187
/proc/meminfo: memFree=636060/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=395.56
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 35320 4236 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=99.09
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 8823 1086 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=98.44
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 8772 1072 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=99.23
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 8888 1035 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 395.56
Current children cumulated vsize (KiB) 548460

[startup+162.312 s]
/proc/loadavg: 4.11 1.86 0.71 6/113 8375
/proc/meminfo: memFree=635812/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=626.84
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 55961 6723 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=156.77
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 13988 1689 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=156.68
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 13970 1698 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=156.58
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 14006 1652 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 626.84
Current children cumulated vsize (KiB) 548460

[startup+222.309 s]
/proc/loadavg: 4.09 2.26 0.92 5/113 8562
/proc/meminfo: memFree=635680/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=858.9
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 76673 9217 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=215.13
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 19184 2329 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=214.75
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 19155 2320 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=214.38
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 19165 2273 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 858.9
Current children cumulated vsize (KiB) 548460

[startup+282.316 s]
/proc/loadavg: 4.25 2.64 1.13 6/113 8754
/proc/meminfo: memFree=635688/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=1090.79
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 97393 11686 0 0 16 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=273.34
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 24392 2942 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=272.33
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 24333 2900 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=7991] ppid=7989 vsize=548460 CPUtime=1554.74
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 138746 16728 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=389.13
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 34738 4175 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=388.19
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 34658 4161 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=388.97
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 34686 4211 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1554.74
Current children cumulated vsize (KiB) 548460

[startup+462.306 s]
/proc/loadavg: 4.43 3.40 1.68 5/113 9320
/proc/meminfo: memFree=635936/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=1788.25
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 159512 19313 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=447.08
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 39855 4853 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=446.92
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 39891 4801 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=446.99
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 39861 4838 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134900 134533205 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.25
Current children cumulated vsize (KiB) 548460

[startup+522.314 s]
/proc/loadavg: 4.25 3.54 1.84 5/113 9507
/proc/meminfo: memFree=636176/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=2021.98
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 180285 21913 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=505.3
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 45018 5512 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=505.02
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 45067 5435 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=505.69
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 45087 5482 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 548460

[startup+582.31 s]
/proc/loadavg: 4.30 3.68 1.99 5/113 9695
/proc/meminfo: memFree=635688/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=2254.75
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 201037 24438 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=563.63
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 50187 6176 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=562.96
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 50225 6071 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068527028 134533489 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=564.32
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 50347 6085 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2254.75
Current children cumulated vsize (KiB) 548460

[startup+642.317 s]
/proc/loadavg: 4.30 3.80 2.13 6/113 9888
/proc/meminfo: memFree=635812/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=2486.39
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 221797 26842 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=621.92
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 55373 6819 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919156 134533468 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=620.79
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 55388 6691 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=622.38
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 55558 6680 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2486.39
Current children cumulated vsize (KiB) 548460

[startup+702.314 s]
/proc/loadavg: 4.12 3.83 2.25 5/113 10075
/proc/meminfo: memFree=635440/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=2717.44
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 242487 29257 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=679.87
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 60541 7446 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=678.9
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 60563 7327 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=680.06
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 60750 7256 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2717.44
Current children cumulated vsize (KiB) 548460

[startup+762.311 s]
/proc/loadavg: 4.16 3.89 2.37 5/113 10263
/proc/meminfo: memFree=635936/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=2949.73
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 263295 31678 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=738.38
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 65841 7997 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=736.59
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 65697 7962 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=738.05
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 65922 7883 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2949.73
Current children cumulated vsize (KiB) 548460

[startup+822.308 s]
/proc/loadavg: 4.16 3.94 2.47 6/113 10450
/proc/meminfo: memFree=635804/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=3180.76
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 283890 34186 0 0 16 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=796.06
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 70953 8653 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=793.97
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 70799 8598 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=796.08
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 71140 8468 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3180.76
Current children cumulated vsize (KiB) 548460

[startup+882.304 s]
/proc/loadavg: 4.29 4.01 2.59 5/113 10638
/proc/meminfo: memFree=636060/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=3411.59
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 304484 36675 0 0 16 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=853.85
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 76099 9286 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=851.27
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 75906 9221 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=853.31
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 76230 9101 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3411.59
Current children cumulated vsize (KiB) 548460

[startup+942.301 s]
/proc/loadavg: 4.12 4.00 2.67 5/113 10827
/proc/meminfo: memFree=635936/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=3645.04
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 325410 39094 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=911.9
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 81313 9877 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919156 134533068 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=909.55
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 81148 9807 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=912.18
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 81481 9737 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3645.04
Current children cumulated vsize (KiB) 548460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.44 4.11 2.78 5/113 11018
/proc/meminfo: memFree=635812/3368532 swapFree=1959840/1959888
[pid=7991] ppid=7989 vsize=548460 CPUtime=3868.36
/proc/7991/stat : 7991 (gnovelty+) R 7989 7991 7955 0 -1 4202496 20774 0 0 0 345310 41526 0 0 15 0 4 0 1107775607 561623040 20729 4294967295 134512640 135680988 3214884160 3214883404 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7991/statm: 137115 20729 103 286 0 136827 0
[pid=7991/tid=7993] ppid=7989 vsize=548460 CPUtime=968.36
/proc/7991/task/7993/stat : 7993 (gnovelty+) R 7989 7991 7955 0 -1 4202560 110 0 0 0 86357 10479 0 0 16 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3077919068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7991/tid=7994] ppid=7989 vsize=548460 CPUtime=965.13
/proc/7991/task/7994/stat : 7994 (gnovelty+) R 7989 7991 7955 0 -1 4202560 112 0 0 0 86082 10431 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3068526940 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7991/tid=7995] ppid=7989 vsize=548460 CPUtime=967.2
/proc/7991/task/7995/stat : 7995 (gnovelty+) R 7989 7991 7955 0 -1 4202560 113 0 0 0 86410 10310 0 0 15 0 4 0 1107775620 561623040 20729 4294967295 134512640 135680988 3214884160 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3868.36
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.04
CPU time (s): 3868.44
CPU user time (s): 3453.17
CPU system time (s): 415.27
CPU usage (%): 386.827
Max. virtual memory (cumulated for all children) (KiB): 548460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3453.17
system time used= 415.27
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= 13629006
involuntary context switches= 60571

runsolver used 0.02 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-27 15:32:08
IDJOB=1777012
IDBENCH=70186
IDSOLVER=617
FILE ID=/1777012-1243431128
PBS_JOBID=
Free space on /tmp= 7987 MiB

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

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

MD5SUM BENCH= cd8ff3390234df6242528d108d1584c9
RANDOM SEED= 2135179040

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:        720920 kB
Buffers:         41052 kB
Cached:        2426032 kB
SwapCached:          0 kB
Active:        1296624 kB
Inactive:      1189232 kB
HighTotal:     2489216 kB
HighFree:       458528 kB
LowTotal:       879316 kB
LowFree:        262392 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:       18992 kB
Mapped:           7968 kB
Slab:           151504 kB
SReclaimable:   138008 kB
SUnreclaim:      13496 kB
PageTables:        620 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-27 15:48:50