Trace number 3372723

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)? (TO) 160004 5009.53

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
MD5SUMa6df2ce216327c64a0156683acb72fc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32733
Number of clauses109177
Sum of the clauses size278009
Maximum clause length1080
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 256533
Number of clauses of size 352066
Number of clauses of size 4152
Number of clauses of size 515
Number of clauses of size over 5410

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3372723-1305985764/watcher-3372723-1305985764 -o /tmp/evaluation-result-3372723-1305985764/solver-3372723-1305985764 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372723-1305985764.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: 27.19 31.02 31.74 3/413 13597
/proc/meminfo: memFree=255500428/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=26936 CPUtime=0.03 cores=0-31
/proc/13597/stat : 13597 (plingeling) R 13595 13597 13571 0 -1 4202496 4794 1241 0 0 1 1 0 1 23 0 1 0 710062788 27582464 4724 268435456000 4194304 4417452 140734631211488 18446744073709551615 4232680 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13597/statm: 6734 4724 141 55 0 4620 0

[startup+0.130187 s]
/proc/loadavg: 27.19 31.02 31.74 3/413 13597
/proc/meminfo: memFree=255500428/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=37008 CPUtime=0.12 cores=0-31
/proc/13597/stat : 13597 (plingeling) R 13595 13597 13571 0 -1 4202496 7338 1241 0 0 9 2 0 1 23 0 1 0 710062788 37896192 7268 268435456000 4194304 4417452 140734631211488 18446744073709551615 4231248 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13597/statm: 9252 7268 145 55 0 7138 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 37008

[startup+0.201233 s]
/proc/loadavg: 27.19 31.02 31.74 3/413 13597
/proc/meminfo: memFree=255500428/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=39252 CPUtime=0.19 cores=0-31
/proc/13597/stat : 13597 (plingeling) R 13595 13597 13571 0 -1 4202496 7899 1241 0 0 16 2 0 1 23 0 1 0 710062788 40194048 7829 268435456000 4194304 4417452 140734631211488 18446744073709551615 4231358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13597/statm: 9813 7829 145 55 0 7699 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39252

[startup+0.301211 s]
/proc/loadavg: 27.19 31.02 31.74 3/413 13597
/proc/meminfo: memFree=255500428/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=51072 CPUtime=0.29 cores=0-31
/proc/13597/stat : 13597 (plingeling) R 13595 13597 13571 0 -1 4202496 10859 1241 0 0 25 3 0 1 24 0 1 0 710062788 52297728 10789 268435456000 4194304 4417452 140734631211488 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13597/statm: 12768 10789 146 55 0 10654 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51072

[startup+0.701222 s]
/proc/loadavg: 27.19 31.02 31.74 3/413 13597
/proc/meminfo: memFree=255500428/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=73856 CPUtime=0.7 cores=0-31
/proc/13597/stat : 13597 (plingeling) R 13595 13597 13571 0 -1 4202496 16555 1241 0 0 64 5 0 1 25 0 1 0 710062788 75628544 16485 268435456000 4194304 4417452 140734631211488 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13597/statm: 18464 16485 146 55 0 16350 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 73856

[startup+1.50127 s]
/proc/loadavg: 27.19 31.02 31.74 2/414 13603
/proc/meminfo: memFree=255415960/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=152564 CPUtime=1.49 cores=0-31
/proc/13597/stat : 13597 (plingeling) R 13595 13597 13571 0 -1 4202496 36232 1241 0 0 139 9 0 1 25 0 1 0 710062788 156225536 36162 268435456000 4194304 4417452 140734631211488 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/13597/statm: 38141 36162 146 55 0 36027 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152564

[startup+3.10118 s]
/proc/loadavg: 27.19 31.02 31.74 2/414 13603
/proc/meminfo: memFree=255288040/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=876072 CPUtime=27.88 cores=0-31
/proc/13597/stat : 13597 (plingeling) S 13595 13597 13571 0 -1 4202496 113949 1241 0 0 2713 74 0 1 18 0 33 0 710062788 897097728 66705 268435456000 4194304 4417452 140734631211488 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 219018 66705 170 55 0 216904 0
Current children cumulated CPU time (s) 27.88
Current children cumulated vsize (KiB) 876072

