Trace number 1777927

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

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/UNKNOWN/75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
MD5SUMbcd262fcf09db79337137ea25c65ab0c
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.09/0.10	c +------------------------------+
0.09/0.10	c | gNovelty+, version 1.0       |
0.09/0.10	c +------------------------------+
0.09/0.10	c gnovelty+ -h for help
0.09/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-1777927-1243461635/watcher-1777927-1243461635 -o /tmp/evaluation-result-1777927-1243461635/solver-1777927-1243461635 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777927-1243461635.cnf 590640587 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.74 4.79 4.79 3/98 10626
/proc/meminfo: memFree=3197632/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=509232 CPUtime=0
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 1447 0 0 0 0 0 0 0 18 0 1 0 927740242 521453568 1404 4294967295 134512640 135680988 3220064816 3220064080 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/10626/statm: 127308 1410 99 286 0 127020 0

[startup+0.099047 s]
/proc/loadavg: 4.74 4.79 4.79 3/98 10626
/proc/meminfo: memFree=3197632/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=517044 CPUtime=0.09
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19465 0 0 0 1 8 0 0 18 0 1 0 927740242 529453056 19422 4294967295 134512640 135680988 3220064816 3220064080 134537905 0 0 0 0 0 0 0 17 3 0 0 0
/proc/10626/statm: 129261 19427 99 286 0 128973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 517044

[startup+0.109047 s]
/proc/loadavg: 4.74 4.79 4.79 3/98 10626
/proc/meminfo: memFree=3197632/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=0.1
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19885 0 0 0 1 9 0 0 18 0 4 0 927740242 559575040 19841 4294967295 134512640 135680988 3220064816 3220064096 134542660 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19841 103 286 0 136327 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 546460

[startup+0.309031 s]
/proc/loadavg: 4.74 4.79 4.79 3/98 10626
/proc/meminfo: memFree=3197632/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=0.81
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 70 11 0 0 19 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 546460

[startup+0.708998 s]
/proc/loadavg: 4.74 4.79 4.79 3/98 10626
/proc/meminfo: memFree=3197632/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=2.41
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 226 15 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 546460

[startup+1.51319 s]
/proc/loadavg: 4.74 4.79 4.79 5/102 10631
/proc/meminfo: memFree=3118740/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=5.62
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 541 21 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=1.39
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 136 3 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=1.39
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 135 4 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=1.34
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 132 2 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 546460

[startup+3.1088 s]
/proc/loadavg: 4.74 4.79 4.79 6/102 10631
/proc/meminfo: memFree=3118740/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=11.93
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 1162 31 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=2.96
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 289 7 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=2.98
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 293 5 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=2.93
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 287 6 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176436 134534538 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 546460

[startup+6.30854 s]
/proc/loadavg: 4.76 4.79 4.79 8/102 10631
/proc/meminfo: memFree=3118772/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=24.28
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 2369 59 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=6.07
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 593 14 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960692 134534576 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=6.03
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 587 16 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=5.92
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 580 12 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176436 134533180 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 546460

[startup+12.7143 s]
/proc/loadavg: 4.78 4.80 4.79 5/102 10631
/proc/meminfo: memFree=3118680/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=48.99
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 4813 86 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=12.38
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 1217 21 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=12.37
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 1217 20 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=11.99
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 1181 18 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.99
Current children cumulated vsize (KiB) 546460

[startup+25.507 s]
/proc/loadavg: 4.75 4.79 4.79 6/102 10815
/proc/meminfo: memFree=3118252/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=98.43
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 9667 176 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=24.64
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 2421 43 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=24.73
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 2429 44 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=24.49
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 2407 42 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176436 134534524 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.43
Current children cumulated vsize (KiB) 546460

[startup+51.1149 s]
/proc/loadavg: 5.18 4.89 4.82 5/102 10818
/proc/meminfo: memFree=3118224/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=197.11
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 19350 361 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=49.02
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 4810 92 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960692 134533068 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=49.53
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 4855 98 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=49.26
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 4846 80 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 197.11
Current children cumulated vsize (KiB) 546460

