Trace number 1777096

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
MD5SUM6079b5c5aa5b129580ea074d44eca93f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses18000
Sum of the clauses size90000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 518000
Number of clauses of size over 50

Solver Data 

0.12/0.13	c +------------------------------+
0.12/0.13	c | gNovelty+, version 1.0       |
0.12/0.13	c +------------------------------+
0.12/0.13	c gnovelty+ -h for help
0.12/0.13	c

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1777096-1243435022/watcher-1777096-1243435022 -o /tmp/evaluation-result-1777096-1243435022/solver-1777096-1243435022 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777096-1243435022.cnf 272884842 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.18 4.14 4.05 3/97 21276
/proc/meminfo: memFree=3088260/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=509228 CPUtime=0
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 1409 0 0 0 0 0 0 0 18 0 1 0 1097639496 521449472 1365 4294967295 134512640 135680988 3214265520 3214264784 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/21276/statm: 127307 1373 99 286 0 127019 0

[startup+0.094339 s]
/proc/loadavg: 4.18 4.14 4.05 3/97 21276
/proc/meminfo: memFree=3088260/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=517040 CPUtime=0.1
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 15371 0 0 0 6 4 0 0 18 0 1 0 1097639496 529448960 15326 4294967295 134512640 135680988 3214265520 3214264784 134537968 0 0 0 0 0 0 0 17 2 0 0 0
/proc/21276/statm: 129260 15337 99 286 0 128972 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517040

[startup+0.11434 s]
/proc/loadavg: 4.18 4.14 4.05 3/97 21276
/proc/meminfo: memFree=3088260/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=517040 CPUtime=0.12
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 18923 0 0 0 6 6 0 0 18 0 1 0 1097639496 529448960 18878 4294967295 134512640 135680988 3214265520 3214264784 134537779 0 0 0 0 0 0 0 17 2 0 0 0
/proc/21276/statm: 129260 18885 99 286 0 128972 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 517040

[startup+0.31432 s]
/proc/loadavg: 4.18 4.14 4.05 3/97 21276
/proc/meminfo: memFree=3088260/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=0.73
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 61 12 0 0 17 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 548164

[startup+0.714677 s]
/proc/loadavg: 4.18 4.14 4.05 3/97 21276
/proc/meminfo: memFree=3088260/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=2.32
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 204 28 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 548164

[startup+1.51425 s]
/proc/loadavg: 4.16 4.13 4.04 5/101 21280
/proc/meminfo: memFree=3007648/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=5.4
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 471 69 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=1.33
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 123 10 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=1.28
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 112 16 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=1.33
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 114 19 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 548164

[startup+3.1144 s]
/proc/loadavg: 4.16 4.13 4.04 6/101 21280
/proc/meminfo: memFree=3007104/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=11.72
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 1030 142 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=2.91
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 260 31 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=2.85
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 254 31 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=2.9
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 254 36 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 548164

[startup+6.314 s]
/proc/loadavg: 4.15 4.13 4.04 6/101 21282
/proc/meminfo: memFree=3006980/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=23.97
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 2102 295 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=6.04
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 539 65 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=5.88
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 524 64 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=6
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 521 79 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.97
Current children cumulated vsize (KiB) 548164

[startup+12.7136 s]
/proc/loadavg: 4.14 4.13 4.04 8/101 21283
/proc/meminfo: memFree=3006712/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=48.22
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 4284 538 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=11.91
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 1072 119 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=11.93
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 1066 127 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=12.14
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 1073 141 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.22
Current children cumulated vsize (KiB) 548164

[startup+25.5127 s]
/proc/loadavg: 4.20 4.14 4.05 6/101 21283
/proc/meminfo: memFree=3006932/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=97.29
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 8652 1077 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=24
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 2144 256 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=24.49
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 2192 257 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=24.5
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 2175 275 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 97.29
Current children cumulated vsize (KiB) 548164

[startup+51.1098 s]
/proc/loadavg: 4.17 4.14 4.05 5/101 21283
/proc/meminfo: memFree=3006940/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=196.64
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 17454 2210 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=48.61
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 4332 529 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=49.47
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 4402 545 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=49.21
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 4369 552 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 196.64
Current children cumulated vsize (KiB) 548164

[startup+102.317 s]
/proc/loadavg: 4.07 4.12 4.05 6/101 21472
/proc/meminfo: memFree=3006444/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=395.28
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 35085 4443 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=98.17
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 8740 1077 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=98.87
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 8783 1104 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=99.12
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 8790 1122 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 395.28
Current children cumulated vsize (KiB) 548164

[startup+162.312 s]
/proc/loadavg: 4.11 4.12 4.05 5/101 21661
/proc/meminfo: memFree=3006304/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=625.77
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 55579 6998 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=156.46
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 13923 1723 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=155.54
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 13826 1728 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670964 134533492 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=156.99
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 13951 1748 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 625.77
Current children cumulated vsize (KiB) 548164

[startup+222.307 s]
/proc/loadavg: 4.15 4.13 4.06 6/101 21847
/proc/meminfo: memFree=3006188/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=855.55
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 76063 9492 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=213.98
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 19051 2347 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=212.31
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 18863 2368 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=214.12
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 19067 2345 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 855.55
Current children cumulated vsize (KiB) 548164

[startup+282.313 s]
/proc/loadavg: 4.19 4.13 4.06 5/101 22033
/proc/meminfo: memFree=3006196/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=1088.79
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 96768 12111 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=272.96
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 24290 3006 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=270.76
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 24036 3040 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=21276] ppid=21274 vsize=548164 CPUtime=1552.55
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 138023 17232 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=389.54
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 34639 4315 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=386.74
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 34319 4355 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=387.98
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 34528 4270 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1552.55
Current children cumulated vsize (KiB) 548164

