Trace number 3372435

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 93754.6 2948.69

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
MD5SUM36e8e2178d03f08fa4223da0e3d9beb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12701.5
Satisfiable
(Un)Satisfiability was proved
Number of variables87884
Number of clauses1413816
Sum of the clauses size3227576
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21364160
Number of clauses of size 33840
Number of clauses of size 417760
Number of clauses of size 57680
Number of clauses of size over 519680

Solver Data 

93754.11/2948.20	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-3372435-1305604542/watcher-3372435-1305604542 -o /tmp/evaluation-result-3372435-1305604542/solver-3372435-1305604542 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372435-1305604542.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: 29.44 31.50 31.83 1/413 23412
/proc/meminfo: memFree=255508440/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=17104 CPUtime=0.02 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 2353 1240 0 0 2 0 0 0 18 0 1 0 671940743 17514496 2284 268435456000 4194304 4417452 140736180723440 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 4276 2284 141 55 0 2162 0

[startup+0.076823 s]
/proc/loadavg: 29.44 31.50 31.83 1/413 23412
/proc/meminfo: memFree=255508440/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=20828 CPUtime=0.06 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 3292 1240 0 0 6 0 0 0 18 0 1 0 671940743 21327872 3223 268435456000 4194304 4417452 140736180723440 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 5207 3223 141 55 0 3093 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20828

[startup+0.100815 s]
/proc/loadavg: 29.44 31.50 31.83 1/413 23412
/proc/meminfo: memFree=255508440/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=22964 CPUtime=0.08 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 3825 1240 0 0 8 0 0 0 18 0 1 0 671940743 23515136 3756 268435456000 4194304 4417452 140736180723440 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 5774 3781 144 55 0 3660 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22964

[startup+0.300863 s]
/proc/loadavg: 29.44 31.50 31.83 1/413 23412
/proc/meminfo: memFree=255508440/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=34536 CPUtime=0.29 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 6724 1240 0 0 28 1 0 0 18 0 1 0 671940743 35364864 6655 268435456000 4194304 4417452 140736180723440 18446744073709551615 4231283 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 8634 6655 146 55 0 6520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34536

[startup+0.700838 s]
/proc/loadavg: 29.44 31.50 31.83 1/413 23412
/proc/meminfo: memFree=255508440/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=59240 CPUtime=0.68 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 12884 1240 0 0 65 3 0 0 18 0 1 0 671940743 60661760 12815 268435456000 4194304 4417452 140736180723440 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 14810 12815 146 55 0 12696 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 59240

[startup+1.50087 s]
/proc/loadavg: 29.44 31.50 31.83 2/414 23420
/proc/meminfo: memFree=255457240/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=116132 CPUtime=1.49 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 27099 1240 0 0 142 7 0 0 20 0 1 0 671940743 118919168 27030 268435456000 4194304 4417452 140736180723440 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 29033 27030 146 55 0 26919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116132

[startup+3.10093 s]
/proc/loadavg: 27.16 31.00 31.66 2/414 23420
/proc/meminfo: memFree=255390032/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=181396 CPUtime=3.08 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 43463 1240 0 0 298 10 0 0 25 0 1 0 671940743 185749504 43370 268435456000 4194304 4417452 140736180723440 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 45349 43370 146 55 0 43235 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 181396

[startup+6.30105 s]
/proc/loadavg: 27.16 31.00 31.66 2/414 23420
/proc/meminfo: memFree=255185676/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=478336 CPUtime=6.29 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 117730 1240 0 0 603 26 0 0 25 0 1 0 671940743 489816064 117605 268435456000 4194304 4417452 140736180723440 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 119584 117605 146 55 0 117470 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 478336

[startup+12.7013 s]
/proc/loadavg: 23.14 30.01 31.33 2/414 23420
/proc/meminfo: memFree=254591948/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=924096 CPUtime=12.69 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 229170 1240 0 0 1219 50 0 0 25 0 1 0 671940743 946274304 229045 268435456000 4194304 4417452 140736180723440 18446744073709551615 4323168 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23412/statm: 231024 229045 146 55 0 228910 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 924096