[startup+102.321 s]
/proc/loadavg: 5.05 4.89 4.82 7/102 11009
/proc/meminfo: memFree=3117960/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=397.49
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 39020 729 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=99.19
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 9722 197 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=99.51
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 9765 186 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=99.44
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 9783 161 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 397.49
Current children cumulated vsize (KiB) 546460

[startup+162.316 s]
/proc/loadavg: 4.77 4.83 4.81 5/102 11196
/proc/meminfo: memFree=3117844/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=630.21
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 61883 1138 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=157.33
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 15438 295 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=157.16
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 15435 281 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=157.62
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 15488 274 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 630.21
Current children cumulated vsize (KiB) 546460

[startup+222.313 s]
/proc/loadavg: 4.95 4.86 4.82 5/102 11384
/proc/meminfo: memFree=3117876/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=864.07
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 84836 1571 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=215.24
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 21122 402 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=216.35
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 21243 392 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=216.31
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 21241 390 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 864.07
Current children cumulated vsize (KiB) 546460

[startup+282.306 s]
/proc/loadavg: 4.83 4.85 4.81 5/102 11572
/proc/meminfo: memFree=3117688/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=1097.37
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 107732 2005 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=273.15
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 26804 511 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960692 134533962 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=274.98
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 26990 508 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 0 0 0 0

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

[pid=10626] ppid=10624 vsize=546460 CPUtime=1563.82
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 153552 2830 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=389.5
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 38240 710 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=391.45
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 38448 697 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=391.87
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 38476 711 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1563.82
Current children cumulated vsize (KiB) 546460

[startup+462.312 s]
/proc/loadavg: 4.73 4.88 4.83 6/102 12141
/proc/meminfo: memFree=3117348/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=1798.1
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 176552 3258 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064148 134533436 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=447.86
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 43968 818 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=449.95
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 44168 827 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=450.61
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 44248 813 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 546460

[startup+522.317 s]
/proc/loadavg: 4.98 4.91 4.84 6/102 12329
/proc/meminfo: memFree=3117356/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=2033.84
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 199715 3669 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=506.32
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 49705 927 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=509.28
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 49994 934 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=509.29
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 50023 906 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2033.84
Current children cumulated vsize (KiB) 546460

[startup+582.312 s]
/proc/loadavg: 4.46 4.77 4.80 8/102 12517
/proc/meminfo: memFree=3117472/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=2266.9
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 222621 4069 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=565.3
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 55503 1027 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=567.16
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 55681 1035 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=567.2
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 55724 996 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2266.9
Current children cumulated vsize (KiB) 546460

[startup+642.311 s]
/proc/loadavg: 4.53 4.73 4.78 5/102 12704
/proc/meminfo: memFree=3117472/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=2501.21
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 245642 4479 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=623.75
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 61247 1128 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=625.5
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 61424 1126 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=625.99
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 61485 1114 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2501.21
Current children cumulated vsize (KiB) 546460

[startup+702.312 s]
/proc/loadavg: 4.87 4.78 4.79 6/102 12892
/proc/meminfo: memFree=3117488/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=2732.65
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 268344 4921 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=682.07
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 66971 1236 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=683.25
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 67081 1244 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568564 134533068 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=683.97
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 67164 1233 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2732.65
Current children cumulated vsize (KiB) 546460

[startup+762.313 s]
/proc/loadavg: 5.01 4.84 4.81 5/102 13080
/proc/meminfo: memFree=3117496/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=2965.24
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 291172 5352 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=740.46
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 72709 1337 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=740.46
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 72695 1351 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=742.17
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 72866 1351 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2965.24
Current children cumulated vsize (KiB) 546460

