Trace number 1777572

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) 5001.77 318.959

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
MD5SUM2b1b5cba2ea775d4b0eb4b407240568e
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 variables12000
Number of clauses50400
Sum of the clauses size151200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 350400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.30/0.31	c +------------------------------+
0.30/0.31	c | gNovelty+, version 1.0       |
0.30/0.31	c +------------------------------+
0.30/0.31	c gnovelty+ -h for help
0.30/0.31	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-1777572-1244019845/watcher-1777572-1244019845 -o /tmp/evaluation-result-1777572-1244019845/solver-1777572-1244019845 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777572-1244019845.cnf 144721469 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: 14.67 15.63 15.68 2/189 5525
/proc/meminfo: memFree=19287952/36427776 swapFree=6596/11964
[pid=5525] ppid=5523 vsize=509232 CPUtime=0
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 1896 0 0 0 0 0 0 0 20 0 1 0 561290895 521453568 1854 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134537167 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 127308 1859 99 286 0 127020 0

[startup+0.050966 s]
/proc/loadavg: 14.67 15.63 15.68 2/189 5525
/proc/meminfo: memFree=19287952/36427776 swapFree=6596/11964
[pid=5525] ppid=5523 vsize=517048 CPUtime=0.04
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 9977 0 0 0 0 4 0 0 20 0 1 0 561290895 529457152 9934 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134958286 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 129262 9934 99 286 0 128974 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 517048

[startup+0.102977 s]
/proc/loadavg: 14.67 15.63 15.68 2/189 5525
/proc/meminfo: memFree=19287952/36427776 swapFree=6596/11964
[pid=5525] ppid=5523 vsize=517044 CPUtime=0.1
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 12242 0 0 0 6 4 0 0 20 0 1 0 561290895 529453056 12198 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134537779 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 129261 12209 99 286 0 128973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517044

[startup+0.302962 s]
/proc/loadavg: 14.67 15.63 15.68 2/189 5525
/proc/meminfo: memFree=19287952/36427776 swapFree=6596/11964
[pid=5525] ppid=5523 vsize=517044 CPUtime=0.3
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 20393 0 0 0 22 8 0 0 20 0 1 0 561290895 529453056 20349 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134538748 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 129261 20349 99 286 0 128973 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 517044

[startup+0.70356 s]
/proc/loadavg: 14.67 15.63 15.68 2/189 5525
/proc/meminfo: memFree=19287952/36427776 swapFree=6596/11964
[pid=5525] ppid=5523 vsize=689632 CPUtime=5.48
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 26424 0 0 0 82 466 0 0 20 0 16 0 561290895 706183168 26380 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 26380 103 286 0 172120 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 689632

[startup+1.50463 s]
/proc/loadavg: 14.67 15.63 15.68 17/205 5541
/proc/meminfo: memFree=19182880/36427776 swapFree=6556/120520
[pid=5525] ppid=5523 vsize=689632 CPUtime=17.3
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 27096 0 0 0 214 1516 0 0 20 0 16 0 561290895 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 27052 103 286 0 172120 0
[pid=5525/tid=5527] ppid=5523 vsize=689632 CPUtime=1.16
/proc/5525/task/5527/stat : 5527 (gnovelty+) R 5523 5525 24979 0 -1 4202560 389 0 0 0 12 104 0 0 20 0 16 0 561290927 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=1.16
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 14 102 0 0 20 0 16 0 561290927 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=1.14
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 10 104 0 0 20 0 16 0 561290927 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=1.14
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 14 100 0 0 20 0 16 0 561290927 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=1.16
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 8 108 0 0 20 0 16 0 561290927 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=1.14
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 14 100 0 0 20 0 16 0 561290927 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=1.14
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 14 100 0 0 20 0 16 0 561290928 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=1.14
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 12 102 0 0 20 0 16 0 561290928 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=1.12
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 14 98 0 0 20 0 16 0 561290929 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=1.12
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 12 100 0 0 20 0 16 0 561290930 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=1.1
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 10 100 0 0 20 0 16 0 561290932 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5525/tid=5538] ppid=5523 vsize=689632 CPUtime=1.1
/proc/5525/task/5538/stat : 5538 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 18 92 0 0 20 0 16 0 561290933 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5525/tid=5539] ppid=5523 vsize=689632 CPUtime=1.06
/proc/5525/task/5539/stat : 5539 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 6 100 0 0 20 0 16 0 561290935 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5525/tid=5540] ppid=5523 vsize=689632 CPUtime=1.08
/proc/5525/task/5540/stat : 5540 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 6 102 0 0 20 0 16 0 561290936 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5525/tid=5541] ppid=5523 vsize=689632 CPUtime=0.54
/proc/5525/task/5541/stat : 5541 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 10 44 0 0 20 0 16 0 561290938 706183168 27052 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 17.3
Current children cumulated vsize (KiB) 689632

