Trace number 1777510

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

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
MD5SUM487133af0320f59d52bd31546508fd57
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 variables16000
Number of clauses67200
Sum of the clauses size201600
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 367200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.50/0.57	c +------------------------------+
0.50/0.57	c | gNovelty+, version 1.0       |
0.50/0.57	c +------------------------------+
0.50/0.57	c gnovelty+ -h for help
0.50/0.57	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-1777510-1243446784/watcher-1777510-1243446784 -o /tmp/evaluation-result-1777510-1243446784/solver-1777510-1243446784 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777510-1243446784.cnf 1477024397 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.99 4.01 3.98 3/96 2067
/proc/meminfo: memFree=3041468/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=509232 CPUtime=0
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 898 0 0 0 0 0 0 0 18 0 1 0 1098779582 521453568 854 4294967295 134512640 135680988 3216860960 3216860224 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/2067/statm: 127308 862 99 286 0 127020 0

[startup+0.088391 s]
/proc/loadavg: 3.99 4.01 3.98 3/96 2067
/proc/meminfo: memFree=3041468/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=517048 CPUtime=0.08
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 10134 0 0 0 6 2 0 0 18 0 1 0 1098779582 529457152 10090 4294967295 134512640 135680988 3216860960 3216859068 134958286 0 0 0 0 0 0 0 17 3 0 0 0
/proc/2067/statm: 129262 10090 99 286 0 128974 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 517048

[startup+0.10839 s]
/proc/loadavg: 3.99 4.01 3.98 3/96 2067
/proc/meminfo: memFree=3041468/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=517048 CPUtime=0.1
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 10206 0 0 0 8 2 0 0 18 0 1 0 1098779582 529457152 10162 4294967295 134512640 135680988 3216860960 3216860224 134537384 0 0 0 0 0 0 0 17 3 0 0 0
/proc/2067/statm: 129262 10162 99 286 0 128974 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517048

[startup+0.308376 s]
/proc/loadavg: 3.99 4.01 3.98 3/96 2067
/proc/meminfo: memFree=3041468/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=517044 CPUtime=0.3
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 20371 0 0 0 25 5 0 0 18 0 1 0 1098779582 529453056 20326 4294967295 134512640 135680988 3216860960 3216860224 134538748 0 0 0 0 0 0 0 17 3 0 0 0
/proc/2067/statm: 129261 20326 99 286 0 128973 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 517044

[startup+0.708354 s]
/proc/loadavg: 3.99 4.01 3.98 3/96 2067
/proc/meminfo: memFree=3041468/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=0.98
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22772 0 0 0 92 6 0 0 19 0 4 0 1098779582 570101760 22727 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2067/statm: 139185 22727 103 286 0 138897 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 556740

[startup+1.50844 s]
/proc/loadavg: 3.99 4.01 3.98 5/100 2071
/proc/meminfo: memFree=2951788/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=4.14
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 379 35 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=0.89
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 81 8 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=0.86
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 81 5 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=0.89
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 79 10 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 556740

[startup+3.10847 s]
/proc/loadavg: 3.99 4.01 3.98 7/100 2071
/proc/meminfo: memFree=2951640/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=10.44
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 935 109 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=2.47
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 220 27 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=2.44
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 223 21 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=2.46
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 214 32 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.44
Current children cumulated vsize (KiB) 556740

[startup+6.30816 s]
/proc/loadavg: 3.99 4.01 3.98 5/100 2071
/proc/meminfo: memFree=2951540/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=22.82
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 1964 318 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860156 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=5.61
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 488 73 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=5.48
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 478 70 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=5.49
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 461 88 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.82
Current children cumulated vsize (KiB) 556740

[startup+12.7079 s]
/proc/loadavg: 4.07 4.03 3.98 6/100 2071
/proc/meminfo: memFree=2951356/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=47.27
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 3935 792 0 0 16 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=11.82
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 994 188 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=11.53
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 957 196 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=11.44
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 935 209 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.27
Current children cumulated vsize (KiB) 556740

[startup+25.5069 s]
/proc/loadavg: 3.97 4.01 3.98 5/100 2256
/proc/meminfo: memFree=2950772/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=95.74
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 7804 1770 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=23.92
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 1955 437 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=23.51
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 1916 435 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063620020 134533489 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=23.44
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 1896 448 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 95.74
Current children cumulated vsize (KiB) 556740

