Trace number 1776192

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 53.0473 11.6033

General information on the benchmark

Nameindustrial/babic/hsatv17/
hsat_vc11803.cnf
MD5SUM6c6fd606fd41d7205b07602118ad74a0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.22
Satisfiable
(Un)Satisfiability was proved
Number of variables276402
Number of clauses798348
Sum of the clauses size2080196
Maximum clause length3
Minimum clause length1
Number of clauses of size 131560
Number of clauses of size 2251728
Number of clauses of size 3515060
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

52.92/11.53	c Benchmark name    : HOME/instance-1776192-1244738993.cnf
52.92/11.53	c Thread Num        :           16
52.92/11.53	c restarts          :            1
52.92/11.53	c conflicts         :           82
52.92/11.53	c decisions         :         6331           (      589 / sec      )
52.92/11.53	c propagations      :       268352           (    24954 / sec      )
52.92/11.53	c inspects          :       491001           (    45658 / sec      )
52.92/11.53	c conflict literals :          513           (     2.10 % deleted  )
52.92/11.53	c cpu time          :        10.75           
52.92/11.53	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-1776192-1244738993/watcher-1776192-1244738993 -o /tmp/evaluation-result-1776192-1244738993/solver-1776192-1244738993 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776192-1244738993.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.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 380 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 2043 380 63 164 0 1878 0
[pid=31029/tid=31030] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 380 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 381 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 382 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 387 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 388 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 389 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31036/stat : 31036 (satake) S 31027 31029 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31037/stat : 31037 (satake) R 31027 31029 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31038/stat : 31038 (satake) S 31027 31029 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31039/stat : 31039 (satake) S 31027 31029 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31040/stat : 31040 (satake) S 31027 31029 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 391 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 392 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31043/stat : 31043 (satake) D 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 8368128 392 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 633205747 8368128 392 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=8172 CPUtime=0
/proc/31029/task/31045/stat : 31045 (satake) R 31027 31029 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 633205747 8368128 394 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

