Trace number 1777834

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

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
MD5SUM9c2e94bcd290d34e0b2c0cbd91a44953
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 variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

Solver Data 

0.10/0.09	c +------------------------------+
0.10/0.09	c | gNovelty+, version 1.0       |
0.10/0.09	c +------------------------------+
0.10/0.09	c gnovelty+ -h for help
0.10/0.09	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-1777834-1243457599/watcher-1777834-1243457599 -o /tmp/evaluation-result-1777834-1243457599/solver-1777834-1243457599 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777834-1243457599.cnf 1619492682 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.24 4.45 4.26 3/115 14282
/proc/meminfo: memFree=3160980/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=509228 CPUtime=0
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 1701 0 0 0 0 0 0 0 18 0 1 0 1110439716 521449472 1657 4294967295 134512640 135680988 3220816624 3220815888 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/14282/statm: 127307 1666 99 286 0 127019 0

[startup+0.097309 s]
/proc/loadavg: 4.24 4.45 4.26 3/115 14282
/proc/meminfo: memFree=3160980/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=517040 CPUtime=0.1
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19776 0 0 0 4 6 0 0 18 0 1 0 1110439716 529448960 19731 4294967295 134512640 135680988 3220816624 3220815888 134538478 0 0 0 0 0 0 0 17 2 0 0 0
/proc/14282/statm: 129260 19731 99 286 0 128972 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517040

[startup+0.117426 s]
/proc/loadavg: 4.24 4.45 4.26 3/115 14282
/proc/meminfo: memFree=3160980/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=0.13
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19923 0 0 0 7 6 0 0 18 0 4 0 1110439716 559382528 19878 4294967295 134512640 135680988 3220816624 3220815956 134534538 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19878 103 286 0 136280 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 546272

[startup+0.31847 s]
/proc/loadavg: 4.24 4.45 4.26 3/115 14282
/proc/meminfo: memFree=3160980/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=0.92
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 85 7 0 0 18 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 546272

[startup+0.717283 s]
/proc/loadavg: 4.24 4.45 4.26 3/115 14282
/proc/meminfo: memFree=3160980/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=2.52
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 242 10 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 546272

[startup+1.52453 s]
/proc/loadavg: 4.24 4.45 4.26 5/119 14286
/proc/meminfo: memFree=3082356/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=5.71
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 554 17 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=1.4
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 137 3 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=1.39
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 138 1 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=1.4
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 136 4 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 546272

[startup+3.12034 s]
/proc/loadavg: 4.24 4.45 4.26 5/119 14286
/proc/meminfo: memFree=3082356/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=11.74
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 1153 21 0 0 16 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815956 134533073 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=3
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 296 4 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=2.86
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 283 3 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=2.91
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 287 4 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 546272

[startup+6.31827 s]
/proc/loadavg: 4.22 4.45 4.26 6/119 14286
/proc/meminfo: memFree=3082264/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=23.64
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 2322 42 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=6.19
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 613 6 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=5.66
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 559 7 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=5.75
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 564 11 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.64
Current children cumulated vsize (KiB) 546272

[startup+12.7166 s]
/proc/loadavg: 4.28 4.45 4.26 5/119 14288
/proc/meminfo: memFree=3082264/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=48.45
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 4752 93 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=12.37
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 1216 21 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077956020 134533489 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=11.89
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 1169 20 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=11.95
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 1170 25 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.45
Current children cumulated vsize (KiB) 546272

[startup+25.5059 s]
/proc/loadavg: 4.36 4.46 4.27 5/119 14288
/proc/meminfo: memFree=3082484/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=97.99
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 9612 187 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=24.59
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 2412 47 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077956020 134533436 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=24.51
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 2404 47 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=24.14
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 2374 40 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 97.99
Current children cumulated vsize (KiB) 546272