[startup+822.316 s]
/proc/loadavg: 4.87 4.84 4.81 8/102 13272
/proc/meminfo: memFree=3117224/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=3201.36
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 314390 5746 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=799.64
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 78544 1420 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=799.59
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 78502 1457 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=800.93
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 78641 1452 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3201.36
Current children cumulated vsize (KiB) 546460

[startup+882.318 s]
/proc/loadavg: 5.10 4.92 4.84 6/102 13460
/proc/meminfo: memFree=3117332/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=3433.62
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 337203 6159 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=858.36
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 84317 1519 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=857.27
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 84171 1556 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=859.14
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 84354 1560 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3433.62
Current children cumulated vsize (KiB) 546460

[startup+942.313 s]
/proc/loadavg: 5.17 4.95 4.85 8/102 13647
/proc/meminfo: memFree=3117240/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=3667.47
/proc/10626/stat : 10626 (gnovelty+) S 10624 10626 9860 0 -1 4202496 19984 0 0 0 360188 6559 0 0 15 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=917.12
/proc/10626/task/10628/stat : 10628 (gnovelty+) S 10624 10626 9860 0 -1 4202560 32 0 0 0 90081 1631 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=915.45
/proc/10626/task/10629/stat : 10629 (gnovelty+) S 10624 10626 9860 0 -1 4202560 33 0 0 0 89885 1660 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=917.46
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 90094 1652 0 0 16 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176364 134997743 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3667.47
Current children cumulated vsize (KiB) 546460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.77 4.88 4.83 6/102 13838
/proc/meminfo: memFree=3116968/3368532 swapFree=1959840/1959888
[pid=10626] ppid=10624 vsize=546460 CPUtime=3892.24
/proc/10626/stat : 10626 (gnovelty+) R 10624 10626 9860 0 -1 4202496 19984 0 0 0 382271 6953 0 0 16 0 4 0 927740242 559575040 19940 4294967295 134512640 135680988 3220064816 3220064060 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10626/statm: 136615 19940 103 286 0 136327 0
[pid=10626/tid=10628] ppid=10624 vsize=546460 CPUtime=973.15
/proc/10626/task/10628/stat : 10628 (gnovelty+) R 10624 10626 9860 0 -1 4202560 32 0 0 0 95583 1732 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3076960604 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=546460 CPUtime=971.69
/proc/10626/task/10629/stat : 10629 (gnovelty+) R 10624 10626 9860 0 -1 4202560 33 0 0 0 95415 1754 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3067568476 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=546460 CPUtime=973.81
/proc/10626/task/10630/stat : 10630 (gnovelty+) R 10624 10626 9860 0 -1 4202560 34 0 0 0 95624 1757 0 0 15 0 4 0 927740252 559575040 19940 4294967295 134512640 135680988 3220064816 3058176348 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3892.24
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.04
CPU time (s): 3892.29
CPU user time (s): 3822.76
CPU system time (s): 69.53
CPU usage (%): 389.212
Max. virtual memory (cumulated for all children) (KiB): 546460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3822.76
system time used= 69.53
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19984
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= 1220887
involuntary context switches= 42639

runsolver used 0.37 second user time and 0.3 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 00:00:35
IDJOB=1777927
IDBENCH=70491
IDSOLVER=617
FILE ID=tipi39/1777927-1243461635
PBS_JOBID=
Free space on /tmp= 5744 MiB

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

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

MD5SUM BENCH= bcd262fcf09db79337137ea25c65ab0c
RANDOM SEED= 590640587

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:       3197632 kB
Buffers:         21912 kB
Cached:          53808 kB
SwapCached:          0 kB
Active:          65012 kB
Inactive:        26808 kB
HighTotal:     2489216 kB
HighFree:      2421784 kB
LowTotal:       879316 kB
LowFree:        775848 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1580 kB
Writeback:           0 kB
AnonPages:       16324 kB
Mapped:           6320 kB
Slab:            69496 kB
SReclaimable:    57348 kB
SUnreclaim:      12148 kB
PageTables:        512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94984 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5744 MiB
End job on tipi39 at 2009-05-28 00:17:17