[startup+3.10201 s]
/proc/loadavg: 14.67 15.63 15.68 17/205 5541
/proc/meminfo: memFree=19181764/36427776 swapFree=6556/121460
[pid=5525] ppid=5523 vsize=689632 CPUtime=40.89
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 27100 0 0 0 396 3693 0 0 20 0 16 0 561290895 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 27056 103 286 0 172120 0
[pid=5525/tid=5527] ppid=5523 vsize=689632 CPUtime=2.72
/proc/5525/task/5527/stat : 5527 (gnovelty+) S 5523 5525 24979 0 -1 4202560 389 0 0 0 20 252 0 0 20 0 16 0 561290927 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=2.72
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 20 252 0 0 20 0 16 0 561290927 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=2.72
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 20 252 0 0 20 0 16 0 561290927 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=2.72
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 24 248 0 0 20 0 16 0 561290927 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=2.72
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 20 252 0 0 20 0 16 0 561290927 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=2.72
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 24 248 0 0 20 0 16 0 561290927 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=2.7
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 28 242 0 0 20 0 16 0 561290928 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=2.7
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 28 242 0 0 20 0 16 0 561290928 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=2.68
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 28 240 0 0 20 0 16 0 561290929 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=2.68
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 24 244 0 0 20 0 16 0 561290930 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=2.68
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 22 246 0 0 20 0 16 0 561290932 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5525/tid=5538] ppid=5523 vsize=689632 CPUtime=2.66
/proc/5525/task/5538/stat : 5538 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 28 238 0 0 20 0 16 0 561290933 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5525/tid=5539] ppid=5523 vsize=689632 CPUtime=2.6
/proc/5525/task/5539/stat : 5539 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 18 242 0 0 20 0 16 0 561290935 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5525/tid=5540] ppid=5523 vsize=689632 CPUtime=2.64
/proc/5525/task/5540/stat : 5540 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 22 242 0 0 20 0 16 0 561290936 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5525/tid=5541] ppid=5523 vsize=689632 CPUtime=1.34
/proc/5525/task/5541/stat : 5541 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 16 118 0 0 20 0 16 0 561290938 706183168 27056 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 40.89
Current children cumulated vsize (KiB) 689632

[startup+6.30464 s]
/proc/loadavg: 14.77 15.64 15.68 17/205 5541
/proc/meminfo: memFree=19181392/36427776 swapFree=6568/121760
[pid=5525] ppid=5523 vsize=689632 CPUtime=88.05
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 27101 0 0 0 761 8044 0 0 20 0 16 0 561290895 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 27057 103 286 0 172120 0
[pid=5525/tid=5527] ppid=5523 vsize=689632 CPUtime=5.86
/proc/5525/task/5527/stat : 5527 (gnovelty+) R 5523 5525 24979 0 -1 4202560 389 0 0 0 40 546 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=5.88
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 42 546 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=5.88
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 52 536 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=5.86
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 54 532 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=5.88
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 42 546 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=5.86
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 52 534 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=5.86
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 42 544 0 0 20 0 16 0 561290928 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=5.84
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 50 534 0 0 20 0 16 0 561290928 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=5.82
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 54 528 0 0 20 0 16 0 561290929 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=5.84
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 48 536 0 0 20 0 16 0 561290930 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=5.82
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 44 538 0 0 20 0 16 0 561290932 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5525/tid=5538] ppid=5523 vsize=689632 CPUtime=5.8
/proc/5525/task/5538/stat : 5538 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 50 530 0 0 20 0 16 0 561290933 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5525/tid=5539] ppid=5523 vsize=689632 CPUtime=5.68
/proc/5525/task/5539/stat : 5539 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 48 520 0 0 20 0 16 0 561290935 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5525/tid=5540] ppid=5523 vsize=689632 CPUtime=5.78
/proc/5525/task/5540/stat : 5540 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 48 530 0 0 20 0 16 0 561290936 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5525/tid=5541] ppid=5523 vsize=689632 CPUtime=2.96
/proc/5525/task/5541/stat : 5541 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 28 268 0 0 20 0 16 0 561290938 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 88.05
Current children cumulated vsize (KiB) 689632

