Trace number 1778244

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 (16 threads)? (TO) 5000.24 389.041

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
MD5SUMa3de3746a6fb6968c798f1ba3ad0f77f
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 variables540
Number of clauses2295
Sum of the clauses size6885
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32295
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.08/0.10	c +------------------------------+
0.08/0.10	c | gNovelty+, version 1.0       |
0.08/0.10	c +------------------------------+
0.08/0.10	c gnovelty+ -h for help
0.08/0.10	c

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1778244-1244067919/watcher-1778244-1244067919 -o /tmp/evaluation-result-1778244-1244067919/solver-1778244-1244067919 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778244-1244067919.cnf 1989459968 16 

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: 15.94 15.92 15.82 2/184 18427
/proc/meminfo: memFree=19288288/36427776 swapFree=3648/8148
[pid=18427] ppid=18425 vsize=509232 CPUtime=0
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 2536 0 0 0 0 0 0 0 20 0 1 0 566098254 521453568 2493 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134537167 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 127308 2501 99 286 0 127020 0

[startup+0.042171 s]
/proc/loadavg: 15.94 15.92 15.82 2/184 18427
/proc/meminfo: memFree=19288288/36427776 swapFree=3648/8148
[pid=18427] ppid=18425 vsize=517044 CPUtime=0.04
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 9936 0 0 0 0 4 0 0 20 0 1 0 566098254 529453056 9892 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134537626 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 129261 9908 99 286 0 128973 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 517044

[startup+0.102178 s]
/proc/loadavg: 15.94 15.92 15.82 2/184 18427
/proc/meminfo: memFree=19288288/36427776 swapFree=3648/8148
[pid=18427] ppid=18425 vsize=517044 CPUtime=0.08
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 19061 0 0 0 4 4 0 0 20 0 1 0 566098254 529453056 19017 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134537779 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 129261 19026 99 286 0 128973 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 517044

[startup+0.302534 s]
/proc/loadavg: 15.94 15.92 15.82 2/184 18427
/proc/meminfo: memFree=19288288/36427776 swapFree=3648/8148
[pid=18427] ppid=18425 vsize=657088 CPUtime=2.5
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20126 0 0 0 10 240 0 0 20 0 16 0 566098254 672858112 20082 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 164272 20082 103 286 0 163984 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 657088

[startup+0.702605 s]
/proc/loadavg: 15.94 15.92 15.82 2/184 18427
/proc/meminfo: memFree=19288288/36427776 swapFree=3648/8148
[pid=18427] ppid=18425 vsize=657088 CPUtime=7.69
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20127 0 0 0 17 752 0 0 20 0 16 0 566098254 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 164272 20083 103 286 0 163984 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 657088

[startup+1.5065 s]
/proc/loadavg: 15.94 15.92 15.82 16/200 18443
/proc/meminfo: memFree=19207644/36427776 swapFree=4640/88788
[pid=18427] ppid=18425 vsize=657088 CPUtime=17.98
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20127 0 0 0 56 1742 0 0 20 0 16 0 566098254 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 164272 20083 103 286 0 163984 0
[pid=18427/tid=18429] ppid=18425 vsize=657088 CPUtime=0.72
/proc/18427/task/18429/stat : 18429 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 0 72 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=0.74
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 0 74 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 2 134 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 6 130 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 8 128 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 2 134 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 4 132 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18436/stat : 18436 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 0 136 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18437/stat : 18437 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 4 132 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 2 134 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=1.34
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 6 128 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18440] ppid=18425 vsize=657088 CPUtime=1.36
/proc/18427/task/18440/stat : 18440 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 4 132 0 0 20 0 16 0 566098265 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18427/tid=18441] ppid=18425 vsize=657088 CPUtime=0.7
/proc/18427/task/18441/stat : 18441 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 0 70 0 0 20 0 16 0 566098266 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18442] ppid=18425 vsize=657088 CPUtime=0.66
/proc/18427/task/18442/stat : 18442 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 2 64 0 0 20 0 16 0 566098270 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18443] ppid=18425 vsize=657088 CPUtime=0.64
/proc/18427/task/18443/stat : 18443 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 0 64 0 0 20 0 16 0 566098270 672858112 20083 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 17.98
Current children cumulated vsize (KiB) 657088

