Trace number 1777882

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) 3897.25 1000.05

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/UNKNOWN/65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
MD5SUM16e4b9d806035068b91886cd39d11cb8
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 variables65
Number of clauses5785
Sum of the clauses size40495
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 55785

Solver Data 

0.09/0.09	c +------------------------------+
0.09/0.09	c | gNovelty+, version 1.0       |
0.09/0.09	c +------------------------------+
0.09/0.09	c gnovelty+ -h for help
0.09/0.09	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-1777882-1243459632/watcher-1777882-1243459632 -o /tmp/evaluation-result-1777882-1243459632/solver-1777882-1243459632 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777882-1243459632.cnf 1071708934 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.53 4.66 4.61 3/98 4311
/proc/meminfo: memFree=3197256/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=509228 CPUtime=0.01
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 1427 0 0 0 1 0 0 0 18 0 1 0 927539960 521449472 1383 4294967295 134512640 135680988 3216645872 3216645136 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4311/statm: 127307 1391 99 286 0 127019 0

[startup+0.08278 s]
/proc/loadavg: 4.53 4.66 4.61 3/98 4311
/proc/meminfo: memFree=3197256/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=517040 CPUtime=0.09
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 17278 0 0 0 6 3 0 0 18 0 1 0 927539960 529448960 17233 4294967295 134512640 135680988 3216645872 3216645136 134537968 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4311/statm: 129260 17245 99 286 0 128972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 517040

[startup+0.112743 s]
/proc/loadavg: 4.53 4.66 4.61 3/98 4311
/proc/meminfo: memFree=3197256/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=0.12
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19919 0 0 0 8 4 0 0 20 0 4 0 927539960 559468544 19874 4294967295 134512640 135680988 3216645872 3216645116 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4311/statm: 136589 19874 103 286 0 136301 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 546356

[startup+0.312724 s]
/proc/loadavg: 4.53 4.66 4.61 3/98 4311
/proc/meminfo: memFree=3197256/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=0.89
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 85 4 0 0 18 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 546356

[startup+0.712698 s]
/proc/loadavg: 4.53 4.66 4.61 3/98 4311
/proc/meminfo: memFree=3197256/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=2.49
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 243 6 0 0 16 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 546356

[startup+1.51484 s]
/proc/loadavg: 4.53 4.66 4.61 6/102 4315
/proc/meminfo: memFree=3118816/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=5.66
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 552 14 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=1.39
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 138 1 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=1.41
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 138 3 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=1.35
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 133 2 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 546356

[startup+3.11519 s]
/proc/loadavg: 4.57 4.67 4.62 6/102 4315
/proc/meminfo: memFree=3118320/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=11.77
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 1154 23 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=2.99
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 296 3 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=2.9
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 287 3 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=2.86
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 281 5 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 546356

[startup+6.31387 s]
/proc/loadavg: 4.57 4.67 4.62 5/102 4316
/proc/meminfo: memFree=3118320/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=24.1
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 2362 48 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=6.19
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 608 11 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=5.84
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 575 9 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=5.92
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 581 11 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.1
Current children cumulated vsize (KiB) 546356

[startup+12.7153 s]
/proc/loadavg: 4.56 4.66 4.61 6/102 4316
/proc/meminfo: memFree=3118384/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=49.22
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 4822 100 0 0 16 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=12.54
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 1229 25 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=12.12
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 1189 23 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=12.14
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 1189 25 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.22
Current children cumulated vsize (KiB) 546356

[startup+25.5133 s]
/proc/loadavg: 4.63 4.67 4.62 6/102 4318
/proc/meminfo: memFree=3118432/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=99.05
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 9710 195 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=24.98
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 2458 40 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=24.42
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 2392 50 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=24.54
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 2407 47 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.05
Current children cumulated vsize (KiB) 546356

[startup+51.1088 s]
/proc/loadavg: 4.71 4.68 4.62 5/102 4502
/proc/meminfo: memFree=3117916/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=198.8
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 19466 414 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=49.83
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 4883 100 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=49.13
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 4796 117 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=49.55
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 4861 94 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.8
Current children cumulated vsize (KiB) 546356

