Trace number 3372654

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 6798.8 226.692

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_b_unsat.cnf
MD5SUM3dc443ddf213a09407d2a75925179735
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2684.29
Satisfiable
(Un)Satisfiability was proved
Number of variables26061
Number of clauses742909
Sum of the clauses size2791650
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 244599
Number of clauses of size 390788
Number of clauses of size 4607522
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

6798.71/226.69	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-3372654-1305699578/watcher-3372654-1305699578 -o /tmp/evaluation-result-3372654-1305699578/solver-3372654-1305699578 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372654-1305699578.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: 24.45 23.26 24.86 1/413 32056
/proc/meminfo: memFree=255493104/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=17112 CPUtime=0.02 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 2358 1241 0 0 2 0 0 0 21 0 1 0 681444402 17522688 2289 268435456000 4194304 4417452 140734396039584 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 4311 2305 144 55 0 2197 0

[startup+0.063006 s]
/proc/loadavg: 24.45 23.26 24.86 1/413 32056
/proc/meminfo: memFree=255493104/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=24924 CPUtime=0.05 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 4270 1241 0 0 4 1 0 0 21 0 1 0 681444402 25522176 4200 268435456000 4194304 4417452 140734396039584 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 6231 4228 145 55 0 4117 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24924

[startup+0.101006 s]
/proc/loadavg: 24.45 23.26 24.86 1/413 32056
/proc/meminfo: memFree=255493104/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=30492 CPUtime=0.09 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 5714 1241 0 0 8 1 0 0 21 0 1 0 681444402 31223808 5644 268435456000 4194304 4417452 140734396039584 18446744073709551615 4264920 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 7623 5644 145 55 0 5509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30492

[startup+0.301019 s]
/proc/loadavg: 24.45 23.26 24.86 1/413 32056
/proc/meminfo: memFree=255493104/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=77492 CPUtime=0.29 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 17335 1241 0 0 25 4 0 0 22 0 1 0 681444402 79351808 17265 268435456000 4194304 4417452 140734396039584 18446744073709551615 258650618162 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 19373 17285 145 55 0 17259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77492

[startup+0.701052 s]
/proc/loadavg: 24.45 23.26 24.86 1/413 32056
/proc/meminfo: memFree=255493104/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=126424 CPUtime=0.69 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 29580 1241 0 0 63 6 0 0 23 0 1 0 681444402 129458176 29453 268435456000 4194304 4417452 140734396039584 18446744073709551615 258650653381 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 31606 29466 146 55 0 29492 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 126424

[startup+1.50106 s]
/proc/loadavg: 24.45 23.26 24.86 2/414 32062
/proc/meminfo: memFree=255364368/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=184560 CPUtime=1.48 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 44609 1241 0 0 139 9 0 0 25 0 1 0 681444402 188989440 44162 268435456000 4194304 4417452 140734396039584 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 46140 44162 146 55 0 44026 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 184560

[startup+3.10112 s]
/proc/loadavg: 24.45 23.26 24.86 2/414 32062
/proc/meminfo: memFree=255214808/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=349428 CPUtime=3.08 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 85826 1241 0 0 291 17 0 0 25 0 1 0 681444402 357814272 85379 268435456000 4194304 4417452 140734396039584 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 87357 85379 146 55 0 85243 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 349428

[startup+6.30126 s]
/proc/loadavg: 22.65 22.90 24.74 2/414 32062
/proc/meminfo: memFree=254886412/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=873716 CPUtime=6.29 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 215267 1241 0 0 586 43 0 0 25 0 1 0 681444402 894685184 214820 268435456000 4194304 4417452 140734396039584 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 218429 214838 146 55 0 216315 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 873716

[startup+12.7005 s]
/proc/loadavg: 20.92 22.54 24.61 2/414 32064
/proc/meminfo: memFree=254362616/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=1660148 CPUtime=12.69 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 413506 1241 0 0 1188 81 0 0 25 0 1 0 681444402 1699991552 413059 268435456000 4194304 4417452 140734396039584 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32056/statm: 415037 413059 146 55 0 412923 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1660148