[startup+6.30228 s]
/proc/loadavg: 27.58 31.04 31.74 33/446 13635
/proc/meminfo: memFree=255209292/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=886432 CPUtime=130.12 cores=0-31
/proc/13597/stat : 13597 (plingeling) S 13595 13597 13571 0 -1 4202496 177400 1241 0 0 12918 93 0 1 18 0 33 0 710062788 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 221608 69339 175 55 0 219494 0
[pid=13597/tid=13604] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13604/stat : 13604 (plingeling) R 13595 13597 13571 0 -1 4202560 4784 1241 0 0 396 3 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4257714 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13597/tid=13605] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13605/stat : 13605 (plingeling) R 13595 13597 13571 0 -1 4202560 4729 1241 0 0 397 2 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13597/tid=13606] ppid=13595 vsize=886432 CPUtime=4.02 cores=0-31
/proc/13597/task/13606/stat : 13606 (plingeling) R 13595 13597 13571 0 -1 4202560 1401 1241 0 0 400 1 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13597/tid=13607] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13607/stat : 13607 (plingeling) R 13595 13597 13571 0 -1 4202560 586 1241 0 0 399 1 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13597/tid=13608] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13608/stat : 13608 (plingeling) R 13595 13597 13571 0 -1 4202560 4460 1241 0 0 397 3 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13597/tid=13609] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13609/stat : 13609 (plingeling) R 13595 13597 13571 0 -1 4202560 3973 1241 0 0 398 2 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13597/tid=13610] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13610/stat : 13610 (plingeling) R 13595 13597 13571 0 -1 4202560 5431 1241 0 0 396 3 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4236713 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13597/tid=13611] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13611/stat : 13611 (plingeling) R 13595 13597 13571 0 -1 4202560 2925 1241 0 0 397 2 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13597/tid=13612] ppid=13595 vsize=886432 CPUtime=3.99 cores=0-31
/proc/13597/task/13612/stat : 13612 (plingeling) R 13595 13597 13571 0 -1 4202560 2744 1241 0 0 397 1 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252931 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13597/tid=13613] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13613/stat : 13613 (plingeling) R 13595 13597 13571 0 -1 4202560 5782 1241 0 0 397 2 0 1 25 0 33 0 710063015 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13597/tid=13614] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13614/stat : 13614 (plingeling) R 13595 13597 13571 0 -1 4202560 5661 1241 0 0 396 3 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13597/tid=13615] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13615/stat : 13615 (plingeling) R 13595 13597 13571 0 -1 4202560 3857 1241 0 0 397 3 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252133 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13597/tid=13616] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13616/stat : 13616 (plingeling) R 13595 13597 13571 0 -1 4202560 3697 1241 0 0 397 2 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4257111 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13597/tid=13617] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13617/stat : 13617 (plingeling) R 13595 13597 13571 0 -1 4202560 1925 1241 0 0 399 1 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13597/tid=13618] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13618/stat : 13618 (plingeling) R 13595 13597 13571 0 -1 4202560 4800 1241 0 0 398 2 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13597/tid=13619] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13619/stat : 13619 (plingeling) R 13595 13597 13571 0 -1 4202560 1897 1241 0 0 398 2 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252228 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13597/tid=13620] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13620/stat : 13620 (plingeling) R 13595 13597 13571 0 -1 4202560 8417 1241 0 0 395 4 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13597/tid=13621] ppid=13595 vsize=886432 CPUtime=3.99 cores=0-31
/proc/13597/task/13621/stat : 13621 (plingeling) R 13595 13597 13571 0 -1 4202560 6129 1241 0 0 396 2 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4253320 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13597/tid=13622] ppid=13595 vsize=886432 CPUtime=4.01 cores=0-31
/proc/13597/task/13622/stat : 13622 (plingeling) R 13595 13597 13571 0 -1 4202560 1277 1241 0 0 399 1 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13597/tid=13623] ppid=13595 vsize=886432 CPUtime=3.97 cores=0-31
/proc/13597/task/13623/stat : 13623 (plingeling) R 13595 13597 13571 0 -1 4202560 8345 1241 0 0 393 3 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252459 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13597/tid=13624] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13624/stat : 13624 (plingeling) R 13595 13597 13571 0 -1 4202560 2125 1241 0 0 398 1 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13597/tid=13625] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13625/stat : 13625 (plingeling) R 13595 13597 13571 0 -1 4202560 2461 1241 0 0 398 1 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4235421 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13597/tid=13626] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13626/stat : 13626 (plingeling) R 13595 13597 13571 0 -1 4202560 3170 1241 0 0 397 2 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4236827 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13597/tid=13627] ppid=13595 vsize=886432 CPUtime=3.99 cores=0-31
/proc/13597/task/13627/stat : 13627 (plingeling) R 13595 13597 13571 0 -1 4202560 6048 1241 0 0 396 2 0 1 25 0 33 0 710063016 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4343423 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13597/tid=13628] ppid=13595 vsize=886432 CPUtime=3.99 cores=0-31
/proc/13597/task/13628/stat : 13628 (plingeling) R 13595 13597 13571 0 -1 4202560 3434 1241 0 0 396 2 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4253336 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13597/tid=13629] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13629/stat : 13629 (plingeling) R 13595 13597 13571 0 -1 4202560 3766 1241 0 0 397 2 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4342927 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13597/tid=13630] ppid=13595 vsize=886432 CPUtime=3.99 cores=0-31
/proc/13597/task/13630/stat : 13630 (plingeling) R 13595 13597 13571 0 -1 4202560 4195 1241 0 0 396 2 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13597/tid=13631] ppid=13595 vsize=886432 CPUtime=3.89 cores=0-31
/proc/13597/task/13631/stat : 13631 (plingeling) R 13595 13597 13571 0 -1 4202560 3283 1241 0 0 387 1 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4258472 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13597/tid=13632] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13632/stat : 13632 (plingeling) R 13595 13597 13571 0 -1 4202560 3056 1241 0 0 397 2 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252041 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13597/tid=13633] ppid=13595 vsize=886432 CPUtime=3.99 cores=0-31
/proc/13597/task/13633/stat : 13633 (plingeling) R 13595 13597 13571 0 -1 4202560 2510 1241 0 0 396 2 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13597/tid=13634] ppid=13595 vsize=886432 CPUtime=3.97 cores=0-31
/proc/13597/task/13634/stat : 13634 (plingeling) R 13595 13597 13571 0 -1 4202560 5404 1241 0 0 394 2 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4250795 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13597/tid=13635] ppid=13595 vsize=886432 CPUtime=4 cores=0-31
/proc/13597/task/13635/stat : 13635 (plingeling) R 13595 13597 13571 0 -1 4202560 2330 1241 0 0 398 1 0 1 25 0 33 0 710063017 907706368 69339 268435456000 4194304 4417452 140734631211488 18446744073709551615 4252098 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 130.12
Current children cumulated vsize (KiB) 886432

