Trace number 1777933

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) 3871.42 1000.03

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
MD5SUMa49ed3ca5dd834a3f2dad0ab32e44184
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 variables75
Number of clauses6675
Sum of the clauses size46725
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 56675

Solver Data 

0.07/0.10	c +------------------------------+
0.07/0.10	c | gNovelty+, version 1.0       |
0.07/0.10	c +------------------------------+
0.07/0.10	c gnovelty+ -h for help
0.07/0.10	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-1777933-1243461688/watcher-1777933-1243461688 -o /tmp/evaluation-result-1777933-1243461688/solver-1777933-1243461688 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777933-1243461688.cnf 1047361424 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.57 4.89 4.90 3/96 11655
/proc/meminfo: memFree=218832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=509232 CPUtime=0.01
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 1426 0 0 0 0 1 0 0 18 0 1 0 1110832917 521453568 1383 4294967295 134512640 135680988 3216522960 3216522224 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/11655/statm: 127308 1391 99 286 0 127020 0

[startup+0.060563 s]
/proc/loadavg: 4.57 4.89 4.90 3/96 11655
/proc/meminfo: memFree=218832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=517044 CPUtime=0.07
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 12184 0 0 0 1 6 0 0 18 0 1 0 1110832917 529453056 12139 4294967295 134512640 135680988 3216522960 3216522224 134537779 0 0 0 0 0 0 0 17 1 0 0 0
/proc/11655/statm: 129261 12143 99 286 0 128973 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 517044

[startup+0.110567 s]
/proc/loadavg: 4.57 4.89 4.90 3/96 11655
/proc/meminfo: memFree=218832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=0.12
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19910 0 0 0 5 7 0 0 18 0 4 0 1110832917 559575040 19865 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19866 103 286 0 136327 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 546460

[startup+0.310542 s]
/proc/loadavg: 4.57 4.89 4.90 3/96 11655
/proc/meminfo: memFree=218832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=0.89
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 80 9 0 0 18 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 546460

[startup+0.71051 s]
/proc/loadavg: 4.57 4.89 4.90 3/96 11655
/proc/meminfo: memFree=218832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=2.49
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 236 13 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 546460

[startup+1.51967 s]
/proc/loadavg: 4.57 4.89 4.90 6/100 11659
/proc/meminfo: memFree=140308/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=5.67
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 540 27 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=1.39
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 131 8 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=1.38
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 134 4 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=1.38
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 135 3 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 546460

[startup+3.11031 s]
/proc/loadavg: 4.57 4.89 4.90 6/102 11664
/proc/meminfo: memFree=140012/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=11.63
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 1125 38 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522292 134533047 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=2.88
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 277 11 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=2.98
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 293 5 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=2.91
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 284 7 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 546460

[startup+6.31019 s]
/proc/loadavg: 4.53 4.87 4.90 6/100 11664
/proc/meminfo: memFree=139936/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=23.77
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 2313 64 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=5.93
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 575 18 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=6.1
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 600 10 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=6.02
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 590 12 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (KiB) 546460

[startup+12.7135 s]
/proc/loadavg: 4.64 4.89 4.90 6/100 11665
/proc/meminfo: memFree=140000/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=49.09
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 4802 107 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=12.28
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 1199 29 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=12.49
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 1223 26 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=12.3
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 1213 17 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.09
Current children cumulated vsize (KiB) 546460

[startup+25.5085 s]
/proc/loadavg: 4.95 4.94 4.92 6/100 11666
/proc/meminfo: memFree=140064/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=98.76
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 9697 179 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=24.66
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 2411 55 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=25.03
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 2459 44 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494260 134534551 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=24.48
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 2418 30 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.76
Current children cumulated vsize (KiB) 546460

[startup+51.1062 s]
/proc/loadavg: 5.03 4.96 4.92 7/100 11851
/proc/meminfo: memFree=139788/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=197.89
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 19430 359 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=49.39
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 4841 98 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=50.03
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 4921 82 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=49.05
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 4815 90 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 197.89
Current children cumulated vsize (KiB) 546460

