Trace number 1777195

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
MD5SUM7df25975bd52e28f5eb180dab9fc29e0
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 variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 517000

Solver Data 

0.10/0.13	c +------------------------------+
0.10/0.13	c | gNovelty+, version 1.0       |
0.10/0.13	c +------------------------------+
0.10/0.13	c gnovelty+ -h for help
0.10/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-1777195-1243439076/watcher-1777195-1243439076 -o /tmp/evaluation-result-1777195-1243439076/solver-1777195-1243439076 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777195-1243439076.cnf 733510970 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.87 5.03 4.79 3/98 3320
/proc/meminfo: memFree=3201952/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=509228 CPUtime=0
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 1115 0 0 0 0 0 0 0 18 0 1 0 925484310 521449472 1072 4294967295 134512640 135680988 3213366224 3213365488 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/3320/statm: 127307 1080 99 286 0 127019 0

[startup+0.069683 s]
/proc/loadavg: 4.87 5.03 4.79 3/98 3320
/proc/meminfo: memFree=3201952/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=517044 CPUtime=0.06
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 10048 0 0 0 4 2 0 0 18 0 1 0 925484310 529453056 10005 4294967295 134512640 135680988 3213366224 3213364332 134958286 0 0 0 0 0 0 0 17 3 0 0 0
/proc/3320/statm: 129261 10005 99 286 0 128973 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 517044

[startup+0.109671 s]
/proc/loadavg: 4.87 5.03 4.79 3/98 3320
/proc/meminfo: memFree=3201952/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=517040 CPUtime=0.1
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 16382 0 0 0 8 2 0 0 18 0 1 0 925484310 529448960 16338 4294967295 134512640 135680988 3213366224 3213365488 134537905 0 0 0 0 0 0 0 17 3 0 0 0
/proc/3320/statm: 129260 16343 99 286 0 128972 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517040

[startup+0.309655 s]
/proc/loadavg: 4.87 5.03 4.79 3/98 3320
/proc/meminfo: memFree=3201952/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=0.76
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 73 3 0 0 18 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 547948

[startup+0.709623 s]
/proc/loadavg: 4.87 5.03 4.79 3/98 3320
/proc/meminfo: memFree=3201952/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=2.36
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 233 3 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 547948

[startup+1.51785 s]
/proc/loadavg: 4.87 5.03 4.79 6/102 3324
/proc/meminfo: memFree=3122180/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=5.58
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 550 8 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=1.37
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 137 0 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=1.34
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 132 2 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=1.36
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 134 2 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 547948

[startup+3.10982 s]
/proc/loadavg: 4.87 5.03 4.79 5/102 3325
/proc/meminfo: memFree=3121756/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=11.91
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 1170 21 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=2.97
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 293 4 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=2.9
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 287 3 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=2.95
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 291 4 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 547948

[startup+6.30954 s]
/proc/loadavg: 4.80 5.01 4.79 6/102 3325
/proc/meminfo: memFree=3121756/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=23.99
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 2360 39 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=6.15
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 609 6 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=5.83
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 573 10 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=5.92
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 585 7 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.99
Current children cumulated vsize (KiB) 547948

[startup+12.7228 s]
/proc/loadavg: 4.82 5.01 4.79 6/102 3325
/proc/meminfo: memFree=3121572/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=49.22
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 4846 76 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=12.51
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 1232 19 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=12.22
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 1204 18 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=12.15
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 1197 18 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.22
Current children cumulated vsize (KiB) 547948

[startup+25.5185 s]
/proc/loadavg: 5.00 5.04 4.80 5/102 3536
/proc/meminfo: memFree=3121260/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=99.39
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 9781 158 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=24.92
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 2456 36 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=24.95
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 2456 39 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=24.8
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 2442 38 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.39
Current children cumulated vsize (KiB) 547948

