Trace number 1778080

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) 3717.12 1000.02

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
MD5SUM089e945986e09301802f8b3ff2e688f1
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 variables500
Number of clauses2125
Sum of the clauses size6375
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32125
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.05/0.08	c +------------------------------+
0.05/0.08	c | gNovelty+, version 1.0       |
0.05/0.08	c +------------------------------+
0.05/0.08	c gnovelty+ -h for help
0.05/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-1778080-1243463675/watcher-1778080-1243463675 -o /tmp/evaluation-result-1778080-1243463675/solver-1778080-1243463675 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778080-1243463675.cnf 656091046 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.80 4.49 4.54 3/109 14849
/proc/meminfo: memFree=711432/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=509228 CPUtime=0
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 1398 0 0 0 0 0 0 0 18 0 1 0 1111030324 521449472 1354 4294967295 134512640 135680988 3220368000 3220367264 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/14849/statm: 127307 1361 99 286 0 127019 0

[startup+0.046062 s]
/proc/loadavg: 4.80 4.49 4.54 3/109 14849
/proc/meminfo: memFree=711432/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=517040 CPUtime=0.05
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 12263 0 0 0 2 3 0 0 18 0 1 0 1111030324 529448960 12218 4294967295 134512640 135680988 3220368000 3220367264 134537708 0 0 0 0 0 0 0 17 2 0 0 0
/proc/14849/statm: 129260 12229 99 286 0 128972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 517040

[startup+0.10606 s]
/proc/loadavg: 4.80 4.49 4.54 3/109 14849
/proc/meminfo: memFree=711432/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=0.12
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19811 0 0 0 6 6 0 0 20 0 4 0 1111030324 558899200 19766 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19766 103 286 0 136162 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 545800

[startup+0.306121 s]
/proc/loadavg: 4.80 4.49 4.54 3/109 14849
/proc/meminfo: memFree=711432/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=0.84
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19817 0 0 0 57 27 0 0 17 0 4 0 1111030324 558899200 19772 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19772 103 286 0 136162 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 545800

[startup+0.706056 s]
/proc/loadavg: 4.80 4.49 4.54 3/109 14849
/proc/meminfo: memFree=711432/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=2.35
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19817 0 0 0 131 104 0 0 15 0 4 0 1111030324 558899200 19772 4294967295 134512640 135680988 3220368000 3220367196 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19772 103 286 0 136162 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 545800

[startup+1.50598 s]
/proc/loadavg: 4.80 4.49 4.54 6/113 14853
/proc/meminfo: memFree=632968/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=5.31
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19817 0 0 0 292 239 0 0 15 0 4 0 1111030324 558899200 19772 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19772 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=1.28
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 67 61 0 0 15 0 4 0 1111030333 558899200 19772 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=1.34
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 81 53 0 0 15 0 4 0 1111030333 558899200 19772 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=1.28
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 70 58 0 0 15 0 4 0 1111030333 558899200 19772 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 545800

[startup+3.10591 s]
/proc/loadavg: 4.66 4.47 4.53 5/113 14853
/proc/meminfo: memFree=632488/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=11.17
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 617 500 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=2.78
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 158 120 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=2.73
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 160 113 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=2.83
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 153 130 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942252 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 545800

[startup+6.30573 s]
/proc/loadavg: 4.66 4.47 4.53 6/113 14854
/proc/meminfo: memFree=632488/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=23.06
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 1231 1075 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=5.74
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 310 264 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=5.7
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 311 259 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334516 134533545 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=5.9
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 314 276 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.06
Current children cumulated vsize (KiB) 545800

[startup+12.7154 s]
/proc/loadavg: 4.60 4.46 4.53 5/113 14854
/proc/meminfo: memFree=632328/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=47.09
/proc/14849/stat : 14849 (gnovelty+) S 14847 14849 7955 0 -1 4202496 19818 0 0 0 2512 2197 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=11.72
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 620 552 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=11.76
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 638 538 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=11.96
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 642 554 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 47.09
Current children cumulated vsize (KiB) 545800