[startup+12.7024 s]
/proc/loadavg: 14.87 15.64 15.69 17/205 5541
/proc/meminfo: memFree=19180920/36427776 swapFree=6568/122224
[pid=5525] ppid=5523 vsize=689632 CPUtime=182.5
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 27101 0 0 0 1430 16820 0 0 20 0 16 0 561290895 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 27057 103 286 0 172120 0
[pid=5525/tid=5527] ppid=5523 vsize=689632 CPUtime=12.14
/proc/5525/task/5527/stat : 5527 (gnovelty+) R 5523 5525 24979 0 -1 4202560 389 0 0 0 82 1132 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=10.32
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 72 960 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=12.18
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 98 1120 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=12.18
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 104 1114 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=12.2
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 90 1130 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=12.16
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 94 1122 0 0 20 0 16 0 561290927 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=12.14
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 90 1124 0 0 20 0 16 0 561290928 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=12.14
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 88 1126 0 0 20 0 16 0 561290928 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=12.12
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 94 1118 0 0 20 0 16 0 561290929 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=12.14
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 90 1124 0 0 20 0 16 0 561290930 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=12.12
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 92 1120 0 0 20 0 16 0 561290932 706183168 27057 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0

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

[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=215.78
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 1194 20384 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=218.65
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1290 20575 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=218.88
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1336 20552 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=219.02
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1320 20582 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=218.58
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1330 20528 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=218.73
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1318 20555 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=218.75
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1350 20525 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=218.66
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1296 20570 0 0 20 0 16 0 561290929 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=218.64
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1206 20658 0 0 20 0 16 0 561290930 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=218.76
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1314 20562 0 0 20 0 16 0 561290932 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5525/tid=5538] ppid=5523 vsize=689632 CPUtime=218.64
/proc/5525/task/5538/stat : 5538 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1252 20612 0 0 20 0 16 0 561290933 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5525/tid=5539] ppid=5523 vsize=689632 CPUtime=213.9
/proc/5525/task/5539/stat : 5539 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1270 20120 0 0 20 0 16 0 561290935 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5525/tid=5540] ppid=5523 vsize=689632 CPUtime=218.69
/proc/5525/task/5540/stat : 5540 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1286 20583 0 0 20 0 16 0 561290936 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5525/tid=5541] ppid=5523 vsize=689632 CPUtime=211.58
/proc/5525/task/5541/stat : 5541 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1330 19828 0 0 20 0 16 0 561290938 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 3480.78
Current children cumulated vsize (KiB) 689632