[startup+25.5018 s]
/proc/loadavg: 21.27 22.51 24.56 33/446 32096
/proc/meminfo: memFree=253944000/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=1982540 CPUtime=390.42 cores=0-31
/proc/32056/stat : 32056 (plingeling) S 32054 32056 31828 0 -1 4202496 473227 1241 0 0 38940 102 0 0 18 0 33 0 681444402 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/32056/statm: 495635 381615 175 55 0 493521 0
[pid=32056/tid=32065] ppid=32054 vsize=1982540 CPUtime=11.81 cores=0-31
/proc/32056/task/32065/stat : 32065 (plingeling) R 32054 32056 31828 0 -1 4202560 1416 1241 0 0 1181 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32056/tid=32066] ppid=32054 vsize=1982540 CPUtime=11.82 cores=0-31
/proc/32056/task/32066/stat : 32066 (plingeling) R 32054 32056 31828 0 -1 4202560 2285 1241 0 0 1182 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32056/tid=32067] ppid=32054 vsize=1982540 CPUtime=11.81 cores=0-31
/proc/32056/task/32067/stat : 32067 (plingeling) R 32054 32056 31828 0 -1 4202560 1248 1241 0 0 1181 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32056/tid=32068] ppid=32054 vsize=1982540 CPUtime=11.82 cores=0-31
/proc/32056/task/32068/stat : 32068 (plingeling) R 32054 32056 31828 0 -1 4202560 3 1241 0 0 1182 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364666 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32056/tid=32069] ppid=32054 vsize=1982540 CPUtime=11.82 cores=0-31
/proc/32056/task/32069/stat : 32069 (plingeling) R 32054 32056 31828 0 -1 4202560 2949 1241 0 0 1181 1 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32056/tid=32070] ppid=32054 vsize=1982540 CPUtime=11.45 cores=0-31
/proc/32056/task/32070/stat : 32070 (plingeling) R 32054 32056 31828 0 -1 4202560 365 1241 0 0 1145 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32056/tid=32071] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32071/stat : 32071 (plingeling) R 32054 32056 31828 0 -1 4202560 2300 1241 0 0 1180 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32056/tid=32072] ppid=32054 vsize=1982540 CPUtime=11.79 cores=0-31
/proc/32056/task/32072/stat : 32072 (plingeling) R 32054 32056 31828 0 -1 4202560 1908 1241 0 0 1179 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32056/tid=32073] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32073/stat : 32073 (plingeling) R 32054 32056 31828 0 -1 4202560 3838 1241 0 0 1179 1 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32056/tid=32074] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32074/stat : 32074 (plingeling) R 32054 32056 31828 0 -1 4202560 2135 1241 0 0 1180 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32056/tid=32075] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32075/stat : 32075 (plingeling) R 32054 32056 31828 0 -1 4202560 1869 1241 0 0 1180 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32056/tid=32076] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32076/stat : 32076 (plingeling) R 32054 32056 31828 0 -1 4202560 3128 1241 0 0 1180 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4336180 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32056/tid=32077] ppid=32054 vsize=1982540 CPUtime=11.81 cores=0-31
/proc/32056/task/32077/stat : 32077 (plingeling) R 32054 32056 31828 0 -1 4202560 2135 1241 0 0 1181 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32056/tid=32078] ppid=32054 vsize=1982540 CPUtime=11.81 cores=0-31
/proc/32056/task/32078/stat : 32078 (plingeling) R 32054 32056 31828 0 -1 4202560 2063 1241 0 0 1181 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32056/tid=32079] ppid=32054 vsize=1982540 CPUtime=11.81 cores=0-31
/proc/32056/task/32079/stat : 32079 (plingeling) R 32054 32056 31828 0 -1 4202560 714 1241 0 0 1181 0 0 0 25 0 33 0 681445769 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364749 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32056/tid=32080] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32080/stat : 32080 (plingeling) R 32054 32056 31828 0 -1 4202560 2069 1241 0 0 1180 0 0 0 25 0 33 0 681445770 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32056/tid=32081] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32081/stat : 32081 (plingeling) R 32054 32056 31828 0 -1 4202560 1405 1241 0 0 1180 0 0 0 25 0 33 0 681445770 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32056/tid=32082] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32082/stat : 32082 (plingeling) R 32054 32056 31828 0 -1 4202560 2734 1241 0 0 1180 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32056/tid=32083] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32083/stat : 32083 (plingeling) R 32054 32056 31828 0 -1 4202560 989 1241 0 0 1180 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32056/tid=32084] ppid=32054 vsize=1982540 CPUtime=11.8 cores=0-31
/proc/32056/task/32084/stat : 32084 (plingeling) R 32054 32056 31828 0 -1 4202560 692 1241 0 0 1180 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32056/tid=32085] ppid=32054 vsize=1982540 CPUtime=11.75 cores=0-31
/proc/32056/task/32085/stat : 32085 (plingeling) R 32054 32056 31828 0 -1 4202560 2239 1241 0 0 1175 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32056/tid=32086] ppid=32054 vsize=1982540 CPUtime=11.79 cores=0-31
/proc/32056/task/32086/stat : 32086 (plingeling) R 32054 32056 31828 0 -1 4202560 1395 1241 0 0 1179 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32056/tid=32087] ppid=32054 vsize=1982540 CPUtime=11.79 cores=0-31
/proc/32056/task/32087/stat : 32087 (plingeling) R 32054 32056 31828 0 -1 4202560 358 1241 0 0 1179 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32056/tid=32088] ppid=32054 vsize=1982540 CPUtime=11.78 cores=0-31
/proc/32056/task/32088/stat : 32088 (plingeling) R 32054 32056 31828 0 -1 4202560 2079 1241 0 0 1178 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4239418 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32056/tid=32089] ppid=32054 vsize=1982540 CPUtime=11.67 cores=0-31
/proc/32056/task/32089/stat : 32089 (plingeling) R 32054 32056 31828 0 -1 4202560 1966 1241 0 0 1167 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32056/tid=32090] ppid=32054 vsize=1982540 CPUtime=11.79 cores=0-31
/proc/32056/task/32090/stat : 32090 (plingeling) R 32054 32056 31828 0 -1 4202560 2644 1241 0 0 1179 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32056/tid=32091] ppid=32054 vsize=1982540 CPUtime=11.79 cores=0-31
/proc/32056/task/32091/stat : 32091 (plingeling) R 32054 32056 31828 0 -1 4202560 2194 1241 0 0 1179 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32056/tid=32092] ppid=32054 vsize=1982540 CPUtime=11.78 cores=0-31
/proc/32056/task/32092/stat : 32092 (plingeling) R 32054 32056 31828 0 -1 4202560 2091 1241 0 0 1178 0 0 0 25 0 33 0 681445771 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32056/tid=32093] ppid=32054 vsize=1982540 CPUtime=11.67 cores=0-31
/proc/32056/task/32093/stat : 32093 (plingeling) R 32054 32056 31828 0 -1 4202560 2445 1241 0 0 1167 0 0 0 25 0 33 0 681445783 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249347 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32056/tid=32094] ppid=32054 vsize=1982540 CPUtime=11.67 cores=0-31
/proc/32056/task/32094/stat : 32094 (plingeling) R 32054 32056 31828 0 -1 4202560 2278 1241 0 0 1167 0 0 0 25 0 33 0 681445783 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4239393 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32056/tid=32095] ppid=32054 vsize=1982540 CPUtime=11.67 cores=0-31
/proc/32056/task/32095/stat : 32095 (plingeling) R 32054 32056 31828 0 -1 4202560 866 1241 0 0 1167 0 0 0 25 0 33 0 681445783 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32056/tid=32096] ppid=32054 vsize=1982540 CPUtime=11.54 cores=0-31
/proc/32056/task/32096/stat : 32096 (plingeling) R 32054 32056 31828 0 -1 4202560 2882 1241 0 0 1154 0 0 0 25 0 33 0 681445783 2030120960 381615 268435456000 4194304 4417452 140734396039584 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 390.42
Current children cumulated vsize (KiB) 1982540