[startup+51.1151 s]
/proc/loadavg: 4.00 4.01 3.98 5/100 2257
/proc/meminfo: memFree=2950908/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=193.64
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 15550 3814 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=48.34
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 3863 971 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=47.98
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 3851 947 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=47.93
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 3861 932 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 193.64
Current children cumulated vsize (KiB) 556740

[startup+102.312 s]
/proc/loadavg: 4.05 4.02 3.98 5/100 2452
/proc/meminfo: memFree=2950000/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=389.89
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 30992 7997 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=97.35
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 7737 1998 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=97.19
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 7760 1959 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=96.99
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 7716 1983 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 389.89
Current children cumulated vsize (KiB) 556740

[startup+162.318 s]
/proc/loadavg: 3.96 4.00 3.98 5/100 2646
/proc/meminfo: memFree=2949900/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=620.02
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 49113 12889 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=154.78
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 12226 3252 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445036 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=155.5
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 12402 3148 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=154.66
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 12247 3219 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 620.02
Current children cumulated vsize (KiB) 556740

[startup+222.314 s]
/proc/loadavg: 4.10 4.03 3.99 5/100 2839
/proc/meminfo: memFree=2950156/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=850.28
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 66760 18268 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=212.15
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 16647 4568 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=213.37
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 16818 4519 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=212.12
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 16639 4573 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 850.28
Current children cumulated vsize (KiB) 556740

[startup+282.31 s]
/proc/loadavg: 4.10 4.04 3.99 7/100 3027
/proc/meminfo: memFree=2949900/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=1081.17
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 83889 24228 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=269.93
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 20949 6044 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=271.01
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 21066 6035 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619884 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=2067] ppid=2065 vsize=556740 CPUtime=1539.75
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 117728 36247 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=384.73
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 29448 9025 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=385.79
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 29667 8912 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063620020 134534000 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=384.76
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 29370 9106 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1539.75
Current children cumulated vsize (KiB) 556740

[startup+462.307 s]
/proc/loadavg: 4.12 4.07 4.01 5/100 3622
/proc/meminfo: memFree=2950000/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=1769.56
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 134394 42562 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860156 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=441.96
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 33582 10614 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=443.19
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 33879 10440 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=441.9
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 33480 10710 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1769.56
Current children cumulated vsize (KiB) 556740

[startup+522.303 s]
/proc/loadavg: 3.99 4.04 4.00 5/100 3814
/proc/meminfo: memFree=2949876/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=1997.2
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 150489 49231 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=498.43
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 37590 12253 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=500.16
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 37894 12122 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=498.71
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 37461 12410 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1997.2
Current children cumulated vsize (KiB) 556740

[startup+582.309 s]
/proc/loadavg: 3.87 4.00 3.99 5/100 4001
/proc/meminfo: memFree=2950032/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=2225.19
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 166696 55823 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=555.68
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 41758 13810 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=557.12
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 41940 13772 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=555.88
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 41603 13985 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2225.19
Current children cumulated vsize (KiB) 556740

[startup+642.315 s]
/proc/loadavg: 4.14 4.05 4.00 4/100 4189
/proc/meminfo: memFree=2949544/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=2455.62
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 183600 61962 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=613.39
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 46081 15258 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=614.43
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 46075 15368 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=613.85
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 45930 15455 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2455.62
Current children cumulated vsize (KiB) 556740

[startup+702.311 s]
/proc/loadavg: 4.15 4.05 4.01 6/100 4378
/proc/meminfo: memFree=2949256/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=2683
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 200276 68024 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=669.78
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 50248 16730 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=670.54
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 50220 16834 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=671.22
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 50200 16922 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2683
Current children cumulated vsize (KiB) 556740

[startup+762.317 s]
/proc/loadavg: 4.03 4.03 4.00 6/100 4565
/proc/meminfo: memFree=2949752/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=2912.21
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 217099 74122 0 0 16 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=727.02
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 54475 18227 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=728.4
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 54513 18327 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=728.62
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 54385 18477 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2912.21
Current children cumulated vsize (KiB) 556740

