Trace number 1778110

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

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
MD5SUMe73deb485f74364d96363116560553d5
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 variables520
Number of clauses2210
Sum of the clauses size6630
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32210
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.08	c +------------------------------+
0.00/0.08	c | gNovelty+, version 1.0       |
0.00/0.08	c +------------------------------+
0.00/0.08	c gnovelty+ -h for help
0.00/0.08	c

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1778110-1243465296/watcher-1778110-1243465296 -o /tmp/evaluation-result-1778110-1243465296/solver-1778110-1243465296 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778110-1243465296.cnf 537923061 4 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.33 3.70 3.83 3/97 17931
/proc/meminfo: memFree=3076716/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=509232 CPUtime=0.01
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 1374 0 0 0 0 1 0 0 18 0 1 0 1100666848 521453568 1331 4294967295 134512640 135680988 3217506240 3217505504 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/17931/statm: 127308 1339 99 286 0 127020 0

[startup+0.111684 s]
/proc/loadavg: 3.33 3.70 3.83 3/97 17931
/proc/meminfo: memFree=3076716/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=0.12
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 5 7 0 0 19 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 545808

[startup+0.211761 s]
/proc/loadavg: 3.33 3.70 3.83 3/97 17931
/proc/meminfo: memFree=3076716/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=0.48
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 24 24 0 0 18 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 545808

[startup+0.311717 s]
/proc/loadavg: 3.33 3.70 3.83 3/97 17931
/proc/meminfo: memFree=3076716/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=0.87
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 41 46 0 0 17 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 545808

[startup+0.711643 s]
/proc/loadavg: 3.33 3.70 3.83 3/97 17931
/proc/meminfo: memFree=3076716/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=2.35
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 113 122 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 545808

[startup+1.51158 s]
/proc/loadavg: 3.33 3.70 3.83 5/101 17935
/proc/meminfo: memFree=2998276/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=5.32
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 259 273 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=1.3
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 65 65 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=1.31
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 66 65 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=1.27
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 68 59 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 545808

[startup+3.11145 s]
/proc/loadavg: 3.33 3.70 3.83 5/101 17935
/proc/meminfo: memFree=2998352/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=11.26
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 596 530 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=2.85
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 141 144 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=2.81
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 156 125 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=2.73
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 157 116 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.26
Current children cumulated vsize (KiB) 545808

[startup+6.31121 s]
/proc/loadavg: 3.30 3.69 3.82 5/101 17935
/proc/meminfo: memFree=2998440/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=23.05
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 1228 1077 0 0 16 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=5.82
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 294 288 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=5.73
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 312 261 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=5.74
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 329 245 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.05
Current children cumulated vsize (KiB) 545808

[startup+12.7108 s]
/proc/loadavg: 3.36 3.70 3.82 4/101 17935
/proc/meminfo: memFree=2998404/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=46.86
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 2573 2113 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=11.82
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 618 564 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=11.68
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 665 503 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=11.59
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 679 480 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.86
Current children cumulated vsize (KiB) 545808

[startup+25.5097 s]
/proc/loadavg: 3.35 3.68 3.81 4/101 17937
/proc/meminfo: memFree=2998344/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=94.72
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 5273 4199 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=23.95
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 1289 1106 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=23.72
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 1342 1030 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=23.49
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 1342 1007 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438444 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 94.72
Current children cumulated vsize (KiB) 545808

[startup+51.1078 s]
/proc/loadavg: 3.65 3.72 3.82 5/101 17941
/proc/meminfo: memFree=2998384/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=190.01
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 10682 8319 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=47.79
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 2620 2159 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=47.58
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 2669 2089 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=47.36
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 2728 2008 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (KiB) 545808

[startup+102.314 s]
/proc/loadavg: 3.95 3.79 3.84 5/101 18126
/proc/meminfo: memFree=2998012/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=379.7
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 21432 16538 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=95.5
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 5303 4247 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=94.79
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 5363 4116 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=94.95
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 5400 4095 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438444 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 379.7
Current children cumulated vsize (KiB) 545808