[startup+102.312 s]
/proc/loadavg: 5.02 4.98 4.93 8/101 11904
/proc/meminfo: memFree=139740/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=394.99
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 38795 704 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=98.2
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 9620 200 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=99.05
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 9728 177 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=98.77
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 9713 164 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 394.99
Current children cumulated vsize (KiB) 546460

[startup+162.307 s]
/proc/loadavg: 5.01 4.98 4.93 6/100 12043
/proc/meminfo: memFree=139940/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=629.85
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 61875 1110 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=156.6
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 15354 306 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886388 134534581 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=157.84
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 15512 272 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494260 134534538 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=157.83
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 15524 259 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 629.85
Current children cumulated vsize (KiB) 546460

[startup+222.313 s]
/proc/loadavg: 4.84 4.92 4.91 6/100 12230
/proc/meminfo: memFree=139948/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=862.59
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 84713 1546 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=215.19
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 21100 419 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=216.58
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 21279 379 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=215.59
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 21196 363 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 862.59
Current children cumulated vsize (KiB) 546460

[startup+282.317 s]
/proc/loadavg: 4.95 4.93 4.91 6/100 12418
/proc/meminfo: memFree=139948/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=1093.5
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 107387 1963 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=272.46
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 26724 522 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=274.15
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 26926 489 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957422 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=11655] ppid=11653 vsize=546460 CPUtime=1555.42
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 152730 2812 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=386.79
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 37921 758 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=390.25
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 38340 685 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=388.63
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 38161 702 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1555.42
Current children cumulated vsize (KiB) 546460

[startup+462.312 s]
/proc/loadavg: 4.76 4.85 4.88 6/100 12988
/proc/meminfo: memFree=139320/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=1787.56
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 175554 3202 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522220 134997743 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=444.81
/proc/11655/task/11657/stat : 11657 (gnovelty+) S 11653 11655 10015 0 -1 4202560 32 0 0 0 43622 859 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=448.56
/proc/11655/task/11658/stat : 11658 (gnovelty+) S 11653 11655 10015 0 -1 4202560 33 0 0 0 44060 796 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=446.49
/proc/11655/task/11659/stat : 11659 (gnovelty+) S 11653 11655 10015 0 -1 4202560 34 0 0 0 43859 790 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (KiB) 546460

[startup+522.31 s]
/proc/loadavg: 4.61 4.78 4.85 8/100 13175
/proc/meminfo: memFree=139328/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=2019.89
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 198356 3633 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=503.25
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 49363 962 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=506.2
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 49716 904 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=504.93
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 49591 902 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2019.89
Current children cumulated vsize (KiB) 546460

[startup+582.322 s]
/proc/loadavg: 4.41 4.70 4.82 7/100 13363
/proc/meminfo: memFree=139328/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=2251.66
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 221096 4070 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522292 134535186 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=560.63
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 54986 1077 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=564.56
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 55452 1004 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=562.65
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 55257 1008 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2251.66
Current children cumulated vsize (KiB) 546460

[startup+642.312 s]
/proc/loadavg: 4.67 4.72 4.82 7/100 13555
/proc/meminfo: memFree=139204/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=2484.84
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 243998 4486 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=619.13
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 60721 1192 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=623.02
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 61195 1107 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=620.64
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 60962 1102 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2484.84
Current children cumulated vsize (KiB) 546460

[startup+702.302 s]
/proc/loadavg: 4.89 4.78 4.83 6/100 13743
/proc/meminfo: memFree=139080/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=2717.28
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 266843 4885 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=676.93
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 66398 1295 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886388 134533494 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=681.62
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 66964 1198 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=678.8
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 66671 1209 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2717.28
Current children cumulated vsize (KiB) 546460

[startup+762.318 s]
/proc/loadavg: 5.01 4.84 4.84 5/100 13931
/proc/meminfo: memFree=138824/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=2951.08
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 289837 5271 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=735.4
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 72151 1389 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=740.3
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 72721 1309 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=737.14
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 72416 1298 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2951.08
Current children cumulated vsize (KiB) 546460

