Trace number 1777102

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
MD5SUMc7f3c844f4c0d844518712db07e3e201
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 variables900
Number of clauses18000
Sum of the clauses size90000
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 518000
Number of clauses of size over 50

Solver Data 

0.12/0.13	c +------------------------------+
0.12/0.13	c | gNovelty+, version 1.0       |
0.12/0.13	c +------------------------------+
0.12/0.13	c gnovelty+ -h for help
0.12/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-1777102-1243435769/watcher-1777102-1243435769 -o /tmp/evaluation-result-1777102-1243435769/solver-1777102-1243435769 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777102-1243435769.cnf 1567900929 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.11 4.12 4.06 3/98 25013
/proc/meminfo: memFree=3203532/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=509232 CPUtime=0.01
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 1504 0 0 0 0 1 0 0 18 0 1 0 925153648 521453568 1460 4294967295 134512640 135680988 3220919040 3220918304 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/25013/statm: 127308 1469 99 286 0 127020 0

[startup+0.063892 s]
/proc/loadavg: 4.11 4.12 4.06 3/98 25013
/proc/meminfo: memFree=3203532/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=517048 CPUtime=0.07
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 10033 0 0 0 4 3 0 0 18 0 1 0 925153648 529457152 9989 4294967295 134512640 135680988 3220919040 3220917148 134958286 0 0 0 0 0 0 0 17 2 0 0 0
/proc/25013/statm: 129262 9989 99 286 0 128974 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 517048

[startup+0.113899 s]
/proc/loadavg: 4.11 4.12 4.06 3/98 25013
/proc/meminfo: memFree=3203532/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=517044 CPUtime=0.12
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 18951 0 0 0 6 6 0 0 18 0 1 0 925153648 529453056 18906 4294967295 134512640 135680988 3220919040 3220918304 134537968 0 0 0 0 0 0 0 17 2 0 0 0
/proc/25013/statm: 129261 18917 99 286 0 128973 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 517044

[startup+0.313953 s]
/proc/loadavg: 4.11 4.12 4.06 3/98 25013
/proc/meminfo: memFree=3203532/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=0.78
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 62 16 0 0 19 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 548168

[startup+0.714197 s]
/proc/loadavg: 4.11 4.12 4.06 3/98 25013
/proc/meminfo: memFree=3203532/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=2.33
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 203 30 0 0 16 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 548168

[startup+1.5139 s]
/proc/loadavg: 4.11 4.12 4.06 5/102 25017
/proc/meminfo: memFree=3121564/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=5.39
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 478 61 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=1.33
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 116 17 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=1.3
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 119 11 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=1.35
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 123 12 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 548168

[startup+3.11406 s]
/proc/loadavg: 4.18 4.14 4.07 6/102 25017
/proc/meminfo: memFree=3121564/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=11.6
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 1017 143 0 0 16 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=2.87
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 253 34 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=2.89
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 254 35 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=2.85
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 257 28 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 548168

[startup+6.3135 s]
/proc/loadavg: 4.18 4.14 4.07 8/103 25018
/proc/meminfo: memFree=3121348/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=24.1
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 2110 300 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=5.96
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 521 75 0 0 16 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=6.06
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 537 69 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=5.92
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 522 70 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.1
Current children cumulated vsize (KiB) 548168

[startup+12.7133 s]
/proc/loadavg: 4.23 4.15 4.07 7/102 25018
/proc/meminfo: memFree=3121224/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=49.37
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 4320 617 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=12.22
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 1065 157 0 0 16 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=12.38
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 1086 152 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=12.28
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 1086 142 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 548168

[startup+25.5123 s]
/proc/loadavg: 4.28 4.16 4.08 5/102 25201
/proc/meminfo: memFree=3120944/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=98.88
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 8725 1163 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=24.53
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 2166 287 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=24.93
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 2189 304 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=24.5
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 2182 268 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.88
Current children cumulated vsize (KiB) 548168