[startup+51.1051 s]
/proc/loadavg: 4.37 4.46 4.27 5/119 14472
/proc/meminfo: memFree=3082272/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=196.57
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 19256 401 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=49.13
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 4807 106 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=49.38
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 4846 92 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=48.88
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 4796 92 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171764 134534576 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 196.57
Current children cumulated vsize (KiB) 546272

[startup+102.314 s]
/proc/loadavg: 4.71 4.52 4.30 5/119 14660
/proc/meminfo: memFree=3081688/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=393.66
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 38593 773 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=98.46
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 9639 207 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=98.29
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 9642 187 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=98.17
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 9635 182 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 393.66
Current children cumulated vsize (KiB) 546272

[startup+162.312 s]
/proc/loadavg: 4.87 4.58 4.33 8/119 14848
/proc/meminfo: memFree=3081696/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=625.49
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 61329 1220 0 0 16 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=157.2
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 15402 318 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=155.82
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 15276 306 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=155.98
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 15314 284 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 625.49
Current children cumulated vsize (KiB) 546272

[startup+222.309 s]
/proc/loadavg: 4.99 4.67 4.38 6/119 15036
/proc/meminfo: memFree=3081184/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=856.45
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 83976 1669 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=215.19
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 21095 424 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=213.72
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 20955 417 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=213.6
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 20958 402 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 856.45
Current children cumulated vsize (KiB) 546272

[startup+282.307 s]
/proc/loadavg: 4.81 4.68 4.40 5/119 15222
/proc/meminfo: memFree=3081228/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=1089.56
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 106819 2137 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=273.41
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 26802 539 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=272.16
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 26674 542 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=14282] ppid=14280 vsize=546272 CPUtime=1553.49
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 152337 3012 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=389.44
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 38187 757 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=388.59
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 38098 761 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=388.11
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 38087 724 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1553.49
Current children cumulated vsize (KiB) 546272

[startup+462.309 s]
/proc/loadavg: 5.00 4.80 4.48 7/119 15794
/proc/meminfo: memFree=3080772/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=1785.13
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 175011 3502 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=447.33
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 43854 879 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=446.5
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 43752 898 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=446.07
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 43768 839 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171764 134534194 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 546272

[startup+522.316 s]
/proc/loadavg: 5.24 4.89 4.54 6/119 15818
/proc/meminfo: memFree=3081016/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=2015.26
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 197543 3983 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=504.77
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 49484 993 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077956020 134534538 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=504.47
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 49415 1032 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=503.46
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 49398 948 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2015.26
Current children cumulated vsize (KiB) 546272

[startup+582.316 s]
/proc/loadavg: 4.86 4.85 4.54 5/119 16170
/proc/meminfo: memFree=3080976/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=2242.77
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 219906 4371 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=562.07
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 55127 1080 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=561.21
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 54990 1131 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=560.36
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 54990 1046 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2242.77
Current children cumulated vsize (KiB) 546272

[startup+642.311 s]
/proc/loadavg: 4.61 4.79 4.54 5/119 16358
/proc/meminfo: memFree=3080712/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=2472.24
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 242357 4867 0 0 16 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815956 134532986 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=619.32
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 60730 1202 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=619.01
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 60654 1247 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=617.44
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 60567 1177 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2472.24
Current children cumulated vsize (KiB) 546272

[startup+702.312 s]
/proc/loadavg: 4.64 4.77 4.55 5/119 16551
/proc/meminfo: memFree=3080672/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=2705.64
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 265229 5335 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=677.92
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 66476 1316 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=677.04
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 66322 1382 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=676.01
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 66316 1285 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2705.64
Current children cumulated vsize (KiB) 546272

[startup+762.317 s]
/proc/loadavg: 4.49 4.70 4.54 6/119 16740
/proc/meminfo: memFree=3080712/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=2936.98
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 287900 5798 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=735.56
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 72120 1436 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077956020 134533337 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=734.14
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 71910 1504 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=734.4
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 72046 1394 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2936.98
Current children cumulated vsize (KiB) 546272

