Trace number 1775862

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
satake 2009-03-22 (16 threads)UNSAT 3342.7 714.985

General information on the benchmark

Nameindustrial/fuhs/medium/
AProVE07-16.cnf
MD5SUM65057bcebbeecf6a7f3bc3fcfb2de009
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark451.51
Satisfiable
(Un)Satisfiability was proved
Number of variables52382
Number of clauses182485
Sum of the clauses size472601
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 285834
Number of clauses of size 387884
Number of clauses of size 47609
Number of clauses of size 5700
Number of clauses of size over 5457

Solver Data 

3342.62/714.95	c Benchmark name    : HOME/instance-1775862-1244724644.cnf
3342.62/714.95	c Thread Num        :           16
3342.62/714.95	c restarts          :           15
3342.62/714.95	c conflicts         :        79599
3342.62/714.95	c decisions         :       103652           (      145 / sec      )
3342.62/714.95	c propagations      :    132062654           (   185254 / sec      )
3342.62/714.95	c inspects          :    802054390           (  1125098 / sec      )
3342.62/714.95	c conflict literals :      7852654           (    57.00 % deleted  )
3342.62/714.95	c cpu time          :       712.88           
3342.62/714.95	s UNSATISFIABLE

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-1775862-1244724644/watcher-1775862-1244724644 -o /tmp/evaluation-result-1775862-1244724644/solver-1775862-1244724644 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775862-1244724644.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 6.87 7.09 7.11 2/184 29527
/proc/meminfo: memFree=19144920/36427776 swapFree=3820/7320
[pid=29527] ppid=29525 vsize=8104 CPUtime=0
/proc/29527/stat : 29527 (satake) D 29525 29527 27791 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 16 0 631770772 8298496 372 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 2026 372 63 164 0 1861 0
[pid=29527/tid=29528] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29528/stat : 29528 (satake) S 29525 29527 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 375 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29529/stat : 29529 (satake) D 29525 29527 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 378 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29530] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29530/stat : 29530 (satake) R 29525 29527 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 379 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29531/stat : 29531 (satake) R 29525 29527 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 380 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29532/stat : 29532 (satake) R 29525 29527 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 381 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29533/stat : 29533 (satake) R 29525 29527 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 382 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29534/stat : 29534 (satake) S 29525 29527 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 384 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29535] ppid=29525 vsize=8168 CPUtime=0
/proc/29527/task/29535/stat : 29535 (satake) D 29525 29527 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 631770773 8364032 388 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=8172 CPUtime=0
/proc/29527/task/29536/stat : 29536 (satake) D 29525 29527 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 631770773 8368128 389 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=8172 CPUtime=0
/proc/29527/task/29537/stat : 29537 (satake) S 29525 29527 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 631770773 8368128 392 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=8172 CPUtime=0
/proc/29527/task/29538/stat : 29538 (satake) S 29525 29527 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 631770773 8368128 393 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=8172 CPUtime=0
/proc/29527/task/29539/stat : 29539 (satake) D 29525 29527 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 16 0 631770773 8368128 395 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=8172 CPUtime=0
/proc/29527/task/29540/stat : 29540 (satake) R 29525 29527 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 631770773 8368128 397 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=8172 CPUtime=0
/proc/29527/task/29541/stat : 29541 (satake) R 29525 29527 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 631770773 8368128 397 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=8172 CPUtime=0
/proc/29527/task/29542/stat : 29542 (satake) D 29525 29527 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 631770774 8368128 397 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.054932 s]
/proc/loadavg: 6.87 7.09 7.11 2/184 29527
/proc/meminfo: memFree=19144920/36427776 swapFree=3820/7320
[pid=29527] ppid=29525 vsize=19736 CPUtime=0.32
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 2347 0 0 0 2 30 0 0 20 0 17 0 631770772 20209664 2295 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 4934 2298 63 164 0 4769 0
[pid=29527/tid=29528] ppid=29525 vsize=19736 CPUtime=0
/proc/29527/task/29528/stat : 29528 (satake) S 29525 29527 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631770773 20209664 2298 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29529/stat : 29529 (satake) R 29525 29527 27791 0 -1 4202560 198 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2298 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29530] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29530/stat : 29530 (satake) R 29525 29527 27791 0 -1 4202560 204 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2298 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29531/stat : 29531 (satake) R 29525 29527 27791 0 -1 4202560 194 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2298 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=19736 CPUtime=0
/proc/29527/task/29532/stat : 29532 (satake) R 29525 29527 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 17 0 631770773 20209664 2298 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29533/stat : 29533 (satake) R 29525 29527 27791 0 -1 4202560 223 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2298 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=19736 CPUtime=0
/proc/29527/task/29534/stat : 29534 (satake) R 29525 29527 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 631770773 20209664 2299 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29535] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29535/stat : 29535 (satake) R 29525 29527 27791 0 -1 4202560 157 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2302 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29536/stat : 29536 (satake) R 29525 29527 27791 0 -1 4202560 191 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2303 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=19736 CPUtime=0
/proc/29527/task/29537/stat : 29537 (satake) R 29525 29527 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 631770773 20209664 2307 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29538/stat : 29538 (satake) R 29525 29527 27791 0 -1 4202560 157 0 0 0 2 0 0 0 20 0 17 0 631770773 20209664 2329 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29539/stat : 29539 (satake) R 29525 29527 27791 0 -1 4202560 174 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2352 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29540/stat : 29540 (satake) R 29525 29527 27791 0 -1 4202560 153 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2371 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29541/stat : 29541 (satake) R 29525 29527 27791 0 -1 4202560 180 0 0 0 0 2 0 0 20 0 17 0 631770773 20209664 2399 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=19736 CPUtime=0.02
/proc/29527/task/29542/stat : 29542 (satake) D 29525 29527 27791 0 -1 4202560 146 0 0 0 0 2 0 0 20 0 17 0 631770774 20209664 2408 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 19736