[startup+25.5016 s]
/proc/loadavg: 24.65 30.11 31.35 33/446 23452
/proc/meminfo: memFree=254621828/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=1493912 CPUtime=373.59 cores=0-31
/proc/23412/stat : 23412 (plingeling) S 23410 23412 23386 0 -1 4202496 439288 1240 0 0 37189 170 0 0 18 0 33 0 671940743 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/23412/statm: 373478 215749 175 55 0 371364 0
[pid=23412/tid=23421] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23421/stat : 23421 (plingeling) R 23410 23412 23386 0 -1 4202560 5441 1240 0 0 1120 4 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23412/tid=23422] ppid=23410 vsize=1493912 CPUtime=11.23 cores=0-31
/proc/23412/task/23422/stat : 23422 (plingeling) R 23410 23412 23386 0 -1 4202560 5289 1240 0 0 1120 3 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23412/tid=23423] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23423/stat : 23423 (plingeling) R 23410 23412 23386 0 -1 4202560 4986 1240 0 0 1123 2 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23412/tid=23424] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23424/stat : 23424 (plingeling) R 23410 23412 23386 0 -1 4202560 1313 1240 0 0 1123 1 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23412/tid=23425] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23425/stat : 23425 (plingeling) R 23410 23412 23386 0 -1 4202560 6731 1240 0 0 1121 3 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23412/tid=23426] ppid=23410 vsize=1493912 CPUtime=11.22 cores=0-31
/proc/23412/task/23426/stat : 23426 (plingeling) R 23410 23412 23386 0 -1 4202560 6430 1240 0 0 1119 3 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23412/tid=23427] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23427/stat : 23427 (plingeling) R 23410 23412 23386 0 -1 4202560 4718 1240 0 0 1123 2 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23412/tid=23428] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23428/stat : 23428 (plingeling) R 23410 23412 23386 0 -1 4202560 4928 1240 0 0 1123 2 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23412/tid=23429] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23429/stat : 23429 (plingeling) R 23410 23412 23386 0 -1 4202560 7840 1240 0 0 1119 5 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23412/tid=23430] ppid=23410 vsize=1493912 CPUtime=11.26 cores=0-31
/proc/23412/task/23430/stat : 23430 (plingeling) R 23410 23412 23386 0 -1 4202560 6018 1240 0 0 1122 4 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23412/tid=23431] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23431/stat : 23431 (plingeling) R 23410 23412 23386 0 -1 4202560 5785 1240 0 0 1121 4 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4354332 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23412/tid=23432] ppid=23410 vsize=1493912 CPUtime=11.21 cores=0-31
/proc/23412/task/23432/stat : 23432 (plingeling) R 23410 23412 23386 0 -1 4202560 9700 1240 0 0 1117 4 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366141 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23412/tid=23433] ppid=23410 vsize=1493912 CPUtime=11.26 cores=0-31
/proc/23412/task/23433/stat : 23433 (plingeling) R 23410 23412 23386 0 -1 4202560 8073 1240 0 0 1123 3 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23412/tid=23434] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23434/stat : 23434 (plingeling) R 23410 23412 23386 0 -1 4202560 7541 1240 0 0 1121 4 0 0 25 0 33 0 671942161 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23412/tid=23435] ppid=23410 vsize=1493912 CPUtime=11.22 cores=0-31
/proc/23412/task/23435/stat : 23435 (plingeling) R 23410 23412 23386 0 -1 4202560 6266 1240 0 0 1119 3 0 0 25 0 33 0 671942162 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23412/tid=23436] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23436/stat : 23436 (plingeling) R 23410 23412 23386 0 -1 4202560 7899 1240 0 0 1121 4 0 0 25 0 33 0 671942162 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23412/tid=23437] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23437/stat : 23437 (plingeling) R 23410 23412 23386 0 -1 4202560 7501 1240 0 0 1120 5 0 0 25 0 33 0 671942162 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23412/tid=23438] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23438/stat : 23438 (plingeling) R 23410 23412 23386 0 -1 4202560 7841 1240 0 0 1121 4 0 0 25 0 33 0 671942162 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23412/tid=23439] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23439/stat : 23439 (plingeling) R 23410 23412 23386 0 -1 4202560 6444 1240 0 0 1120 4 0 0 25 0 33 0 671942162 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23412/tid=23440] ppid=23410 vsize=1493912 CPUtime=11.25 cores=0-31
/proc/23412/task/23440/stat : 23440 (plingeling) R 23410 23412 23386 0 -1 4202560 4816 1240 0 0 1122 3 0 0 25 0 33 0 671942163 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23412/tid=23441] ppid=23410 vsize=1493912 CPUtime=11.22 cores=0-31
/proc/23412/task/23441/stat : 23441 (plingeling) R 23410 23412 23386 0 -1 4202560 7554 1240 0 0 1119 3 0 0 25 0 33 0 671942163 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23412/tid=23442] ppid=23410 vsize=1493912 CPUtime=11.23 cores=0-31
/proc/23412/task/23442/stat : 23442 (plingeling) R 23410 23412 23386 0 -1 4202560 7231 1240 0 0 1120 3 0 0 25 0 33 0 671942163 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=23412/tid=23443] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23443/stat : 23443 (plingeling) R 23410 23412 23386 0 -1 4202560 8823 1240 0 0 1121 3 0 0 25 0 33 0 671942163 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23412/tid=23444] ppid=23410 vsize=1493912 CPUtime=11.13 cores=0-31
/proc/23412/task/23444/stat : 23444 (plingeling) R 23410 23412 23386 0 -1 4202560 7291 1240 0 0 1111 2 0 0 25 0 33 0 671942163 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23412/tid=23445] ppid=23410 vsize=1493912 CPUtime=11.23 cores=0-31
/proc/23412/task/23445/stat : 23445 (plingeling) R 23410 23412 23386 0 -1 4202560 5964 1240 0 0 1121 2 0 0 25 0 33 0 671942164 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23412/tid=23446] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23446/stat : 23446 (plingeling) R 23410 23412 23386 0 -1 4202560 7279 1240 0 0 1120 4 0 0 25 0 33 0 671942164 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236672 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23412/tid=23447] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23447/stat : 23447 (plingeling) R 23410 23412 23386 0 -1 4202560 6405 1240 0 0 1120 4 0 0 25 0 33 0 671942164 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4353504 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23412/tid=23448] ppid=23410 vsize=1493912 CPUtime=10.87 cores=0-31
/proc/23412/task/23448/stat : 23448 (plingeling) R 23410 23412 23386 0 -1 4202560 9201 1240 0 0 1084 3 0 0 25 0 33 0 671942164 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23412/tid=23449] ppid=23410 vsize=1493912 CPUtime=11.19 cores=0-31
/proc/23412/task/23449/stat : 23449 (plingeling) R 23410 23412 23386 0 -1 4202560 7148 1240 0 0 1115 4 0 0 25 0 33 0 671942165 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23412/tid=23450] ppid=23410 vsize=1493912 CPUtime=11.23 cores=0-31
/proc/23412/task/23450/stat : 23450 (plingeling) R 23410 23412 23386 0 -1 4202560 4428 1240 0 0 1121 2 0 0 25 0 33 0 671942165 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23412/tid=23451] ppid=23410 vsize=1493912 CPUtime=11.23 cores=0-31
/proc/23412/task/23451/stat : 23451 (plingeling) R 23410 23412 23386 0 -1 4202560 6377 1240 0 0 1120 3 0 0 25 0 33 0 671942165 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23412/tid=23452] ppid=23410 vsize=1493912 CPUtime=11.24 cores=0-31
/proc/23412/task/23452/stat : 23452 (plingeling) R 23410 23412 23386 0 -1 4202560 6817 1240 0 0 1121 3 0 0 25 0 33 0 671942165 1529765888 215749 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 373.59
Current children cumulated vsize (KiB) 1493912

