Trace number 1778227

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

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
MD5SUMc6ff311280a6d1a0e6f0a58edc326a81
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 variables440
Number of clauses1870
Sum of the clauses size5610
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31870
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-1778227-1243471665/watcher-1778227-1243471665 -o /tmp/evaluation-result-1778227-1243471665/solver-1778227-1243471665 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778227-1243471665.cnf 542786037 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.63 3.83 3.81 3/98 10157
/proc/meminfo: memFree=3196780/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=509232 CPUtime=0.01
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 1506 0 0 0 0 1 0 0 18 0 1 0 928743262 521453568 1463 4294967295 134512640 135680988 3215873584 3215872848 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/10157/statm: 127308 1471 99 286 0 127020 0

[startup+0.105482 s]
/proc/loadavg: 3.63 3.83 3.81 3/98 10157
/proc/meminfo: memFree=3196780/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=0.12
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19797 0 0 0 7 5 0 0 18 0 4 0 928743262 558903296 19753 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19753 103 286 0 136163 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 545804

[startup+0.212919 s]
/proc/loadavg: 3.63 3.83 3.81 3/98 10157
/proc/meminfo: memFree=3196780/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=0.5
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 28 22 0 0 18 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 545804

[startup+0.312911 s]
/proc/loadavg: 3.63 3.83 3.81 3/98 10157
/proc/meminfo: memFree=3196780/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=0.88
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 47 41 0 0 17 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 545804

[startup+0.712878 s]
/proc/loadavg: 3.63 3.83 3.81 3/98 10157
/proc/meminfo: memFree=3196780/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=2.38
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 128 110 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 545804

[startup+1.51283 s]
/proc/loadavg: 3.63 3.83 3.81 5/102 10161
/proc/meminfo: memFree=3118636/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=5.37
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 283 254 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=1.31
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 79 52 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=1.28
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 66 62 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=1.29
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 71 58 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 545804

[startup+3.11268 s]
/proc/loadavg: 3.63 3.83 3.81 5/102 10161
/proc/meminfo: memFree=3118384/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=11.4
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 598 542 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=2.83
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 158 125 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=2.79
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 152 127 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=2.82
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 146 136 0 0 16 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 545804

[startup+6.31251 s]
/proc/loadavg: 3.66 3.84 3.81 5/102 10161
/proc/meminfo: memFree=3118416/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=23.43
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 1290 1053 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=5.83
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 309 274 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=5.82
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 330 252 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=5.83
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 328 255 0 0 16 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.43
Current children cumulated vsize (KiB) 545804

[startup+12.7119 s]
/proc/loadavg: 3.76 3.86 3.82 4/102 10344
/proc/meminfo: memFree=3118212/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=46.42
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 2609 2033 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=11.54
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 655 499 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493084 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=11.39
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 637 502 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100908 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=11.57
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 657 500 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.42
Current children cumulated vsize (KiB) 545804

[startup+25.5109 s]
/proc/loadavg: 3.82 3.86 3.82 5/102 10346
/proc/meminfo: memFree=3118308/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=94.36
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 5327 4109 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=23.61
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 1331 1030 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493036 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=23.31
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 1320 1011 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100956 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=23.61
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 1356 1005 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 94.36
Current children cumulated vsize (KiB) 545804

[startup+51.1089 s]
/proc/loadavg: 3.88 3.87 3.82 5/102 10348
/proc/meminfo: memFree=3118372/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=190.33
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 10651 8382 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=47.85
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 2691 2094 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493084 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=47.22
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 2605 2117 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100956 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=47.71
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 2708 2063 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708780 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 190.33
Current children cumulated vsize (KiB) 545804

[startup+102.305 s]
/proc/loadavg: 3.95 3.89 3.83 5/102 10535
/proc/meminfo: memFree=3117892/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=381.96
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 21229 16967 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=95.97
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 5348 4249 0 0 16 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493084 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=94.54
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 5233 4221 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100956 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=95.83
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 5413 4170 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 381.96
Current children cumulated vsize (KiB) 545804

[startup+162.31 s]
/proc/loadavg: 3.82 3.86 3.82 5/102 10722
/proc/meminfo: memFree=3118140/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=605.69
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19806 0 0 0 33749 26820 0 0 15 0 4 0 928743262 558903296 19762 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10157/statm: 136451 19762 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=152.53
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 8546 6707 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3077493036 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=150.46
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 8386 6660 0 0 15 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=151.56
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 8481 6675 0 0 16 0 4 0 928743271 558903296 19762 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 605.69
Current children cumulated vsize (KiB) 545804

[startup+222.315 s]
/proc/loadavg: 3.98 3.90 3.83 5/102 10911
/proc/meminfo: memFree=3117496/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=828.19
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 46353 36466 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=208.61
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 11783 9078 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493036 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=206.6
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 11541 9119 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=207.23
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 11674 9049 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 828.19
Current children cumulated vsize (KiB) 545804

[startup+282.31 s]
/proc/loadavg: 3.84 3.88 3.83 5/102 11098
/proc/meminfo: memFree=3117644/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=1050.75
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 58879 46196 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=264.28
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 14921 11507 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=262.48
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 14663 11585 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957422 0 0 0 0 0 0 0 -1 3 0 0 0

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

[pid=10157] ppid=10155 vsize=545804 CPUtime=1721.33
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 96581 75552 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=433.11
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 24524 18787 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=429.5
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 23934 19016 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=430.42
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 24435 18607 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 545804

[startup+522.311 s]
/proc/loadavg: 3.92 3.88 3.82 5/102 11856
/proc/meminfo: memFree=3117388/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=1943.93
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 109282 85111 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=488.84
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 27701 21183 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=485.23
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 27097 21426 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=485.65
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 27595 20970 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1943.93
Current children cumulated vsize (KiB) 545804