[startup+0.106938 s]
/proc/loadavg: 6.87 7.09 7.11 2/184 29527
/proc/meminfo: memFree=19144920/36427776 swapFree=3820/7320
[pid=29527] ppid=29525 vsize=50968 CPUtime=0.83
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 7495 0 0 0 4 79 0 0 20 0 17 0 631770772 52191232 7450 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 12742 7494 63 164 0 12577 0
[pid=29527/tid=29528] ppid=29525 vsize=50968 CPUtime=0
/proc/29527/task/29528/stat : 29528 (satake) S 29525 29527 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631770773 52191232 7516 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=50968 CPUtime=0.06
/proc/29527/task/29529/stat : 29529 (satake) R 29525 29527 27791 0 -1 4202560 590 0 0 0 0 6 0 0 20 0 17 0 631770773 52191232 7549 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29530] ppid=29525 vsize=50968 CPUtime=0.06
/proc/29527/task/29530/stat : 29530 (satake) R 29525 29527 27791 0 -1 4202560 793 0 0 0 0 6 0 0 20 0 17 0 631770773 52191232 7574 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=50968 CPUtime=0.06
/proc/29527/task/29531/stat : 29531 (satake) R 29525 29527 27791 0 -1 4202560 645 0 0 0 0 6 0 0 20 0 17 0 631770773 52191232 7593 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=50968 CPUtime=0
/proc/29527/task/29532/stat : 29532 (satake) R 29525 29527 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 631770773 52191232 7609 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=50968 CPUtime=0.06
/proc/29527/task/29533/stat : 29533 (satake) R 29525 29527 27791 0 -1 4202560 584 0 0 0 0 6 0 0 20 0 17 0 631770773 52191232 7632 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=50968 CPUtime=0
/proc/29527/task/29534/stat : 29534 (satake) R 29525 29527 27791 0 -1 4202560 231 0 0 0 0 0 0 0 20 0 17 0 631770773 52191232 7646 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29535] ppid=29525 vsize=50968 CPUtime=0.06
/proc/29527/task/29535/stat : 29535 (satake) R 29525 29527 27791 0 -1 4202560 512 0 0 0 0 6 0 0 20 0 17 0 631770773 52191232 7674 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=50968 CPUtime=0.06
/proc/29527/task/29536/stat : 29536 (satake) R 29525 29527 27791 0 -1 4202560 434 0 0 0 0 6 0 0 20 0 17 0 631770773 52191232 7681 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=50968 CPUtime=0.02
/proc/29527/task/29537/stat : 29537 (satake) R 29525 29527 27791 0 -1 4202560 204 0 0 0 0 2 0 0 20 0 17 0 631770773 52191232 7683 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=53016 CPUtime=0.06
/proc/29527/task/29538/stat : 29538 (satake) D 29525 29527 27791 0 -1 4202560 618 0 0 0 2 4 0 0 20 0 17 0 631770773 54288384 7684 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=53016 CPUtime=0.06
/proc/29527/task/29539/stat : 29539 (satake) D 29525 29527 27791 0 -1 4202560 578 0 0 0 0 6 0 0 20 0 17 0 631770773 54288384 7686 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=53016 CPUtime=0.06
/proc/29527/task/29540/stat : 29540 (satake) R 29525 29527 27791 0 -1 4202560 530 0 0 0 0 6 0 0 20 0 17 0 631770773 54288384 7686 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=53016 CPUtime=0.06
/proc/29527/task/29541/stat : 29541 (satake) R 29525 29527 27791 0 -1 4202560 609 0 0 0 0 6 0 0 20 0 17 0 631770773 54288384 7688 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=53016 CPUtime=0.06
/proc/29527/task/29542/stat : 29542 (satake) D 29525 29527 27791 0 -1 4202560 610 0 0 0 0 6 0 0 20 0 17 0 631770774 54288384 7689 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 50968

