Trace number 1777192

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
MD5SUMa707a7c29825dc72fa3ef0fca06c3f00
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 variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 517000

Solver Data 

0.11/0.14	c +------------------------------+
0.11/0.14	c | gNovelty+, version 1.0       |
0.11/0.14	c +------------------------------+
0.11/0.14	c gnovelty+ -h for help
0.11/0.14	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-1777192-1243439244/watcher-1777192-1243439244 -o /tmp/evaluation-result-1777192-1243439244/solver-1777192-1243439244 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777192-1243439244.cnf 1152163900 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: 4.83 4.87 4.58 2/115 18309
/proc/meminfo: memFree=3162792/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=509228 CPUtime=0.01
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 1576 0 0 0 1 0 0 0 25 0 1 0 1108604192 521449472 1533 4294967295 134512640 135680988 3217618912 3217618176 134537181 0 0 0 0 0 0 0 17 3 0 0 0
/proc/18309/statm: 127307 1533 99 286 0 127019 0

[startup+0.073695 s]
/proc/loadavg: 4.83 4.87 4.58 2/115 18309
/proc/meminfo: memFree=3162792/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=517044 CPUtime=0.07
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 10041 0 0 0 4 3 0 0 25 0 1 0 1108604192 529453056 9998 4294967295 134512640 135680988 3217618912 3217617020 134958286 0 0 0 0 0 0 0 17 3 0 0 0
/proc/18309/statm: 129261 9998 99 286 0 128973 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 517044

[startup+0.113688 s]
/proc/loadavg: 4.83 4.87 4.58 2/115 18309
/proc/meminfo: memFree=3162792/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=517040 CPUtime=0.11
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 15798 0 0 0 6 5 0 0 25 0 1 0 1108604192 529448960 15754 4294967295 134512640 135680988 3217618912 3217618176 134537779 0 0 0 0 0 0 0 17 3 0 0 0
/proc/18309/statm: 129260 15759 99 286 0 128972 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517040

[startup+0.313682 s]
/proc/loadavg: 4.83 4.87 4.58 2/115 18309
/proc/meminfo: memFree=3162792/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=0.75
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 68 7 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 547948

[startup+0.713665 s]
/proc/loadavg: 4.83 4.87 4.58 2/115 18309
/proc/meminfo: memFree=3162792/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=2.35
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 226 9 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 547948

[startup+1.51363 s]
/proc/loadavg: 4.76 4.85 4.58 5/119 18313
/proc/meminfo: memFree=3087640/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=5.54
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 541 13 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=1.37
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 136 1 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=1.32
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 132 0 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=1.36
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 134 2 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311552 134542100 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 547948

[startup+3.11357 s]
/proc/loadavg: 4.76 4.85 4.58 5/119 18313
/proc/meminfo: memFree=3087492/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=11.94
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 1167 27 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=2.97
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 294 3 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=2.92
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 290 2 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=2.96
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 286 10 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311604 134533455 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 547948

[startup+6.31344 s]
/proc/loadavg: 4.76 4.85 4.58 5/119 18313
/proc/meminfo: memFree=3087548/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=24.73
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 2423 50 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=6.16
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 604 12 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=6.12
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 606 6 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=6.16
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 599 17 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311604 134533471 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.73
Current children cumulated vsize (KiB) 547948

[startup+12.7132 s]
/proc/loadavg: 4.64 4.82 4.57 5/119 18313
/proc/meminfo: memFree=3087208/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=50.26
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 4935 91 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=12.53
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 1228 25 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=12.52
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 1241 11 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=12.53
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 1223 30 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311604 134533489 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 547948

[startup+25.5127 s]
/proc/loadavg: 4.54 4.80 4.57 5/119 18314
/proc/meminfo: memFree=3087396/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=101.39
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 9966 173 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=25.28
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 2480 48 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=25.32
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 2501 31 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=25.32
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 2476 56 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311604 134535179 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 547948