[startup+51.1015 s]
/proc/loadavg: 27.16 30.26 31.37 33/446 23452
/proc/meminfo: memFree=254385208/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=1693596 CPUtime=1191.85 cores=0-31
/proc/23412/stat : 23412 (plingeling) S 23410 23412 23386 0 -1 4202496 511939 1240 0 0 118997 188 0 0 18 0 33 0 671940743 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/23412/statm: 423399 278972 175 55 0 421285 0
[pid=23412/tid=23421] ppid=23410 vsize=1693596 CPUtime=36.83 cores=0-31
/proc/23412/task/23421/stat : 23421 (plingeling) R 23410 23412 23386 0 -1 4202560 7204 1240 0 0 3679 4 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236772 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23412/tid=23422] ppid=23410 vsize=1693596 CPUtime=36.83 cores=0-31
/proc/23412/task/23422/stat : 23422 (plingeling) R 23410 23412 23386 0 -1 4202560 7618 1240 0 0 3679 4 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23412/tid=23423] ppid=23410 vsize=1693596 CPUtime=36.85 cores=0-31
/proc/23412/task/23423/stat : 23423 (plingeling) R 23410 23412 23386 0 -1 4202560 7073 1240 0 0 3682 3 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23412/tid=23424] ppid=23410 vsize=1693596 CPUtime=36.84 cores=0-31
/proc/23412/task/23424/stat : 23424 (plingeling) R 23410 23412 23386 0 -1 4202560 11371 1240 0 0 3680 4 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23412/tid=23425] ppid=23410 vsize=1693596 CPUtime=36.83 cores=0-31
/proc/23412/task/23425/stat : 23425 (plingeling) R 23410 23412 23386 0 -1 4202560 6946 1240 0 0 3680 3 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23412/tid=23426] ppid=23410 vsize=1693596 CPUtime=36.82 cores=0-31
/proc/23412/task/23426/stat : 23426 (plingeling) R 23410 23412 23386 0 -1 4202560 10182 1240 0 0 3678 4 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23412/tid=23427] ppid=23410 vsize=1693596 CPUtime=36.85 cores=0-31
/proc/23412/task/23427/stat : 23427 (plingeling) R 23410 23412 23386 0 -1 4202560 6685 1240 0 0 3682 3 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23412/tid=23428] ppid=23410 vsize=1693596 CPUtime=36.85 cores=0-31
/proc/23412/task/23428/stat : 23428 (plingeling) R 23410 23412 23386 0 -1 4202560 6476 1240 0 0 3682 3 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 258650653366 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23412/tid=23429] ppid=23410 vsize=1693596 CPUtime=36.8 cores=0-31
/proc/23412/task/23429/stat : 23429 (plingeling) R 23410 23412 23386 0 -1 4202560 11362 1240 0 0 3674 6 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23412/tid=23430] ppid=23410 vsize=1693596 CPUtime=36.85 cores=0-31
/proc/23412/task/23430/stat : 23430 (plingeling) R 23410 23412 23386 0 -1 4202560 7362 1240 0 0 3681 4 0 0 25 0 33 0 671942161 1734242304 278972 268435456000 4194304 4417452 140736180723440 18446744073709551615 4259681 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23412/tid=23431] ppid=23410 vsize=1693596 CPUtime=36.84 cores=0-31

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