[startup+51.1257 s]
/proc/loadavg: 5.07 5.06 4.81 5/102 3537
/proc/meminfo: memFree=3121512/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=199.65
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 19666 299 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=50.1
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 4949 61 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079476 134534029 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=49.93
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 4919 74 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=49.96
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 4920 76 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 199.65
Current children cumulated vsize (KiB) 547948

[startup+102.324 s]
/proc/loadavg: 4.95 5.02 4.81 5/102 3725
/proc/meminfo: memFree=3121396/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=398.64
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 39245 619 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=99.3
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 9788 142 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=100.21
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 9874 147 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=99.83
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 9824 159 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 398.64
Current children cumulated vsize (KiB) 547948

[startup+162.307 s]
/proc/loadavg: 5.09 5.03 4.83 6/102 3912
/proc/meminfo: memFree=3121280/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=632.46
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 62237 1009 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=157.52
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 15509 243 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079476 134534576 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=158.73
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 15628 245 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=158.65
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 15615 250 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 632.46
Current children cumulated vsize (KiB) 547948

[startup+222.314 s]
/proc/loadavg: 5.02 5.03 4.84 8/102 4104
/proc/meminfo: memFree=3121116/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=864.26
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 85023 1403 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=215.99
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 21264 335 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=215.95
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 21256 339 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=216.74
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 21316 358 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 864.26
Current children cumulated vsize (KiB) 547948

[startup+282.307 s]
/proc/loadavg: 4.97 5.00 4.83 7/102 4291
/proc/meminfo: memFree=3121032/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=1097.99
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 108023 1776 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365556 134533068 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=274.13
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 26973 440 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=274.32
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 27000 432 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=3320] ppid=3318 vsize=547948 CPUtime=1565.07
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 153982 2525 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=391.06
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 38489 617 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=391.1
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 38488 622 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=392.2
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 38580 640 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1565.07
Current children cumulated vsize (KiB) 547948

[startup+462.312 s]
/proc/loadavg: 4.77 4.91 4.82 7/102 4857
/proc/meminfo: memFree=3120784/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=1798.84
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 176965 2919 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=449.43
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 44229 714 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=449.21
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 44201 720 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=450.94
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 44349 745 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1798.84
Current children cumulated vsize (KiB) 547948

[startup+522.307 s]
/proc/loadavg: 4.77 4.89 4.81 5/102 5045
/proc/meminfo: memFree=3120728/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=2028.52
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 199610 3242 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=506.65
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 49878 787 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=506.28
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 49828 800 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=507.98
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 49962 836 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2028.52
Current children cumulated vsize (KiB) 547948

[startup+582.314 s]
/proc/loadavg: 4.87 4.91 4.82 6/102 5233
/proc/meminfo: memFree=3120908/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=2262.12
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 222591 3621 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=565.08
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 55637 871 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=564.59
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 55556 903 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=566.52
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 55724 928 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 547948

[startup+642.309 s]
/proc/loadavg: 4.95 4.91 4.83 7/102 5424
/proc/meminfo: memFree=3120652/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=2495.67
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 245559 4008 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=623
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 61328 972 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=623.71
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 61371 1000 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=625.05
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 61484 1021 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2495.67
Current children cumulated vsize (KiB) 547948

[startup+702.314 s]
/proc/loadavg: 5.04 4.96 4.85 5/102 5613
/proc/meminfo: memFree=3120628/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=2731.27
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 268738 4389 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=682.14
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 67145 1069 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=682.41
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 67153 1088 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=684.32
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 67314 1118 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2731.27
Current children cumulated vsize (KiB) 547948

[startup+762.311 s]
/proc/loadavg: 4.95 4.95 4.85 8/102 5800
/proc/meminfo: memFree=3120520/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=2963.74
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 291623 4751 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=739.89
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 72843 1146 0 0 16 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=740.92
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 72912 1180 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=742.25
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 73010 1215 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2963.74
Current children cumulated vsize (KiB) 547948