[startup+51.1117 s]
/proc/loadavg: 4.36 4.73 4.55 5/119 18504
/proc/meminfo: memFree=3087060/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=203.21
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 19999 322 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=50.72
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 4985 87 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095860 134532950 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=50.71
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 4999 72 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=50.75
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 4986 89 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.21
Current children cumulated vsize (KiB) 547948

[startup+102.31 s]
/proc/loadavg: 4.14 4.60 4.52 5/119 18690
/proc/meminfo: memFree=3086508/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=407.35
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 40079 656 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=101.56
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 9978 178 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095860 134534534 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=101.87
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 10029 158 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=101.84
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 10017 167 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.35
Current children cumulated vsize (KiB) 547948

[startup+162.317 s]
/proc/loadavg: 4.05 4.49 4.48 5/119 18878
/proc/meminfo: memFree=3085804/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=646.61
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 63572 1089 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=161.29
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 15831 298 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095860 134535186 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=161.73
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 15926 247 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=161.77
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 15896 281 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.61
Current children cumulated vsize (KiB) 547948

[startup+222.305 s]
/proc/loadavg: 4.02 4.40 4.45 5/119 19067
/proc/meminfo: memFree=3085416/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=885.91
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 87105 1486 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=221.07
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 21713 394 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095860 134533579 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=221.68
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 21819 349 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=221.6
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 21775 385 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 885.91
Current children cumulated vsize (KiB) 547948

[startup+282.302 s]
/proc/loadavg: 4.00 4.32 4.42 5/119 19254
/proc/meminfo: memFree=3085432/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=1125.3
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 110628 1902 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618244 134533436 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=280.92
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 27594 498 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=281.57
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 27703 454 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=18309] ppid=18307 vsize=547948 CPUtime=1603.68
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 157714 2654 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618244 134533050 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=400.46
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 39366 680 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=401.16
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 39473 643 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=401.25
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 39451 674 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1603.68
Current children cumulated vsize (KiB) 547948

[startup+462.305 s]
/proc/loadavg: 4.02 4.18 4.34 5/119 19823
/proc/meminfo: memFree=3085184/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=1842.96
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 181232 3064 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=460.26
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 45249 777 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=461.02
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 45373 729 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703732 134533962 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=461.02
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 45317 785 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1842.96
Current children cumulated vsize (KiB) 547948

[startup+522.313 s]
/proc/loadavg: 4.00 4.15 4.32 5/119 20012
/proc/meminfo: memFree=3085300/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=2082.42
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 204758 3484 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618244 134533068 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=520.23
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 51150 873 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=520.83
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 51250 833 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=520.79
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 51189 890 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2082.42
Current children cumulated vsize (KiB) 547948

[startup+582.31 s]
/proc/loadavg: 4.00 4.12 4.29 5/119 20199
/proc/meminfo: memFree=3084936/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=2321.69
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 228275 3894 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618244 134533485 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=580.06
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 57038 968 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=580.71
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 57131 940 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=580.49
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 57063 986 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2321.69
Current children cumulated vsize (KiB) 547948

[startup+642.308 s]
/proc/loadavg: 4.07 4.11 4.28 5/119 20387
/proc/meminfo: memFree=3084812/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=2560.96
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 251774 4322 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=639.76
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 62905 1071 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095860 134533068 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=640.6
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 63026 1034 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=640.33
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 62927 1106 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2560.96
Current children cumulated vsize (KiB) 547948

[startup+702.316 s]
/proc/loadavg: 4.02 4.09 4.26 5/119 20574
/proc/meminfo: memFree=3084788/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=2800.22
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 275292 4730 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=699.49
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 68770 1179 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=700.53
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 68925 1128 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=700.16
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 68813 1203 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311604 134534340 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.22
Current children cumulated vsize (KiB) 547948

[startup+762.313 s]
/proc/loadavg: 4.01 4.07 4.24 2/119 20762
/proc/meminfo: memFree=3085068/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=3039.39
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 298800 5139 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=759.3
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 74647 1283 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095860 134534551 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=760.44
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 74809 1235 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=759.87
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 74678 1309 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.39
Current children cumulated vsize (KiB) 547948