[startup+0.303683 s]
/proc/loadavg: 6.87 7.09 7.11 2/184 29527
/proc/meminfo: memFree=19144920/36427776 swapFree=3820/7320
[pid=29527] ppid=29525 vsize=110292 CPUtime=2.58
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 12878 0 0 0 4 254 0 0 20 0 17 0 631770772 112939008 12826 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 27573 12833 63 164 0 27408 0
[pid=29527/tid=29528] ppid=29525 vsize=110292 CPUtime=0
/proc/29527/task/29528/stat : 29528 (satake) S 29525 29527 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631770773 112939008 12834 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29529/stat : 29529 (satake) R 29525 29527 27791 0 -1 4202560 964 0 0 0 0 20 0 0 20 0 17 0 631770773 112939008 12835 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29530] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29530/stat : 29530 (satake) R 29525 29527 27791 0 -1 4202560 1126 0 0 0 0 20 0 0 20 0 17 0 631770773 112939008 12836 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=110292 CPUtime=0.18
/proc/29527/task/29531/stat : 29531 (satake) R 29525 29527 27791 0 -1 4202560 978 0 0 0 0 18 0 0 20 0 17 0 631770773 112939008 12837 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=110292 CPUtime=0.12
/proc/29527/task/29532/stat : 29532 (satake) R 29525 29527 27791 0 -1 4202560 494 0 0 0 0 12 0 0 20 0 17 0 631770773 112939008 12837 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=110292 CPUtime=0.12
/proc/29527/task/29533/stat : 29533 (satake) S 29525 29527 27791 0 -1 4202560 863 0 0 0 0 12 0 0 20 0 17 0 631770773 112939008 12837 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=110292 CPUtime=0.08
/proc/29527/task/29534/stat : 29534 (satake) R 29525 29527 27791 0 -1 4202560 560 0 0 0 0 8 0 0 20 0 17 0 631770773 112939008 12837 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29535] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29535/stat : 29535 (satake) R 29525 29527 27791 0 -1 4202560 888 0 0 0 0 20 0 0 20 0 17 0 631770773 112939008 12839 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=110292 CPUtime=0.14
/proc/29527/task/29536/stat : 29536 (satake) R 29525 29527 27791 0 -1 4202560 764 0 0 0 0 14 0 0 20 0 17 0 631770773 112939008 12839 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=110292 CPUtime=0.08
/proc/29527/task/29537/stat : 29537 (satake) R 29525 29527 27791 0 -1 4202560 485 0 0 0 0 8 0 0 20 0 17 0 631770773 112939008 12840 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29538/stat : 29538 (satake) R 29525 29527 27791 0 -1 4202560 986 0 0 0 2 18 0 0 20 0 17 0 631770773 112939008 12843 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29539/stat : 29539 (satake) R 29525 29527 27791 0 -1 4202560 946 0 0 0 0 20 0 0 20 0 17 0 631770773 112939008 12845 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29540/stat : 29540 (satake) R 29525 29527 27791 0 -1 4202560 902 0 0 0 0 20 0 0 20 0 17 0 631770773 112939008 12847 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522232 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29541/stat : 29541 (satake) R 29525 29527 27791 0 -1 4202560 983 0 0 0 0 20 0 0 20 0 17 0 631770773 112939008 12848 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=110292 CPUtime=0.2
/proc/29527/task/29542/stat : 29542 (satake) R 29525 29527 27791 0 -1 4202560 978 0 0 0 0 20 0 0 20 0 17 0 631770774 112939008 12849 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 110292