[startup+0.087787 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=50456 CPUtime=0.54
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 9336 0 0 0 1 53 0 0 20 0 17 0 633205746 51666944 9300 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 12614 9354 63 164 0 12449 0
[pid=31029/tid=31030] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 51666944 9376 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 895 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9398 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31032/stat : 31032 (satake) R 31027 31029 27791 0 -1 4202560 793 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9422 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 880 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9432 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 470 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 794 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 953 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 433 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 435 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=50456 CPUtime=0.02
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 437 0 0 0 0 2 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=50456 CPUtime=0.06
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 967 0 0 0 0 6 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=50456 CPUtime=0.04
/proc/31029/task/31043/stat : 31043 (satake) D 31027 31029 27791 0 -1 4202560 815 0 0 0 0 4 0 0 20 0 17 0 633205746 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 221 0 0 0 0 0 0 0 20 0 17 0 633205747 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=50456 CPUtime=0
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 633205747 51666944 9436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 50456

[startup+0.103837 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=75032 CPUtime=0.66
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 11430 0 0 0 1 65 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 18758 11386 63 164 0 18593 0
[pid=31029/tid=31030] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 1088 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 948 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 1044 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 105 0 0 0 0 0 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=75032 CPUtime=0.02
/proc/31029/task/31035/stat : 31035 (satake) D 31027 31029 27791 0 -1 4202560 477 0 0 0 0 2 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=75032 CPUtime=0.04
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 1005 0 0 0 0 4 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 1153 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=75032 CPUtime=0.02
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 595 0 0 0 0 2 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=75032 CPUtime=0.02
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 442 0 0 0 0 2 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=75032 CPUtime=0.04
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 596 0 0 0 0 4 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31041/stat : 31041 (satake) D 31027 31029 27791 0 -1 4202560 1283 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 1165 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=75032 CPUtime=0.06
/proc/31029/task/31043/stat : 31043 (satake) D 31027 31029 27791 0 -1 4202560 1050 0 0 0 0 6 0 0 20 0 17 0 633205746 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 17 0 633205747 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=75032 CPUtime=0
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 633205747 76832768 11386 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 75032

[startup+0.303771 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=211500 CPUtime=2.49
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 41962 0 0 0 1 248 0 0 20 0 17 0 633205746 216576000 41918 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 52875 41919 63 164 0 52710 0
[pid=31029/tid=31030] ppid=31027 vsize=211500 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 216576000 41920 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=211500 CPUtime=0.14
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 2316 0 0 0 0 14 0 0 20 0 17 0 633205746 216576000 41921 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 3332 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41923 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31033/stat : 31033 (satake) D 31027 31029 27791 0 -1 4202560 3765 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41923 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=211500 CPUtime=0.1
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 1449 0 0 0 0 10 0 0 20 0 17 0 633205746 216576000 41928 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=211500 CPUtime=0.12
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 1701 0 0 0 0 12 0 0 20 0 17 0 633205746 216576000 41929 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=211500 CPUtime=0.14
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 2623 0 0 0 0 14 0 0 20 0 17 0 633205746 216576000 41930 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31037/stat : 31037 (satake) R 31027 31029 27791 0 -1 4202560 4184 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41931 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=211500 CPUtime=0.12
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 2628 0 0 0 0 12 0 0 20 0 17 0 633205746 216576000 41931 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=211500 CPUtime=0.1
/proc/31029/task/31039/stat : 31039 (satake) R 31027 31029 27791 0 -1 4202560 1598 0 0 0 0 10 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=211500 CPUtime=0.1
/proc/31029/task/31040/stat : 31040 (satake) R 31027 31029 27791 0 -1 4202560 1823 0 0 0 0 10 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 4041 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=211500 CPUtime=0.24
/proc/31029/task/31042/stat : 31042 (satake) R 31027 31029 27791 0 -1 4202560 3717 0 0 0 0 24 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=211500 CPUtime=0.22
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 3732 0 0 0 0 22 0 0 20 0 17 0 633205746 216576000 41932 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=211500 CPUtime=0.16
/proc/31029/task/31044/stat : 31044 (satake) R 31027 31029 27791 0 -1 4202560 3499 0 0 0 0 16 0 0 20 0 17 0 633205747 216576000 41940 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=211500 CPUtime=0.08
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 1435 0 0 0 0 8 0 0 20 0 17 0 633205747 216576000 41944 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 211500

[startup+0.702066 s]
/proc/loadavg: 6.90 6.27 7.56 2/184 31029
/proc/meminfo: memFree=19127052/36427776 swapFree=4804/8428
[pid=31029] ppid=31027 vsize=276384 CPUtime=5.35
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 56042 0 0 0 3 532 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 69096 55998 63 164 0 68931 0
[pid=31029/tid=31030] ppid=31027 vsize=276384 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=276384 CPUtime=0.28
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 3274 0 0 0 0 28 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=276384 CPUtime=0.48
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 4395 0 0 0 0 48 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=276384 CPUtime=0.46
/proc/31029/task/31033/stat : 31033 (satake) D 31027 31029 27791 0 -1 4202560 4745 0 0 0 0 46 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=276384 CPUtime=0.22
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 2270 0 0 0 0 22 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=276384 CPUtime=0.26
/proc/31029/task/31035/stat : 31035 (satake) D 31027 31029 27791 0 -1 4202560 2571 0 0 0 0 26 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=276384 CPUtime=0.26
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 3440 0 0 0 0 26 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=276384 CPUtime=0.48
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 5198 0 0 0 0 48 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=276384 CPUtime=0.26
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 3459 0 0 0 0 26 0 0 20 0 17 0 633205746 283017216 55998 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=276384 CPUtime=0.26

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

[pid=31029/tid=31034] ppid=31027 vsize=1075568 CPUtime=1.46
/proc/31029/task/31034/stat : 31034 (satake) D 31027 31029 27791 0 -1 4202560 11987 0 0 0 0 146 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1075568 CPUtime=1.56
/proc/31029/task/31035/stat : 31035 (satake) D 31027 31029 27791 0 -1 4202560 12375 0 0 0 2 154 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1075568 CPUtime=1.62
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 12631 0 0 0 4 158 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1075568 CPUtime=2.62
/proc/31029/task/31037/stat : 31037 (satake) D 31027 31029 27791 0 -1 4202560 14083 0 0 0 14 248 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1075568 CPUtime=1.6
/proc/31029/task/31038/stat : 31038 (satake) D 31027 31029 27791 0 -1 4202560 12579 0 0 0 4 156 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1075568 CPUtime=1.58
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 12150 0 0 0 2 156 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1075568 CPUtime=1.62
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 12788 0 0 0 6 156 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1075568 CPUtime=2.6
/proc/31029/task/31041/stat : 31041 (satake) S 31027 31029 27791 0 -1 4202560 13714 0 0 0 20 240 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1075568 CPUtime=2.58
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 13254 0 0 0 6 252 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1075568 CPUtime=2.42
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 13436 0 0 0 14 228 0 0 20 0 17 0 633205746 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1075568 CPUtime=2.42
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 13339 0 0 0 14 228 0 0 20 0 17 0 633205747 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1075568 CPUtime=1.56
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 12009 0 0 0 2 154 0 0 20 0 17 0 633205747 1101381632 193634 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 30.21
Current children cumulated vsize (KiB) 1075568

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

[startup+9.50841 s]
/proc/loadavg: 8.15 6.56 7.64 6/201 31051
/proc/meminfo: memFree=18175348/36427776 swapFree=4468/962920
[pid=31029] ppid=31027 vsize=1316188 CPUtime=41.9
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 253678 0 0 0 698 3492 0 0 20 0 17 0 633205746 1347776512 246077 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 329047 246077 66 164 0 328882 0
[pid=31029/tid=31030] ppid=31027 vsize=1316188 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 1347776512 246077 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=1316188 CPUtime=2.24
/proc/31029/task/31031/stat : 31031 (satake) D 31027 31029 27791 0 -1 4202560 16396 0 0 0 46 178 0 0 20 0 17 0 633205746 1347776512 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=1316188 CPUtime=3.34
/proc/31029/task/31032/stat : 31032 (satake) D 31027 31029 27791 0 -1 4202560 17402 0 0 0 36 298 0 0 20 0 17 0 633205746 1347776512 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=1316188 CPUtime=3.24
/proc/31029/task/31033/stat : 31033 (satake) D 31027 31029 27791 0 -1 4202560 17371 0 0 0 36 288 0 0 20 0 17 0 633205746 1347776512 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=1300432 CPUtime=2.16
/proc/31029/task/31034/stat : 31034 (satake) S 31027 31029 27791 0 -1 4202560 16235 0 0 0 38 178 0 0 20 0 17 0 633205746 1331642368 245756 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1300432 CPUtime=2.28
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 16408 0 0 0 42 186 0 0 20 0 17 0 633205746 1331642368 245757 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1300432 CPUtime=2.32
/proc/31029/task/31036/stat : 31036 (satake) D 31027 31029 27791 0 -1 4202560 16586 0 0 0 44 188 0 0 20 0 17 0 633205746 1331642368 245757 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1300432 CPUtime=3.58
/proc/31029/task/31037/stat : 31037 (satake) S 31027 31029 27791 0 -1 4202560 17767 0 0 0 72 286 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1300432 CPUtime=2.3
/proc/31029/task/31038/stat : 31038 (satake) S 31027 31029 27791 0 -1 4202560 16426 0 0 0 48 182 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1300432 CPUtime=2.28
/proc/31029/task/31039/stat : 31039 (satake) D 31027 31029 27791 0 -1 4202560 16131 0 0 0 40 188 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134869198 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1300432 CPUtime=2.4
/proc/31029/task/31040/stat : 31040 (satake) D 31027 31029 27791 0 -1 4202560 17169 0 0 0 48 192 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1300432 CPUtime=3.52
/proc/31029/task/31041/stat : 31041 (satake) D 31027 31029 27791 0 -1 4202560 17583 0 0 0 66 286 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1300432 CPUtime=3.4
/proc/31029/task/31042/stat : 31042 (satake) D 31027 31029 27791 0 -1 4202560 17303 0 0 0 44 296 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1300432 CPUtime=3.24
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 17583 0 0 0 50 274 0 0 20 0 17 0 633205746 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1300432 CPUtime=3.24
/proc/31029/task/31044/stat : 31044 (satake) D 31027 31029 27791 0 -1 4202560 17354 0 0 0 50 274 0 0 20 0 17 0 633205747 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1300432 CPUtime=2.24
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 15834 0 0 0 32 192 0 0 20 0 17 0 633205747 1331642368 245759 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 41.9
Current children cumulated vsize (KiB) 1316188

[startup+10.3045 s]
/proc/loadavg: 8.15 6.56 7.64 8/201 31051
/proc/meminfo: memFree=18186748/36427776 swapFree=4568/946860
[pid=31029] ppid=31027 vsize=1248932 CPUtime=46.49
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 265696 0 0 0 1117 3532 0 0 20 0 17 0 633205746 1278906368 230201 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 312233 230204 66 164 0 312068 0
[pid=31029/tid=31030] ppid=31027 vsize=1248932 CPUtime=0
/proc/31029/task/31030/stat : 31030 (satake) S 31027 31029 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 633205746 1278906368 230205 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31031] ppid=31027 vsize=1248932 CPUtime=2.48
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 17771 0 0 0 66 182 0 0 20 0 17 0 633205746 1278906368 230205 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134513830 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=1248932 CPUtime=3.64
/proc/31029/task/31032/stat : 31032 (satake) S 31027 31029 27791 0 -1 4202560 17738 0 0 0 66 298 0 0 20 0 17 0 633205746 1278906368 230207 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=1248932 CPUtime=3.66
/proc/31029/task/31033/stat : 31033 (satake) S 31027 31029 27791 0 -1 4202560 17822 0 0 0 74 292 0 0 20 0 17 0 633205746 1278906368 230207 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=1248932 CPUtime=2.38
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 17677 0 0 0 56 182 0 0 20 0 17 0 633205746 1278906368 230208 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1248932 CPUtime=2.56
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 17854 0 0 0 66 190 0 0 20 0 17 0 633205746 1278906368 230208 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1248932 CPUtime=2.68
/proc/31029/task/31036/stat : 31036 (satake) R 31027 31029 27791 0 -1 4202560 17858 0 0 0 80 188 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1248932 CPUtime=3.58
/proc/31029/task/31037/stat : 31037 (satake) S 31027 31029 27791 0 -1 4202560 17767 0 0 0 72 286 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1248932 CPUtime=2.56
/proc/31029/task/31038/stat : 31038 (satake) R 31027 31029 27791 0 -1 4202560 17819 0 0 0 68 188 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134521005 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1248932 CPUtime=2.48
/proc/31029/task/31039/stat : 31039 (satake) R 31027 31029 27791 0 -1 4202560 17510 0 0 0 54 194 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1248932 CPUtime=2.82
/proc/31029/task/31040/stat : 31040 (satake) R 31027 31029 27791 0 -1 4202560 17906 0 0 0 88 194 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1248932 CPUtime=3.94
/proc/31029/task/31041/stat : 31041 (satake) S 31027 31029 27791 0 -1 4202560 17655 0 0 0 108 286 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1248932 CPUtime=3.98
/proc/31029/task/31042/stat : 31042 (satake) S 31027 31029 27791 0 -1 4202560 17780 0 0 0 100 298 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1248932 CPUtime=3.58
/proc/31029/task/31043/stat : 31043 (satake) S 31027 31029 27791 0 -1 4202560 17673 0 0 0 84 274 0 0 20 0 17 0 633205746 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1248932 CPUtime=3.62
/proc/31029/task/31044/stat : 31044 (satake) S 31027 31029 27791 0 -1 4202560 17554 0 0 0 88 274 0 0 20 0 17 0 633205747 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1248932 CPUtime=2.46
/proc/31029/task/31045/stat : 31045 (satake) D 31027 31029 27791 0 -1 4202560 17187 0 0 0 46 200 0 0 20 0 17 0 633205747 1278906368 230209 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 46.49
Current children cumulated vsize (KiB) 1248932

[startup+11.1037 s]
/proc/loadavg: 7.97 6.55 7.63 13/200 31051
/proc/meminfo: memFree=18277716/36427776 swapFree=4580/855048
[pid=31029] ppid=31027 vsize=1134488 CPUtime=51.27
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 272555 0 0 0 1589 3538 0 0 20 0 16 0 633205746 1161715712 205436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 283622 205436 77 164 0 283457 0
[pid=31029/tid=31031] ppid=31027 vsize=1134488 CPUtime=2.8
/proc/31029/task/31031/stat : 31031 (satake) R 31027 31029 27791 0 -1 4202560 17972 0 0 0 98 182 0 0 20 0 16 0 633205746 1161715712 205436 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31032] ppid=31027 vsize=1134488 CPUtime=3.74
/proc/31029/task/31032/stat : 31032 (satake) R 31027 31029 27791 0 -1 4202560 17747 0 0 0 76 298 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31029/tid=31033] ppid=31027 vsize=1134488 CPUtime=3.74
/proc/31029/task/31033/stat : 31033 (satake) R 31027 31029 27791 0 -1 4202560 17822 0 0 0 82 292 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31029/tid=31034] ppid=31027 vsize=1134488 CPUtime=2.66
/proc/31029/task/31034/stat : 31034 (satake) R 31027 31029 27791 0 -1 4202560 17952 0 0 0 82 184 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31029/tid=31035] ppid=31027 vsize=1134488 CPUtime=2.86
/proc/31029/task/31035/stat : 31035 (satake) R 31027 31029 27791 0 -1 4202560 17916 0 0 0 96 190 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31036] ppid=31027 vsize=1134488 CPUtime=2.92
/proc/31029/task/31036/stat : 31036 (satake) R 31027 31029 27791 0 -1 4202560 17913 0 0 0 104 188 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31037] ppid=31027 vsize=1134488 CPUtime=4.1
/proc/31029/task/31037/stat : 31037 (satake) R 31027 31029 27791 0 -1 4202560 17853 0 0 0 124 286 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31029/tid=31038] ppid=31027 vsize=1134488 CPUtime=3
/proc/31029/task/31038/stat : 31038 (satake) S 31027 31029 27791 0 -1 4202560 17890 0 0 0 112 188 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31029/tid=31039] ppid=31027 vsize=1134488 CPUtime=2.84
/proc/31029/task/31039/stat : 31039 (satake) R 31027 31029 27791 0 -1 4202560 17999 0 0 0 90 194 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31040] ppid=31027 vsize=1134488 CPUtime=2.96
/proc/31029/task/31040/stat : 31040 (satake) R 31027 31029 27791 0 -1 4202560 17918 0 0 0 102 194 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31029/tid=31041] ppid=31027 vsize=1134488 CPUtime=4.38
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 17711 0 0 0 152 286 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31029/tid=31042] ppid=31027 vsize=1134488 CPUtime=4.1
/proc/31029/task/31042/stat : 31042 (satake) R 31027 31029 27791 0 -1 4202560 17780 0 0 0 112 298 0 0 20 0 16 0 633205746 1161715712 205186 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31029/tid=31043] ppid=31027 vsize=1134488 CPUtime=3.94
/proc/31029/task/31043/stat : 31043 (satake) R 31027 31029 27791 0 -1 4202560 17726 0 0 0 120 274 0 0 20 0 16 0 633205746 1161715712 204924 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134670000 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31029/tid=31044] ppid=31027 vsize=1134488 CPUtime=4.1
/proc/31029/task/31044/stat : 31044 (satake) S 31027 31029 27791 0 -1 4202560 17614 0 0 0 136 274 0 0 20 0 16 0 633205747 1161715712 204924 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31029/tid=31045] ppid=31027 vsize=1134488 CPUtime=2.86
/proc/31029/task/31045/stat : 31045 (satake) R 31027 31029 27791 0 -1 4202560 17748 0 0 0 86 200 0 0 20 0 16 0 633205747 1161715712 204924 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 1134488