[startup+51.1017 s]
/proc/loadavg: 24.93 23.27 24.76 33/446 32096
/proc/meminfo: memFree=253916844/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=2008696 CPUtime=1208.71 cores=0-31
/proc/32056/stat : 32056 (plingeling) S 32054 32056 31828 0 -1 4202496 495047 1241 0 0 120762 109 0 0 18 0 33 0 681444402 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/32056/statm: 502174 391320 175 55 0 500060 0
[pid=32056/tid=32065] ppid=32054 vsize=2008696 CPUtime=37.41 cores=0-31
/proc/32056/task/32065/stat : 32065 (plingeling) R 32054 32056 31828 0 -1 4202560 1546 1241 0 0 3741 0 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4235785 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32056/tid=32066] ppid=32054 vsize=2008696 CPUtime=37.41 cores=0-31
/proc/32056/task/32066/stat : 32066 (plingeling) R 32054 32056 31828 0 -1 4202560 2615 1241 0 0 3741 0 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4278246 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32056/tid=32067] ppid=32054 vsize=2008696 CPUtime=37.41 cores=0-31
/proc/32056/task/32067/stat : 32067 (plingeling) R 32054 32056 31828 0 -1 4202560 1416 1241 0 0 3741 0 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32056/tid=32068] ppid=32054 vsize=2008696 CPUtime=37.41 cores=0-31
/proc/32056/task/32068/stat : 32068 (plingeling) R 32054 32056 31828 0 -1 4202560 501 1241 0 0 3741 0 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4236823 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32056/tid=32069] ppid=32054 vsize=2008696 CPUtime=37.41 cores=0-31
/proc/32056/task/32069/stat : 32069 (plingeling) R 32054 32056 31828 0 -1 4202560 3112 1241 0 0 3740 1 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4282356 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32056/tid=32070] ppid=32054 vsize=2008696 CPUtime=36.32 cores=0-31
/proc/32056/task/32070/stat : 32070 (plingeling) R 32054 32056 31828 0 -1 4202560 526 1241 0 0 3632 0 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32056/tid=32071] ppid=32054 vsize=2008696 CPUtime=37.4 cores=0-31
/proc/32056/task/32071/stat : 32071 (plingeling) R 32054 32056 31828 0 -1 4202560 3768 1241 0 0 3739 1 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4258188 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32056/tid=32072] ppid=32054 vsize=2008696 CPUtime=37.38 cores=0-31
/proc/32056/task/32072/stat : 32072 (plingeling) R 32054 32056 31828 0 -1 4202560 3637 1241 0 0 3737 1 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32056/tid=32073] ppid=32054 vsize=2008696 CPUtime=37.39 cores=0-31
/proc/32056/task/32073/stat : 32073 (plingeling) R 32054 32056 31828 0 -1 4202560 6468 1241 0 0 3738 1 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4260838 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32056/tid=32074] ppid=32054 vsize=2008696 CPUtime=37.4 cores=0-31
/proc/32056/task/32074/stat : 32074 (plingeling) R 32054 32056 31828 0 -1 4202560 3935 1241 0 0 3739 1 0 0 25 0 33 0 681445769 2056904704 391320 268435456000 4194304 4417452 140734396039584 18446744073709551615 4264256 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32056/tid=32075] ppid=32054 vsize=2008696 CPUtime=37.39 cores=0-31

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