[startup+0.704519 s]
/proc/loadavg: 6.87 7.09 7.11 2/184 29527
/proc/meminfo: memFree=19144920/36427776 swapFree=3820/7320
[pid=29527] ppid=29525 vsize=142176 CPUtime=5.34
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 20579 0 0 0 4 530 0 0 20 0 17 0 631770772 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 35544 20527 63 164 0 35379 0
[pid=29527/tid=29528] ppid=29525 vsize=142176 CPUtime=0
/proc/29527/task/29528/stat : 29528 (satake) S 29525 29527 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=142176 CPUtime=0.42
/proc/29527/task/29529/stat : 29529 (satake) D 29525 29527 27791 0 -1 4202560 1466 0 0 0 0 42 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29530] ppid=29525 vsize=142176 CPUtime=0.36
/proc/29527/task/29530/stat : 29530 (satake) D 29525 29527 27791 0 -1 4202560 1630 0 0 0 0 36 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=142176 CPUtime=0.4
/proc/29527/task/29531/stat : 29531 (satake) D 29525 29527 27791 0 -1 4202560 1478 0 0 0 0 40 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=142176 CPUtime=0.34
/proc/29527/task/29532/stat : 29532 (satake) R 29525 29527 27791 0 -1 4202560 1073 0 0 0 0 34 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=142176 CPUtime=0.26
/proc/29527/task/29533/stat : 29533 (satake) D 29525 29527 27791 0 -1 4202560 1329 0 0 0 0 26 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=142176 CPUtime=0.22
/proc/29527/task/29534/stat : 29534 (satake) D 29525 29527 27791 0 -1 4202560 1060 0 0 0 0 22 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29535] ppid=29525 vsize=142176 CPUtime=0.38
/proc/29527/task/29535/stat : 29535 (satake) D 29525 29527 27791 0 -1 4202560 1413 0 0 0 0 38 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=142176 CPUtime=0.26
/proc/29527/task/29536/stat : 29536 (satake) D 29525 29527 27791 0 -1 4202560 1236 0 0 0 0 26 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=142176 CPUtime=0.22
/proc/29527/task/29537/stat : 29537 (satake) D 29525 29527 27791 0 -1 4202560 1028 0 0 0 0 22 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=142176 CPUtime=0.4
/proc/29527/task/29538/stat : 29538 (satake) D 29525 29527 27791 0 -1 4202560 1502 0 0 0 2 38 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=142176 CPUtime=0.4
/proc/29527/task/29539/stat : 29539 (satake) D 29525 29527 27791 0 -1 4202560 1489 0 0 0 0 40 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=142176 CPUtime=0.4
/proc/29527/task/29540/stat : 29540 (satake) D 29525 29527 27791 0 -1 4202560 1411 0 0 0 0 40 0 0 20 0 17 0 631770773 145588224 20527 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=142176 CPUtime=0.4

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