[startup+11.5005 s]
/proc/loadavg: 7.97 6.55 7.63 13/200 31051
/proc/meminfo: memFree=18277716/36427776 swapFree=4580/855048
[pid=31029] ppid=31027 vsize=587976 CPUtime=52.92
/proc/31029/stat : 31029 (satake) S 31027 31029 27791 0 -1 4202496 272586 0 0 0 1754 3538 0 0 20 0 2 0 633205746 602087424 133037 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 146994 133037 77 164 0 146829 0
[pid=31029/tid=31041] ppid=31027 vsize=587976 CPUtime=4.76
/proc/31029/task/31041/stat : 31041 (satake) R 31027 31029 27791 0 -1 4202560 17742 0 0 0 190 286 0 0 20 0 2 0 633205746 602087424 133037 18446744073709551615 134512640 135180984 4289087824 18446744073709551615 134670748 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 52.92
Current children cumulated vsize (KiB) 587976

[startup+11.6006 s]
/proc/loadavg: 7.97 6.55 7.63 13/200 31051
/proc/meminfo: memFree=18277716/36427776 swapFree=4580/855048
[pid=31029] ppid=31027 vsize=0 CPUtime=53.03
/proc/31029/stat : 31029 (satake) R 31027 31029 27791 0 -1 4202500 272587 0 0 0 1759 3544 0 0 20 0 1 0 633205746 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/31029/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 53.03
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 11.6033
CPU time (s): 53.0473
CPU user time (s): 17.5931
CPU system time (s): 35.4542
CPU usage (%): 457.174
Max. virtual memory (cumulated for all children) (KiB): 1316188


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5931
system time used= 35.4542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272587
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= 334212
involuntary context switches= 2241

runsolver used 0.060003 second user time and 0.152009 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 18:49:53
IDJOB=1776192
IDBENCH=20463
IDSOLVER=631
FILE ID=xenhost3-49/1776192-1244738993
PBS_JOBID=
Free space on /tmp= 7024 MiB

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

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

MD5SUM BENCH= 6c6fd606fd41d7205b07602118ad74a0
RANDOM SEED= 558106194

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:      19127052 kB
Buffers:        432328 kB
Cached:       14116600 kB
SwapCached:          0 kB
Active:        4077372 kB
Inactive:     10479876 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           16732 kB
Writeback:           0 kB
AnonPages:        8428 kB
Mapped:           4140 kB
Slab:           687924 kB
SReclaimable:   660944 kB
SUnreclaim:      26980 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-11 18:50:06