[startup+822.304 s]
/proc/loadavg: 4.73 4.72 4.55 5/119 16930
/proc/meminfo: memFree=3080712/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=3167.16
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 310474 6242 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=792.44
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 77688 1556 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=791.49
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 77552 1597 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=792.28
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 77718 1510 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3167.16
Current children cumulated vsize (KiB) 546272

[startup+882.312 s]
/proc/loadavg: 4.57 4.69 4.55 7/119 17116
/proc/meminfo: memFree=3080904/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=3399.49
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 333256 6693 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=850.48
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 83388 1660 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=849.25
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 83212 1713 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563820 134997786 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=850.64
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 83444 1620 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3399.49
Current children cumulated vsize (KiB) 546272

[startup+942.309 s]
/proc/loadavg: 4.63 4.68 4.55 7/119 17304
/proc/meminfo: memFree=3080812/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=3628.29
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 355690 7139 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=907.65
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 89003 1762 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=906.68
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 88834 1834 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=907.57
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 89025 1732 0 0 16 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3628.29
Current children cumulated vsize (KiB) 546272



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.58 4.65 4.55 5/119 17497
/proc/meminfo: memFree=3080680/3368532 swapFree=1941392/1959888
[pid=14282] ppid=14280 vsize=546272 CPUtime=3849.79
/proc/14282/stat : 14282 (gnovelty+) R 14280 14282 24991 0 -1 4202496 19932 0 0 0 377455 7524 0 0 15 0 4 0 1110439716 559382528 19887 4294967295 134512640 135680988 3220816624 3220815868 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14282/statm: 136568 19887 103 286 0 136280 0
[pid=14282/tid=14284] ppid=14280 vsize=546272 CPUtime=962.52
/proc/14282/task/14284/stat : 14284 (gnovelty+) R 14280 14282 24991 0 -1 4202560 25 0 0 0 94392 1860 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3077955932 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14282/tid=14285] ppid=14280 vsize=546272 CPUtime=962.38
/proc/14282/task/14285/stat : 14285 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 94308 1930 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3068563804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14282/tid=14286] ppid=14280 vsize=546272 CPUtime=962.85
/proc/14282/task/14286/stat : 14286 (gnovelty+) R 14280 14282 24991 0 -1 4202560 26 0 0 0 94461 1824 0 0 15 0 4 0 1110439726 559382528 19887 4294967295 134512640 135680988 3220816624 3059171676 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3849.79
Current children cumulated vsize (KiB) 546272

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): 3849.91
CPU user time (s): 3774.67
CPU system time (s): 75.24
CPU usage (%): 384.974
Max. virtual memory (cumulated for all children) (KiB): 546272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3774.67
system time used= 75.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19932
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= 1508016
involuntary context switches= 38676

runsolver used 0.37 second user time and 0.39 second system time

The end

Launcher Data 

Begin job on  at 2009-05-27 22:53:19
IDJOB=1777834
IDBENCH=70460
IDSOLVER=617
FILE ID=/1777834-1243457599
PBS_JOBID=
Free space on /tmp= 15730 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/60/unif-k7-r89-v60-c5340-S2065372010-022.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777834-1243457599/watcher-1777834-1243457599 -o /tmp/evaluation-result-1777834-1243457599/solver-1777834-1243457599 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777834-1243457599.cnf 1619492682 4

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

MD5SUM BENCH= 9c2e94bcd290d34e0b2c0cbd91a44953
RANDOM SEED= 1619492682

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:       3160980 kB
Buffers:         13092 kB
Cached:         122076 kB
SwapCached:       4320 kB
Active:         105192 kB
Inactive:        40588 kB
HighTotal:     2489216 kB
HighFree:      2354024 kB
LowTotal:       879316 kB
LowFree:        806956 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:        9400 kB
Mapped:           4284 kB
Slab:            50976 kB
SReclaimable:    43188 kB
SUnreclaim:       7788 kB
PageTables:        780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127264 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15730 MiB
End job on  at 2009-05-27 23:10:01