[startup+822.322 s]
/proc/loadavg: 5.02 4.96 4.85 7/102 5988
/proc/meminfo: memFree=3120536/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=3197.26
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 314585 5141 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=797.7
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 78519 1251 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=799.43
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 78668 1275 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=801.42
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 78824 1318 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3197.26
Current children cumulated vsize (KiB) 547948

[startup+882.309 s]
/proc/loadavg: 5.57 5.13 4.92 5/102 6176
/proc/meminfo: memFree=3120588/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=3430.62
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 337542 5520 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=855.94
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 84253 1341 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=858.15
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 84440 1375 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=859.28
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 84522 1406 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3430.62
Current children cumulated vsize (KiB) 547948

[startup+942.314 s]
/proc/loadavg: 5.40 5.15 4.94 6/102 6367
/proc/meminfo: memFree=3120652/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=3663.16
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 360428 5888 0 0 16 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=914.1
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 89978 1432 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=916.76
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 90192 1484 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=917.52
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 90253 1499 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3663.16
Current children cumulated vsize (KiB) 547948



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.19 5.14 4.94 6/102 6556
/proc/meminfo: memFree=3120356/3368532 swapFree=1959840/1959888
[pid=3320] ppid=3318 vsize=547948 CPUtime=3886.89
/proc/3320/stat : 3320 (gnovelty+) R 3318 3320 9860 0 -1 4202496 20422 0 0 0 382451 6238 0 0 15 0 4 0 925484310 561098752 20378 4294967295 134512640 135680988 3213366224 3213365468 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3320/statm: 136987 20378 103 286 0 136699 0
[pid=3320/tid=3322] ppid=3318 vsize=547948 CPUtime=968.93
/proc/3320/task/3322/stat : 3322 (gnovelty+) R 3318 3320 9860 0 -1 4202560 92 0 0 0 95370 1523 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3077079388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3320/tid=3323] ppid=3318 vsize=547948 CPUtime=973.77
/proc/3320/task/3323/stat : 3323 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 95817 1560 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3067687260 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3320/tid=3324] ppid=3318 vsize=547948 CPUtime=973.97
/proc/3320/task/3324/stat : 3324 (gnovelty+) R 3318 3320 9860 0 -1 4202560 93 0 0 0 95812 1585 0 0 15 0 4 0 925484323 561098752 20378 4294967295 134512640 135680988 3213366224 3058295132 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3886.89
Current children cumulated vsize (KiB) 547948

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): 3886.98
CPU user time (s): 3824.59
CPU system time (s): 62.39
CPU usage (%): 388.682
Max. virtual memory (cumulated for all children) (KiB): 547948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3824.59
system time used= 62.39
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20422
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= 1194683
involuntary context switches= 45162

runsolver used 0.41 second user time and 0.37 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-27 17:44:36
IDJOB=1777195
IDBENCH=70247
IDSOLVER=617
FILE ID=tipi39/1777195-1243439076
PBS_JOBID=
Free space on /tmp= 5743 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S1588298513-036.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777195-1243439076/watcher-1777195-1243439076 -o /tmp/evaluation-result-1777195-1243439076/solver-1777195-1243439076 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777195-1243439076.cnf 733510970 4

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

MD5SUM BENCH= 7df25975bd52e28f5eb180dab9fc29e0
RANDOM SEED= 733510970

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:       3201952 kB
Buffers:         21588 kB
Cached:          49364 kB
SwapCached:          0 kB
Active:          65112 kB
Inactive:        22312 kB
HighTotal:     2489216 kB
HighFree:      2425524 kB
LowTotal:       879316 kB
LowFree:        776428 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1924 kB
Writeback:           0 kB
AnonPages:       16268 kB
Mapped:           6188 kB
Slab:            69192 kB
SReclaimable:    57036 kB
SUnreclaim:      12156 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= 5743 MiB
End job on tipi39 at 2009-05-27 18:01:18