[startup+12.7015 s]
/proc/loadavg: 27.93 31.05 31.74 33/446 13637
/proc/meminfo: memFree=255139488/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=955304 CPUtime=334.65 cores=0-31
/proc/13597/stat : 13597 (plingeling) S 13595 13597 13571 0 -1 4202496 211187 1241 0 0 33362 102 0 1 18 0 33 0 710062788 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 238826 87138 175 55 0 236712 0
[pid=13597/tid=13604] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13604/stat : 13604 (plingeling) R 13595 13597 13571 0 -1 4202560 6571 1241 0 0 1035 4 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13597/tid=13605] ppid=13595 vsize=955304 CPUtime=10.39 cores=0-31
/proc/13597/task/13605/stat : 13605 (plingeling) R 13595 13597 13571 0 -1 4202560 5889 1241 0 0 1036 2 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4321380 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13597/tid=13606] ppid=13595 vsize=955304 CPUtime=10.42 cores=0-31
/proc/13597/task/13606/stat : 13606 (plingeling) R 13595 13597 13571 0 -1 4202560 2040 1241 0 0 1040 1 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13597/tid=13607] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13607/stat : 13607 (plingeling) R 13595 13597 13571 0 -1 4202560 3074 1241 0 0 1038 1 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13597/tid=13608] ppid=13595 vsize=955304 CPUtime=10.41 cores=0-31
/proc/13597/task/13608/stat : 13608 (plingeling) R 13595 13597 13571 0 -1 4202560 5172 1241 0 0 1037 3 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4236722 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13597/tid=13609] ppid=13595 vsize=955304 CPUtime=10.41 cores=0-31
/proc/13597/task/13609/stat : 13609 (plingeling) R 13595 13597 13571 0 -1 4202560 4737 1241 0 0 1037 3 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13597/tid=13610] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13610/stat : 13610 (plingeling) R 13595 13597 13571 0 -1 4202560 6111 1241 0 0 1036 3 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4236644 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13597/tid=13611] ppid=13595 vsize=955304 CPUtime=10.41 cores=0-31
/proc/13597/task/13611/stat : 13611 (plingeling) R 13595 13597 13571 0 -1 4202560 3829 1241 0 0 1037 3 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13597/tid=13612] ppid=13595 vsize=955304 CPUtime=10.38 cores=0-31
/proc/13597/task/13612/stat : 13612 (plingeling) R 13595 13597 13571 0 -1 4202560 3533 1241 0 0 1036 1 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13597/tid=13613] ppid=13595 vsize=955304 CPUtime=10.39 cores=0-31
/proc/13597/task/13613/stat : 13613 (plingeling) R 13595 13597 13571 0 -1 4202560 6537 1241 0 0 1036 2 0 1 25 0 33 0 710063015 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4354469 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13597/tid=13614] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13614/stat : 13614 (plingeling) R 13595 13597 13571 0 -1 4202560 6649 1241 0 0 1036 3 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13597/tid=13615] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13615/stat : 13615 (plingeling) R 13595 13597 13571 0 -1 4202560 5036 1241 0 0 1036 3 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4353585 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13597/tid=13616] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13616/stat : 13616 (plingeling) R 13595 13597 13571 0 -1 4202560 4426 1241 0 0 1037 2 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13597/tid=13617] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13617/stat : 13617 (plingeling) R 13595 13597 13571 0 -1 4202560 3312 1241 0 0 1038 1 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4352414 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13597/tid=13618] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13618/stat : 13618 (plingeling) R 13595 13597 13571 0 -1 4202560 5655 1241 0 0 1037 2 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365130 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13597/tid=13619] ppid=13595 vsize=955304 CPUtime=10.41 cores=0-31
/proc/13597/task/13619/stat : 13619 (plingeling) R 13595 13597 13571 0 -1 4202560 2832 1241 0 0 1038 2 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13597/tid=13620] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13620/stat : 13620 (plingeling) R 13595 13597 13571 0 -1 4202560 9411 1241 0 0 1034 5 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13597/tid=13621] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13621/stat : 13621 (plingeling) R 13595 13597 13571 0 -1 4202560 7185 1241 0 0 1036 3 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364412 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13597/tid=13622] ppid=13595 vsize=955304 CPUtime=10.4 cores=0-31
/proc/13597/task/13622/stat : 13622 (plingeling) R 13595 13597 13571 0 -1 4202560 2295 1241 0 0 1038 1 0 1 25 0 33 0 710063016 978231296 87138 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13597/tid=13623] ppid=13595 vsize=955304 CPUtime=10.37 cores=0-31

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