/proc/29527/task/29537/stat : 29537 (satake) S 29525 29527 27791 0 -1 4202560 11178 0 0 0 19655 824 0 0 20 0 17 0 631770773 679616512 155002 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=663688 CPUtime=213.35
/proc/29527/task/29538/stat : 29538 (satake) R 29525 29527 27791 0 -1 4202560 11238 0 0 0 20503 832 0 0 20 0 17 0 631770773 679616512 155002 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=663688 CPUtime=196.65
/proc/29527/task/29539/stat : 29539 (satake) S 29525 29527 27791 0 -1 4202560 10975 0 0 0 18797 868 0 0 20 0 17 0 631770773 679616512 155002 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=663688 CPUtime=207.06
/proc/29527/task/29540/stat : 29540 (satake) R 29525 29527 27791 0 -1 4202560 10566 0 0 0 19960 746 0 0 20 0 17 0 631770773 679616512 155002 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134518252 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=663688 CPUtime=190.37
/proc/29527/task/29541/stat : 29541 (satake) S 29525 29527 27791 0 -1 4202560 10501 0 0 0 18287 750 0 0 20 0 17 0 631770773 679616512 155002 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=663688 CPUtime=209.03
/proc/29527/task/29542/stat : 29542 (satake) S 29525 29527 27791 0 -1 4202560 10079 0 0 0 20089 814 0 0 20 0 17 0 631770774 679616512 155002 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29544] ppid=29525 vsize=663688 CPUtime=201.39
/proc/29527/task/29544/stat : 29544 (satake) R 29525 29527 27791 0 -1 4202560 10327 0 0 0 19387 752 0 0 20 0 17 0 631770774 679616512 155002 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134520865 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3288.13
Current children cumulated vsize (KiB) 663688

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

[startup+703.903 s]
/proc/loadavg: 5.99 6.12 6.51 6/201 29554
/proc/meminfo: memFree=18522824/36427776 swapFree=4588/630056
[pid=29527] ppid=29525 vsize=663688 CPUtime=3297.08
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 167086 0 0 0 291767 37941 0 0 20 0 17 0 631770772 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 165922 155004 68 164 0 165757 0
[pid=29527/tid=29528] ppid=29525 vsize=663688 CPUtime=287.37
/proc/29527/task/29528/stat : 29528 (satake) D 29525 29527 27791 0 -1 4202560 5176 0 0 0 2890 25847 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=663688 CPUtime=188.57
/proc/29527/task/29529/stat : 29529 (satake) S 29525 29527 27791 0 -1 4202560 10554 0 0 0 18017 840 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29530] ppid=29525 vsize=663688 CPUtime=193.11
/proc/29527/task/29530/stat : 29530 (satake) S 29525 29527 27791 0 -1 4202560 10434 0 0 0 18499 812 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=663688 CPUtime=195.95
/proc/29527/task/29531/stat : 29531 (satake) S 29525 29527 27791 0 -1 4202560 10795 0 0 0 18799 796 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=663688 CPUtime=207.22
/proc/29527/task/29532/stat : 29532 (satake) S 29525 29527 27791 0 -1 4202560 11191 0 0 0 19976 746 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=663688 CPUtime=212.68
/proc/29527/task/29533/stat : 29533 (satake) R 29525 29527 27791 0 -1 4202560 11193 0 0 0 20450 818 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134520873 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=663688 CPUtime=206.63
/proc/29527/task/29534/stat : 29534 (satake) R 29525 29527 27791 0 -1 4202560 10554 0 0 0 19873 790 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29527/tid=29535] ppid=29525 vsize=663688 CPUtime=191.69
/proc/29527/task/29535/stat : 29535 (satake) R 29525 29527 27791 0 -1 4202560 11536 0 0 0 18343 826 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134520784 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=663688 CPUtime=187.75
/proc/29527/task/29536/stat : 29536 (satake) S 29525 29527 27791 0 -1 4202560 10663 0 0 0 17911 864 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=663688 CPUtime=205.06
/proc/29527/task/29537/stat : 29537 (satake) S 29525 29527 27791 0 -1 4202560 11178 0 0 0 19682 824 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=663688 CPUtime=213.82
/proc/29527/task/29538/stat : 29538 (satake) R 29525 29527 27791 0 -1 4202560 11238 0 0 0 20550 832 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=663688 CPUtime=196.95
/proc/29527/task/29539/stat : 29539 (satake) S 29525 29527 27791 0 -1 4202560 10975 0 0 0 18825 870 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=663688 CPUtime=207.43
/proc/29527/task/29540/stat : 29540 (satake) R 29525 29527 27791 0 -1 4202560 10566 0 0 0 19993 750 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=663688 CPUtime=190.79
/proc/29527/task/29541/stat : 29541 (satake) S 29525 29527 27791 0 -1 4202560 10501 0 0 0 18327 752 0 0 20 0 17 0 631770773 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=663688 CPUtime=209.49
/proc/29527/task/29542/stat : 29542 (satake) S 29525 29527 27791 0 -1 4202560 10079 0 0 0 20133 816 0 0 20 0 17 0 631770774 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29544] ppid=29525 vsize=663688 CPUtime=202.48
/proc/29527/task/29544/stat : 29544 (satake) S 29525 29527 27791 0 -1 4202560 10327 0 0 0 19496 752 0 0 20 0 17 0 631770774 679616512 155004 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3297.08
Current children cumulated vsize (KiB) 663688