[startup+102.318 s]
/proc/loadavg: 4.70 4.69 4.63 6/102 4690
/proc/meminfo: memFree=3117736/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=397.75
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 38987 788 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=98.97
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 9707 190 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=98.96
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 9684 212 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=99.66
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 9783 183 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 397.75
Current children cumulated vsize (KiB) 546356

[startup+162.322 s]
/proc/loadavg: 4.85 4.73 4.64 5/102 4877
/proc/meminfo: memFree=3117620/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=632.82
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 62052 1230 0 0 16 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=158.05
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 15504 301 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=157.89
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 15477 312 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=157.89
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 15494 295 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 632.82
Current children cumulated vsize (KiB) 546356

[startup+222.317 s]
/proc/loadavg: 4.92 4.77 4.66 6/102 5064
/proc/meminfo: memFree=3117448/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=869.48
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 85231 1717 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=217.39
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 21325 414 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=217.17
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 21298 419 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=216.76
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 21249 427 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 869.48
Current children cumulated vsize (KiB) 546356

[startup+282.312 s]
/proc/loadavg: 4.65 4.73 4.65 6/103 5186
/proc/meminfo: memFree=3117596/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=1104.66
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 108300 2166 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=276.25
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 27106 519 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=276.08
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 27073 535 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=4311] ppid=4309 vsize=546356 CPUtime=1572.21
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 154142 3079 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=392.85
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 38518 767 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=393.35
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 38551 784 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=393.07
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 38560 747 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1572.21
Current children cumulated vsize (KiB) 546356

[startup+462.306 s]
/proc/loadavg: 5.64 4.98 4.74 6/102 5822
/proc/meminfo: memFree=3117512/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=1807.51
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 177225 3526 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=451.47
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 44275 872 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=451.72
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 44282 890 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=452.14
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 44352 862 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1807.51
Current children cumulated vsize (KiB) 546356

[startup+522.311 s]
/proc/loadavg: 4.92 4.89 4.72 7/102 6009
/proc/meminfo: memFree=3117388/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=2040.65
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 200109 3956 0 0 16 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645204 134535144 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=509.9
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 50008 982 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=509.57
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 49958 999 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=510.81
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 50114 967 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2040.65
Current children cumulated vsize (KiB) 546356

[startup+582.315 s]
/proc/loadavg: 4.85 4.89 4.73 5/102 6198
/proc/meminfo: memFree=3117380/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=2273.49
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 222904 4445 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=568.06
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 55700 1106 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=567.71
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 55653 1118 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=569.22
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 55845 1077 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2273.49
Current children cumulated vsize (KiB) 546356

[startup+642.311 s]
/proc/loadavg: 5.35 5.01 4.78 5/102 6385
/proc/meminfo: memFree=3117388/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=2506.65
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 245754 4911 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=626.4
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 61424 1216 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=625.21
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 61287 1234 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=627.97
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 61594 1203 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2506.65
Current children cumulated vsize (KiB) 546356

[startup+702.32 s]
/proc/loadavg: 5.09 4.97 4.78 6/102 6578
/proc/meminfo: memFree=3117364/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=2737.73
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 268423 5350 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=684.09
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 67084 1325 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=682.59
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 66942 1317 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=685.76
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 67248 1328 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2737.73
Current children cumulated vsize (KiB) 546356

[startup+762.311 s]
/proc/loadavg: 4.77 4.90 4.76 5/102 6765
/proc/meminfo: memFree=3117388/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=2971.8
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 291348 5832 0 0 16 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=742.94
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 72847 1447 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=741.08
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 72680 1428 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=744.34
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 72987 1447 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2971.8
Current children cumulated vsize (KiB) 546356