[startup+3.1068 s]
/proc/loadavg: 15.94 15.92 15.82 17/200 18443
/proc/meminfo: memFree=19207016/36427776 swapFree=4724/89436
[pid=18427] ppid=18425 vsize=657088 CPUtime=38.39
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20128 0 0 0 127 3712 0 0 20 0 16 0 566098254 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 164272 20084 103 286 0 163984 0
[pid=18427/tid=18429] ppid=18425 vsize=657088 CPUtime=1.52
/proc/18427/task/18429/stat : 18429 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 4 148 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=1.54
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 2 152 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=2.94
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 10 284 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=2.94
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 12 282 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=2.92
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 12 280 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=2.94
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 8 286 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=2.92
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 10 282 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=2.94
/proc/18427/task/18436/stat : 18436 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 10 284 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=2.92
/proc/18427/task/18437/stat : 18437 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 12 280 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=2.9
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 4 286 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=2.88
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 10 278 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18440] ppid=18425 vsize=657088 CPUtime=2.92
/proc/18427/task/18440/stat : 18440 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 8 284 0 0 20 0 16 0 566098265 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18427/tid=18441] ppid=18425 vsize=657088 CPUtime=1.52
/proc/18427/task/18441/stat : 18441 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 0 152 0 0 20 0 16 0 566098266 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18442] ppid=18425 vsize=657088 CPUtime=1.46
/proc/18427/task/18442/stat : 18442 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 6 140 0 0 20 0 16 0 566098270 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18443] ppid=18425 vsize=657088 CPUtime=1.44
/proc/18427/task/18443/stat : 18443 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 4 140 0 0 20 0 16 0 566098270 672858112 20084 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 657088

[startup+6.30291 s]
/proc/loadavg: 15.94 15.92 15.82 17/200 18443
/proc/meminfo: memFree=19206916/36427776 swapFree=4724/89640
[pid=18427] ppid=18425 vsize=657088 CPUtime=79.23
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20129 0 0 0 258 7665 0 0 20 0 16 0 566098254 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 164272 20085 103 286 0 163984 0
[pid=18427/tid=18429] ppid=18425 vsize=657088 CPUtime=3.14
/proc/18427/task/18429/stat : 18429 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 10 304 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=3.14
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 8 306 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=6.08
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 22 586 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=6.08
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 24 584 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=6.04
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 24 580 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=6.06
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 16 590 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=6.08
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 20 588 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=6.06
/proc/18427/task/18436/stat : 18436 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 20 586 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=6.06
/proc/18427/task/18437/stat : 18437 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 22 584 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=6.02
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 12 590 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=5.96
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 22 574 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18440] ppid=18425 vsize=657088 CPUtime=6.06
/proc/18427/task/18440/stat : 18440 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 14 592 0 0 20 0 16 0 566098265 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18427/tid=18441] ppid=18425 vsize=657088 CPUtime=3.12
/proc/18427/task/18441/stat : 18441 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 2 310 0 0 20 0 16 0 566098266 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18442] ppid=18425 vsize=657088 CPUtime=3.04
/proc/18427/task/18442/stat : 18442 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 14 290 0 0 20 0 16 0 566098270 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18443] ppid=18425 vsize=657088 CPUtime=3.04
/proc/18427/task/18443/stat : 18443 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 8 296 0 0 20 0 16 0 566098270 672858112 20085 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 79.23
Current children cumulated vsize (KiB) 657088

[startup+12.7016 s]
/proc/loadavg: 15.95 15.92 15.82 17/200 18443
/proc/meminfo: memFree=19206460/36427776 swapFree=4724/90132
[pid=18427] ppid=18425 vsize=657088 CPUtime=161.02
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20130 0 0 0 552 15550 0 0 20 0 16 0 566098254 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18427/statm: 164272 20086 103 286 0 163984 0
[pid=18427/tid=18429] ppid=18425 vsize=657088 CPUtime=6.36
/proc/18427/task/18429/stat : 18429 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 20 616 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=6.32
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 18 614 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=12.34
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 48 1186 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=12.32
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 48 1184 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=12.3
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 42 1188 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=12.34
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 38 1196 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=12.34
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 42 1192 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=12.36
/proc/18427/task/18436/stat : 18436 (gnovelty+) S 18425 18427 24979 0 -1 4202560 8 0 0 0 44 1192 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=12.34
/proc/18427/task/18437/stat : 18437 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 48 1186 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=12.28
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 36 1192 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=12.12
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 36 1176 0 0 20 0 16 0 566098265 672858112 20086 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

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