[startup+162.309 s]
/proc/loadavg: 3.96 3.82 3.85 5/101 18313
/proc/meminfo: memFree=2998136/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=602.97
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 33923 26374 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=151.01
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 8450 6651 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=150.29
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 8453 6576 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=151.27
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 8521 6606 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 602.97
Current children cumulated vsize (KiB) 545808

[startup+222.315 s]
/proc/loadavg: 3.95 3.84 3.85 7/101 18506
/proc/meminfo: memFree=2997640/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=825.28
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 46424 36104 0 0 16 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=207.01
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 11611 9090 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=205.37
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 11541 8996 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=206.82
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 11614 9068 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 825.28
Current children cumulated vsize (KiB) 545808

[startup+282.31 s]
/proc/loadavg: 3.90 3.85 3.85 5/101 18695
/proc/meminfo: memFree=2997888/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=1047.87
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 59148 45639 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=263.09
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 14781 11528 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=260.38
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 14672 11366 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=17931] ppid=17929 vsize=545808 CPUtime=1719.42
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 96824 75118 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505436 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=430.99
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 24160 18939 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222700 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=428.23
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 24194 18629 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830572 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=430.18
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 24238 18780 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1719.42
Current children cumulated vsize (KiB) 545808

[startup+522.311 s]
/proc/loadavg: 3.96 3.90 3.86 5/101 19447
/proc/meminfo: memFree=2997764/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=1943.29
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 109258 85071 0 0 16 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=487.04
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 27264 21440 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=484.45
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 27282 21163 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830572 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=486.39
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 27362 21277 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1943.29
Current children cumulated vsize (KiB) 545808

[startup+582.307 s]
/proc/loadavg: 3.81 3.87 3.85 5/101 19640
/proc/meminfo: memFree=2997616/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=2166.85
/proc/17931/stat : 17931 (gnovelty+) S 17929 17931 8948 0 -1 4202496 19823 0 0 0 121882 94803 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=542.97
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 30431 23866 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=540.35
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 30476 23559 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=542.53
/proc/17931/task/17935/stat : 17935 (gnovelty+) S 17929 17931 8948 0 -1 4202560 10 0 0 0 30522 23731 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2166.85
Current children cumulated vsize (KiB) 545808

[startup+642.312 s]
/proc/loadavg: 3.89 3.88 3.85 4/101 19828
/proc/meminfo: memFree=2997500/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=2390.13
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 134397 104616 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=598.84
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 33598 26286 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=595.98
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 33580 26018 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=598.35
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 33684 26151 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2390.13
Current children cumulated vsize (KiB) 545808

[startup+702.318 s]
/proc/loadavg: 3.96 3.88 3.85 5/101 20014
/proc/meminfo: memFree=2997516/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=2613.89
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 146942 114447 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=654.56
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 36732 28724 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=652.19
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 36678 28541 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=654.42
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 36864 28578 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2613.89
Current children cumulated vsize (KiB) 545808

[startup+762.313 s]
/proc/loadavg: 3.87 3.87 3.84 5/101 20201
/proc/meminfo: memFree=2997640/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=2836.15
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 159426 124189 0 0 16 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=710.38
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 39853 31185 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=707.56
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 39792 30964 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=709.77
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 39917 31060 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2836.15
Current children cumulated vsize (KiB) 545808

[startup+822.308 s]
/proc/loadavg: 4.01 3.91 3.86 5/101 20390
/proc/meminfo: memFree=2997732/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=3059.47
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 171947 134000 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=766.38
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 43019 33619 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=762.95
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 42857 33438 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830572 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=765.84
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 43132 33452 0 0 16 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3059.47
Current children cumulated vsize (KiB) 545808

[startup+882.314 s]
/proc/loadavg: 3.78 3.86 3.84 5/101 20579
/proc/meminfo: memFree=2997684/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=3283.09
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 184457 143852 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505436 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=822.69
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 46158 36111 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=818.6
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 45984 35876 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=821.46
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 46233 35913 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438444 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.09
Current children cumulated vsize (KiB) 545808

