Trace number 3372144

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
Plingeling 587f (fixed)UNSAT 76.1934 14.3011

General information on the benchmark

Nameindustrial/babic/hsatv17/
hsat_vc12062.cnf
MD5SUMcc0ca898241ac312882fa93ead2b644b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.15482
Satisfiable
(Un)Satisfiability was proved
Number of variables200205
Number of clauses566857
Sum of the clauses size1466561
Maximum clause length3
Minimum clause length1
Number of clauses of size 124585
Number of clauses of size 2184840
Number of clauses of size 3357432
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

76.10/14.29	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372144-1305451207/watcher-3372144-1305451207 -o /tmp/evaluation-result-3372144-1305451207/solver-3372144-1305451207 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372144-1305451207.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=25628 CPUtime=0.03 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 4491 1240 0 0 2 1 0 0 21 0 1 0 656607145 26243072 4423 268435456000 4194304 4417452 140736169442112 18446744073709551615 4227769 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 6407 4423 141 55 0 4293 0

[startup+0.098711 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=57412 CPUtime=0.09 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 12363 1240 0 0 7 2 0 0 21 0 1 0 656607145 58789888 12295 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 14353 12314 142 55 0 12239 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57412

[startup+0.100712 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=59460 CPUtime=0.09 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 12941 1240 0 0 7 2 0 0 21 0 1 0 656607145 60887040 12874 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 14993 12884 142 55 0 12879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59460

[startup+0.300723 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=117180 CPUtime=0.28 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 27380 1240 0 0 24 4 0 0 22 0 1 0 656607145 119992320 27312 268435456000 4194304 4417452 140736169442112 18446744073709551615 4232654 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 29295 27312 142 55 0 27181 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 117180

[startup+0.700734 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=231268 CPUtime=0.69 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 55934 1240 0 0 58 11 0 0 23 0 1 0 656607145 236818432 55838 268435456000 4194304 4417452 140736169442112 18446744073709551615 4259979 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 57817 55838 146 55 0 55703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 231268

[startup+1.50076 s]
/proc/loadavg: 21.05 26.27 29.56 2/414 10634
/proc/meminfo: memFree=255262036/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=346900 CPUtime=1.48 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 85178 1240 0 0 132 16 0 0 25 0 1 0 656607145 355225600 84746 268435456000 4194304 4417452 140736169442112 18446744073709551615 4231480 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 86725 84746 146 55 0 84611 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 346900

[startup+3.10085 s]
/proc/loadavg: 19.44 25.85 29.41 2/414 10634
/proc/meminfo: memFree=255214480/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=529876 CPUtime=3.09 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 130986 1240 0 0 283 26 0 0 25 0 1 0 656607145 542593024 130490 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 132469 130490 146 55 0 130355 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 529876

[startup+6.30093 s]
/proc/loadavg: 19.44 25.85 29.41 2/414 10634
/proc/meminfo: memFree=254902720/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=660948 CPUtime=6.28 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 163754 1240 0 0 595 33 0 0 25 0 1 0 656607145 676810752 163258 268435456000 4194304 4417452 140736169442112 18446744073709551615 4264976 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 165237 163258 146 55 0 163123 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 660948

[startup+12.703 s]
/proc/loadavg: 17.96 25.44 29.26 16/430 10652
/proc/meminfo: memFree=254457460/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1829424 CPUtime=31.87 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 440454 1240 0 0 2834 353 0 0 18 0 33 0 656607145 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 457356 329166 168 55 0 455242 0
[pid=10628/tid=10637] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10637/stat : 10637 (plingeling) R 10626 10628 10406 0 -1 4202560 4860 1240 0 0 57 8 0 0 25 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286278 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10628/tid=10638] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10638/stat : 10638 (plingeling) R 10626 10628 10406 0 -1 4202560 4858 1240 0 0 55 10 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10628/tid=10639] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10639/stat : 10639 (plingeling) R 10626 10628 10406 0 -1 4202560 4857 1240 0 0 59 6 0 0 20 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4285102 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10628/tid=10640] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10640/stat : 10640 (plingeling) R 10626 10628 10406 0 -1 4202560 3417 1240 0 0 53 8 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4364456 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10628/tid=10641] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10641/stat : 10641 (plingeling) R 10626 10628 10406 0 -1 4202560 4857 1240 0 0 50 10 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10628/tid=10642] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10642/stat : 10642 (plingeling) R 10626 10628 10406 0 -1 4202560 4787 1240 0 0 51 9 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10628/tid=10643] ppid=10626 vsize=1829424 CPUtime=0.66 cores=0-31
/proc/10628/task/10643/stat : 10643 (plingeling) R 10626 10628 10406 0 -1 4202560 4814 1240 0 0 58 8 0 0 21 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10628/tid=10644] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10644/stat : 10644 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 55 10 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10628/tid=10645] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 4823 1240 0 0 52 9 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10628/tid=10646] ppid=10626 vsize=1829424 CPUtime=0.55 cores=0-31
/proc/10628/task/10646/stat : 10646 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 48 7 0 0 20 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10628/tid=10647] ppid=10626 vsize=1829424 CPUtime=0.64 cores=0-31
/proc/10628/task/10647/stat : 10647 (plingeling) R 10626 10628 10406 0 -1 4202560 4839 1240 0 0 56 8 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286197 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10628/tid=10648] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10648/stat : 10648 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 55 6 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10628/tid=10649] ppid=10626 vsize=1829424 CPUtime=0.55 cores=0-31
/proc/10628/task/10649/stat : 10649 (plingeling) R 10626 10628 10406 0 -1 4202560 4640 1240 0 0 49 6 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10650] ppid=10626 vsize=1829424 CPUtime=0.66 cores=0-31
/proc/10628/task/10650/stat : 10650 (plingeling) R 10626 10628 10406 0 -1 4202560 4855 1240 0 0 57 9 0 0 18 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286210 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10628/tid=10651] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10651/stat : 10651 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 58 7 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10628/tid=10652] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10652/stat : 10652 (plingeling) R 10626 10628 10406 0 -1 4202560 4829 1240 0 0 51 10 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10628/tid=10653] ppid=10626 vsize=1829424 CPUtime=0.63 cores=0-31
/proc/10628/task/10653/stat : 10653 (plingeling) R 10626 10628 10406 0 -1 4202560 4853 1240 0 0 52 11 0 0 21 0 33 0 656608346 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10628/tid=10654] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10654/stat : 10654 (plingeling) R 10626 10628 10406 0 -1 4202560 4881 1240 0 0 53 9 0 0 18 0 33 0 656608347 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10628/tid=10655] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10655/stat : 10655 (plingeling) R 10626 10628 10406 0 -1 4202560 4878 1240 0 0 53 9 0 0 18 0 33 0 656608347 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10628/tid=10656] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10656/stat : 10656 (plingeling) R 10626 10628 10406 0 -1 4202560 4643 1240 0 0 52 8 0 0 21 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10628/tid=10657] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10657/stat : 10657 (plingeling) R 10626 10628 10406 0 -1 4202560 4642 1240 0 0 51 10 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10628/tid=10658] ppid=10626 vsize=1829424 CPUtime=0.59 cores=0-31
/proc/10628/task/10658/stat : 10658 (plingeling) R 10626 10628 10406 0 -1 4202560 4855 1240 0 0 47 12 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10628/tid=10659] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10659/stat : 10659 (plingeling) R 10626 10628 10406 0 -1 4202560 4707 1240 0 0 51 9 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 51 9 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4294425 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10628/tid=10661] ppid=10626 vsize=1829424 CPUtime=0.58 cores=0-31
/proc/10628/task/10661/stat : 10661 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 46 12 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284346 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10628/tid=10662] ppid=10626 vsize=1829424 CPUtime=0.58 cores=0-31
/proc/10628/task/10662/stat : 10662 (plingeling) R 10626 10628 10406 0 -1 4202560 4873 1240 0 0 50 8 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10628/tid=10663] ppid=10626 vsize=1829424 CPUtime=0.63 cores=0-31
/proc/10628/task/10663/stat : 10663 (plingeling) R 10626 10628 10406 0 -1 4202560 4812 1240 0 0 53 10 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10628/tid=10664] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10664/stat : 10664 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 50 12 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10628/tid=10665] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10665/stat : 10665 (plingeling) R 10626 10628 10406 0 -1 4202560 4811 1240 0 0 55 7 0 0 18 0 33 0 656608349 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286752 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10628/tid=10666] ppid=10626 vsize=1829424 CPUtime=0.57 cores=0-31
/proc/10628/task/10666/stat : 10666 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 51 6 0 0 20 0 33 0 656608349 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 1829424

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