[startup+51.1096 s]
/proc/loadavg: 4.18 4.15 4.07 6/102 25203
/proc/meminfo: memFree=3121180/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=199.32
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 17630 2302 0 0 16 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=49.49
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 4375 574 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=50.17
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 4430 587 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=49.54
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 4410 544 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 199.32
Current children cumulated vsize (KiB) 548168

[startup+102.316 s]
/proc/loadavg: 4.21 4.16 4.08 5/102 25391
/proc/meminfo: memFree=3120924/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=395.89
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 35115 4474 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=98.92
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 8772 1120 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=99.59
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 8887 1072 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=98.09
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 8715 1094 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 395.89
Current children cumulated vsize (KiB) 548168

[startup+162.311 s]
/proc/loadavg: 4.14 4.15 4.08 5/102 25579
/proc/meminfo: memFree=3120644/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=629.58
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 55887 7071 0 0 16 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918372 134533436 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=157.45
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 13991 1754 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=158.17
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 14080 1737 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=156.25
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 13874 1751 0 0 16 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 629.58
Current children cumulated vsize (KiB) 548168

[startup+222.306 s]
/proc/loadavg: 4.22 4.16 4.09 6/102 25767
/proc/meminfo: memFree=3120636/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=864.29
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 76847 9582 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=216.65
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 19303 2362 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=216.58
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 19255 2403 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=214.67
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 19095 2372 0 0 16 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 864.29
Current children cumulated vsize (KiB) 548168

[startup+282.311 s]
/proc/loadavg: 4.20 4.16 4.10 5/102 25954
/proc/meminfo: memFree=3120784/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=1097.87
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 97516 12271 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=274.87
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 24448 3039 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=275.12
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 24426 3086 0 0 16 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=25013] ppid=25011 vsize=548168 CPUtime=1563.4
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 139003 17337 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=390.56
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 34778 4278 0 0 16 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=391.78
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 34782 4396 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=388.72
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 34552 4320 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1563.4
Current children cumulated vsize (KiB) 548168

[startup+462.316 s]
/proc/loadavg: 4.24 4.14 4.10 6/102 26524
/proc/meminfo: memFree=3120776/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=1795.25
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 159601 19924 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=448.51
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 39953 4898 0 0 16 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=449.97
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 39934 5063 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=446.65
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 39659 5006 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 548168

[startup+522.312 s]
/proc/loadavg: 4.14 4.13 4.09 5/102 26712
/proc/meminfo: memFree=3120580/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=2027.76
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 180205 22571 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=506.8
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 45145 5535 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=507.59
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 44999 5760 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=504.87
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 44814 5673 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2027.76
Current children cumulated vsize (KiB) 548168

[startup+582.307 s]
/proc/loadavg: 4.27 4.15 4.10 7/102 26899
/proc/meminfo: memFree=3120628/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=2260.83
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 200895 25188 0 0 16 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918372 134533852 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=564.76
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 50268 6208 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=566.18
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 50193 6425 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=562.95
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 49991 6304 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2260.83
Current children cumulated vsize (KiB) 548168

[startup+642.303 s]
/proc/loadavg: 4.30 4.19 4.12 5/102 27087
/proc/meminfo: memFree=3120800/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=2495.5
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 221772 27778 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=623.49
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 55503 6846 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=624.89
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 55374 7115 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=621.55
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 55220 6935 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2495.5
Current children cumulated vsize (KiB) 548168

[startup+702.317 s]
/proc/loadavg: 4.22 4.20 4.12 7/102 27275
/proc/meminfo: memFree=3120660/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=2728.22
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 242407 30415 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=681.68
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 60677 7491 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=683.18
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 60522 7796 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=679.58
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 60392 7566 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2728.22
Current children cumulated vsize (KiB) 548168

[startup+762.313 s]
/proc/loadavg: 4.23 4.20 4.12 6/102 27467
/proc/meminfo: memFree=3120876/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=2961.66
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 263226 32940 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=740.15
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 65865 8150 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=741.06
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 65704 8402 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=737.9
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 65608 8182 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2961.66
Current children cumulated vsize (KiB) 548168