[startup+582.316 s]
/proc/loadavg: 3.83 3.86 3.82 5/102 12043
/proc/meminfo: memFree=3117396/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=2167.68
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 121891 94877 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=544.77
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 30846 23631 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=540.73
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 30213 23860 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=541.87
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 30820 23367 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2167.68
Current children cumulated vsize (KiB) 545804

[startup+642.311 s]
/proc/loadavg: 3.88 3.86 3.82 5/102 12241
/proc/meminfo: memFree=3117024/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=2391.63
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 134317 104846 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=600.98
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 33964 26134 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=596.72
/proc/10157/task/10160/stat : 10160 (gnovelty+) S 10155 10157 9860 0 -1 4202560 7 0 0 0 33302 26370 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=597.73
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 33931 25842 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2391.63
Current children cumulated vsize (KiB) 545804

[startup+702.316 s]
/proc/loadavg: 4.00 3.90 3.83 4/102 12430
/proc/meminfo: memFree=3116892/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=2616.07
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 146893 114714 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872780 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=657.08
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 37101 28607 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=653.15
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 36436 28879 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=653.64
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 37093 28271 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2616.07
Current children cumulated vsize (KiB) 545804

[startup+762.311 s]
/proc/loadavg: 3.83 3.87 3.82 5/102 12621
/proc/meminfo: memFree=3116404/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=2841.11
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 159425 124686 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=713.39
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 40271 31068 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=709.34
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 39530 31404 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=709.99
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 40272 30727 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708780 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2841.11
Current children cumulated vsize (KiB) 545804

[startup+822.307 s]
/proc/loadavg: 3.90 3.89 3.83 5/102 12810
/proc/meminfo: memFree=3117768/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=3066.12
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 171833 134779 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=769.59
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 43329 33630 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=765.74
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 42613 33961 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=766.54
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 43452 33202 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3066.12
Current children cumulated vsize (KiB) 545804

[startup+882.311 s]
/proc/loadavg: 3.95 3.91 3.83 5/102 12997
/proc/meminfo: memFree=3117396/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=3290.74
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 184390 144684 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=825.82
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 46512 36070 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=822.01
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 45759 36442 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=822.43
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 46563 35680 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3290.74
Current children cumulated vsize (KiB) 545804

[startup+942.316 s]
/proc/loadavg: 3.94 3.91 3.83 5/102 13184
/proc/meminfo: memFree=3117396/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=3515.16
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 196873 154643 0 0 16 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=882.09
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 49628 38581 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=878.18
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 48874 38944 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=878.14
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 49665 38149 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3515.16
Current children cumulated vsize (KiB) 545804



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.86 3.88 3.82 6/102 13373
/proc/meminfo: memFree=3117512/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=3729.73
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 208928 164045 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=935.51
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 52630 40921 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=931.75
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 51835 41340 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=932.1
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 52721 40489 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3729.73
Current children cumulated vsize (KiB) 545804

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

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

[startup+1000.01 s]
/proc/loadavg: 3.86 3.88 3.82 6/102 13373
/proc/meminfo: memFree=3117512/3368532 swapFree=1959840/1959888
[pid=10157] ppid=10155 vsize=545804 CPUtime=3729.73
/proc/10157/stat : 10157 (gnovelty+) R 10155 10157 9860 0 -1 4202496 19807 0 0 0 208928 164045 0 0 15 0 4 0 928743262 558903296 19763 4294967295 134512640 135680988 3215873584 3215872828 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10157/statm: 136451 19763 103 286 0 136163 0
[pid=10157/tid=10159] ppid=10155 vsize=545804 CPUtime=935.51
/proc/10157/task/10159/stat : 10159 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 52630 40921 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3077493084 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10157/tid=10160] ppid=10155 vsize=545804 CPUtime=931.75
/proc/10157/task/10160/stat : 10160 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 51835 41340 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3068100956 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10157/tid=10161] ppid=10155 vsize=545804 CPUtime=932.1
/proc/10157/task/10161/stat : 10161 (gnovelty+) R 10155 10157 9860 0 -1 4202560 7 0 0 0 52721 40489 0 0 15 0 4 0 928743271 558903296 19763 4294967295 134512640 135680988 3215873584 3058708828 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3729.73
Current children cumulated vsize (KiB) 545804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3729.78
CPU user time (s): 2089.31
CPU system time (s): 1640.47
CPU usage (%): 372.964
Max. virtual memory (cumulated for all children) (KiB): 545804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2089.31
system time used= 1640.47
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19807
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= 88383056
involuntary context switches= 194122

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 02:47:45
IDJOB=1778227
IDBENCH=70591
IDSOLVER=617
FILE ID=tipi39/1778227-1243471665
PBS_JOBID=
Free space on /tmp= 5744 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/440/unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778227-1243471665/watcher-1778227-1243471665 -o /tmp/evaluation-result-1778227-1243471665/solver-1778227-1243471665 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778227-1243471665.cnf 542786037 4

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

MD5SUM BENCH= c6ff311280a6d1a0e6f0a58edc326a81
RANDOM SEED= 542786037

Linux tipi39 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.067
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.067
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.067
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.067
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:       3197224 kB
Buffers:         21972 kB
Cached:          53964 kB
SwapCached:          0 kB
Active:          65016 kB
Inactive:        27176 kB
HighTotal:     2489216 kB
HighFree:      2421564 kB
LowTotal:       879316 kB
LowFree:        775660 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1460 kB
Writeback:           0 kB
AnonPages:       16052 kB
Mapped:           6408 kB
Slab:            69604 kB
SReclaimable:    57460 kB
SUnreclaim:      12144 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94984 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5744 MiB
End job on tipi39 at 2009-05-28 03:04:27