[pid=13597/tid=13615] ppid=13595 vsize=11267252 CPUtime=4958.01 cores=0-31
/proc/13597/task/13615/stat : 13615 (plingeling) R 13595 13597 13571 0 -1 4202560 376875 1241 0 0 495366 434 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13597/tid=13616] ppid=13595 vsize=11267252 CPUtime=4940.03 cores=0-31
/proc/13597/task/13616/stat : 13616 (plingeling) R 13595 13597 13571 0 -1 4202560 549568 1241 0 0 493411 591 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13597/tid=13617] ppid=13595 vsize=11267252 CPUtime=4958.46 cores=0-31
/proc/13597/task/13617/stat : 13617 (plingeling) R 13595 13597 13571 0 -1 4202560 611750 1241 0 0 495067 778 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13597/tid=13618] ppid=13595 vsize=11267252 CPUtime=4954.18 cores=0-31
/proc/13597/task/13618/stat : 13618 (plingeling) R 13595 13597 13571 0 -1 4202560 446970 1241 0 0 494940 477 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13597/tid=13619] ppid=13595 vsize=11267252 CPUtime=4954.18 cores=0-31
/proc/13597/task/13619/stat : 13619 (plingeling) R 13595 13597 13571 0 -1 4202560 532055 1241 0 0 494623 794 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13597/tid=13620] ppid=13595 vsize=11267252 CPUtime=4958.33 cores=0-31
/proc/13597/task/13620/stat : 13620 (plingeling) R 13595 13597 13571 0 -1 4202560 441545 1241 0 0 495116 716 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13597/tid=13621] ppid=13595 vsize=11267252 CPUtime=4956.9 cores=0-31
/proc/13597/task/13621/stat : 13621 (plingeling) R 13595 13597 13571 0 -1 4202560 638701 1241 0 0 494904 785 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13597/tid=13622] ppid=13595 vsize=11267252 CPUtime=4957.92 cores=0-31
/proc/13597/task/13622/stat : 13622 (plingeling) R 13595 13597 13571 0 -1 4202560 469089 1241 0 0 495364 427 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13597/tid=13623] ppid=13595 vsize=11267252 CPUtime=4958.29 cores=0-31
/proc/13597/task/13623/stat : 13623 (plingeling) R 13595 13597 13571 0 -1 4202560 522225 1241 0 0 495148 680 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13597/tid=13624] ppid=13595 vsize=11267252 CPUtime=4940.17 cores=0-31
/proc/13597/task/13624/stat : 13624 (plingeling) R 13595 13597 13571 0 -1 4202560 509756 1241 0 0 493427 589 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4265514 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13597/tid=13625] ppid=13595 vsize=11267252 CPUtime=4957.62 cores=0-31
/proc/13597/task/13625/stat : 13625 (plingeling) R 13595 13597 13571 0 -1 4202560 488688 1241 0 0 495168 593 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13597/tid=13626] ppid=13595 vsize=11267252 CPUtime=4957.17 cores=0-31
/proc/13597/task/13626/stat : 13626 (plingeling) R 13595 13597 13571 0 -1 4202560 408858 1241 0 0 495149 567 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13597/tid=13627] ppid=13595 vsize=11267252 CPUtime=4957.83 cores=0-31
/proc/13597/task/13627/stat : 13627 (plingeling) R 13595 13597 13571 0 -1 4202560 392129 1241 0 0 495240 542 0 1 25 0 33 0 710063016 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13597/tid=13628] ppid=13595 vsize=11267252 CPUtime=4955.7 cores=0-31
/proc/13597/task/13628/stat : 13628 (plingeling) R 13595 13597 13571 0 -1 4202560 525617 1241 0 0 494873 696 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13597/tid=13629] ppid=13595 vsize=11267252 CPUtime=4958.46 cores=0-31
/proc/13597/task/13629/stat : 13629 (plingeling) R 13595 13597 13571 0 -1 4202560 397025 1241 0 0 495435 410 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13597/tid=13630] ppid=13595 vsize=11267252 CPUtime=4956.87 cores=0-31
/proc/13597/task/13630/stat : 13630 (plingeling) R 13595 13597 13571 0 -1 4202560 356023 1241 0 0 495238 448 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13597/tid=13631] ppid=13595 vsize=11267252 CPUtime=4952.57 cores=0-31
/proc/13597/task/13631/stat : 13631 (plingeling) R 13595 13597 13571 0 -1 4202560 405169 1241 0 0 494780 476 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13597/tid=13632] ppid=13595 vsize=11267252 CPUtime=4958.45 cores=0-31
/proc/13597/task/13632/stat : 13632 (plingeling) R 13595 13597 13571 0 -1 4202560 420986 1241 0 0 495306 538 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13597/tid=13633] ppid=13595 vsize=11267252 CPUtime=4957.54 cores=0-31
/proc/13597/task/13633/stat : 13633 (plingeling) R 13595 13597 13571 0 -1 4202560 407870 1241 0 0 495249 504 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13597/tid=13634] ppid=13595 vsize=11267252 CPUtime=4949.02 cores=0-31
/proc/13597/task/13634/stat : 13634 (plingeling) R 13595 13597 13571 0 -1 4202560 428694 1241 0 0 494367 534 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13597/tid=13635] ppid=13595 vsize=11267252 CPUtime=4955.86 cores=0-31
/proc/13597/task/13635/stat : 13635 (plingeling) R 13595 13597 13571 0 -1 4202560 355288 1241 0 0 495290 295 0 1 25 0 33 0 710063017 11537666048 2668234 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 158522
Current children cumulated vsize (KiB) 11267252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5008.6 s]
/proc/loadavg: 32.05 32.08 32.04 33/446 13790
/proc/meminfo: memFree=244737968/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=11337132 CPUtime=160003 cores=0-31
/proc/13597/stat : 13597 (plingeling) S 13595 13597 13571 0 -1 4202496 14796605 1241 0 0 15982312 17948 0 1 18 0 33 0 710062788 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 2834283 2687670 175 55 0 2832169 0
[pid=13597/tid=13604] ppid=13595 vsize=11337132 CPUtime=4991.05 cores=0-31
/proc/13597/task/13604/stat : 13604 (plingeling) R 13595 13597 13571 0 -1 4202560 465955 1241 0 0 498490 614 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13597/tid=13605] ppid=13595 vsize=11337132 CPUtime=5005.14 cores=0-31
/proc/13597/task/13605/stat : 13605 (plingeling) R 13595 13597 13571 0 -1 4202560 535502 1241 0 0 499806 707 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13597/tid=13606] ppid=13595 vsize=11337132 CPUtime=5003.34 cores=0-31
/proc/13597/task/13606/stat : 13606 (plingeling) R 13595 13597 13571 0 -1 4202560 414412 1241 0 0 499879 454 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13597/tid=13607] ppid=13595 vsize=11337132 CPUtime=5004.14 cores=0-31
/proc/13597/task/13607/stat : 13607 (plingeling) R 13595 13597 13571 0 -1 4202560 464270 1241 0 0 499970 443 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13597/tid=13608] ppid=13595 vsize=11337132 CPUtime=5001.81 cores=0-31
/proc/13597/task/13608/stat : 13608 (plingeling) R 13595 13597 13571 0 -1 4202560 398002 1241 0 0 499714 466 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4306265 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13597/tid=13609] ppid=13595 vsize=11337132 CPUtime=4973.96 cores=0-31
/proc/13597/task/13609/stat : 13609 (plingeling) R 13595 13597 13571 0 -1 4202560 402032 1241 0 0 496929 466 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13597/tid=13610] ppid=13595 vsize=11337132 CPUtime=5003.71 cores=0-31
/proc/13597/task/13610/stat : 13610 (plingeling) R 13595 13597 13571 0 -1 4202560 501670 1241 0 0 499786 584 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13597/tid=13611] ppid=13595 vsize=11337132 CPUtime=5004.08 cores=0-31
/proc/13597/task/13611/stat : 13611 (plingeling) R 13595 13597 13571 0 -1 4202560 478235 1241 0 0 499813 594 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13597/tid=13612] ppid=13595 vsize=11337132 CPUtime=5004.48 cores=0-31
/proc/13597/task/13612/stat : 13612 (plingeling) R 13595 13597 13571 0 -1 4202560 512236 1241 0 0 499809 638 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13597/tid=13613] ppid=13595 vsize=11337132 CPUtime=4980.76 cores=0-31
/proc/13597/task/13613/stat : 13613 (plingeling) R 13595 13597 13571 0 -1 4202560 358381 1241 0 0 497646 429 0 1 25 0 33 0 710063015 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13597/tid=13614] ppid=13595 vsize=11337132 CPUtime=5001.75 cores=0-31
/proc/13597/task/13614/stat : 13614 (plingeling) R 13595 13597 13571 0 -1 4202560 439839 1241 0 0 499636 538 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13597/tid=13615] ppid=13595 vsize=11337132 CPUtime=5004.32 cores=0-31
/proc/13597/task/13615/stat : 13615 (plingeling) R 13595 13597 13571 0 -1 4202560 376875 1241 0 0 499997 434 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13597/tid=13616] ppid=13595 vsize=11337132 CPUtime=4986.34 cores=0-31
/proc/13597/task/13616/stat : 13616 (plingeling) R 13595 13597 13571 0 -1 4202560 557760 1241 0 0 498041 592 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13597/tid=13617] ppid=13595 vsize=11337132 CPUtime=5004.77 cores=0-31
/proc/13597/task/13617/stat : 13617 (plingeling) R 13595 13597 13571 0 -1 4202560 616852 1241 0 0 499690 786 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13597/tid=13618] ppid=13595 vsize=11337132 CPUtime=5000.5 cores=0-31
/proc/13597/task/13618/stat : 13618 (plingeling) R 13595 13597 13571 0 -1 4202560 455087 1241 0 0 499550 499 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=13597/tid=13619] ppid=13595 vsize=11337132 CPUtime=5000.47 cores=0-31
/proc/13597/task/13619/stat : 13619 (plingeling) R 13595 13597 13571 0 -1 4202560 570169 1241 0 0 499179 867 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13597/tid=13620] ppid=13595 vsize=11337132 CPUtime=5004.64 cores=0-31
/proc/13597/task/13620/stat : 13620 (plingeling) R 13595 13597 13571 0 -1 4202560 441545 1241 0 0 499747 716 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=13597/tid=13621] ppid=13595 vsize=11337132 CPUtime=5003.21 cores=0-31
/proc/13597/task/13621/stat : 13621 (plingeling) R 13595 13597 13571 0 -1 4202560 638701 1241 0 0 499535 785 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13597/tid=13622] ppid=13595 vsize=11337132 CPUtime=5004.24 cores=0-31
/proc/13597/task/13622/stat : 13622 (plingeling) R 13595 13597 13571 0 -1 4202560 472665 1241 0 0 499995 428 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13597/tid=13623] ppid=13595 vsize=11337132 CPUtime=5004.61 cores=0-31
/proc/13597/task/13623/stat : 13623 (plingeling) R 13595 13597 13571 0 -1 4202560 522225 1241 0 0 499780 680 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13597/tid=13624] ppid=13595 vsize=11337132 CPUtime=4986.48 cores=0-31
/proc/13597/task/13624/stat : 13624 (plingeling) R 13595 13597 13571 0 -1 4202560 509756 1241 0 0 498058 589 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13597/tid=13625] ppid=13595 vsize=11337132 CPUtime=5003.93 cores=0-31
/proc/13597/task/13625/stat : 13625 (plingeling) R 13595 13597 13571 0 -1 4202560 494547 1241 0 0 499798 594 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13597/tid=13626] ppid=13595 vsize=11337132 CPUtime=5003.49 cores=0-31
/proc/13597/task/13626/stat : 13626 (plingeling) R 13595 13597 13571 0 -1 4202560 408858 1241 0 0 499781 567 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13597/tid=13627] ppid=13595 vsize=11337132 CPUtime=5004.14 cores=0-31
/proc/13597/task/13627/stat : 13627 (plingeling) R 13595 13597 13571 0 -1 4202560 392129 1241 0 0 499871 542 0 1 25 0 33 0 710063016 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13597/tid=13628] ppid=13595 vsize=11337132 CPUtime=5002.01 cores=0-31
/proc/13597/task/13628/stat : 13628 (plingeling) R 13595 13597 13571 0 -1 4202560 542001 1241 0 0 499501 699 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13597/tid=13629] ppid=13595 vsize=11337132 CPUtime=5004.77 cores=0-31
/proc/13597/task/13629/stat : 13629 (plingeling) R 13595 13597 13571 0 -1 4202560 397025 1241 0 0 500066 410 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13597/tid=13630] ppid=13595 vsize=11337132 CPUtime=5003.19 cores=0-31
/proc/13597/task/13630/stat : 13630 (plingeling) R 13595 13597 13571 0 -1 4202560 357598 1241 0 0 499869 449 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13597/tid=13631] ppid=13595 vsize=11337132 CPUtime=4998.89 cores=0-31
/proc/13597/task/13631/stat : 13631 (plingeling) R 13595 13597 13571 0 -1 4202560 406642 1241 0 0 499411 477 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4366113 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=13597/tid=13632] ppid=13595 vsize=11337132 CPUtime=5004.76 cores=0-31
/proc/13597/task/13632/stat : 13632 (plingeling) R 13595 13597 13571 0 -1 4202560 420986 1241 0 0 499937 538 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13597/tid=13633] ppid=13595 vsize=11337132 CPUtime=5003.85 cores=0-31
/proc/13597/task/13633/stat : 13633 (plingeling) R 13595 13597 13571 0 -1 4202560 407870 1241 0 0 499880 504 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13597/tid=13634] ppid=13595 vsize=11337132 CPUtime=4995.33 cores=0-31
/proc/13597/task/13634/stat : 13634 (plingeling) R 13595 13597 13571 0 -1 4202560 428694 1241 0 0 498998 534 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13597/tid=13635] ppid=13595 vsize=11337132 CPUtime=5002.17 cores=0-31
/proc/13597/task/13635/stat : 13635 (plingeling) R 13595 13597 13571 0 -1 4202560 355288 1241 0 0 499921 295 0 1 25 0 33 0 710063017 11609223168 2687670 268435456000 4194304 4417452 140734631211488 18446744073709551615 4366253 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 11337132

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

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