/proc/23412/task/23423/stat : 23423 (plingeling) R 23410 23412 23386 0 -1 4202560 349388 1240 0 0 292598 237 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23412/tid=23424] ppid=23410 vsize=13453460 CPUtime=2927.91 cores=0-31
/proc/23412/task/23424/stat : 23424 (plingeling) R 23410 23412 23386 0 -1 4202560 996443 1240 0 0 291451 1340 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4358093 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23412/tid=23425] ppid=23410 vsize=13453460 CPUtime=2928.46 cores=0-31
/proc/23412/task/23425/stat : 23425 (plingeling) R 23410 23412 23386 0 -1 4202560 391236 1240 0 0 292498 348 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23412/tid=23426] ppid=23410 vsize=13453460 CPUtime=2928.5 cores=0-31
/proc/23412/task/23426/stat : 23426 (plingeling) R 23410 23412 23386 0 -1 4202560 150917 1240 0 0 292759 91 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23412/tid=23427] ppid=23410 vsize=13453460 CPUtime=2927.84 cores=0-31
/proc/23412/task/23427/stat : 23427 (plingeling) R 23410 23412 23386 0 -1 4202560 274833 1240 0 0 292538 246 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23412/tid=23428] ppid=23410 vsize=13453460 CPUtime=2919.27 cores=0-31
/proc/23412/task/23428/stat : 23428 (plingeling) R 23410 23412 23386 0 -1 4202560 369581 1240 0 0 291615 312 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23412/tid=23429] ppid=23410 vsize=13453460 CPUtime=2926.9 cores=0-31
/proc/23412/task/23429/stat : 23429 (plingeling) R 23410 23412 23386 0 -1 4202560 260088 1240 0 0 292513 177 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23412/tid=23430] ppid=23410 vsize=13453460 CPUtime=2928.43 cores=0-31
/proc/23412/task/23430/stat : 23430 (plingeling) R 23410 23412 23386 0 -1 4202560 148803 1240 0 0 292731 112 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23412/tid=23431] ppid=23410 vsize=13453460 CPUtime=2923.65 cores=0-31
/proc/23412/task/23431/stat : 23431 (plingeling) R 23410 23412 23386 0 -1 4202560 374705 1240 0 0 292131 234 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23412/tid=23432] ppid=23410 vsize=13453460 CPUtime=2923.47 cores=0-31
/proc/23412/task/23432/stat : 23432 (plingeling) R 23410 23412 23386 0 -1 4202560 312499 1240 0 0 292195 152 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23412/tid=23433] ppid=23410 vsize=13453460 CPUtime=2919.9 cores=0-31
/proc/23412/task/23433/stat : 23433 (plingeling) R 23410 23412 23386 0 -1 4202560 291204 1240 0 0 291748 242 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23412/tid=23434] ppid=23410 vsize=13453460 CPUtime=2928.68 cores=0-31
/proc/23412/task/23434/stat : 23434 (plingeling) R 23410 23412 23386 0 -1 4202560 165436 1240 0 0 292786 82 0 0 25 0 33 0 671942161 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23412/tid=23435] ppid=23410 vsize=13453460 CPUtime=2924.23 cores=0-31
/proc/23412/task/23435/stat : 23435 (plingeling) R 23410 23412 23386 0 -1 4202560 185100 1240 0 0 292251 172 0 0 25 0 33 0 671942162 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23412/tid=23436] ppid=23410 vsize=13453460 CPUtime=2922.46 cores=0-31
/proc/23412/task/23436/stat : 23436 (plingeling) R 23410 23412 23386 0 -1 4202560 236787 1240 0 0 292090 156 0 0 25 0 33 0 671942162 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23412/tid=23437] ppid=23410 vsize=13453460 CPUtime=2928.03 cores=0-31
/proc/23412/task/23437/stat : 23437 (plingeling) R 23410 23412 23386 0 -1 4202560 622509 1240 0 0 292476 327 0 0 25 0 33 0 671942162 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23412/tid=23438] ppid=23410 vsize=13453460 CPUtime=2927.57 cores=0-31
/proc/23412/task/23438/stat : 23438 (plingeling) R 23410 23412 23386 0 -1 4202560 241673 1240 0 0 292611 146 0 0 25 0 33 0 671942162 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23412/tid=23439] ppid=23410 vsize=13453460 CPUtime=2918.7 cores=0-31
/proc/23412/task/23439/stat : 23439 (plingeling) R 23410 23412 23386 0 -1 4202560 187278 1240 0 0 291733 137 0 0 25 0 33 0 671942162 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23412/tid=23440] ppid=23410 vsize=13453460 CPUtime=2928.53 cores=0-31
/proc/23412/task/23440/stat : 23440 (plingeling) R 23410 23412 23386 0 -1 4202560 349466 1240 0 0 292596 257 0 0 25 0 33 0 671942163 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4254990 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23412/tid=23441] ppid=23410 vsize=13453460 CPUtime=2923.79 cores=0-31
/proc/23412/task/23441/stat : 23441 (plingeling) R 23410 23412 23386 0 -1 4202560 632517 1240 0 0 291986 393 0 0 25 0 33 0 671942163 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23412/tid=23442] ppid=23410 vsize=13453460 CPUtime=2928.49 cores=0-31
/proc/23412/task/23442/stat : 23442 (plingeling) R 23410 23412 23386 0 -1 4202560 739123 1240 0 0 292513 336 0 0 25 0 33 0 671942163 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=23412/tid=23443] ppid=23410 vsize=13453460 CPUtime=2917.46 cores=0-31
/proc/23412/task/23443/stat : 23443 (plingeling) R 23410 23412 23386 0 -1 4202560 221563 1240 0 0 291582 164 0 0 25 0 33 0 671942163 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23412/tid=23444] ppid=23410 vsize=13453460 CPUtime=2921.75 cores=0-31
/proc/23412/task/23444/stat : 23444 (plingeling) R 23410 23412 23386 0 -1 4202560 267502 1240 0 0 291998 177 0 0 25 0 33 0 671942163 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23412/tid=23445] ppid=23410 vsize=13453460 CPUtime=2927.84 cores=0-31
/proc/23412/task/23445/stat : 23445 (plingeling) R 23410 23412 23386 0 -1 4202560 312106 1240 0 0 292665 119 0 0 25 0 33 0 671942164 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23412/tid=23446] ppid=23410 vsize=13453460 CPUtime=2928.46 cores=0-31
/proc/23412/task/23446/stat : 23446 (plingeling) R 23410 23412 23386 0 -1 4202560 181043 1240 0 0 292736 110 0 0 25 0 33 0 671942164 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23412/tid=23447] ppid=23410 vsize=13453460 CPUtime=2921.32 cores=0-31
/proc/23412/task/23447/stat : 23447 (plingeling) R 23410 23412 23386 0 -1 4202560 269122 1240 0 0 292004 128 0 0 25 0 33 0 671942164 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23412/tid=23448] ppid=23410 vsize=13453460 CPUtime=2921.9 cores=0-31
/proc/23412/task/23448/stat : 23448 (plingeling) R 23410 23412 23386 0 -1 4202560 245720 1240 0 0 292007 183 0 0 25 0 33 0 671942164 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236601 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23412/tid=23449] ppid=23410 vsize=13453460 CPUtime=2928.01 cores=0-31
/proc/23412/task/23449/stat : 23449 (plingeling) R 23410 23412 23386 0 -1 4202560 223573 1240 0 0 292667 134 0 0 25 0 33 0 671942165 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23412/tid=23450] ppid=23410 vsize=13453460 CPUtime=2926.77 cores=0-31
/proc/23412/task/23450/stat : 23450 (plingeling) R 23410 23412 23386 0 -1 4202560 281054 1240 0 0 292524 153 0 0 25 0 33 0 671942165 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23412/tid=23451] ppid=23410 vsize=13453460 CPUtime=2927.97 cores=0-31
/proc/23412/task/23451/stat : 23451 (plingeling) R 23410 23412 23386 0 -1 4202560 272914 1240 0 0 292627 170 0 0 25 0 33 0 671942165 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23412/tid=23452] ppid=23410 vsize=13453460 CPUtime=2928.65 cores=0-31
/proc/23412/task/23452/stat : 23452 (plingeling) R 23410 23412 23386 0 -1 4202560 248366 1240 0 0 292693 172 0 0 25 0 33 0 671942165 13776343040 3192514 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 93632.9
Current children cumulated vsize (KiB) 13453460