[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=174.23
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 590 16833 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=173.01
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 574 16727 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=158.84
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 548 15336 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=199.74
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 636 19338 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=177.23
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 568 17155 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=174.73
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 602 16871 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=177.75
/proc/18427/task/18436/stat : 18436 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 616 17159 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=182.71
/proc/18427/task/18437/stat : 18437 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 576 17695 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=186.47
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 630 18017 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=184.87
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 632 17855 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18440] ppid=18425 vsize=657088 CPUtime=183.31
/proc/18427/task/18440/stat : 18440 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 584 17747 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18441] ppid=18425 vsize=657088 CPUtime=170.33
/proc/18427/task/18441/stat : 18441 (gnovelty+) S 18425 18427 24979 0 -1 4202560 11 0 0 0 540 16493 0 0 20 0 16 0 566098266 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18442] ppid=18425 vsize=657088 CPUtime=185.11
/proc/18427/task/18442/stat : 18442 (gnovelty+) R 18425 18427 24979 0 -1 4202560 12 0 0 0 612 17899 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18443] ppid=18425 vsize=657088 CPUtime=152.97
/proc/18427/task/18443/stat : 18443 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 508 14789 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2814.63
Current children cumulated vsize (KiB) 657088

[startup+282.303 s]
/proc/loadavg: 15.92 15.91 15.82 17/200 18443
/proc/meminfo: memFree=19205724/36427776 swapFree=4724/90764
[pid=18427] ppid=18425 vsize=657088 CPUtime=3326.65
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20132 0 0 0 11591 321074 0 0 20 0 16 0 566098254 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/18427/statm: 164272 20088 103 286 0 163984 0
[pid=18427/tid=18429] ppid=18425 vsize=657088 CPUtime=199.56
/proc/18427/task/18429/stat : 18429 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 700 19256 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=207.22
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 736 19986 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=205.4
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 702 19838 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=191.27
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 700 18427 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=229.75
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 788 22187 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=208.69
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 704 20165 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=210.77
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 762 20315 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=207.95
/proc/18427/task/18436/stat : 18436 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 754 20041 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=213.82
/proc/18427/task/18437/stat : 18437 (gnovelty+) S 18425 18427 24979 0 -1 4202560 9 0 0 0 714 20668 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=217.21
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 754 20967 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=218.18
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 754 21064 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18440] ppid=18425 vsize=657088 CPUtime=216.43
/proc/18427/task/18440/stat : 18440 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 702 20941 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18427/tid=18441] ppid=18425 vsize=657088 CPUtime=200.85
/proc/18427/task/18441/stat : 18441 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 674 19411 0 0 20 0 16 0 566098266 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18442] ppid=18425 vsize=657088 CPUtime=216.72
/proc/18427/task/18442/stat : 18442 (gnovelty+) R 18425 18427 24979 0 -1 4202560 12 0 0 0 756 20916 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18443] ppid=18425 vsize=657088 CPUtime=183.25
/proc/18427/task/18443/stat : 18443 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 658 17667 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3326.65
Current children cumulated vsize (KiB) 657088