[pid=32056/tid=32065] ppid=32054 vsize=2066568 CPUtime=210.18 cores=0-31
/proc/32056/task/32065/stat : 32065 (plingeling) R 32054 32056 31828 0 -1 4202560 11282 1241 0 0 21015 3 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32056/tid=32066] ppid=32054 vsize=2066568 CPUtime=210.18 cores=0-31
/proc/32056/task/32066/stat : 32066 (plingeling) R 32054 32056 31828 0 -1 4202560 4712 1241 0 0 21017 1 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32056/tid=32067] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32067/stat : 32067 (plingeling) R 32054 32056 31828 0 -1 4202560 5315 1241 0 0 21016 1 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32056/tid=32068] ppid=32054 vsize=2066568 CPUtime=210.18 cores=0-31
/proc/32056/task/32068/stat : 32068 (plingeling) R 32054 32056 31828 0 -1 4202560 952 1241 0 0 21018 0 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32056/tid=32069] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32069/stat : 32069 (plingeling) R 32054 32056 31828 0 -1 4202560 5794 1241 0 0 21015 2 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32056/tid=32070] ppid=32054 vsize=2066568 CPUtime=204.18 cores=0-31
/proc/32056/task/32070/stat : 32070 (plingeling) R 32054 32056 31828 0 -1 4202560 8541 1241 0 0 20416 2 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32056/tid=32071] ppid=32054 vsize=2066568 CPUtime=210.16 cores=0-31
/proc/32056/task/32071/stat : 32071 (plingeling) R 32054 32056 31828 0 -1 4202560 4883 1241 0 0 21015 1 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32056/tid=32072] ppid=32054 vsize=2066568 CPUtime=210.06 cores=0-31
/proc/32056/task/32072/stat : 32072 (plingeling) R 32054 32056 31828 0 -1 4202560 3637 1241 0 0 21004 2 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32056/tid=32073] ppid=32054 vsize=2066568 CPUtime=210.16 cores=0-31
/proc/32056/task/32073/stat : 32073 (plingeling) R 32054 32056 31828 0 -1 4202560 11154 1241 0 0 21013 3 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32056/tid=32074] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32074/stat : 32074 (plingeling) R 32054 32056 31828 0 -1 4202560 5440 1241 0 0 21016 1 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32056/tid=32075] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32075/stat : 32075 (plingeling) R 32054 32056 31828 0 -1 4202560 5783 1241 0 0 21015 2 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32056/tid=32076] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32076/stat : 32076 (plingeling) R 32054 32056 31828 0 -1 4202560 8228 1241 0 0 21015 2 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32056/tid=32077] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32077/stat : 32077 (plingeling) R 32054 32056 31828 0 -1 4202560 4347 1241 0 0 21016 1 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32056/tid=32078] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32078/stat : 32078 (plingeling) R 32054 32056 31828 0 -1 4202560 6536 1241 0 0 21016 1 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32056/tid=32079] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32079/stat : 32079 (plingeling) R 32054 32056 31828 0 -1 4202560 3658 1241 0 0 21016 1 0 0 25 0 33 0 681445769 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32056/tid=32080] ppid=32054 vsize=2066568 CPUtime=210.16 cores=0-31
/proc/32056/task/32080/stat : 32080 (plingeling) R 32054 32056 31828 0 -1 4202560 3799 1241 0 0 21015 1 0 0 25 0 33 0 681445770 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32056/tid=32081] ppid=32054 vsize=2066568 CPUtime=210.17 cores=0-31
/proc/32056/task/32081/stat : 32081 (plingeling) R 32054 32056 31828 0 -1 4202560 3891 1241 0 0 21016 1 0 0 25 0 33 0 681445770 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32056/tid=32082] ppid=32054 vsize=2066568 CPUtime=210.16 cores=0-31
/proc/32056/task/32082/stat : 32082 (plingeling) R 32054 32056 31828 0 -1 4202560 3891 1241 0 0 21016 0 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32056/tid=32083] ppid=32054 vsize=2066568 CPUtime=210.15 cores=0-31
/proc/32056/task/32083/stat : 32083 (plingeling) R 32054 32056 31828 0 -1 4202560 5650 1241 0 0 21014 1 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32056/tid=32084] ppid=32054 vsize=2066568 CPUtime=210.16 cores=0-31
/proc/32056/task/32084/stat : 32084 (plingeling) R 32054 32056 31828 0 -1 4202560 2793 1241 0 0 21015 1 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32056/tid=32085] ppid=32054 vsize=2066568 CPUtime=210.11 cores=0-31
/proc/32056/task/32085/stat : 32085 (plingeling) R 32054 32056 31828 0 -1 4202560 6596 1241 0 0 21010 1 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32056/tid=32086] ppid=32054 vsize=2066568 CPUtime=210.15 cores=0-31
/proc/32056/task/32086/stat : 32086 (plingeling) R 32054 32056 31828 0 -1 4202560 2090 1241 0 0 21015 0 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32056/tid=32087] ppid=32054 vsize=2066568 CPUtime=210.14 cores=0-31
/proc/32056/task/32087/stat : 32087 (plingeling) R 32054 32056 31828 0 -1 4202560 2734 1241 0 0 21014 0 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4236630 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32056/tid=32088] ppid=32054 vsize=2066568 CPUtime=210.15 cores=0-31
/proc/32056/task/32088/stat : 32088 (plingeling) R 32054 32056 31828 0 -1 4202560 3868 1241 0 0 21014 1 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364437 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32056/tid=32089] ppid=32054 vsize=2066568 CPUtime=210.04 cores=0-31
/proc/32056/task/32089/stat : 32089 (plingeling) R 32054 32056 31828 0 -1 4202560 3384 1241 0 0 21003 1 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32056/tid=32090] ppid=32054 vsize=2066568 CPUtime=210.15 cores=0-31
/proc/32056/task/32090/stat : 32090 (plingeling) R 32054 32056 31828 0 -1 4202560 12290 1241 0 0 21012 3 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32056/tid=32091] ppid=32054 vsize=2066568 CPUtime=210.16 cores=0-31
/proc/32056/task/32091/stat : 32091 (plingeling) R 32054 32056 31828 0 -1 4202560 3922 1241 0 0 21015 1 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366407 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32056/tid=32092] ppid=32054 vsize=2066568 CPUtime=210.14 cores=0-31
/proc/32056/task/32092/stat : 32092 (plingeling) R 32054 32056 31828 0 -1 4202560 4083 1241 0 0 21013 1 0 0 25 0 33 0 681445771 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32056/tid=32093] ppid=32054 vsize=2066568 CPUtime=210.04 cores=0-31
/proc/32056/task/32093/stat : 32093 (plingeling) R 32054 32056 31828 0 -1 4202560 5110 1241 0 0 21003 1 0 0 25 0 33 0 681445783 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32056/tid=32094] ppid=32054 vsize=2066568 CPUtime=209.97 cores=0-31
/proc/32056/task/32094/stat : 32094 (plingeling) R 32054 32056 31828 0 -1 4202560 5260 1241 0 0 20996 1 0 0 25 0 33 0 681445783 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4331715 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32056/tid=32095] ppid=32054 vsize=2066568 CPUtime=210.03 cores=0-31
/proc/32056/task/32095/stat : 32095 (plingeling) R 32054 32056 31828 0 -1 4202560 4872 1241 0 0 21002 1 0 0 25 0 33 0 681445783 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32056/tid=32096] ppid=32054 vsize=2066568 CPUtime=209.9 cores=0-31
/proc/32056/task/32096/stat : 32096 (plingeling) R 32054 32056 31828 0 -1 4202560 4855 1241 0 0 20989 1 0 0 25 0 33 0 681445783 2116165632 404255 268435456000 4194304 4417452 140734396039584 18446744073709551615 4354070 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6732.18
Current children cumulated vsize (KiB) 2066568