[startup+822.311 s]
/proc/loadavg: 4.00 4.05 4.22 5/119 20955
/proc/meminfo: memFree=3084812/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=3278.61
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 322297 5564 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=819.19
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 80537 1382 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=820.19
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 80683 1336 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703824 134547388 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=819.72
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 80541 1431 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.61
Current children cumulated vsize (KiB) 547948

[startup+882.308 s]
/proc/loadavg: 4.00 4.04 4.20 5/119 21142
/proc/meminfo: memFree=3084936/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=3517.73
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 345792 5981 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=879.03
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 86432 1471 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=879.88
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 86541 1447 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703732 134533489 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=879.49
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 86411 1538 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.73
Current children cumulated vsize (KiB) 547948

[startup+942.306 s]
/proc/loadavg: 4.00 4.03 4.19 5/119 21330
/proc/meminfo: memFree=3085060/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=3756.83
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 369289 6394 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=938.85
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 92312 1573 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=939.57
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 92416 1541 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=939.23
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 92265 1658 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311604 134533436 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.83
Current children cumulated vsize (KiB) 547948



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 4.00 4.02 4.17 5/119 21517
/proc/meminfo: memFree=3085160/3368532 swapFree=1941388/1959888
[pid=18309] ppid=18307 vsize=547948 CPUtime=3987.04
/proc/18309/stat : 18309 (gnovelty+) R 18307 18309 24991 0 -1 4202496 20421 0 0 0 391911 6793 0 0 25 0 4 0 1108604192 561098752 20377 4294967295 134512640 135680988 3217618912 3217618156 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/18309/statm: 136987 20377 103 286 0 136699 0
[pid=18309/tid=18311] ppid=18307 vsize=547948 CPUtime=996.39
/proc/18309/task/18311/stat : 18311 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 97983 1656 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3077095772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18309/tid=18312] ppid=18307 vsize=547948 CPUtime=997.22
/proc/18309/task/18312/stat : 18312 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 98078 1644 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3067703732 134533442 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=18309/tid=18313] ppid=18307 vsize=547948 CPUtime=996.63
/proc/18309/task/18313/stat : 18313 (gnovelty+) R 18307 18309 24991 0 -1 4202560 93 0 0 0 97901 1762 0 0 25 0 4 0 1108604206 561098752 20377 4294967295 134512640 135680988 3217618912 3058311604 134533494 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3987.04
Current children cumulated vsize (KiB) 547948

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.03
CPU time (s): 3987.09
CPU user time (s): 3919.16
CPU system time (s): 67.93
CPU usage (%): 398.698
Max. virtual memory (cumulated for all children) (KiB): 547948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3919.16
system time used= 67.93
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20421
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= 1297947
involuntary context switches= 193722

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-27 17:47:24
IDJOB=1777192
IDBENCH=70246
IDSOLVER=617
FILE ID=/1777192-1243439244
PBS_JOBID=
Free space on /tmp= 15730 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S266028630-005.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777192-1243439244/watcher-1777192-1243439244 -o /tmp/evaluation-result-1777192-1243439244/solver-1777192-1243439244 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777192-1243439244.cnf 1152163900 4

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

MD5SUM BENCH= a707a7c29825dc72fa3ef0fca06c3f00
RANDOM SEED= 1152163900

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.143
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.143
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.11
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.143
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.17
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.143
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.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3168516 kB
Buffers:         12892 kB
Cached:         115436 kB
SwapCached:       4324 kB
Active:         105404 kB
Inactive:        33932 kB
HighTotal:     2489216 kB
HighFree:      2360916 kB
LowTotal:       879316 kB
LowFree:        807600 kB
SwapTotal:     1959888 kB
SwapFree:      1941388 kB
Dirty:            1804 kB
Writeback:           0 kB
AnonPages:        9796 kB
Mapped:           4064 kB
Slab:            50316 kB
SReclaimable:    42672 kB
SUnreclaim:       7644 kB
PageTables:        780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127260 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15729 MiB
End job on  at 2009-05-27 18:04:06