[startup+2947.1 s]
/proc/loadavg: 32.15 32.14 32.04 33/446 23542
/proc/meminfo: memFree=242746128/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=13426600 CPUtime=93735.2 cores=0-31
/proc/23412/stat : 23412 (plingeling) S 23410 23412 23386 0 -1 4202496 10452851 1240 0 0 9366177 7344 0 0 18 0 33 0 671940743 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/23412/statm: 3356650 3185799 175 55 0 3354536 0
[pid=23412/tid=23421] ppid=23410 vsize=13426600 CPUtime=2930.89 cores=0-31
/proc/23412/task/23421/stat : 23421 (plingeling) R 23410 23412 23386 0 -1 4202560 138563 1240 0 0 293026 63 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23412/tid=23422] ppid=23410 vsize=13426600 CPUtime=2930.65 cores=0-31
/proc/23412/task/23422/stat : 23422 (plingeling) R 23410 23412 23386 0 -1 4202560 278013 1240 0 0 292862 203 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23412/tid=23423] ppid=23410 vsize=13426600 CPUtime=2931.54 cores=0-31
/proc/23412/task/23423/stat : 23423 (plingeling) R 23410 23412 23386 0 -1 4202560 349388 1240 0 0 292917 237 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23412/tid=23424] ppid=23410 vsize=13426600 CPUtime=2931.11 cores=0-31
/proc/23412/task/23424/stat : 23424 (plingeling) R 23410 23412 23386 0 -1 4202560 996443 1240 0 0 291771 1340 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23412/tid=23425] ppid=23410 vsize=13426600 CPUtime=2931.66 cores=0-31
/proc/23412/task/23425/stat : 23425 (plingeling) R 23410 23412 23386 0 -1 4202560 391236 1240 0 0 292818 348 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23412/tid=23426] ppid=23410 vsize=13426600 CPUtime=2931.7 cores=0-31
/proc/23412/task/23426/stat : 23426 (plingeling) R 23410 23412 23386 0 -1 4202560 150917 1240 0 0 293079 91 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357159 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23412/tid=23427] ppid=23410 vsize=13426600 CPUtime=2931.04 cores=0-31
/proc/23412/task/23427/stat : 23427 (plingeling) R 23410 23412 23386 0 -1 4202560 274833 1240 0 0 292858 246 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23412/tid=23428] ppid=23410 vsize=13426600 CPUtime=2922.47 cores=0-31
/proc/23412/task/23428/stat : 23428 (plingeling) R 23410 23412 23386 0 -1 4202560 369581 1240 0 0 291935 312 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23412/tid=23429] ppid=23410 vsize=13426600 CPUtime=2930.1 cores=0-31
/proc/23412/task/23429/stat : 23429 (plingeling) R 23410 23412 23386 0 -1 4202560 260088 1240 0 0 292833 177 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23412/tid=23430] ppid=23410 vsize=13426600 CPUtime=2931.63 cores=0-31
/proc/23412/task/23430/stat : 23430 (plingeling) R 23410 23412 23386 0 -1 4202560 149178 1240 0 0 293050 113 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23412/tid=23431] ppid=23410 vsize=13426600 CPUtime=2926.85 cores=0-31
/proc/23412/task/23431/stat : 23431 (plingeling) R 23410 23412 23386 0 -1 4202560 374705 1240 0 0 292451 234 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357930 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23412/tid=23432] ppid=23410 vsize=13426600 CPUtime=2926.67 cores=0-31
/proc/23412/task/23432/stat : 23432 (plingeling) R 23410 23412 23386 0 -1 4202560 312499 1240 0 0 292515 152 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23412/tid=23433] ppid=23410 vsize=13426600 CPUtime=2923.01 cores=0-31
/proc/23412/task/23433/stat : 23433 (plingeling) R 23410 23412 23386 0 -1 4202560 291204 1240 0 0 292059 242 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23412/tid=23434] ppid=23410 vsize=13426600 CPUtime=2931.88 cores=0-31
/proc/23412/task/23434/stat : 23434 (plingeling) R 23410 23412 23386 0 -1 4202560 165436 1240 0 0 293106 82 0 0 25 0 33 0 671942161 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23412/tid=23435] ppid=23410 vsize=13426600 CPUtime=2927.43 cores=0-31
/proc/23412/task/23435/stat : 23435 (plingeling) R 23410 23412 23386 0 -1 4202560 185100 1240 0 0 292571 172 0 0 25 0 33 0 671942162 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23412/tid=23436] ppid=23410 vsize=13426600 CPUtime=2925.66 cores=0-31
/proc/23412/task/23436/stat : 23436 (plingeling) R 23410 23412 23386 0 -1 4202560 236787 1240 0 0 292410 156 0 0 25 0 33 0 671942162 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23412/tid=23437] ppid=23410 vsize=13426600 CPUtime=2931.23 cores=0-31
/proc/23412/task/23437/stat : 23437 (plingeling) R 23410 23412 23386 0 -1 4202560 622509 1240 0 0 292796 327 0 0 25 0 33 0 671942162 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366543 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23412/tid=23438] ppid=23410 vsize=13426600 CPUtime=2930.77 cores=0-31
/proc/23412/task/23438/stat : 23438 (plingeling) R 23410 23412 23386 0 -1 4202560 241673 1240 0 0 292931 146 0 0 25 0 33 0 671942162 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366523 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23412/tid=23439] ppid=23410 vsize=13426600 CPUtime=2921.9 cores=0-31
/proc/23412/task/23439/stat : 23439 (plingeling) R 23410 23412 23386 0 -1 4202560 187278 1240 0 0 292053 137 0 0 25 0 33 0 671942162 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23412/tid=23440] ppid=23410 vsize=13426600 CPUtime=2931.73 cores=0-31
/proc/23412/task/23440/stat : 23440 (plingeling) R 23410 23412 23386 0 -1 4202560 353607 1240 0 0 292914 259 0 0 25 0 33 0 671942163 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23412/tid=23441] ppid=23410 vsize=13426600 CPUtime=2926.99 cores=0-31
/proc/23412/task/23441/stat : 23441 (plingeling) R 23410 23412 23386 0 -1 4202560 632517 1240 0 0 292306 393 0 0 25 0 33 0 671942163 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23412/tid=23442] ppid=23410 vsize=13426600 CPUtime=2931.69 cores=0-31
/proc/23412/task/23442/stat : 23442 (plingeling) R 23410 23412 23386 0 -1 4202560 739123 1240 0 0 292833 336 0 0 25 0 33 0 671942163 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=23412/tid=23443] ppid=23410 vsize=13426600 CPUtime=2920.66 cores=0-31
/proc/23412/task/23443/stat : 23443 (plingeling) R 23410 23412 23386 0 -1 4202560 221563 1240 0 0 291902 164 0 0 25 0 33 0 671942163 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23412/tid=23444] ppid=23410 vsize=13426600 CPUtime=2924.95 cores=0-31
/proc/23412/task/23444/stat : 23444 (plingeling) R 23410 23412 23386 0 -1 4202560 267502 1240 0 0 292318 177 0 0 25 0 33 0 671942163 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23412/tid=23445] ppid=23410 vsize=13426600 CPUtime=2931.04 cores=0-31
/proc/23412/task/23445/stat : 23445 (plingeling) R 23410 23412 23386 0 -1 4202560 312106 1240 0 0 292985 119 0 0 25 0 33 0 671942164 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23412/tid=23446] ppid=23410 vsize=13426600 CPUtime=2931.66 cores=0-31
/proc/23412/task/23446/stat : 23446 (plingeling) R 23410 23412 23386 0 -1 4202560 181043 1240 0 0 293056 110 0 0 25 0 33 0 671942164 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23412/tid=23447] ppid=23410 vsize=13426600 CPUtime=2924.52 cores=0-31
/proc/23412/task/23447/stat : 23447 (plingeling) R 23410 23412 23386 0 -1 4202560 269122 1240 0 0 292324 128 0 0 25 0 33 0 671942164 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23412/tid=23448] ppid=23410 vsize=13426600 CPUtime=2925.1 cores=0-31
/proc/23412/task/23448/stat : 23448 (plingeling) R 23410 23412 23386 0 -1 4202560 245720 1240 0 0 292327 183 0 0 25 0 33 0 671942164 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23412/tid=23449] ppid=23410 vsize=13426600 CPUtime=2931.21 cores=0-31
/proc/23412/task/23449/stat : 23449 (plingeling) R 23410 23412 23386 0 -1 4202560 223573 1240 0 0 292987 134 0 0 25 0 33 0 671942165 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23412/tid=23450] ppid=23410 vsize=13426600 CPUtime=2929.97 cores=0-31
/proc/23412/task/23450/stat : 23450 (plingeling) R 23410 23412 23386 0 -1 4202560 281054 1240 0 0 292844 153 0 0 25 0 33 0 671942165 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4357139 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23412/tid=23451] ppid=23410 vsize=13426600 CPUtime=2931.17 cores=0-31
/proc/23412/task/23451/stat : 23451 (plingeling) R 23410 23412 23386 0 -1 4202560 272914 1240 0 0 292947 170 0 0 25 0 33 0 671942165 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23412/tid=23452] ppid=23410 vsize=13426600 CPUtime=2931.84 cores=0-31
/proc/23412/task/23452/stat : 23452 (plingeling) R 23410 23412 23386 0 -1 4202560 248366 1240 0 0 293012 172 0 0 25 0 33 0 671942165 13748838400 3185799 268435456000 4194304 4417452 140736180723440 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 93735.2
Current children cumulated vsize (KiB) 13426600