[startup+822.312 s]
/proc/loadavg: 4.94 4.85 4.84 9/100 14118
/proc/meminfo: memFree=138832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=3182.4
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 312515 5725 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=793.86
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 77877 1509 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=798.24
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 78398 1426 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=794.95
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 78081 1414 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3182.4
Current children cumulated vsize (KiB) 546460

[startup+882.321 s]
/proc/loadavg: 5.23 4.98 4.89 7/100 14306
/proc/meminfo: memFree=138956/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=3415.25
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 335355 6170 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=852.1
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 83592 1618 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=855.97
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 84048 1549 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=853.22
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 83801 1521 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3415.25
Current children cumulated vsize (KiB) 546460

[startup+942.315 s]
/proc/loadavg: 5.13 4.99 4.90 7/100 14500
/proc/meminfo: memFree=138832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=3645.87
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 357999 6588 0 0 15 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=910.2
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 89296 1724 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=912.81
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 89648 1633 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=911.34
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 89503 1631 0 0 16 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3645.87
Current children cumulated vsize (KiB) 546460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.78 4.94 4.89 6/100 14689
/proc/meminfo: memFree=138832/3368532 swapFree=1953788/1959888
[pid=11655] ppid=11653 vsize=546460 CPUtime=3871.34
/proc/11655/stat : 11655 (gnovelty+) R 11653 11655 10015 0 -1 4202496 19985 0 0 0 380127 7007 0 0 16 0 4 0 1110832917 559575040 19940 4294967295 134512640 135680988 3216522960 3216522204 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11655/statm: 136615 19940 103 286 0 136327 0
[pid=11655/tid=11657] ppid=11653 vsize=546460 CPUtime=966.73
/proc/11655/task/11657/stat : 11657 (gnovelty+) R 11653 11655 10015 0 -1 4202560 32 0 0 0 94843 1830 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11655/tid=11658] ppid=11653 vsize=546460 CPUtime=968.96
/proc/11655/task/11658/stat : 11658 (gnovelty+) R 11653 11655 10015 0 -1 4202560 33 0 0 0 95157 1739 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11655/tid=11659] ppid=11653 vsize=546460 CPUtime=967.81
/proc/11655/task/11659/stat : 11659 (gnovelty+) R 11653 11655 10015 0 -1 4202560 34 0 0 0 95043 1738 0 0 15 0 4 0 1110832927 559575040 19940 4294967295 134512640 135680988 3216522960 3059102044 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3871.34
Current children cumulated vsize (KiB) 546460

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.03
CPU time (s): 3871.42
CPU user time (s): 3801.34
CPU system time (s): 70.08
CPU usage (%): 387.129
Max. virtual memory (cumulated for all children) (KiB): 546460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3801.34
system time used= 70.08
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19985
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= 1220436
involuntary context switches= 41178

runsolver used 0.35 second user time and 0.46 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 00:01:28
IDJOB=1777933
IDBENCH=70493
IDSOLVER=617
FILE ID=/1777933-1243461688
PBS_JOBID=
Free space on /tmp= 6476 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/75/unif-k7-r89-v75-c6675-S1736708510-089.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777933-1243461688/watcher-1777933-1243461688 -o /tmp/evaluation-result-1777933-1243461688/solver-1777933-1243461688 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777933-1243461688.cnf 1047361424 4

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

MD5SUM BENCH= a49ed3ca5dd834a3f2dad0ab32e44184
RANDOM SEED= 1047361424

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:        218832 kB
Buffers:         47104 kB
Cached:        2932308 kB
SwapCached:       2256 kB
Active:        1721952 kB
Inactive:      1267044 kB
HighTotal:     2489216 kB
HighFree:        87124 kB
LowTotal:       879316 kB
LowFree:        131708 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:        8404 kB
Mapped:           3232 kB
Slab:           151204 kB
SReclaimable:   137632 kB
SUnreclaim:      13572 kB
PageTables:        464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88476 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6476 MiB
End job on  at 2009-05-28 00:18:08