[startup+942.309 s]
/proc/loadavg: 3.83 3.85 3.84 5/101 20772
/proc/meminfo: memFree=2997196/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=3505.87
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 196893 153694 0 0 16 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=878.29
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 49257 38572 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=874.27
/proc/17931/task/17934/stat : 17934 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 49106 38321 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=877.1
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 49362 38348 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3505.87
Current children cumulated vsize (KiB) 545808



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.07 3.91 3.85 5/101 20960
/proc/meminfo: memFree=2997808/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=3720.64
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 209067 162997 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=931.95
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 52315 40880 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=928.31
/proc/17931/task/17934/stat : 17934 (gnovelty+) S 17929 17931 8948 0 -1 4202560 10 0 0 0 52127 40704 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=930.73
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 52394 40679 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3720.64
Current children cumulated vsize (KiB) 545808

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

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

[startup+1000.01 s]
/proc/loadavg: 4.07 3.91 3.85 5/101 20960
/proc/meminfo: memFree=2997808/3368532 swapFree=1952996/1959888
[pid=17931] ppid=17929 vsize=545808 CPUtime=3720.64
/proc/17931/stat : 17931 (gnovelty+) R 17929 17931 8948 0 -1 4202496 19823 0 0 0 209067 162997 0 0 15 0 4 0 1100666848 558907392 19779 4294967295 134512640 135680988 3217506240 3217505484 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 136452 19779 103 286 0 136164 0
[pid=17931/tid=17933] ppid=17929 vsize=545808 CPUtime=931.95
/proc/17931/task/17933/stat : 17933 (gnovelty+) R 17929 17931 8948 0 -1 4202560 11 0 0 0 52315 40880 0 0 15 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3077222748 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=545808 CPUtime=928.31
/proc/17931/task/17934/stat : 17934 (gnovelty+) S 17929 17931 8948 0 -1 4202560 10 0 0 0 52127 40704 0 0 16 0 4 0 1100666856 558907392 19779 4294967295 134512640 135680988 3217506240 3067830620 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=545808 CPUtime=930.73
/proc/17931/task/17935/stat : 17935 (gnovelty+) R 17929 17931 8948 0 -1 4202560 10 0 0 0 52394 40679 0 0 15 0 4 0 1100666857 558907392 19779 4294967295 134512640 135680988 3217506240 3058438492 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3720.64
Current children cumulated vsize (KiB) 545808

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3720.71
CPU user time (s): 2090.71
CPU system time (s): 1630
CPU usage (%): 372.056
Max. virtual memory (cumulated for all children) (KiB): 545808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2090.71
system time used= 1630
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19823
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= 88532058
involuntary context switches= 195249

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-28 01:01:36
IDJOB=1778110
IDBENCH=70552
IDSOLVER=617
FILE ID=tipi45/1778110-1243465296
PBS_JOBID=
Free space on /tmp= 15502 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/520/unif-k3-r4.25-v520-c2210-S486178562-011.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778110-1243465296/watcher-1778110-1243465296 -o /tmp/evaluation-result-1778110-1243465296/solver-1778110-1243465296 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778110-1243465296.cnf 537923061 4

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

MD5SUM BENCH= e73deb485f74364d96363116560553d5
RANDOM SEED= 537923061

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3076716 kB
Buffers:        123436 kB
Cached:          61172 kB
SwapCached:       2100 kB
Active:          64112 kB
Inactive:       129652 kB
HighTotal:     2489216 kB
HighFree:      2415592 kB
LowTotal:       879316 kB
LowFree:        661124 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            1424 kB
Writeback:           0 kB
AnonPages:        8200 kB
Mapped:           3300 kB
Slab:            85536 kB
SReclaimable:    74188 kB
SUnreclaim:      11348 kB
PageTables:        480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    89412 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15502 MiB
End job on tipi45 at 2009-05-28 01:18:18