[startup+225.523 s]
/proc/loadavg: 31.62 27.13 26.00 33/446 32102
/proc/meminfo: memFree=253871260/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=2066508 CPUtime=6783.99 cores=0-31
/proc/32056/stat : 32056 (plingeling) S 32054 32056 31828 0 -1 4202496 583486 1241 0 0 678263 136 0 0 18 0 33 0 681444402 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/32056/statm: 516627 404240 175 55 0 514513 0
[pid=32056/tid=32065] ppid=32054 vsize=2066508 CPUtime=211.8 cores=0-31
/proc/32056/task/32065/stat : 32065 (plingeling) R 32054 32056 31828 0 -1 4202560 11282 1241 0 0 21177 3 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32056/tid=32066] ppid=32054 vsize=2066508 CPUtime=211.8 cores=0-31
/proc/32056/task/32066/stat : 32066 (plingeling) R 32054 32056 31828 0 -1 4202560 4712 1241 0 0 21179 1 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32056/tid=32067] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32067/stat : 32067 (plingeling) R 32054 32056 31828 0 -1 4202560 5315 1241 0 0 21178 1 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32056/tid=32068] ppid=32054 vsize=2066508 CPUtime=211.8 cores=0-31
/proc/32056/task/32068/stat : 32068 (plingeling) R 32054 32056 31828 0 -1 4202560 952 1241 0 0 21180 0 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4353982 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32056/tid=32069] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32069/stat : 32069 (plingeling) R 32054 32056 31828 0 -1 4202560 5794 1241 0 0 21177 2 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32056/tid=32070] ppid=32054 vsize=2066508 CPUtime=205.74 cores=0-31
/proc/32056/task/32070/stat : 32070 (plingeling) R 32054 32056 31828 0 -1 4202560 9132 1241 0 0 20572 2 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4365996 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32056/tid=32071] ppid=32054 vsize=2066508 CPUtime=211.78 cores=0-31
/proc/32056/task/32071/stat : 32071 (plingeling) R 32054 32056 31828 0 -1 4202560 4883 1241 0 0 21177 1 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4365195 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32056/tid=32072] ppid=32054 vsize=2066508 CPUtime=211.68 cores=0-31
/proc/32056/task/32072/stat : 32072 (plingeling) R 32054 32056 31828 0 -1 4202560 3637 1241 0 0 21166 2 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32056/tid=32073] ppid=32054 vsize=2066508 CPUtime=211.78 cores=0-31
/proc/32056/task/32073/stat : 32073 (plingeling) R 32054 32056 31828 0 -1 4202560 11154 1241 0 0 21175 3 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32056/tid=32074] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32074/stat : 32074 (plingeling) R 32054 32056 31828 0 -1 4202560 5440 1241 0 0 21178 1 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32056/tid=32075] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32075/stat : 32075 (plingeling) R 32054 32056 31828 0 -1 4202560 5783 1241 0 0 21177 2 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32056/tid=32076] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32076/stat : 32076 (plingeling) R 32054 32056 31828 0 -1 4202560 8228 1241 0 0 21177 2 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4275909 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32056/tid=32077] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32077/stat : 32077 (plingeling) R 32054 32056 31828 0 -1 4202560 4347 1241 0 0 21178 1 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4278130 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32056/tid=32078] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32078/stat : 32078 (plingeling) R 32054 32056 31828 0 -1 4202560 6536 1241 0 0 21178 1 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4357150 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32056/tid=32079] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32079/stat : 32079 (plingeling) R 32054 32056 31828 0 -1 4202560 3658 1241 0 0 21178 1 0 0 25 0 33 0 681445769 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32056/tid=32080] ppid=32054 vsize=2066508 CPUtime=211.78 cores=0-31
/proc/32056/task/32080/stat : 32080 (plingeling) R 32054 32056 31828 0 -1 4202560 3799 1241 0 0 21177 1 0 0 25 0 33 0 681445770 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32056/tid=32081] ppid=32054 vsize=2066508 CPUtime=211.79 cores=0-31
/proc/32056/task/32081/stat : 32081 (plingeling) R 32054 32056 31828 0 -1 4202560 3891 1241 0 0 21178 1 0 0 25 0 33 0 681445770 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32056/tid=32082] ppid=32054 vsize=2066508 CPUtime=211.78 cores=0-31
/proc/32056/task/32082/stat : 32082 (plingeling) R 32054 32056 31828 0 -1 4202560 3891 1241 0 0 21178 0 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32056/tid=32083] ppid=32054 vsize=2066508 CPUtime=211.77 cores=0-31
/proc/32056/task/32083/stat : 32083 (plingeling) R 32054 32056 31828 0 -1 4202560 5650 1241 0 0 21176 1 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32056/tid=32084] ppid=32054 vsize=2066508 CPUtime=211.78 cores=0-31
/proc/32056/task/32084/stat : 32084 (plingeling) R 32054 32056 31828 0 -1 4202560 2793 1241 0 0 21177 1 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4277571 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32056/tid=32085] ppid=32054 vsize=2066508 CPUtime=211.73 cores=0-31
/proc/32056/task/32085/stat : 32085 (plingeling) R 32054 32056 31828 0 -1 4202560 6596 1241 0 0 21172 1 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32056/tid=32086] ppid=32054 vsize=2066508 CPUtime=211.77 cores=0-31
/proc/32056/task/32086/stat : 32086 (plingeling) R 32054 32056 31828 0 -1 4202560 2090 1241 0 0 21177 0 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4309591 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32056/tid=32087] ppid=32054 vsize=2066508 CPUtime=211.76 cores=0-31
/proc/32056/task/32087/stat : 32087 (plingeling) R 32054 32056 31828 0 -1 4202560 2734 1241 0 0 21176 0 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32056/tid=32088] ppid=32054 vsize=2066508 CPUtime=211.77 cores=0-31
/proc/32056/task/32088/stat : 32088 (plingeling) R 32054 32056 31828 0 -1 4202560 3868 1241 0 0 21176 1 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32056/tid=32089] ppid=32054 vsize=2066508 CPUtime=211.66 cores=0-31
/proc/32056/task/32089/stat : 32089 (plingeling) R 32054 32056 31828 0 -1 4202560 3384 1241 0 0 21165 1 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32056/tid=32090] ppid=32054 vsize=2066508 CPUtime=211.77 cores=0-31
/proc/32056/task/32090/stat : 32090 (plingeling) R 32054 32056 31828 0 -1 4202560 12290 1241 0 0 21174 3 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32056/tid=32091] ppid=32054 vsize=2066508 CPUtime=211.78 cores=0-31
/proc/32056/task/32091/stat : 32091 (plingeling) R 32054 32056 31828 0 -1 4202560 3922 1241 0 0 21177 1 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4275967 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32056/tid=32092] ppid=32054 vsize=2066508 CPUtime=211.76 cores=0-31
/proc/32056/task/32092/stat : 32092 (plingeling) R 32054 32056 31828 0 -1 4202560 4083 1241 0 0 21175 1 0 0 25 0 33 0 681445771 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32056/tid=32093] ppid=32054 vsize=2066508 CPUtime=211.66 cores=0-31
/proc/32056/task/32093/stat : 32093 (plingeling) R 32054 32056 31828 0 -1 4202560 5110 1241 0 0 21165 1 0 0 25 0 33 0 681445783 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32056/tid=32094] ppid=32054 vsize=2066508 CPUtime=211.59 cores=0-31
/proc/32056/task/32094/stat : 32094 (plingeling) R 32054 32056 31828 0 -1 4202560 5260 1241 0 0 21158 1 0 0 25 0 33 0 681445783 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4318713 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32056/tid=32095] ppid=32054 vsize=2066508 CPUtime=211.65 cores=0-31
/proc/32056/task/32095/stat : 32095 (plingeling) R 32054 32056 31828 0 -1 4202560 4872 1241 0 0 21164 1 0 0 25 0 33 0 681445783 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32056/tid=32096] ppid=32054 vsize=2066508 CPUtime=211.52 cores=0-31
/proc/32056/task/32096/stat : 32096 (plingeling) R 32054 32056 31828 0 -1 4202560 4855 1241 0 0 21151 1 0 0 25 0 33 0 681445783 2116104192 404240 268435456000 4194304 4417452 140734396039584 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6783.99
Current children cumulated vsize (KiB) 2066508