[startup+2947.9 s]
/proc/loadavg: 32.15 32.14 32.04 2/414 23542
/proc/meminfo: memFree=245607368/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=9836852 CPUtime=93753.8 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202496 10453084 1240 0 0 9368018 7366 0 0 17 0 1 0 671940743 10072936448 2346900 268435456000 4194304 4417452 140736180723440 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 28 0 0 0
/proc/23412/statm: 2459213 2346900 176 55 0 2457099 0
Current children cumulated CPU time (s) 93753.8
Current children cumulated vsize (KiB) 9836852

[startup+2948.3 s]
/proc/loadavg: 32.15 32.14 32.04 2/414 23542
/proc/meminfo: memFree=245607368/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=0 CPUtime=93754.2 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202500 10453088 1240 0 0 9368018 7403 0 0 17 0 1 0 671940743 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 28 0 0 0
/proc/23412/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 93754.2
Current children cumulated vsize (KiB) 0

[startup+2948.5 s]
/proc/loadavg: 32.15 32.14 32.04 2/414 23542
/proc/meminfo: memFree=245607368/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=0 CPUtime=93754.4 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202500 10453088 1240 0 0 9368018 7423 0 0 18 0 1 0 671940743 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 28 0 0 0
/proc/23412/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 93754.4
Current children cumulated vsize (KiB) 0

