Trace number 1777027

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

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
MD5SUM59fbd40d503488bcdf45b7724d53bd6d
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 variables1000
Number of clauses20000
Sum of the clauses size100000
Maximum clause length5
Minimum clause length5
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 520000
Number of clauses of size over 50

Solver Data 

0.11/0.13	c +------------------------------+
0.11/0.13	c | gNovelty+, version 1.0       |
0.11/0.13	c +------------------------------+
0.11/0.13	c gnovelty+ -h for help
0.11/0.13	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1777027-1243432005/watcher-1777027-1243432005 -o /tmp/evaluation-result-1777027-1243432005/solver-1777027-1243432005 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777027-1243432005.cnf 1204303120 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.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=509232 CPUtime=0
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 1450 0 0 0 0 0 0 0 18 0 1 0 924777294 521453568 1407 4294967295 134512640 135680988 3214941520 3214940784 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/12957/statm: 127308 1414 99 286 0 127020 0

[startup+0.029168 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=509232 CPUtime=0.03
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 9537 0 0 0 0 3 0 0 18 0 1 0 924777294 521453568 9494 4294967295 134512640 135680988 3214941520 3214940784 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/12957/statm: 127308 9502 99 286 0 127020 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 509232

[startup+0.109168 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=517044 CPUtime=0.11
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 17712 0 0 0 6 5 0 0 18 0 1 0 924777294 529453056 17668 4294967295 134512640 135680988 3214941520 3214940784 134537779 0 0 0 0 0 0 0 17 1 0 0 0
/proc/12957/statm: 129261 17673 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044

[startup+0.309396 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=0.77
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 61 16 0 0 18 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 548460

[startup+0.709199 s]
/proc/loadavg: 4.27 4.14 2.78 3/98 12957
/proc/meminfo: memFree=3203896/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2.35
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 197 38 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 548460

[startup+1.50908 s]
/proc/loadavg: 4.25 4.13 2.79 6/102 12962
/proc/meminfo: memFree=3122316/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=5.41
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 468 73 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=1.3
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 107 23 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=1.34
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 119 15 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=1.28
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 113 15 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 548460

[startup+3.10892 s]
/proc/loadavg: 4.25 4.13 2.79 5/102 12962
/proc/meminfo: memFree=3122316/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=11.53
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 1021 132 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=2.81
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 241 40 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=2.94
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 272 22 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=2.85
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 251 34 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.53
Current children cumulated vsize (KiB) 548460

[startup+6.3187 s]
/proc/loadavg: 4.23 4.13 2.79 5/102 13145
/proc/meminfo: memFree=3122104/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=24
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 2119 281 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=5.85
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 510 75 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=6.14
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 551 63 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=5.99
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 537 62 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24
Current children cumulated vsize (KiB) 548460

[startup+12.7183 s]
/proc/loadavg: 4.29 4.14 2.80 5/102 13145
/proc/meminfo: memFree=3122324/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=49.26
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 4354 572 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=12.11
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 1072 139 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=12.46
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 1109 137 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=12.3
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 1090 140 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.26
Current children cumulated vsize (KiB) 548460

[startup+25.5171 s]
/proc/loadavg: 4.33 4.16 2.82 5/102 13146
/proc/meminfo: memFree=3122420/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=99.05
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 8786 1119 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=24.51
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 2166 285 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=25.08
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 2239 269 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=24.62
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 2184 278 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.05
Current children cumulated vsize (KiB) 548460

[startup+51.1152 s]
/proc/loadavg: 4.20 4.14 2.86 5/102 13148
/proc/meminfo: memFree=3122452/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=198.62
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 17618 2244 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=49.35
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 4359 576 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=49.94
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 4458 536 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=49.56
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 4408 548 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.62
Current children cumulated vsize (KiB) 548460

[startup+102.311 s]
/proc/loadavg: 4.22 4.15 2.93 5/102 13339
/proc/meminfo: memFree=3122088/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=398.96
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 35359 4537 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=99.67
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 8815 1152 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=100.15
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 8920 1095 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=99.21
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 8818 1103 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 398.96
Current children cumulated vsize (KiB) 548460

[startup+162.307 s]
/proc/loadavg: 4.47 4.23 3.03 5/102 13527
/proc/meminfo: memFree=3121716/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=632.73
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 56051 7222 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=158.34
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 13982 1852 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=158.18
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 14086 1732 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=158.07
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 14012 1795 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 632.73
Current children cumulated vsize (KiB) 548460

[startup+222.311 s]
/proc/loadavg: 4.25 4.20 3.09 5/102 13714
/proc/meminfo: memFree=3121584/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=863.45
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 76544 9801 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=216.24
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 19115 2509 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=216.19
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 19265 2354 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067716020 134534987 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=215.25
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 19055 2470 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 863.45
Current children cumulated vsize (KiB) 548460

[startup+282.307 s]
/proc/loadavg: 4.09 4.16 3.14 5/102 13902
/proc/meminfo: memFree=3121716/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=1098.12
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 97254 12558 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=274.97
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 24270 3227 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=274.81
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 24472 3009 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 2 0 0 0

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

[pid=12957] ppid=12955 vsize=548460 CPUtime=1565.24
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 138736 17788 0 0 16 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=391.73
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 34622 4551 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=391.89
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 34938 4251 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=390.49
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 34645 4404 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1565.24
Current children cumulated vsize (KiB) 548460

[startup+462.312 s]
/proc/loadavg: 4.36 4.21 3.34 5/102 14472
/proc/meminfo: memFree=3121468/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=1799.76
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 159584 20392 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=450.72
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 39831 5241 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=450.01
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 40073 4928 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=448.92
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 39891 5001 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (KiB) 548460

[startup+522.307 s]
/proc/loadavg: 4.34 4.25 3.40 5/102 14659
/proc/meminfo: memFree=3121212/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2033.91
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 180442 22949 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=509.69
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 45088 5881 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=508.19
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 45246 5573 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=507.63
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 45116 5647 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323892 134535066 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2033.91
Current children cumulated vsize (KiB) 548460

[startup+582.312 s]
/proc/loadavg: 4.17 4.20 3.44 6/102 14847
/proc/meminfo: memFree=3121344/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2268.85
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 201213 25672 0 0 16 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=568.61
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 50300 6561 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=566.77
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 50397 6280 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=566.19
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 50302 6317 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2268.85
Current children cumulated vsize (KiB) 548460

[startup+642.307 s]
/proc/loadavg: 4.10 4.18 3.47 5/102 15035
/proc/meminfo: memFree=3121336/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2502.88
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 221947 28341 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=627.17
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 55457 7260 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=625.59
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 55633 6926 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=624.54
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 55455 6999 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2502.88
Current children cumulated vsize (KiB) 548460

[startup+702.312 s]
/proc/loadavg: 4.05 4.14 3.50 5/102 15223
/proc/meminfo: memFree=3121344/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2736.74
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 242699 30975 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=685.75
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 60649 7926 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=684.17
/proc/12957/task/12960/stat : 12960 (gnovelty+) S 12955 12957 9860 0 -1 4202560 112 0 0 0 60859 7558 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=682.88
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 60619 7669 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2736.74
Current children cumulated vsize (KiB) 548460

[startup+762.317 s]
/proc/loadavg: 4.14 4.14 3.54 5/102 15411
/proc/meminfo: memFree=3121220/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=2970.69
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 263437 33632 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=744.08
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 65759 8649 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=742.3
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 66039 8191 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067716020 134534000 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=741.43
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 65817 8326 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2970.69
Current children cumulated vsize (KiB) 548460

[startup+822.312 s]
/proc/loadavg: 4.28 4.19 3.59 5/102 15598
/proc/meminfo: memFree=3121336/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3204.09
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 284129 36280 0 0 16 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=802.49
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 70974 9275 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=800.62
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 71190 8872 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=800.13
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 70987 9026 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3204.09
Current children cumulated vsize (KiB) 548460

[startup+882.308 s]
/proc/loadavg: 4.02 4.14 3.61 5/102 15790
/proc/meminfo: memFree=3120848/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3435.93
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 304669 38924 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=861.06
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 76179 9927 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=858.56
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 76278 9578 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=857.65
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 76107 9658 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3435.93
Current children cumulated vsize (KiB) 548460

[startup+942.313 s]
/proc/loadavg: 4.10 4.14 3.64 5/102 15978
/proc/meminfo: memFree=3120964/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3669.22
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 325372 41550 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=919.05
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 81331 10574 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=916.98
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 81438 10260 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=915.78
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 81290 10288 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3669.22
Current children cumulated vsize (KiB) 548460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.05 4.11 3.66 5/102 16166
/proc/meminfo: memFree=3120964/3368532 swapFree=1959840/1959888
[pid=12957] ppid=12955 vsize=548460 CPUtime=3893.87
/proc/12957/stat : 12957 (gnovelty+) R 12955 12957 9860 0 -1 4202496 20772 0 0 0 345303 44084 0 0 15 0 4 0 924777294 561623040 20728 4294967295 134512640 135680988 3214941520 3214940764 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/12957/statm: 137115 20728 103 286 0 136827 0
[pid=12957/tid=12959] ppid=12955 vsize=548460 CPUtime=974.88
/proc/12957/task/12959/stat : 12959 (gnovelty+) R 12955 12957 9860 0 -1 4202560 110 0 0 0 86306 11182 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3077108060 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=12957/tid=12960] ppid=12955 vsize=548460 CPUtime=973.11
/proc/12957/task/12960/stat : 12960 (gnovelty+) R 12955 12957 9860 0 -1 4202560 112 0 0 0 86410 10901 0 0 15 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3067715932 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=12957/tid=12961] ppid=12955 vsize=548460 CPUtime=971.85
/proc/12957/task/12961/stat : 12961 (gnovelty+) R 12955 12957 9860 0 -1 4202560 113 0 0 0 86256 10929 0 0 16 0 4 0 924777307 561623040 20728 4294967295 134512640 135680988 3214941520 3058323804 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3893.87
Current children cumulated vsize (KiB) 548460

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): 3893.95
CPU user time (s): 3453.1
CPU system time (s): 440.85
CPU usage (%): 389.382
Max. virtual memory (cumulated for all children) (KiB): 548460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3453.1
system time used= 440.85
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20772
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= 15022968
involuntary context switches= 53814

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-27 15:46:45
IDJOB=1777027
IDBENCH=70191
IDSOLVER=617
FILE ID=tipi39/1777027-1243432005
PBS_JOBID=
Free space on /tmp= 5743 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S45173584-020.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777027-1243432005/watcher-1777027-1243432005 -o /tmp/evaluation-result-1777027-1243432005/solver-1777027-1243432005 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777027-1243432005.cnf 1204303120 4

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

MD5SUM BENCH= 59fbd40d503488bcdf45b7724d53bd6d
RANDOM SEED= 1204303120

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:       3203896 kB
Buffers:         21452 kB
Cached:          47192 kB
SwapCached:          0 kB
Active:          64236 kB
Inactive:        20732 kB
HighTotal:     2489216 kB
HighFree:      2427552 kB
LowTotal:       879316 kB
LowFree:        776344 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:       16544 kB
Mapped:           6128 kB
Slab:            69148 kB
SReclaimable:    56960 kB
SUnreclaim:      12188 kB
PageTables:        532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94988 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

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