[startup+342.308 s]
/proc/loadavg: 15.97 15.92 15.83 17/200 18448
/proc/meminfo: memFree=19205228/36427776 swapFree=4724/90764
[pid=18427] ppid=18425 vsize=657088 CPUtime=4266.8
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20132 0 0 0 14158 412522 0 0 20 0 16 0 566098254 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/18427/statm: 164272 20088 103 286 0 163984 0
[pid=18427/tid=18429] ppid=18425 vsize=657088 CPUtime=258.46
/proc/18427/task/18429/stat : 18429 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 858 24988 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=266.2
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 888 25732 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=264.35
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 868 25567 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=250.24
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 852 24172 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=287.67
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 956 27811 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=267.64
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 848 25916 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=269.76
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 928 26048 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=266.84
/proc/18427/task/18436/stat : 18436 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 908 25776 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=272.82
/proc/18427/task/18437/stat : 18437 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 870 26412 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=276.15
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 922 26693 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=277.06
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 912 26794 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18440] ppid=18425 vsize=657088 CPUtime=275.47
/proc/18427/task/18440/stat : 18440 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 878 26669 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18427/tid=18441] ppid=18425 vsize=657088 CPUtime=259.85
/proc/18427/task/18441/stat : 18441 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 830 25155 0 0 20 0 16 0 566098266 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18442] ppid=18425 vsize=657088 CPUtime=274.44
/proc/18427/task/18442/stat : 18442 (gnovelty+) R 18425 18427 24979 0 -1 4202560 12 0 0 0 916 26528 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18443] ppid=18425 vsize=657088 CPUtime=241.24
/proc/18427/task/18443/stat : 18443 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 824 23300 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4266.8
Current children cumulated vsize (KiB) 657088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+389.006 s]
/proc/loadavg: 15.92 15.92 15.83 17/200 18448
/proc/meminfo: memFree=19205228/36427776 swapFree=4724/90744
[pid=18427] ppid=18425 vsize=657088 CPUtime=5000.24
/proc/18427/stat : 18427 (gnovelty+) R 18425 18427 24979 0 -1 4202496 20132 0 0 0 16138 483886 0 0 20 0 16 0 566098254 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/18427/statm: 164272 20088 103 286 0 163984 0
[pid=18427/tid=18429] ppid=18425 vsize=657088 CPUtime=304.32
/proc/18427/task/18429/stat : 18429 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 982 29450 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18427/tid=18430] ppid=18425 vsize=657088 CPUtime=312.1
/proc/18427/task/18430/stat : 18430 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 1016 30194 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18427/tid=18431] ppid=18425 vsize=657088 CPUtime=310.33
/proc/18427/task/18431/stat : 18431 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 992 30041 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18427/tid=18432] ppid=18425 vsize=657088 CPUtime=296.18
/proc/18427/task/18432/stat : 18432 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 968 28650 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18427/tid=18433] ppid=18425 vsize=657088 CPUtime=333.58
/proc/18427/task/18433/stat : 18433 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 1076 32282 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18427/tid=18434] ppid=18425 vsize=657088 CPUtime=313.51
/proc/18427/task/18434/stat : 18434 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 958 30393 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18427/tid=18435] ppid=18425 vsize=657088 CPUtime=315.57
/proc/18427/task/18435/stat : 18435 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 1044 30513 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18427/tid=18436] ppid=18425 vsize=657088 CPUtime=312.75
/proc/18427/task/18436/stat : 18436 (gnovelty+) R 18425 18427 24979 0 -1 4202560 8 0 0 0 1034 30241 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18427/tid=18437] ppid=18425 vsize=657088 CPUtime=318.75
/proc/18427/task/18437/stat : 18437 (gnovelty+) R 18425 18427 24979 0 -1 4202560 9 0 0 0 1004 30871 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18427/tid=18438] ppid=18425 vsize=657088 CPUtime=321.95
/proc/18427/task/18438/stat : 18438 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 1050 31145 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18427/tid=18439] ppid=18425 vsize=657088 CPUtime=322.92
/proc/18427/task/18439/stat : 18439 (gnovelty+) R 18425 18427 24979 0 -1 4202560 10 0 0 0 1024 31268 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18427/tid=18440] ppid=18425 vsize=657088 CPUtime=321.4
/proc/18427/task/18440/stat : 18440 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 996 31144 0 0 20 0 16 0 566098265 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18427/tid=18441] ppid=18425 vsize=657088 CPUtime=305.73
/proc/18427/task/18441/stat : 18441 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 944 29629 0 0 20 0 16 0 566098266 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18427/tid=18442] ppid=18425 vsize=657088 CPUtime=319.41
/proc/18427/task/18442/stat : 18442 (gnovelty+) R 18425 18427 24979 0 -1 4202560 12 0 0 0 1044 30897 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18427/tid=18443] ppid=18425 vsize=657088 CPUtime=287.17
/proc/18427/task/18443/stat : 18443 (gnovelty+) R 18425 18427 24979 0 -1 4202560 11 0 0 0 958 27759 0 0 20 0 16 0 566098270 672858112 20088 18446744073709551615 134512640 135680988 4291945472 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5000.24
Current children cumulated vsize (KiB) 657088

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18427 and gives
#  childrusage.ru_utime.tv_sec=156
#  childrusage.ru_utime.tv_usec=873804
#  childrusage.ru_stime.tv_sec=4711
#  childrusage.ru_stime.tv_usec=206432
# CPU time returned by wait4() is 4868.08
# while last known CPU time is 5000.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 389.041
CPU time (s): 5000.24
CPU user time (s): 161.38
CPU system time (s): 4838.86
CPU usage (%): 1285.27
Max. virtual memory (cumulated for all children) (KiB): 657088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.874
system time used= 4711.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20132
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= 663656
involuntary context switches= 32726

runsolver used 2.04013 second user time and 5.90037 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-04 00:25:19
IDJOB=1778244
IDBENCH=70596
IDSOLVER=619
FILE ID=xenhost3-49/1778244-1244067919
PBS_JOBID=
Free space on /tmp= 7130 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/540/unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778244-1244067919/watcher-1778244-1244067919 -o /tmp/evaluation-result-1778244-1244067919/solver-1778244-1244067919 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1778244-1244067919.cnf 1989459968 16

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

MD5SUM BENCH= a3de3746a6fb6968c798f1ba3ad0f77f
RANDOM SEED= 1989459968

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19288288 kB
Buffers:        396056 kB
Cached:       14009636 kB
SwapCached:          0 kB
Active:        3073824 kB
Inactive:     11340696 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1344 kB
Writeback:           0 kB
AnonPages:        8148 kB
Mapped:           3648 kB
Slab:           672480 kB
SReclaimable:   646296 kB
SUnreclaim:      26184 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    30032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7130 MiB
End job on xenhost3-49 at 2009-06-04 00:31:50