[startup+226.301 s]
/proc/loadavg: 31.62 27.13 26.00 33/446 32102
/proc/meminfo: memFree=253871260/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=1901968 CPUtime=6798.39 cores=0-31
/proc/32056/stat : 32056 (plingeling) S 32054 32056 31828 0 -1 4202496 583487 1241 0 0 679703 136 0 0 15 0 2 0 681444402 1947615232 403966 268435456000 4194304 4417452 140734396039584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/32056/statm: 475492 403966 176 55 0 473378 0
[pid=32056/tid=32084] ppid=32054 vsize=1901968 CPUtime=212.56 cores=0-31
/proc/32056/task/32084/stat : 32084 (plingeling) R 32054 32056 31828 0 -1 4202560 2793 1241 0 0 21255 1 0 0 25 0 2 0 681445771 1947615232 403966 268435456000 4194304 4417452 140734396039584 18446744073709551615 4274358 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 6798.39
Current children cumulated vsize (KiB) 1901968

[startup+226.501 s]
/proc/loadavg: 31.62 27.13 26.00 2/415 32102
/proc/meminfo: memFree=253871876/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=1901968 CPUtime=6798.61 cores=0-31
/proc/32056/stat : 32056 (plingeling) S 32054 32056 31828 0 -1 4202496 583487 1241 0 0 679725 136 0 0 15 0 2 0 681444402 1947615232 403966 268435456000 4194304 4417452 140734396039584 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/32056/statm: 475492 403966 176 55 0 473378 0
[pid=32056/tid=32084] ppid=32054 vsize=1901968 CPUtime=212.77 cores=0-31
/proc/32056/task/32084/stat : 32084 (plingeling) R 32054 32056 31828 0 -1 4202560 2793 1241 0 0 21276 1 0 0 25 0 2 0 681445771 1947615232 403966 268435456000 4194304 4417452 140734396039584 18446744073709551615 4343423 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 6798.61
Current children cumulated vsize (KiB) 1901968