[startup+822.306 s]
/proc/loadavg: 4.98 4.94 4.78 6/102 6952
/proc/meminfo: memFree=3117372/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=3203.03
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 314001 6302 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=800.8
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 78507 1573 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=798.52
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 78288 1564 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068572084 134533489 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=802.99
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 78752 1547 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3203.03
Current children cumulated vsize (KiB) 546356

[startup+882.312 s]
/proc/loadavg: 4.64 4.86 4.76 5/102 7141
/proc/meminfo: memFree=3117504/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=3436.66
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 336946 6720 0 0 16 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=859.62
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 84290 1672 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=856.81
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 84006 1675 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=861.3
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 84494 1636 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179868 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3436.66
Current children cumulated vsize (KiB) 546356

[startup+942.317 s]
/proc/loadavg: 4.63 4.80 4.75 6/102 7331
/proc/meminfo: memFree=3117324/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=3671.4
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 359949 7191 0 0 15 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=918.29
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 90033 1796 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=915.65
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 89774 1791 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=920.22
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 90258 1764 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179956 134533436 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3671.4
Current children cumulated vsize (KiB) 546356



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.58 4.76 4.73 7/103 7342
/proc/meminfo: memFree=3117688/3368532 swapFree=1959840/1959888
[pid=4311] ppid=4309 vsize=546356 CPUtime=3897.15
/proc/4311/stat : 4311 (gnovelty+) R 4309 4311 9860 0 -1 4202496 19948 0 0 0 382087 7628 0 0 16 0 4 0 927539960 559468544 19903 4294967295 134512640 135680988 3216645872 3216645116 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4311/statm: 136589 19903 103 286 0 136301 0
[pid=4311/tid=4313] ppid=4309 vsize=546356 CPUtime=975.17
/proc/4311/task/4313/stat : 4313 (gnovelty+) R 4309 4311 9860 0 -1 4202560 27 0 0 0 95616 1901 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3077964124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4311/tid=4314] ppid=4309 vsize=546356 CPUtime=971.9
/proc/4311/task/4314/stat : 4314 (gnovelty+) R 4309 4311 9860 0 -1 4202560 28 0 0 0 95277 1913 0 0 15 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3068571996 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4311/tid=4315] ppid=4309 vsize=546356 CPUtime=976.58
/proc/4311/task/4315/stat : 4315 (gnovelty+) R 4309 4311 9860 0 -1 4202560 29 0 0 0 95788 1870 0 0 16 0 4 0 927539970 559468544 19903 4294967295 134512640 135680988 3216645872 3059179956 134533064 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3897.15
Current children cumulated vsize (KiB) 546356

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.05
CPU time (s): 3897.25
CPU user time (s): 3820.97
CPU system time (s): 76.28
CPU usage (%): 389.706
Max. virtual memory (cumulated for all children) (KiB): 546356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3820.97
system time used= 76.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19948
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= 1443368
involuntary context switches= 42590

runsolver used 0.23 second user time and 0.34 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-27 23:27:12
IDJOB=1777882
IDBENCH=70476
IDSOLVER=617
FILE ID=tipi39/1777882-1243459632
PBS_JOBID=
Free space on /tmp= 5744 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/65/unif-k7-r89-v65-c5785-S1818347447-078.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777882-1243459632/watcher-1777882-1243459632 -o /tmp/evaluation-result-1777882-1243459632/solver-1777882-1243459632 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777882-1243459632.cnf 1071708934 4

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

MD5SUM BENCH= 16e4b9d806035068b91886cd39d11cb8
RANDOM SEED= 1071708934

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:       3197552 kB
Buffers:         21904 kB
Cached:          53632 kB
SwapCached:          0 kB
Active:          65088 kB
Inactive:        26692 kB
HighTotal:     2489216 kB
HighFree:      2421744 kB
LowTotal:       879316 kB
LowFree:        775808 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1668 kB
Writeback:           0 kB
AnonPages:       16268 kB
Mapped:           6188 kB
Slab:            69464 kB
SReclaimable:    57304 kB
SUnreclaim:      12160 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-27 23:43:52