Trace number 1778293

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

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
MD5SUMfad8593fd5ac6353581d4728abbb4a34
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 variables480
Number of clauses2040
Sum of the clauses size6120
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32040
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-1778293-1243475662/watcher-1778293-1243475662 -o /tmp/evaluation-result-1778293-1243475662/solver-1778293-1243475662 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778293-1243475662.cnf 1521037822 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.89 3.86 3.82 3/115 7094
/proc/meminfo: memFree=3159740/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=509232 CPUtime=0
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 1515 0 0 0 0 0 0 0 18 0 1 0 1112246027 521453568 1472 4294967295 134512640 135680988 3218178144 3218177408 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/7094/statm: 127308 1480 99 286 0 127020 0

[startup+0.105565 s]
/proc/loadavg: 3.89 3.86 3.82 3/115 7094
/proc/meminfo: memFree=3159740/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=0.1
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19807 0 0 0 5 5 0 0 20 0 4 0 1112246027 558899200 19763 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19763 103 286 0 136162 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 545800

[startup+0.205565 s]
/proc/loadavg: 3.89 3.86 3.82 3/115 7094
/proc/meminfo: memFree=3159740/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=0.47
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 23 24 0 0 18 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 545800

[startup+0.305565 s]
/proc/loadavg: 3.89 3.86 3.82 3/115 7094
/proc/meminfo: memFree=3159740/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=0.82
/proc/7094/stat : 7094 (gnovelty+) S 7092 7094 24991 0 -1 4202496 19815 0 0 0 43 39 0 0 18 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 545800

[startup+0.705545 s]
/proc/loadavg: 3.89 3.86 3.82 3/115 7094
/proc/meminfo: memFree=3159740/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=2.3
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 129 101 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 545800

[startup+1.50561 s]
/proc/loadavg: 3.82 3.84 3.81 5/119 7098
/proc/meminfo: memFree=3081116/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=5.33
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 290 243 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=1.35
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 75 60 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=1.3
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 72 58 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=1.29
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 72 57 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 545800

[startup+3.10546 s]
/proc/loadavg: 3.82 3.84 3.81 5/119 7098
/proc/meminfo: memFree=3081116/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=11.34
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 632 502 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=2.84
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 164 120 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=2.81
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 167 114 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=2.83
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 149 134 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 545800

[startup+6.30534 s]
/proc/loadavg: 3.82 3.84 3.81 6/119 7098
/proc/meminfo: memFree=3081024/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=23.21
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 1291 1030 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=5.89
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 327 262 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=5.78
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 341 237 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=5.79
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 314 265 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.21
Current children cumulated vsize (KiB) 545800

[startup+12.7052 s]
/proc/loadavg: 3.85 3.85 3.82 5/119 7101
/proc/meminfo: memFree=3080652/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=46.72
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 2605 2067 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=11.86
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 699 487 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=11.53
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 656 497 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=11.62
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 617 545 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.72
Current children cumulated vsize (KiB) 545800

[startup+25.5046 s]
/proc/loadavg: 3.80 3.84 3.81 6/119 7102
/proc/meminfo: memFree=3080716/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=93.94
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 5240 4154 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=23.67
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 1345 1022 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=23.33
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 1325 1008 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=23.07
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 1252 1055 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 93.94
Current children cumulated vsize (KiB) 545800

[startup+51.1036 s]
/proc/loadavg: 3.87 3.85 3.82 6/119 7288
/proc/meminfo: memFree=3080700/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=189.18
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 10612 8306 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=47.02
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 2655 2047 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=47.28
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 2658 2070 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=47.07
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 2572 2135 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 189.18
Current children cumulated vsize (KiB) 545800

[startup+102.311 s]
/proc/loadavg: 3.88 3.85 3.82 6/119 7477
/proc/meminfo: memFree=3080332/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=379.59
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 21273 16686 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=94.44
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 5283 4161 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=94.55
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 5314 4141 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=94.98
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 5254 4244 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 379.59
Current children cumulated vsize (KiB) 545800

[startup+162.309 s]
/proc/loadavg: 3.91 3.86 3.82 5/119 7664
/proc/meminfo: memFree=3080496/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=601.05
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 33758 26347 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=149.98
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 8501 6497 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=149.87
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 8427 6560 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=149.99
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 8318 6681 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 601.05
Current children cumulated vsize (KiB) 545800

[startup+222.307 s]
/proc/loadavg: 3.84 3.85 3.82 4/119 7851
/proc/meminfo: memFree=3080372/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=824.75
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 46397 36078 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177340 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=205.99
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 11711 8888 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=205.77
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 11535 9042 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=205.85
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 11482 9103 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 824.75
Current children cumulated vsize (KiB) 545800

[startup+282.314 s]
/proc/loadavg: 3.84 3.85 3.82 5/119 8039
/proc/meminfo: memFree=3080480/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=1048.32
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 58978 45854 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177340 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=261.57
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 14814 11343 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=261.31
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 14649 11482 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=7094] ppid=7092 vsize=545800 CPUtime=1720.82
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 96502 75580 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=429.11
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 24157 18754 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=430.11
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 24110 18901 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=429.97
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 23969 19028 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1720.82
Current children cumulated vsize (KiB) 545800

[startup+522.315 s]
/proc/loadavg: 3.84 3.85 3.82 5/119 8796
/proc/meminfo: memFree=3080248/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=1943.04
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 109009 85295 0 0 16 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=484.99
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 27304 21195 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=485.27
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 27160 21367 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593004 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=485.44
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 27102 21442 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1943.04
Current children cumulated vsize (KiB) 545800