[startup+25.5148 s]
/proc/loadavg: 4.55 4.45 4.53 5/113 14856
/proc/meminfo: memFree=632268/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=95.03
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 5082 4421 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=23.55
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 1268 1087 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=23.82
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 1295 1087 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=23.96
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 1274 1122 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 95.03
Current children cumulated vsize (KiB) 545800

[startup+51.1134 s]
/proc/loadavg: 4.42 4.43 4.52 5/113 15046
/proc/meminfo: memFree=631824/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=190.14
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 10337 8677 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=47.31
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 2570 2161 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=47.8
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 2640 2140 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=47.62
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 2600 2162 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 190.14
Current children cumulated vsize (KiB) 545800

[startup+102.321 s]
/proc/loadavg: 4.08 4.32 4.48 5/113 15233
/proc/meminfo: memFree=630908/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=381.67
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 20758 17409 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=94.9
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 5134 4356 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=95.84
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 5204 4380 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=95.59
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 5232 4327 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 381.67
Current children cumulated vsize (KiB) 545800

[startup+162.307 s]
/proc/loadavg: 3.82 4.21 4.43 5/113 15422
/proc/meminfo: memFree=631320/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=604.29
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 32857 27572 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=150.84
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 8198 6886 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=151.73
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 8262 6911 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=150.87
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 8233 6854 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942252 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 604.29
Current children cumulated vsize (KiB) 545800

[startup+222.314 s]
/proc/loadavg: 4.06 4.18 4.40 5/113 15613
/proc/meminfo: memFree=631584/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=826.91
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 44910 37781 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=206.3
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 11189 9441 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=207.57
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 11286 9471 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=206.28
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 11251 9377 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 826.91
Current children cumulated vsize (KiB) 545800

[startup+282.311 s]
/proc/loadavg: 4.45 4.27 4.42 5/113 15802
/proc/meminfo: memFree=631560/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=1051.03
/proc/14849/stat : 14849 (gnovelty+) S 14847 14849 7955 0 -1 4202496 19818 0 0 0 57322 47781 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=262.54
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 14342 11912 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=263.76
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 14466 11910 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=14849] ppid=14847 vsize=545800 CPUtime=1499.62
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 81819 68143 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=375.28
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 20375 17153 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=375.67
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 20673 16894 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334380 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=373.81
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 20399 16982 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1499.62
Current children cumulated vsize (KiB) 545800

[startup+462.311 s]
/proc/loadavg: 4.42 4.39 4.44 5/113 16373
/proc/meminfo: memFree=631568/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=1720.64
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 94031 78033 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=430.48
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 23422 19626 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=430.56
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 23726 19330 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=429.12
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 23513 19399 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1720.64
Current children cumulated vsize (KiB) 545800

[startup+522.309 s]
/proc/loadavg: 4.22 4.33 4.42 5/113 16561
/proc/meminfo: memFree=631436/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=1943.7
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 106268 88102 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=486.95
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 26559 22136 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=486.14
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 26719 21895 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334516 134533518 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=484.61
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 26545 21916 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1943.7
Current children cumulated vsize (KiB) 545800

[startup+582.306 s]
/proc/loadavg: 4.38 4.36 4.42 5/113 16750
/proc/meminfo: memFree=631196/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=2165.56
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 118560 97996 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=541.93
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 29585 24608 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726508 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=541.81
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 29822 24359 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=539.89
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 29595 24394 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2165.56
Current children cumulated vsize (KiB) 545800

[startup+642.303 s]
/proc/loadavg: 4.29 4.33 4.40 5/113 16938
/proc/meminfo: memFree=631460/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=2386.79
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 130752 107927 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=597.47
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 32694 27053 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=598.08
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 32926 26882 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=594.86
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 32616 26870 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2386.79
Current children cumulated vsize (KiB) 545800

[startup+702.319 s]
/proc/loadavg: 4.47 4.38 4.41 5/113 17125
/proc/meminfo: memFree=631288/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=2608.95
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 142823 118072 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=653.26
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 35724 29602 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=653.96
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 35971 29425 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=650.47
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 35660 29387 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2608.95
Current children cumulated vsize (KiB) 545800