[startup+2948.6 s]
/proc/loadavg: 32.15 32.14 32.04 2/414 23542
/proc/meminfo: memFree=245607368/264257624 swapFree=67111528/67111528
[pid=23412] ppid=23410 vsize=0 CPUtime=93754.5 cores=0-31
/proc/23412/stat : 23412 (plingeling) R 23410 23412 23386 0 -1 4202500 10453088 1240 0 0 9368018 7433 0 0 18 0 1 0 671940743 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 28 0 0 0
/proc/23412/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 93754.5
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2948.69
CPU time (s): 93754.6
CPU user time (s): 93680.2
CPU system time (s): 74.4247
CPU usage (%): 3179.54
Max. virtual memory (cumulated for all children) (KiB): 13726480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93680.2
system time used= 74.4247
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10454328
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= 11730
involuntary context switches= 245227

runsolver used 16.0526 second user time and 67.3238 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-17 05:55:43
IDJOB=3372435
IDBENCH=82378
IDSOLVER=1852
FILE ID=node200/3372435-1305604542
RUNJOBID= node200-1305604542-23400
PBS_JOBID= 13285561
Free space on /tmp= 62028 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372435-1305604542/watcher-3372435-1305604542 -o /tmp/evaluation-result-3372435-1305604542/solver-3372435-1305604542 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372435-1305604542.cnf

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=336361815

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:      255508596 kB
Buffers:        448104 kB
Cached:        7899548 kB
SwapCached:          0 kB
Active:        7417632 kB
Inactive:       998448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255508596 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           23552 kB
Writeback:           0 kB
AnonPages:       69120 kB
Mapped:          14324 kB
Slab:           252200 kB
PageTables:       4592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185500 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= 62028 MiB
End job on node200 at 2011-05-17 06:44:52