[startup+13.5021 s]
/proc/loadavg: 18.13 25.35 29.21 33/446 10668
/proc/meminfo: memFree=254363092/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1836792 CPUtime=57.39 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 495859 1240 0 0 5366 373 0 0 18 0 33 0 656607145 1880875008 333112 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 459198 333131 168 55 0 457084 0
[pid=10628/tid=10637] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10637/stat : 10637 (plingeling) R 10626 10628 10406 0 -1 4202560 7234 1240 0 0 136 9 0 0 25 0 33 0 656608341 1880875008 333138 268435456000 4194304 4417452 140736169442112 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10628/tid=10638] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10638/stat : 10638 (plingeling) R 10626 10628 10406 0 -1 4202560 9649 1240 0 0 134 11 0 0 19 0 33 0 656608341 1880875008 333146 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10628/tid=10639] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10639/stat : 10639 (plingeling) R 10626 10628 10406 0 -1 4202560 7876 1240 0 0 138 7 0 0 21 0 33 0 656608341 1880875008 333155 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292095 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10628/tid=10640] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10640/stat : 10640 (plingeling) R 10626 10628 10406 0 -1 4202560 3417 1240 0 0 133 8 0 0 19 0 33 0 656608341 1880875008 333163 268435456000 4194304 4417452 140736169442112 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10628/tid=10641] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10641/stat : 10641 (plingeling) R 10626 10628 10406 0 -1 4202560 4858 1240 0 0 130 10 0 0 19 0 33 0 656608341 1880875008 333170 268435456000 4194304 4417452 140736169442112 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10628/tid=10642] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10642/stat : 10642 (plingeling) R 10626 10628 10406 0 -1 4202560 6112 1240 0 0 130 10 0 0 19 0 33 0 656608341 1880875008 333179 268435456000 4194304 4417452 140736169442112 18446744073709551615 4265911 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10628/tid=10643] ppid=10626 vsize=1836792 CPUtime=1.46 cores=0-31
/proc/10628/task/10643/stat : 10643 (plingeling) R 10626 10628 10406 0 -1 4202560 5831 1240 0 0 138 8 0 0 25 0 33 0 656608341 1880875008 333187 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10628/tid=10644] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10644/stat : 10644 (plingeling) R 10626 10628 10406 0 -1 4202560 7876 1240 0 0 134 11 0 0 19 0 33 0 656608341 1880875008 333194 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292151 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10628/tid=10645] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 5197 1240 0 0 131 9 0 0 19 0 33 0 656608341 1880875008 333201 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650649899 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10628/tid=10646] ppid=10626 vsize=1836792 CPUtime=1.35 cores=0-31
/proc/10628/task/10646/stat : 10646 (plingeling) R 10626 10628 10406 0 -1 4202560 7230 1240 0 0 127 8 0 0 23 0 33 0 656608341 1880875008 333209 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10628/tid=10647] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10647/stat : 10647 (plingeling) R 10626 10628 10406 0 -1 4202560 6164 1240 0 0 136 9 0 0 25 0 33 0 656608342 1880875008 333217 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10628/tid=10648] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10648/stat : 10648 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 135 6 0 0 24 0 33 0 656608342 1880875008 333225 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292092 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10628/tid=10649] ppid=10626 vsize=1836792 CPUtime=1.35 cores=0-31
/proc/10628/task/10649/stat : 10649 (plingeling) R 10626 10628 10406 0 -1 4202560 8369 1240 0 0 127 8 0 0 23 0 33 0 656608342 1880875008 333232 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10650] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10650/stat : 10650 (plingeling) R 10626 10628 10406 0 -1 4202560 8586 1240 0 0 135 10 0 0 19 0 33 0 656608342 1880875008 333240 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284636 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10628/tid=10651] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10651/stat : 10651 (plingeling) R 10626 10628 10406 0 -1 4202560 7526 1240 0 0 134 8 0 0 25 0 33 0 656608342 1880875008 333248 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10628/tid=10652] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10652/stat : 10652 (plingeling) R 10626 10628 10406 0 -1 4202560 6185 1240 0 0 130 11 0 0 24 0 33 0 656608342 1880875008 333257 268435456000 4194304 4417452 140736169442112 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10628/tid=10653] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10653/stat : 10653 (plingeling) R 10626 10628 10406 0 -1 4202560 7227 1240 0 0 130 12 0 0 25 0 33 0 656608346 1880875008 333264 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10628/tid=10654] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10654/stat : 10654 (plingeling) R 10626 10628 10406 0 -1 4202560 7254 1240 0 0 132 10 0 0 19 0 33 0 656608347 1880875008 333273 268435456000 4194304 4417452 140736169442112 18446744073709551615 4291893 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10628/tid=10655] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10655/stat : 10655 (plingeling) R 10626 10628 10406 0 -1 4202560 7220 1240 0 0 132 10 0 0 19 0 33 0 656608347 1880875008 333281 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292031 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10628/tid=10656] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10656/stat : 10656 (plingeling) R 10626 10628 10406 0 -1 4202560 7005 1240 0 0 131 8 0 0 25 0 33 0 656608348 1880875008 333289 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10628/tid=10657] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10657/stat : 10657 (plingeling) R 10626 10628 10406 0 -1 4202560 8377 1240 0 0 130 11 0 0 22 0 33 0 656608348 1880875008 333296 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10628/tid=10658] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10658/stat : 10658 (plingeling) R 10626 10628 10406 0 -1 4202560 7228 1240 0 0 126 13 0 0 21 0 33 0 656608348 1880875008 333304 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10628/tid=10659] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10659/stat : 10659 (plingeling) R 10626 10628 10406 0 -1 4202560 4707 1240 0 0 130 9 0 0 19 0 33 0 656608348 1880875008 333313 268435456000 4194304 4417452 140736169442112 18446744073709551615 4302105 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 131 9 0 0 19 0 33 0 656608348 1880875008 333321 268435456000 4194304 4417452 140736169442112 18446744073709551615 4265937 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10628/tid=10661] ppid=10626 vsize=1836792 CPUtime=1.38 cores=0-31
/proc/10628/task/10661/stat : 10661 (plingeling) R 10626 10628 10406 0 -1 4202560 7569 1240 0 0 125 13 0 0 22 0 33 0 656608348 1880875008 333328 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10628/tid=10662] ppid=10626 vsize=1836792 CPUtime=1.38 cores=0-31
/proc/10628/task/10662/stat : 10662 (plingeling) R 10626 10628 10406 0 -1 4202560 4873 1240 0 0 130 8 0 0 19 0 33 0 656608348 1880875008 333336 268435456000 4194304 4417452 140736169442112 18446744073709551615 4302121 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10628/tid=10663] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10663/stat : 10663 (plingeling) R 10626 10628 10406 0 -1 4202560 4812 1240 0 0 132 10 0 0 22 0 33 0 656608348 1880875008 333343 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10628/tid=10664] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10664/stat : 10664 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 129 12 0 0 19 0 33 0 656608348 1880875008 333350 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292281 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10628/tid=10665] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10665/stat : 10665 (plingeling) R 10626 10628 10406 0 -1 4202560 4811 1240 0 0 135 7 0 0 19 0 33 0 656608349 1880875008 333357 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10628/tid=10666] ppid=10626 vsize=1836792 CPUtime=1.36 cores=0-31
/proc/10628/task/10666/stat : 10666 (plingeling) R 10626 10628 10406 0 -1 4202560 8555 1240 0 0 129 7 0 0 21 0 33 0 656608349 1880875008 333365 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10628/tid=10667] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10667/stat : 10667 (plingeling) R 10626 10628 10406 0 -1 4202560 4855 1240 0 0 132 8 0 0 22 0 33 0 656608349 1880875008 333373 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10628/tid=10668] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10668/stat : 10668 (plingeling) R 10626 10628 10406 0 -1 4202560 7017 1240 0 0 130 9 0 0 22 0 33 0 656608349 1880875008 333380 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 57.39
Current children cumulated vsize (KiB) 1836792