[startup+822.312 s]
/proc/loadavg: 4.04 4.03 4.00 7/100 4753
/proc/meminfo: memFree=2949520/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=3142.83
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 233670 80613 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=784.51
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 58628 19823 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=786.12
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 58715 19897 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=786.42
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 58489 20153 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3142.83
Current children cumulated vsize (KiB) 556740

[startup+882.309 s]
/proc/loadavg: 4.18 4.07 4.01 6/100 4940
/proc/meminfo: memFree=2949536/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=3373.03
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 249871 87432 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860156 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=842.51
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 62770 21481 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=843.73
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 62879 21494 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=843.94
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 62490 21904 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3373.03
Current children cumulated vsize (KiB) 556740

[startup+942.315 s]
/proc/loadavg: 4.12 4.05 4.01 6/100 5132
/proc/meminfo: memFree=2949544/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=3601.36
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 265918 94218 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860156 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=899.77
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 66889 23088 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=900.26
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 66989 23037 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=901.48
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 66410 23738 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794732 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3601.36
Current children cumulated vsize (KiB) 556740



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.22 4.08 4.02 5/100 5321
/proc/meminfo: memFree=2949752/3368532 swapFree=1954072/1959888
[pid=2067] ppid=2065 vsize=556740 CPUtime=3822.08
/proc/2067/stat : 2067 (gnovelty+) R 2065 2067 15881 0 -1 4202496 22844 0 0 0 281329 100879 0 0 15 0 4 0 1098779582 570101760 22799 4294967295 134512640 135680988 3216860960 3216860204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/2067/statm: 139185 22799 103 286 0 138897 0
[pid=2067/tid=2069] ppid=2065 vsize=556740 CPUtime=955.64
/proc/2067/task/2069/stat : 2069 (gnovelty+) R 2065 2067 15881 0 -1 4202560 515 0 0 0 70926 24638 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3075445084 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=2067/tid=2070] ppid=2065 vsize=556740 CPUtime=955.91
/proc/2067/task/2070/stat : 2070 (gnovelty+) R 2065 2067 15881 0 -1 4202560 531 0 0 0 70891 24700 0 0 15 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3063619932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=2067/tid=2071] ppid=2065 vsize=556740 CPUtime=955.67
/proc/2067/task/2071/stat : 2071 (gnovelty+) R 2065 2067 15881 0 -1 4202560 530 0 0 0 70101 25466 0 0 16 0 4 0 1098779640 570101760 22799 4294967295 134512640 135680988 3216860960 3051794780 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3822.08
Current children cumulated vsize (KiB) 556740

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): 3822.15
CPU user time (s): 2813.33
CPU system time (s): 1008.82
CPU usage (%): 382.201
Max. virtual memory (cumulated for all children) (KiB): 556740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2813.33
system time used= 1008.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22844
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= 46293142
involuntary context switches= 115443

runsolver used 0.01 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-27 19:53:04
IDJOB=1777510
IDBENCH=70352
IDSOLVER=617
FILE ID=tipi44/1777510-1243446784
PBS_JOBID=
Free space on /tmp= 15893 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777510-1243446784/watcher-1777510-1243446784 -o /tmp/evaluation-result-1777510-1243446784/solver-1777510-1243446784 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777510-1243446784.cnf 1477024397 4

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

MD5SUM BENCH= 487133af0320f59d52bd31546508fd57
RANDOM SEED= 1477024397

Linux tipi44 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.116
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.116
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.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3041468 kB
Buffers:        130868 kB
Cached:          89956 kB
SwapCached:       2184 kB
Active:          89796 kB
Inactive:       140772 kB
HighTotal:     2489216 kB
HighFree:      2386892 kB
LowTotal:       879316 kB
LowFree:        654576 kB
SwapTotal:     1959888 kB
SwapFree:      1954072 kB
Dirty:            2732 kB
Writeback:           0 kB
AnonPages:        9020 kB
Mapped:           3460 kB
Slab:            86664 kB
SReclaimable:    76856 kB
SUnreclaim:       9808 kB
PageTables:        488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    87892 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15893 MiB
End job on tipi44 at 2009-05-27 20:09:46