[startup+710.302 s]
/proc/loadavg: 5.99 6.12 6.51 5/201 29554
/proc/meminfo: memFree=18522700/36427776 swapFree=4588/630260
[pid=29527] ppid=29525 vsize=663852 CPUtime=3324.48
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 167160 0 0 0 294160 38288 0 0 20 0 17 0 631770772 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 165963 155078 68 164 0 165798 0
[pid=29527/tid=29528] ppid=29525 vsize=663852 CPUtime=290.12
/proc/29527/task/29528/stat : 29528 (satake) R 29525 29527 27791 0 -1 4202560 5211 0 0 0 2926 26086 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=663852 CPUtime=189.75
/proc/29527/task/29529/stat : 29529 (satake) S 29525 29527 27791 0 -1 4202560 10554 0 0 0 18131 844 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29530] ppid=29525 vsize=663852 CPUtime=194.53
/proc/29527/task/29530/stat : 29530 (satake) S 29525 29527 27791 0 -1 4202560 10434 0 0 0 18633 820 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=663852 CPUtime=197.61
/proc/29527/task/29531/stat : 29531 (satake) S 29525 29527 27791 0 -1 4202560 10796 0 0 0 18955 806 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=663852 CPUtime=208.43
/proc/29527/task/29532/stat : 29532 (satake) R 29525 29527 27791 0 -1 4202560 11191 0 0 0 20089 754 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134527257 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=663852 CPUtime=216.76
/proc/29527/task/29533/stat : 29533 (satake) S 29525 29527 27791 0 -1 4202560 11194 0 0 0 20846 830 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=663852 CPUtime=207.83
/proc/29527/task/29534/stat : 29534 (satake) S 29525 29527 27791 0 -1 4202560 10554 0 0 0 19989 794 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=29527/tid=29535] ppid=29525 vsize=663852 CPUtime=193.73
/proc/29527/task/29535/stat : 29535 (satake) S 29525 29527 27791 0 -1 4202560 11553 0 0 0 18541 832 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=663852 CPUtime=189.05
/proc/29527/task/29536/stat : 29536 (satake) S 29525 29527 27791 0 -1 4202560 10663 0 0 0 18033 872 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=663852 CPUtime=206.18
/proc/29527/task/29537/stat : 29537 (satake) D 29525 29527 27791 0 -1 4202560 11179 0 0 0 19792 826 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=663852 CPUtime=215.16
/proc/29527/task/29538/stat : 29538 (satake) S 29525 29527 27791 0 -1 4202560 11238 0 0 0 20678 838 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=663852 CPUtime=198.63
/proc/29527/task/29539/stat : 29539 (satake) R 29525 29527 27791 0 -1 4202560 10975 0 0 0 18979 884 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134518214 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=663852 CPUtime=208.79
/proc/29527/task/29540/stat : 29540 (satake) S 29525 29527 27791 0 -1 4202560 10578 0 0 0 20127 752 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=663852 CPUtime=192.33
/proc/29527/task/29541/stat : 29541 (satake) S 29525 29527 27791 0 -1 4202560 10505 0 0 0 18477 756 0 0 20 0 17 0 631770773 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=663852 CPUtime=211.25
/proc/29527/task/29542/stat : 29542 (satake) R 29525 29527 27791 0 -1 4202560 10082 0 0 0 20303 822 0 0 20 0 17 0 631770774 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134528605 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29544] ppid=29525 vsize=663852 CPUtime=204.18
/proc/29527/task/29544/stat : 29544 (satake) R 29525 29527 27791 0 -1 4202560 10327 0 0 0 19654 764 0 0 20 0 17 0 631770774 679784448 155078 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3324.48
Current children cumulated vsize (KiB) 663852