[startup+13.9021 s]
/proc/loadavg: 18.13 25.35 29.21 33/446 10668
/proc/meminfo: memFree=254363092/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1836564 CPUtime=70.18 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 528642 1240 0 0 6635 383 0 0 18 0 33 0 656607145 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 459141 345017 168 55 0 457027 0
[pid=10628/tid=10637] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10637/stat : 10637 (plingeling) R 10626 10628 10406 0 -1 4202560 7234 1240 0 0 176 9 0 0 25 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10628/tid=10638] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10638/stat : 10638 (plingeling) R 10626 10628 10406 0 -1 4202560 10992 1240 0 0 174 11 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10628/tid=10639] ppid=10626 vsize=1836564 CPUtime=1.86 cores=0-31
/proc/10628/task/10639/stat : 10639 (plingeling) R 10626 10628 10406 0 -1 4202560 8883 1240 0 0 178 8 0 0 23 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10628/tid=10640] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10640/stat : 10640 (plingeling) R 10626 10628 10406 0 -1 4202560 3417 1240 0 0 173 8 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10628/tid=10641] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10641/stat : 10641 (plingeling) R 10626 10628 10406 0 -1 4202560 7208 1240 0 0 169 11 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284512 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10628/tid=10642] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10642/stat : 10642 (plingeling) R 10626 10628 10406 0 -1 4202560 6112 1240 0 0 170 10 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10628/tid=10643] ppid=10626 vsize=1836564 CPUtime=1.86 cores=0-31
/proc/10628/task/10643/stat : 10643 (plingeling) R 10626 10628 10406 0 -1 4202560 5831 1240 0 0 178 8 0 0 25 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4285604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10628/tid=10644] ppid=10626 vsize=1836564 CPUtime=1.86 cores=0-31
/proc/10628/task/10644/stat : 10644 (plingeling) R 10626 10628 10406 0 -1 4202560 8851 1240 0 0 174 12 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10628/tid=10645] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 8179 1240 0 0 170 10 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10628/tid=10646] ppid=10626 vsize=1836564 CPUtime=1.75 cores=0-31
/proc/10628/task/10646/stat : 10646 (plingeling) R 10626 10628 10406 0 -1 4202560 8540 1240 0 0 167 8 0 0 25 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10628/tid=10647] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10647/stat : 10647 (plingeling) R 10626 10628 10406 0 -1 4202560 6164 1240 0 0 176 9 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10628/tid=10648] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10648/stat : 10648 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 175 6 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10628/tid=10649] ppid=10626 vsize=1836564 CPUtime=1.75 cores=0-31
/proc/10628/task/10649/stat : 10649 (plingeling) R 10626 10628 10406 0 -1 4202560 8369 1240 0 0 167 8 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10650] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10650/stat : 10650 (plingeling) R 10626 10628 10406 0 -1 4202560 12246 1240 0 0 174 11 0 0 20 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287189 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10628/tid=10651] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10651/stat : 10651 (plingeling) R 10626 10628 10406 0 -1 4202560 11218 1240 0 0 173 8 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10628/tid=10652] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10652/stat : 10652 (plingeling) R 10626 10628 10406 0 -1 4202560 6185 1240 0 0 170 11 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284528 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10628/tid=10653] ppid=10626 vsize=1836564 CPUtime=1.83 cores=0-31
/proc/10628/task/10653/stat : 10653 (plingeling) R 10626 10628 10406 0 -1 4202560 8569 1240 0 0 170 13 0 0 25 0 33 0 656608346 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10628/tid=10654] ppid=10626 vsize=1836564 CPUtime=1.82 cores=0-31
/proc/10628/task/10654/stat : 10654 (plingeling) R 10626 10628 10406 0 -1 4202560 10945 1240 0 0 171 11 0 0 20 0 33 0 656608347 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10628/tid=10655] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10655/stat : 10655 (plingeling) R 10626 10628 10406 0 -1 4202560 9538 1240 0 0 171 10 0 0 20 0 33 0 656608347 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10628/tid=10656] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10656/stat : 10656 (plingeling) R 10626 10628 10406 0 -1 4202560 7005 1240 0 0 171 8 0 0 25 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10628/tid=10657] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10657/stat : 10657 (plingeling) R 10626 10628 10406 0 -1 4202560 10726 1240 0 0 169 12 0 0 24 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10628/tid=10658] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10658/stat : 10658 (plingeling) R 10626 10628 10406 0 -1 4202560 8202 1240 0 0 166 13 0 0 23 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10628/tid=10659] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10659/stat : 10659 (plingeling) R 10626 10628 10406 0 -1 4202560 4707 1240 0 0 170 9 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286483 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 171 9 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10628/tid=10661] ppid=10626 vsize=1836564 CPUtime=1.78 cores=0-31
/proc/10628/task/10661/stat : 10661 (plingeling) R 10626 10628 10406 0 -1 4202560 8912 1240 0 0 165 13 0 0 23 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284793 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10628/tid=10662] ppid=10626 vsize=1836564 CPUtime=1.78 cores=0-31
/proc/10628/task/10662/stat : 10662 (plingeling) R 10626 10628 10406 0 -1 4202560 5880 1240 0 0 169 9 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287388 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10628/tid=10663] ppid=10626 vsize=1836564 CPUtime=1.82 cores=0-31
/proc/10628/task/10663/stat : 10663 (plingeling) R 10626 10628 10406 0 -1 4202560 4812 1240 0 0 172 10 0 0 24 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10628/tid=10664] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10664/stat : 10664 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 169 12 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10628/tid=10665] ppid=10626 vsize=1836564 CPUtime=1.82 cores=0-31
/proc/10628/task/10665/stat : 10665 (plingeling) R 10626 10628 10406 0 -1 4202560 4811 1240 0 0 175 7 0 0 20 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10628/tid=10666] ppid=10626 vsize=1836564 CPUtime=1.76 cores=0-31
/proc/10628/task/10666/stat : 10666 (plingeling) R 10626 10628 10406 0 -1 4202560 8555 1240 0 0 169 7 0 0 23 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10628/tid=10667] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10667/stat : 10667 (plingeling) R 10626 10628 10406 0 -1 4202560 7205 1240 0 0 171 9 0 0 24 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10628/tid=10668] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10668/stat : 10668 (plingeling) R 10626 10628 10406 0 -1 4202560 7017 1240 0 0 170 9 0 0 23 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 70.18
Current children cumulated vsize (KiB) 1836564