[startup+582.302 s]
/proc/loadavg: 3.87 3.86 3.82 5/119 8984
/proc/meminfo: memFree=3080464/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=2167.2
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 121495 95225 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=540.92
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 30359 23733 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=541.44
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 30313 23831 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=541.48
/proc/7094/task/7098/stat : 7098 (gnovelty+) S 7092 7094 24991 0 -1 4202560 7 0 0 0 30278 23870 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2167.2
Current children cumulated vsize (KiB) 545800

[startup+642.31 s]
/proc/loadavg: 3.83 3.85 3.82 5/119 9173
/proc/meminfo: memFree=3080084/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=2391.65
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 134204 104961 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=597
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 33562 26138 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=597.53
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 33445 26308 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=597.64
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 33423 26341 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2391.65
Current children cumulated vsize (KiB) 545800

[startup+702.308 s]
/proc/loadavg: 3.80 3.83 3.81 5/119 9366
/proc/meminfo: memFree=3080116/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=2614.15
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 146701 114714 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=652.83
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 36702 28581 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=653.13
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 36499 28814 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=653.2
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 36545 28775 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2614.15
Current children cumulated vsize (KiB) 545800

[startup+762.305 s]
/proc/loadavg: 3.90 3.84 3.82 5/119 9553
/proc/meminfo: memFree=3080216/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=2838.41
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 159189 124652 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177340 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=708.58
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 39819 31039 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=709.63
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 39627 31336 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=708.96
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 39663 31233 0 0 16 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2838.41
Current children cumulated vsize (KiB) 545800

[startup+822.313 s]
/proc/loadavg: 3.91 3.85 3.82 5/119 9739
/proc/meminfo: memFree=3080372/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=3061.83
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 171704 134479 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=764.91
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 42947 33544 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=765.04
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 42757 33747 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=764.81
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 42822 33659 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3061.83
Current children cumulated vsize (KiB) 545800

[startup+882.311 s]
/proc/loadavg: 3.93 3.86 3.82 5/119 9927
/proc/meminfo: memFree=3080496/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=3285.7
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 184327 144243 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=821.15
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 46175 35940 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=820.83
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 45885 36198 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=821.04
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 45957 36147 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3285.7
Current children cumulated vsize (KiB) 545800

[startup+942.308 s]
/proc/loadavg: 3.78 3.83 3.81 5/119 10116
/proc/meminfo: memFree=3080580/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=3510.07
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 196864 154143 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=877.41
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 49321 38420 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=876.9
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 49022 38668 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593052 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=877.2
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 49030 38690 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3510.07
Current children cumulated vsize (KiB) 545800



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 3.84 3.83 3.81 6/119 10304
/proc/meminfo: memFree=3080604/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=3726.48
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 209139 163509 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=931.67
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 52393 40774 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=930.91
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 52077 41014 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593004 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=931.41
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 52114 41027 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3726.48
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

[startup+1000.02 s]
/proc/loadavg: 3.84 3.83 3.81 6/119 10304
/proc/meminfo: memFree=3080604/3368532 swapFree=1941392/1959888
[pid=7094] ppid=7092 vsize=545800 CPUtime=3726.48
/proc/7094/stat : 7094 (gnovelty+) R 7092 7094 24991 0 -1 4202496 19815 0 0 0 209139 163509 0 0 15 0 4 0 1112246027 558899200 19771 4294967295 134512640 135680988 3218178144 3218177388 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7094/statm: 136450 19771 103 286 0 136162 0
[pid=7094/tid=7096] ppid=7092 vsize=545800 CPUtime=931.67
/proc/7094/task/7096/stat : 7096 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 52393 40774 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3076985180 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7094/tid=7097] ppid=7092 vsize=545800 CPUtime=930.91
/proc/7094/task/7097/stat : 7097 (gnovelty+) R 7092 7094 24991 0 -1 4202560 8 0 0 0 52077 41014 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3067593004 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7094/tid=7098] ppid=7092 vsize=545800 CPUtime=931.41
/proc/7094/task/7098/stat : 7098 (gnovelty+) R 7092 7094 24991 0 -1 4202560 7 0 0 0 52114 41027 0 0 15 0 4 0 1112246036 558899200 19771 4294967295 134512640 135680988 3218178144 3058200924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3726.48
Current children cumulated vsize (KiB) 545800

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3726.52
CPU user time (s): 2091.42
CPU system time (s): 1635.1
CPU usage (%): 372.637
Max. virtual memory (cumulated for all children) (KiB): 545800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2091.42
system time used= 1635.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19815
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= 88850079
involuntary context switches= 209135

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 03:54:22
IDJOB=1778293
IDBENCH=70613
IDSOLVER=617
FILE ID=/1778293-1243475662
PBS_JOBID=
Free space on /tmp= 15730 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/480/unif-k3-r4.25-v480-c2040-S915600698-006.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778293-1243475662/watcher-1778293-1243475662 -o /tmp/evaluation-result-1778293-1243475662/solver-1778293-1243475662 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778293-1243475662.cnf 1521037822 4

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

MD5SUM BENCH= fad8593fd5ac6353581d4728abbb4a34
RANDOM SEED= 1521037822

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

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

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3159740 kB
Buffers:         13116 kB
Cached:         122712 kB
SwapCached:       4320 kB
Active:         105304 kB
Inactive:        41388 kB
HighTotal:     2489216 kB
HighFree:      2353264 kB
LowTotal:       879316 kB
LowFree:        806476 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            1368 kB
Writeback:           8 kB
AnonPages:        9272 kB
Mapped:           4228 kB
Slab:            51204 kB
SReclaimable:    43384 kB
SUnreclaim:       7820 kB
PageTables:        804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127260 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15730 MiB
End job on  at 2009-05-28 04:11:04