[startup+713.504 s]
/proc/loadavg: 5.83 6.09 6.49 4/201 29554
/proc/meminfo: memFree=18522700/36427776 swapFree=4588/630528
[pid=29527] ppid=29525 vsize=626192 CPUtime=3340.49
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 167212 0 0 0 295272 38777 0 0 20 0 15 0 631770772 641220608 148324 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 156164 148324 77 164 0 155999 0
[pid=29527/tid=29528] ppid=29525 vsize=624656 CPUtime=291.66
/proc/29527/task/29528/stat : 29528 (satake) R 29525 29527 27791 0 -1 4202560 5227 0 0 0 2956 26210 0 0 20 0 15 0 631770773 639647744 148324 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134670131 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29527/tid=29529] ppid=29525 vsize=624656 CPUtime=191.65
/proc/29527/task/29529/stat : 29529 (satake) R 29525 29527 27791 0 -1 4202560 10554 0 0 0 18295 870 0 0 20 0 15 0 631770773 639647744 148324 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29527/tid=29531] ppid=29525 vsize=624140 CPUtime=198.45
/proc/29527/task/29531/stat : 29531 (satake) R 29525 29527 27791 0 -1 4202560 10796 0 0 0 19011 834 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29527/tid=29532] ppid=29525 vsize=624140 CPUtime=209.45
/proc/29527/task/29532/stat : 29532 (satake) R 29525 29527 27791 0 -1 4202560 11195 0 0 0 20169 776 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29527/tid=29533] ppid=29525 vsize=624140 CPUtime=217.65
/proc/29527/task/29533/stat : 29533 (satake) R 29525 29527 27791 0 -1 4202560 11215 0 0 0 20909 856 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29527/tid=29534] ppid=29525 vsize=624140 CPUtime=208.7
/proc/29527/task/29534/stat : 29534 (satake) R 29525 29527 27791 0 -1 4202560 10554 0 0 0 20048 822 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29527/tid=29536] ppid=29525 vsize=624140 CPUtime=189.81
/proc/29527/task/29536/stat : 29536 (satake) R 29525 29527 27791 0 -1 4202560 10672 0 0 0 18083 898 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29527/tid=29537] ppid=29525 vsize=624140 CPUtime=207.65
/proc/29527/task/29537/stat : 29537 (satake) R 29525 29527 27791 0 -1 4202560 11180 0 0 0 19927 838 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29527/tid=29538] ppid=29525 vsize=624140 CPUtime=216.78
/proc/29527/task/29538/stat : 29538 (satake) R 29525 29527 27791 0 -1 4202560 11238 0 0 0 20822 856 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29527/tid=29539] ppid=29525 vsize=624140 CPUtime=199.53
/proc/29527/task/29539/stat : 29539 (satake) R 29525 29527 27791 0 -1 4202560 10975 0 0 0 19037 916 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29527/tid=29540] ppid=29525 vsize=624140 CPUtime=209.61
/proc/29527/task/29540/stat : 29540 (satake) R 29525 29527 27791 0 -1 4202560 10579 0 0 0 20181 780 0 0 20 0 15 0 631770773 639119360 148221 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29527/tid=29541] ppid=29525 vsize=624140 CPUtime=193.01
/proc/29527/task/29541/stat : 29541 (satake) R 29525 29527 27791 0 -1 4202560 10505 0 0 0 18519 782 0 0 20 0 15 0 631770773 639119360 148016 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29527/tid=29542] ppid=29525 vsize=623116 CPUtime=211.93
/proc/29527/task/29542/stat : 29542 (satake) R 29525 29527 27791 0 -1 4202560 10082 0 0 0 20347 846 0 0 20 0 15 0 631770774 638070784 148016 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29527/tid=29544] ppid=29525 vsize=623116 CPUtime=204.8
/proc/29527/task/29544/stat : 29544 (satake) S 29525 29527 27791 0 -1 4202560 10327 0 0 0 19690 790 0 0 20 0 15 0 631770774 638070784 148016 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3340.49
Current children cumulated vsize (KiB) 626192