[startup+822.307 s]
/proc/loadavg: 4.16 4.19 4.12 5/102 27655
/proc/meminfo: memFree=3120952/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=3194.06
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 283982 35424 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=797.95
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 71028 8767 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=799.02
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 70918 8984 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=796.4
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 70820 8820 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3194.06
Current children cumulated vsize (KiB) 548168

[startup+882.313 s]
/proc/loadavg: 4.23 4.20 4.13 5/102 27842
/proc/meminfo: memFree=3121016/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=3425.69
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 304640 37929 0 0 16 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918372 134533489 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=855.39
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 76129 9410 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=857.8
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 76176 9604 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=853.94
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 75963 9431 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3425.69
Current children cumulated vsize (KiB) 548168

[startup+942.308 s]
/proc/loadavg: 4.46 4.26 4.15 6/102 28030
/proc/meminfo: memFree=3121164/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=3660.51
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 325521 40530 0 0 15 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918284 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=914.09
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 81357 10052 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=916.67
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 81414 10253 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=912.79
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 81189 10090 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3660.51
Current children cumulated vsize (KiB) 548168



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 4.18 4.21 4.14 5/102 28217
/proc/meminfo: memFree=3121016/3368532 swapFree=1959840/1959888
[pid=25013] ppid=25011 vsize=548168 CPUtime=3883.31
/proc/25013/stat : 25013 (gnovelty+) R 25011 25013 9860 0 -1 4202496 20663 0 0 0 345374 42957 0 0 16 0 4 0 925153648 561324032 20618 4294967295 134512640 135680988 3220919040 3220918372 134533068 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/25013/statm: 137042 20618 103 286 0 136754 0
[pid=25013/tid=25015] ppid=25011 vsize=548168 CPUtime=969.57
/proc/25013/task/25015/stat : 25015 (gnovelty+) R 25011 25013 9860 0 -1 4202560 98 0 0 0 86321 10636 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3077607772 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=25013/tid=25016] ppid=25011 vsize=548168 CPUtime=972.73
/proc/25013/task/25016/stat : 25016 (gnovelty+) R 25011 25013 9860 0 -1 4202560 102 0 0 0 86411 10862 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3068215644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25013/tid=25017] ppid=25011 vsize=548168 CPUtime=968.94
/proc/25013/task/25017/stat : 25017 (gnovelty+) R 25011 25013 9860 0 -1 4202560 100 0 0 0 86186 10708 0 0 15 0 4 0 925153661 561324032 20618 4294967295 134512640 135680988 3220919040 3058823516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3883.31
Current children cumulated vsize (KiB) 548168

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): 3883.38
CPU user time (s): 3453.8
CPU system time (s): 429.58
CPU usage (%): 388.327
Max. virtual memory (cumulated for all children) (KiB): 548168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3453.8
system time used= 429.58
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20663
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= 14465974
involuntary context switches= 58290

runsolver used 0.02 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-27 16:49:29
IDJOB=1777102
IDBENCH=70216
IDSOLVER=617
FILE ID=tipi39/1777102-1243435769
PBS_JOBID=
Free space on /tmp= 5744 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S678706275-057.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777102-1243435769/watcher-1777102-1243435769 -o /tmp/evaluation-result-1777102-1243435769/solver-1777102-1243435769 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777102-1243435769.cnf 1567900929 4

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

MD5SUM BENCH= c7f3c844f4c0d844518712db07e3e201
RANDOM SEED= 1567900929

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
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.10
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.067
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.16
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.067
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:       3203680 kB
Buffers:         21552 kB
Cached:          47776 kB
SwapCached:          0 kB
Active:          64792 kB
Inactive:        21012 kB
HighTotal:     2489216 kB
HighFree:      2427228 kB
LowTotal:       879316 kB
LowFree:        776452 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1816 kB
Writeback:           0 kB
AnonPages:       16036 kB
Mapped:           6320 kB
Slab:            69048 kB
SReclaimable:    56976 kB
SUnreclaim:      12072 kB
PageTables:        516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94988 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5743 MiB
End job on tipi39 at 2009-05-27 17:06:09