[startup+762.316 s]
/proc/loadavg: 4.24 4.32 4.39 5/113 17312
/proc/meminfo: memFree=631584/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=2832.63
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 155057 128206 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=709.19
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 38807 32112 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=709.76
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 39066 31910 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=706.27
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 38654 31973 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2832.63
Current children cumulated vsize (KiB) 545800

[startup+822.313 s]
/proc/loadavg: 4.24 4.31 4.38 5/113 17504
/proc/meminfo: memFree=631452/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=3055.37
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 167307 138230 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=764.7
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 41865 34605 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=765.77
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 42171 34406 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=761.98
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 41667 34531 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3055.37
Current children cumulated vsize (KiB) 545800

[startup+882.31 s]
/proc/loadavg: 4.42 4.35 4.38 5/113 17693
/proc/meminfo: memFree=631352/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=3278.85
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 179417 148468 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367196 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=820.53
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 44873 37180 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=821.53
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 45217 36936 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=817.89
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 44730 37059 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.85
Current children cumulated vsize (KiB) 545800

[startup+942.307 s]
/proc/loadavg: 4.67 4.43 4.41 6/113 17880
/proc/meminfo: memFree=631188/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=3501.81
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 191662 158519 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=876.29
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 47905 39724 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=877.32
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 48311 39421 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=873.94
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 47826 39568 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942252 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3501.81
Current children cumulated vsize (KiB) 545800



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 4.65 4.45 4.41 5/113 18068
/proc/meminfo: memFree=631180/3368532 swapFree=1959840/1959888
[pid=14849] ppid=14847 vsize=545800 CPUtime=3717.1
/proc/14849/stat : 14849 (gnovelty+) R 14847 14849 7955 0 -1 4202496 19818 0 0 0 203478 168232 0 0 15 0 4 0 1111030324 558899200 19773 4294967295 134512640 135680988 3220368000 3220367244 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/14849/statm: 136450 19773 103 286 0 136162 0
[pid=14849/tid=14851] ppid=14847 vsize=545800 CPUtime=930.43
/proc/14849/task/14851/stat : 14851 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 50851 42192 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3077726556 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14849/tid=14852] ppid=14847 vsize=545800 CPUtime=931.02
/proc/14849/task/14852/stat : 14852 (gnovelty+) R 14847 14849 7955 0 -1 4202560 9 0 0 0 51294 41808 0 0 16 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3068334428 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14849/tid=14853] ppid=14847 vsize=545800 CPUtime=928.1
/proc/14849/task/14853/stat : 14853 (gnovelty+) R 14847 14849 7955 0 -1 4202560 8 0 0 0 50797 42013 0 0 15 0 4 0 1111030333 558899200 19773 4294967295 134512640 135680988 3220368000 3058942252 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3717.1
Current children cumulated vsize (KiB) 545800

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.02
CPU time (s): 3717.12
CPU user time (s): 2034.79
CPU system time (s): 1682.33
CPU usage (%): 371.705
Max. virtual memory (cumulated for all children) (KiB): 545800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2034.79
system time used= 1682.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19818
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= 92961272
involuntary context switches= 188469

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 00:34:35
IDJOB=1778080
IDBENCH=70542
IDSOLVER=617
FILE ID=/1778080-1243463675
PBS_JOBID=
Free space on /tmp= 7988 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/500/unif-k3-r4.25-v500-c2125-S900957093-043.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778080-1243463675/watcher-1778080-1243463675 -o /tmp/evaluation-result-1778080-1243463675/solver-1778080-1243463675 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778080-1243463675.cnf 656091046 4

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

MD5SUM BENCH= 089e945986e09301802f8b3ff2e688f1
RANDOM SEED= 656091046

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:        711580 kB
Buffers:         41672 kB
Cached:        2434572 kB
SwapCached:          0 kB
Active:        1299552 kB
Inactive:      1196052 kB
HighTotal:     2489216 kB
HighFree:       450320 kB
LowTotal:       879316 kB
LowFree:        261260 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1388 kB
Writeback:           0 kB
AnonPages:       19188 kB
Mapped:           7576 kB
Slab:           151856 kB
SReclaimable:   138516 kB
SUnreclaim:      13340 kB
PageTables:        644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   110892 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7987 MiB
End job on  at 2009-05-28 00:51:17