[startup+714.304 s]
/proc/loadavg: 5.83 6.09 6.49 2/186 29554
/proc/meminfo: memFree=18610628/36427776 swapFree=4588/534928
[pid=29527] ppid=29525 vsize=539544 CPUtime=3342.01
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 167212 0 0 0 295401 38800 0 0 20 0 2 0 631770772 552493056 130880 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 134886 130880 77 164 0 134721 0
[pid=29527/tid=29537] ppid=29525 vsize=539544 CPUtime=208.4
/proc/29527/task/29537/stat : 29537 (satake) R 29525 29527 27791 0 -1 4202560 11180 0 0 0 20000 840 0 0 20 0 2 0 631770773 552493056 130880 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134666399 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3342.01
Current children cumulated vsize (KiB) 539544

[startup+714.704 s]
/proc/loadavg: 5.83 6.09 6.49 2/186 29554
/proc/meminfo: memFree=18610628/36427776 swapFree=4588/534928
[pid=29527] ppid=29525 vsize=539544 CPUtime=3342.41
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 167212 0 0 0 295441 38800 0 0 20 0 2 0 631770772 552493056 130880 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 134886 130880 77 164 0 134721 0
[pid=29527/tid=29537] ppid=29525 vsize=539544 CPUtime=208.8
/proc/29527/task/29537/stat : 29537 (satake) R 29525 29527 27791 0 -1 4202560 11180 0 0 0 20040 840 0 0 20 0 2 0 631770773 552493056 130880 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134520810 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3342.41
Current children cumulated vsize (KiB) 539544

[startup+714.904 s]
/proc/loadavg: 5.83 6.09 6.49 2/186 29554
/proc/meminfo: memFree=18748244/36427776 swapFree=4588/396872
[pid=29527] ppid=29525 vsize=375220 CPUtime=3342.62
/proc/29527/stat : 29527 (satake) S 29525 29527 27791 0 -1 4202496 167212 0 0 0 295458 38804 0 0 20 0 2 0 631770772 384225280 90716 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29527/statm: 93805 90716 77 164 0 93640 0
[pid=29527/tid=29537] ppid=29525 vsize=374196 CPUtime=209.01
/proc/29527/task/29537/stat : 29537 (satake) R 29525 29527 27791 0 -1 4202560 11180 0 0 0 20057 844 0 0 20 0 2 0 631770773 383176704 90460 18446744073709551615 134512640 135180984 4294180384 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3342.62
Current children cumulated vsize (KiB) 375220

Child status: 16
Real time (s): 714.985
CPU time (s): 3342.7
CPU user time (s): 2954.58
CPU system time (s): 388.12
CPU usage (%): 467.521
Max. virtual memory (cumulated for all children) (KiB): 664176


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2954.58
system time used= 388.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167213
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= 36142275
involuntary context switches= 5249701

runsolver used 3.1682 second user time and 8.81255 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 14:50:44
IDJOB=1775862
IDBENCH=20398
IDSOLVER=631
FILE ID=xenhost3-49/1775862-1244724644
PBS_JOBID=
Free space on /tmp= 7038 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-16.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775862-1244724644/watcher-1775862-1244724644 -o /tmp/evaluation-result-1775862-1244724644/solver-1775862-1244724644 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775862-1244724644.cnf 16 10000

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

MD5SUM BENCH= 65057bcebbeecf6a7f3bc3fcfb2de009
RANDOM SEED= 850241069

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:      19145468 kB
Buffers:        432104 kB
Cached:       14103076 kB
SwapCached:          0 kB
Active:        4077100 kB
Inactive:     10465908 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3616 kB
Writeback:           0 kB
AnonPages:        7080 kB
Mapped:           3592 kB
Slab:           687556 kB
SReclaimable:   660772 kB
SUnreclaim:      26784 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7037 MiB
End job on xenhost3-49 at 2009-06-11 15:02:39