[startup+282.307 s]
/proc/loadavg: 15.94 15.79 15.73 17/205 5546
/proc/meminfo: memFree=19179704/36427776 swapFree=6568/122464
[pid=5525] ppid=5523 vsize=689632 CPUtime=4425.29
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 27102 0 0 0 25973 416556 0 0 20 0 16 0 561290895 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 27058 103 286 0 172120 0
[pid=5525/tid=5527] ppid=5523 vsize=689632 CPUtime=277.64
/proc/5525/task/5527/stat : 5527 (gnovelty+) R 5523 5525 24979 0 -1 4202560 389 0 0 0 1690 26074 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=274.88
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 1516 25972 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=277.77
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1632 26145 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=278.01
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1658 26143 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=278.24
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1654 26170 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=277.7
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1654 26116 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=277.81
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1656 26125 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=277.9
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1690 26100 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=277.72
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1610 26162 0 0 20 0 16 0 561290929 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=277.77
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1544 26233 0 0 20 0 16 0 561290930 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=277.89
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1630 26159 0 0 20 0 16 0 561290932 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5525/tid=5538] ppid=5523 vsize=689632 CPUtime=277.71
/proc/5525/task/5538/stat : 5538 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1562 26209 0 0 20 0 16 0 561290933 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5525/tid=5539] ppid=5523 vsize=689632 CPUtime=271.73
/proc/5525/task/5539/stat : 5539 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1594 25579 0 0 20 0 16 0 561290935 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5525/tid=5540] ppid=5523 vsize=689632 CPUtime=277.78
/proc/5525/task/5540/stat : 5540 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1594 26184 0 0 20 0 16 0 561290936 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5525/tid=5541] ppid=5523 vsize=689632 CPUtime=270.67
/proc/5525/task/5541/stat : 5541 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1682 25385 0 0 20 0 16 0 561290938 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 4425.29
Current children cumulated vsize (KiB) 689632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+318.905 s]
/proc/loadavg: 15.89 15.80 15.73 17/205 5546
/proc/meminfo: memFree=19179704/36427776 swapFree=6568/122464
[pid=5525] ppid=5523 vsize=689632 CPUtime=5001.77
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 27102 0 0 0 29016 471161 0 0 20 0 16 0 561290895 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 27058 103 286 0 172120 0
[pid=5525/tid=5527] ppid=5523 vsize=689632 CPUtime=313.7
/proc/5525/task/5527/stat : 5527 (gnovelty+) R 5523 5525 24979 0 -1 4202560 389 0 0 0 1870 29500 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=310.95
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 1718 29377 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=313.88
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1824 29564 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=314.1
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1852 29558 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=314.36
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1852 29584 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=313.72
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1844 29528 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=313.89
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1864 29525 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=313.98
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1884 29514 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=313.81
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1782 29599 0 0 20 0 16 0 561290929 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=313.88
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1746 29642 0 0 20 0 16 0 561290930 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=314.02
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1814 29588 0 0 20 0 16 0 561290932 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5525/tid=5538] ppid=5523 vsize=689632 CPUtime=313.78
/proc/5525/task/5538/stat : 5538 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1744 29634 0 0 20 0 16 0 561290933 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5525/tid=5539] ppid=5523 vsize=689632 CPUtime=307.02
/proc/5525/task/5539/stat : 5539 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1782 28920 0 0 20 0 16 0 561290935 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5525/tid=5540] ppid=5523 vsize=689632 CPUtime=313.85
/proc/5525/task/5540/stat : 5540 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1798 29587 0 0 20 0 16 0 561290936 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5525/tid=5541] ppid=5523 vsize=689632 CPUtime=306.74
/proc/5525/task/5541/stat : 5541 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1868 28806 0 0 20 0 16 0 561290938 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 5001.77
Current children cumulated vsize (KiB) 689632

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+318.905 s]
/proc/loadavg: 15.89 15.80 15.73 17/205 5546
/proc/meminfo: memFree=19179704/36427776 swapFree=6568/122464
[pid=5525] ppid=5523 vsize=689632 CPUtime=5001.77
/proc/5525/stat : 5525 (gnovelty+) R 5523 5525 24979 0 -1 4202496 27102 0 0 0 29016 471161 0 0 20 0 16 0 561290895 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5525/statm: 172408 27058 103 286 0 172120 0
[pid=5525/tid=5527] ppid=5523 vsize=689632 CPUtime=313.7
/proc/5525/task/5527/stat : 5527 (gnovelty+) R 5523 5525 24979 0 -1 4202560 389 0 0 0 1870 29500 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5525/tid=5528] ppid=5523 vsize=689632 CPUtime=310.95
/proc/5525/task/5528/stat : 5528 (gnovelty+) R 5523 5525 24979 0 -1 4202560 402 0 0 0 1718 29377 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5525/tid=5529] ppid=5523 vsize=689632 CPUtime=313.88
/proc/5525/task/5529/stat : 5529 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1824 29564 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5525/tid=5530] ppid=5523 vsize=689632 CPUtime=314.1
/proc/5525/task/5530/stat : 5530 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1852 29558 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5525/tid=5531] ppid=5523 vsize=689632 CPUtime=314.36
/proc/5525/task/5531/stat : 5531 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1852 29584 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5525/tid=5532] ppid=5523 vsize=689632 CPUtime=313.72
/proc/5525/task/5532/stat : 5532 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1844 29528 0 0 20 0 16 0 561290927 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5525/tid=5533] ppid=5523 vsize=689632 CPUtime=313.89
/proc/5525/task/5533/stat : 5533 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1864 29525 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5525/tid=5534] ppid=5523 vsize=689632 CPUtime=313.98
/proc/5525/task/5534/stat : 5534 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1884 29514 0 0 20 0 16 0 561290928 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5525/tid=5535] ppid=5523 vsize=689632 CPUtime=313.81
/proc/5525/task/5535/stat : 5535 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1782 29599 0 0 20 0 16 0 561290929 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5525/tid=5536] ppid=5523 vsize=689632 CPUtime=313.88
/proc/5525/task/5536/stat : 5536 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1746 29642 0 0 20 0 16 0 561290930 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5525/tid=5537] ppid=5523 vsize=689632 CPUtime=314.02
/proc/5525/task/5537/stat : 5537 (gnovelty+) R 5523 5525 24979 0 -1 4202560 397 0 0 0 1814 29588 0 0 20 0 16 0 561290932 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5525/tid=5538] ppid=5523 vsize=689632 CPUtime=313.78
/proc/5525/task/5538/stat : 5538 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1744 29634 0 0 20 0 16 0 561290933 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5525/tid=5539] ppid=5523 vsize=689632 CPUtime=307.02
/proc/5525/task/5539/stat : 5539 (gnovelty+) R 5523 5525 24979 0 -1 4202560 398 0 0 0 1782 28920 0 0 20 0 16 0 561290935 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5525/tid=5540] ppid=5523 vsize=689632 CPUtime=313.85
/proc/5525/task/5540/stat : 5540 (gnovelty+) R 5523 5525 24979 0 -1 4202560 400 0 0 0 1798 29587 0 0 20 0 16 0 561290936 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5525/tid=5541] ppid=5523 vsize=689632 CPUtime=306.74
/proc/5525/task/5541/stat : 5541 (gnovelty+) R 5523 5525 24979 0 -1 4202560 399 0 0 0 1868 28806 0 0 20 0 16 0 561290938 706183168 27058 18446744073709551615 134512640 135680988 4287746048 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 5001.77
Current children cumulated vsize (KiB) 689632

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5525 and gives
#  childrusage.ru_utime.tv_sec=281
#  childrusage.ru_utime.tv_usec=889617
#  childrusage.ru_stime.tv_sec=4575
#  childrusage.ru_stime.tv_usec=193931
# CPU time returned by wait4() is 4857.08
# while last known CPU time is 5001.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 318.959
CPU time (s): 5001.77
CPU user time (s): 290.16
CPU system time (s): 4711.61
CPU usage (%): 1568.15
Max. virtual memory (cumulated for all children) (KiB): 689632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 281.89
system time used= 4575.19
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27102
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= 285579
involuntary context switches= 12066

runsolver used 1.79211 second user time and 5.31633 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-03 11:04:05
IDJOB=1777572
IDBENCH=70372
IDSOLVER=619
FILE ID=xenhost3-49/1777572-1244019845
PBS_JOBID=
Free space on /tmp= 7133 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777572-1244019845/watcher-1777572-1244019845 -o /tmp/evaluation-result-1777572-1244019845/solver-1777572-1244019845 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777572-1244019845.cnf 144721469 16

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

MD5SUM BENCH= 2b1b5cba2ea775d4b0eb4b407240568e
RANDOM SEED= 144721469

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:      19287952 kB
Buffers:        395176 kB
Cached:       14006336 kB
SwapCached:          0 kB
Active:        3076784 kB
Inactive:     11337916 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2124 kB
Writeback:           0 kB
AnonPages:       11964 kB
Mapped:           5932 kB
Slab:           671484 kB
SReclaimable:   645240 kB
SUnreclaim:      26244 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    38264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7133 MiB
End job on xenhost3-49 at 2009-06-03 11:09:26