[startup+14.1022 s]
/proc/loadavg: 18.13 25.35 29.21 33/446 10668
/proc/meminfo: memFree=254363092/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1767700 CPUtime=75.94 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 528643 1240 0 0 7211 383 0 0 17 0 3 0 656607145 1810124800 324711 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 441925 324711 169 55 0 439811 0
[pid=10628/tid=10645] ppid=10626 vsize=1767700 CPUtime=2 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 8179 1240 0 0 190 10 0 0 20 0 3 0 656608341 1810124800 324711 268435456000 4194304 4417452 140736169442112 18446744073709551615 4283508 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1767700 CPUtime=2 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 191 9 0 0 20 0 3 0 656608348 1810124800 324711 268435456000 4194304 4417452 140736169442112 18446744073709551615 4234224 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 75.94
Current children cumulated vsize (KiB) 1767700

[startup+14.2014 s]
/proc/loadavg: 18.13 25.35 29.21 2/414 10668
/proc/meminfo: memFree=254419432/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1163324 CPUtime=76.1 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 528643 1240 0 0 7223 387 0 0 16 0 1 0 656607145 1191243776 227685 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10628/statm: 290831 227685 169 55 0 288717 0
Current children cumulated CPU time (s) 76.1
Current children cumulated vsize (KiB) 1163324

Child status: 20
Real time (s): 14.3011
CPU time (s): 76.1934
CPU user time (s): 72.234
CPU system time (s): 3.9594
CPU usage (%): 532.781
Max. virtual memory (cumulated for all children) (KiB): 1881348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.234
system time used= 3.9594
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529887
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= 4064
involuntary context switches= 325

runsolver used 0.12798 second user time and 0.348946 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-15 11:20:07
IDJOB=3372144
IDBENCH=20467
IDSOLVER=1852
FILE ID=node200/3372144-1305451207
RUNJOBID= node200-1305450992-10420
PBS_JOBID= 13285511
Free space on /tmp= 62040 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372144-1305451207/watcher-3372144-1305451207 -o /tmp/evaluation-result-3372144-1305451207/solver-3372144-1305451207 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372144-1305451207.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= cc0ca898241ac312882fa93ead2b644b
RANDOM SEED=582863024

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255553020 kB
Buffers:        439636 kB
Cached:        7841464 kB
SwapCached:          0 kB
Active:        7390608 kB
Inactive:       959680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255553020 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11032 kB
Writeback:           0 kB
AnonPages:       71224 kB
Mapped:          14592 kB
Slab:           250792 kB
PageTables:       4960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190520 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-15 11:20:22