[startup+5008.73 s]
/proc/loadavg: 32.05 32.08 32.04 33/446 13790
/proc/meminfo: memFree=244737968/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=0 CPUtime=160003 cores=0-31
/proc/13597/stat : 13597 (plingeling) Z 13595 13597 13571 0 -1 4203548 14796605 1241 0 0 15982335 17958 0 1 18 0 2 0 710062788 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 0 0 0 0 0 0 0
[pid=13597/tid=13629] ppid=13595 vsize=0 CPUtime=5004.88 cores=0-31
/proc/13597/task/13629/stat : 13629 (plingeling) R 13595 13597 13571 0 -1 4203588 397025 1241 0 0 500067 420 0 1 25 0 2 0 710063017 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5009.1 s]
/proc/loadavg: 32.05 32.08 32.04 33/446 13790
/proc/meminfo: memFree=244737968/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=0 CPUtime=160003 cores=0-31
/proc/13597/stat : 13597 (plingeling) Z 13595 13597 13571 0 -1 4203548 14796605 1241 0 0 15982335 17995 0 1 18 0 2 0 710062788 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 0 0 0 0 0 0 0
[pid=13597/tid=13629] ppid=13595 vsize=0 CPUtime=5005.25 cores=0-31
/proc/13597/task/13629/stat : 13629 (plingeling) R 13595 13597 13571 0 -1 4203588 397025 1241 0 0 500067 457 0 1 25 0 2 0 710063017 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5009.3 s]
/proc/loadavg: 32.05 32.08 32.04 33/446 13790
/proc/meminfo: memFree=244737968/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=0 CPUtime=160004 cores=0-31
/proc/13597/stat : 13597 (plingeling) Z 13595 13597 13571 0 -1 4203548 14796605 1241 0 0 15982335 18015 0 1 18 0 2 0 710062788 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 0 0 0 0 0 0 0
[pid=13597/tid=13629] ppid=13595 vsize=0 CPUtime=5005.45 cores=0-31
/proc/13597/task/13629/stat : 13629 (plingeling) R 13595 13597 13571 0 -1 4203588 397025 1241 0 0 500067 477 0 1 25 0 2 0 710063017 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5009.4 s]
/proc/loadavg: 32.05 32.08 32.04 2/416 13791
/proc/meminfo: memFree=253609416/264257624 swapFree=67111528/67111528
[pid=13597] ppid=13595 vsize=0 CPUtime=160004 cores=0-31
/proc/13597/stat : 13597 (plingeling) Z 13595 13597 13571 0 -1 4203548 14796605 1241 0 0 15982335 18029 0 1 18 0 2 0 710062788 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/13597/statm: 0 0 0 0 0 0 0
[pid=13597/tid=13629] ppid=13595 vsize=0 CPUtime=5005.59 cores=0-31
/proc/13597/task/13629/stat : 13629 (plingeling) R 13595 13597 13571 0 -1 4203588 397025 1241 0 0 500067 491 0 1 25 0 2 0 710063017 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5009.53
CPU time (s): 160004
CPU user time (s): 159823
CPU system time (s): 180.399
CPU usage (%): 3193.99
Max. virtual memory (cumulated for all children) (KiB): 11768328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159823
system time used= 180.399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14797846
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= 9917
involuntary context switches= 402158

runsolver used 24.2523 second user time and 117.092 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-21 15:49:24
IDJOB=3372723
IDBENCH=83134
IDSOLVER=1852
FILE ID=node200/3372723-1305985764
RUNJOBID= node200-1305985763-13585
PBS_JOBID= 13387794
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372723-1305985764/watcher-3372723-1305985764 -o /tmp/evaluation-result-3372723-1305985764/solver-3372723-1305985764 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372723-1305985764.cnf

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

MD5SUM BENCH= a6df2ce216327c64a0156683acb72fc2
RANDOM SEED=1141804049

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:      255500584 kB
Buffers:        453852 kB
Cached:        7899424 kB
SwapCached:          0 kB
Active:        7420916 kB
Inactive:      1001080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255500584 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2384 kB
Writeback:           0 kB
AnonPages:       69176 kB
Mapped:          14392 kB
Slab:           252712 kB
PageTables:       3836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   188388 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= 62044 MiB
End job on node200 at 2011-05-21 17:12:54