[startup+226.62 s]
/proc/loadavg: 31.62 27.13 26.00 2/415 32102
/proc/meminfo: memFree=253871876/264257624 swapFree=67111528/67111528
[pid=32056] ppid=32054 vsize=1114880 CPUtime=6798.71 cores=0-31
/proc/32056/stat : 32056 (plingeling) R 32054 32056 31828 0 -1 4202496 583487 1241 0 0 679730 141 0 0 15 0 1 0 681444402 1141637120 235049 268435456000 4194304 4417452 140734396039584 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 19 0 0 0
/proc/32056/statm: 278720 234528 176 55 0 276606 0
Current children cumulated CPU time (s) 6798.71
Current children cumulated vsize (KiB) 1114880

Child status: 20
Real time (s): 226.692
CPU time (s): 6798.8
CPU user time (s): 6797.31
CPU system time (s): 1.49177
CPU usage (%): 2999.13
Max. virtual memory (cumulated for all children) (KiB): 2068180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6797.31
system time used= 1.49177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584732
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= 974
involuntary context switches= 16868

runsolver used 1.25381 second user time and 5.2532 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-18 08:19:40
IDJOB=3372654
IDBENCH=82501
IDSOLVER=1852
FILE ID=node200/3372654-1305699578
RUNJOBID= node200-1305699169-31842
PBS_JOBID= 13357387
Free space on /tmp= 62032 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_b_unsat.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372654-1305699578/watcher-3372654-1305699578 -o /tmp/evaluation-result-3372654-1305699578/solver-3372654-1305699578 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372654-1305699578.cnf

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

MD5SUM BENCH= 3dc443ddf213a09407d2a75925179735
RANDOM SEED=539077641

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:      255493268 kB
Buffers:        452828 kB
Cached:        7907660 kB
SwapCached:          0 kB
Active:        7422304 kB
Inactive:      1009544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255493268 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18452 kB
Writeback:           0 kB
AnonPages:       71848 kB
Mapped:          14728 kB
Slab:           252080 kB
PageTables:       5076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   205296 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= 62032 MiB
End job on node200 at 2011-05-18 08:23:27