[startup+462.308 s]
/proc/loadavg: 4.30 4.19 4.10 5/101 22606
/proc/meminfo: memFree=3005876/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=1782.92
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 158524 19768 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=447.06
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 39731 4975 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=444.57
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 39466 4991 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=445.24
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 39633 4891 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 548164

[startup+522.304 s]
/proc/loadavg: 4.07 4.14 4.08 5/101 22792
/proc/meminfo: memFree=3005876/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=2013.42
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 179096 22246 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=504.77
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 44897 5580 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=502.6
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 44671 5589 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=502.7
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 44718 5552 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2013.42
Current children cumulated vsize (KiB) 548164

[startup+582.31 s]
/proc/loadavg: 4.23 4.17 4.10 7/101 22978
/proc/meminfo: memFree=3006024/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=2245.51
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 199701 24850 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=562.81
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 50071 6210 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=560.22
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 49739 6283 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=560.83
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 49885 6198 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2245.51
Current children cumulated vsize (KiB) 548164

[startup+642.315 s]
/proc/loadavg: 4.15 4.16 4.09 5/101 23167
/proc/meminfo: memFree=3005776/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=2477.02
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 220430 27272 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=620.91
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 55256 6835 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=618.13
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 54945 6868 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=619.08
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 55099 6809 0 0 16 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2477.02
Current children cumulated vsize (KiB) 548164

[startup+702.31 s]
/proc/loadavg: 4.09 4.14 4.09 5/101 23356
/proc/meminfo: memFree=3005776/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=2709.42
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 241056 29886 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=678.99
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 60402 7497 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=675.43
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 60013 7530 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=677.83
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 60323 7460 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2709.42
Current children cumulated vsize (KiB) 548164

[startup+762.315 s]
/proc/loadavg: 4.33 4.19 4.11 5/101 23549
/proc/meminfo: memFree=3005588/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=2942.01
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 261664 32537 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=736.58
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 65535 8123 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=734.69
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 65266 8203 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=735.38
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 65422 8116 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2942.01
Current children cumulated vsize (KiB) 548164

[startup+822.311 s]
/proc/loadavg: 4.10 4.15 4.10 5/101 23735
/proc/meminfo: memFree=3005712/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=3174.27
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 282239 35188 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=794.63
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 70694 8769 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=793.01
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 70419 8882 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=793.1
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 70590 8720 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3174.27
Current children cumulated vsize (KiB) 548164

[startup+882.306 s]
/proc/loadavg: 4.11 4.15 4.09 6/101 23921
/proc/meminfo: memFree=3005744/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=3407.46
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 302970 37776 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=852.6
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 75854 9406 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=851.57
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 75633 9524 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=851.42
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 75784 9358 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3407.46
Current children cumulated vsize (KiB) 548164

[startup+942.312 s]
/proc/loadavg: 4.11 4.14 4.09 5/101 24110
/proc/meminfo: memFree=3006044/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=3641.4
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 323770 40370 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=911.2
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 81092 10028 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=910.13
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 80822 10191 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=909.48
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 80963 9985 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3641.4
Current children cumulated vsize (KiB) 548164



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.16 4.14 4.09 5/101 24299
/proc/meminfo: memFree=3006028/3368532 swapFree=1952996/1959888
[pid=21276] ppid=21274 vsize=548164 CPUtime=3865.7
/proc/21276/stat : 21276 (gnovelty+) R 21274 21276 8948 0 -1 4202496 20661 0 0 0 343747 42823 0 0 15 0 4 0 1097639496 561319936 20616 4294967295 134512640 135680988 3214265520 3214264764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/21276/statm: 137041 20616 103 286 0 136753 0
[pid=21276/tid=21278] ppid=21274 vsize=548164 CPUtime=967.02
/proc/21276/task/21278/stat : 21278 (gnovelty+) R 21274 21276 8948 0 -1 4202560 98 0 0 0 86066 10636 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3077063004 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21276/tid=21279] ppid=21274 vsize=548164 CPUtime=966.49
/proc/21276/task/21279/stat : 21279 (gnovelty+) R 21274 21276 8948 0 -1 4202560 102 0 0 0 85820 10829 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3067670876 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21276/tid=21280] ppid=21274 vsize=548164 CPUtime=965.27
/proc/21276/task/21280/stat : 21280 (gnovelty+) R 21274 21276 8948 0 -1 4202560 100 0 0 0 85945 10582 0 0 15 0 4 0 1097639509 561319936 20616 4294967295 134512640 135680988 3214265520 3058278748 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3865.7
Current children cumulated vsize (KiB) 548164

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3865.77
CPU user time (s): 3437.5
CPU system time (s): 428.27
CPU usage (%): 386.561
Max. virtual memory (cumulated for all children) (KiB): 548164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3437.5
system time used= 428.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20661
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= 14402096
involuntary context switches= 63964

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-27 16:37:02
IDJOB=1777096
IDBENCH=70214
IDSOLVER=617
FILE ID=tipi45/1777096-1243435022
PBS_JOBID=
Free space on /tmp= 15501 MiB

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

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

MD5SUM BENCH= 6079b5c5aa5b129580ea074d44eca93f
RANDOM SEED= 272884842

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:       3088260 kB
Buffers:        122984 kB
Cached:          50808 kB
SwapCached:       2100 kB
Active:          64276 kB
Inactive:       119104 kB
HighTotal:     2489216 kB
HighFree:      2425948 kB
LowTotal:       879316 kB
LowFree:        662312 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            1820 kB
Writeback:           0 kB
AnonPages:        8200 kB
Mapped:           3080 kB
Slab:            84744 kB
SReclaimable:    73584 kB
SUnreclaim:      11160 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= 15501 MiB
End job on tipi45 at 2009-05-27 16:53:45