Trace number 3372651

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 6598.04 222.106

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_pcb_unknown.cnf
MD5SUMe669f2d68684ca746cc80f142ad8d0dc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3081.42
Satisfiable
(Un)Satisfiability was proved
Number of variables33320
Number of clauses766757
Sum of the clauses size2858079
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 253534
Number of clauses of size 3101881
Number of clauses of size 4611342
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

6598.01/222.10	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-3372651-1305699345/watcher-3372651-1305699345 -o /tmp/evaluation-result-3372651-1305699345/solver-3372651-1305699345 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372651-1305699345.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: 4.65 17.65 23.94 1/413 31986
/proc/meminfo: memFree=255480440/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=20116 CPUtime=0.02 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 3086 1242 0 0 2 0 0 0 21 0 1 0 681421078 20598784 3016 268435456000 4194304 4417452 140737082437968 18446744073709551615 4231283 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 5029 3016 144 55 0 2915 0

[startup+0.133954 s]
/proc/loadavg: 4.65 17.65 23.94 1/413 31986
/proc/meminfo: memFree=255480440/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=43548 CPUtime=0.12 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 8941 1242 0 0 11 1 0 0 21 0 1 0 681421078 44593152 8871 268435456000 4194304 4417452 140737082437968 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 10919 8889 145 55 0 8805 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 43548

[startup+0.200946 s]
/proc/loadavg: 4.65 17.65 23.94 1/413 31986
/proc/meminfo: memFree=255480440/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=51520 CPUtime=0.18 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 10970 1242 0 0 17 1 0 0 22 0 1 0 681421078 52756480 10900 268435456000 4194304 4417452 140737082437968 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 12880 10900 145 55 0 10766 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 51520

[startup+0.300974 s]
/proc/loadavg: 4.65 17.65 23.94 1/413 31986
/proc/meminfo: memFree=255480440/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=51520 CPUtime=0.28 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 10970 1242 0 0 27 1 0 0 22 0 1 0 681421078 52756480 10900 268435456000 4194304 4417452 140737082437968 18446744073709551615 4229142 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 12880 10900 145 55 0 10766 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51520

[startup+0.700977 s]
/proc/loadavg: 4.65 17.65 23.94 1/413 31986
/proc/meminfo: memFree=255480440/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=94012 CPUtime=0.69 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 21610 1242 0 0 64 5 0 0 24 0 1 0 681421078 96268288 21523 268435456000 4194304 4417452 140737082437968 18446744073709551615 4209658 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 23503 21523 145 55 0 21389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94012

[startup+1.50105 s]
/proc/loadavg: 4.65 17.65 23.94 2/414 31992
/proc/meminfo: memFree=255287284/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=243088 CPUtime=1.49 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 59008 1242 0 0 137 12 0 0 25 0 1 0 681421078 248922112 58793 268435456000 4194304 4417452 140737082437968 18446744073709551615 4323333 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 60772 58793 146 55 0 58658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 243088

[startup+3.10106 s]
/proc/loadavg: 4.35 17.37 23.81 2/414 31992
/proc/meminfo: memFree=255128440/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=359328 CPUtime=3.09 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 88196 1242 0 0 291 18 0 0 25 0 1 0 681421078 367951872 87853 268435456000 4194304 4417452 140737082437968 18446744073709551615 4323193 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 89832 87853 146 55 0 87718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 359328

[startup+6.30117 s]
/proc/loadavg: 4.35 17.37 23.81 2/414 31992
/proc/meminfo: memFree=254841716/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=687008 CPUtime=6.29 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 170116 1242 0 0 594 35 0 0 25 0 1 0 681421078 703496192 169773 268435456000 4194304 4417452 140737082437968 18446744073709551615 4235997 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 171752 169773 146 55 0 169638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 687008

[startup+12.7004 s]
/proc/loadavg: 3.84 16.83 23.57 2/414 31992
/proc/meminfo: memFree=254278016/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=1391520 CPUtime=12.68 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 343008 1242 0 0 1200 68 0 0 25 0 1 0 681421078 1424916480 342665 268435456000 4194304 4417452 140737082437968 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31986/statm: 347880 342683 146 55 0 345766 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1391520

[startup+25.5027 s]
/proc/loadavg: 8.17 17.33 23.66 33/446 32026
/proc/meminfo: memFree=253884468/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=2029920 CPUtime=370.03 cores=0-31
/proc/31986/stat : 31986 (plingeling) S 31984 31986 31828 0 -1 4202496 505999 1242 0 0 36887 116 0 0 18 0 33 0 681421078 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31986/statm: 507480 397144 175 55 0 505366 0
[pid=31986/tid=31993] ppid=31984 vsize=2029920 CPUtime=11.15 cores=0-31
/proc/31986/task/31993/stat : 31993 (plingeling) R 31984 31986 31828 0 -1 4202560 2729 1242 0 0 1115 0 0 0 25 0 33 0 681422512 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31986/tid=31994] ppid=31984 vsize=2029920 CPUtime=11.15 cores=0-31
/proc/31986/task/31994/stat : 31994 (plingeling) R 31984 31986 31828 0 -1 4202560 2445 1242 0 0 1114 1 0 0 25 0 33 0 681422512 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31986/tid=31995] ppid=31984 vsize=2029920 CPUtime=11.15 cores=0-31
/proc/31986/task/31995/stat : 31995 (plingeling) R 31984 31986 31828 0 -1 4202560 910 1242 0 0 1115 0 0 0 25 0 33 0 681422512 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31986/tid=31996] ppid=31984 vsize=2029920 CPUtime=11.16 cores=0-31
/proc/31986/task/31996/stat : 31996 (plingeling) R 31984 31986 31828 0 -1 4202560 3 1242 0 0 1116 0 0 0 25 0 33 0 681422512 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31986/tid=31997] ppid=31984 vsize=2029920 CPUtime=11.12 cores=0-31
/proc/31986/task/31997/stat : 31997 (plingeling) R 31984 31986 31828 0 -1 4202560 1595 1242 0 0 1112 0 0 0 25 0 33 0 681422512 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249181 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31986/tid=31998] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/31998/stat : 31998 (plingeling) R 31984 31986 31828 0 -1 4202560 3407 1242 0 0 1112 1 0 0 25 0 33 0 681422512 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4236290 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31986/tid=31999] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/31999/stat : 31999 (plingeling) R 31984 31986 31828 0 -1 4202560 1596 1242 0 0 1112 1 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4251028 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31986/tid=32000] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/32000/stat : 32000 (plingeling) R 31984 31986 31828 0 -1 4202560 2745 1242 0 0 1112 1 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31986/tid=32001] ppid=31984 vsize=2029920 CPUtime=11.14 cores=0-31
/proc/31986/task/32001/stat : 32001 (plingeling) R 31984 31986 31828 0 -1 4202560 2286 1242 0 0 1114 0 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31986/tid=32002] ppid=31984 vsize=2029920 CPUtime=11.14 cores=0-31
/proc/31986/task/32002/stat : 32002 (plingeling) R 31984 31986 31828 0 -1 4202560 3089 1242 0 0 1114 0 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31986/tid=32003] ppid=31984 vsize=2029920 CPUtime=11.14 cores=0-31
/proc/31986/task/32003/stat : 32003 (plingeling) R 31984 31986 31828 0 -1 4202560 1165 1242 0 0 1114 0 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4353636 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31986/tid=32004] ppid=31984 vsize=2029920 CPUtime=11.15 cores=0-31
/proc/31986/task/32004/stat : 32004 (plingeling) R 31984 31986 31828 0 -1 4202560 2214 1242 0 0 1114 1 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4236280 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31986/tid=32005] ppid=31984 vsize=2029920 CPUtime=11.15 cores=0-31
/proc/31986/task/32005/stat : 32005 (plingeling) R 31984 31986 31828 0 -1 4202560 464 1242 0 0 1115 0 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31986/tid=32006] ppid=31984 vsize=2029920 CPUtime=11.14 cores=0-31
/proc/31986/task/32006/stat : 32006 (plingeling) R 31984 31986 31828 0 -1 4202560 2444 1242 0 0 1114 0 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31986/tid=32007] ppid=31984 vsize=2029920 CPUtime=11.14 cores=0-31
/proc/31986/task/32007/stat : 32007 (plingeling) R 31984 31986 31828 0 -1 4202560 1549 1242 0 0 1114 0 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31986/tid=32008] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/32008/stat : 32008 (plingeling) R 31984 31986 31828 0 -1 4202560 2795 1242 0 0 1113 0 0 0 25 0 33 0 681422513 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4336737 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31986/tid=32009] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/32009/stat : 32009 (plingeling) R 31984 31986 31828 0 -1 4202560 2297 1242 0 0 1113 0 0 0 25 0 33 0 681422514 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4258188 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31986/tid=32010] ppid=31984 vsize=2029920 CPUtime=11.14 cores=0-31
/proc/31986/task/32010/stat : 32010 (plingeling) R 31984 31986 31828 0 -1 4202560 2985 1242 0 0 1113 1 0 0 25 0 33 0 681422514 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31986/tid=32011] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/32011/stat : 32011 (plingeling) R 31984 31986 31828 0 -1 4202560 2137 1242 0 0 1113 0 0 0 25 0 33 0 681422514 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31986/tid=32012] ppid=31984 vsize=2029920 CPUtime=10.81 cores=0-31
/proc/31986/task/32012/stat : 32012 (plingeling) R 31984 31986 31828 0 -1 4202560 721 1242 0 0 1081 0 0 0 25 0 33 0 681422514 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31986/tid=32013] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/32013/stat : 32013 (plingeling) R 31984 31986 31828 0 -1 4202560 2764 1242 0 0 1112 1 0 0 25 0 33 0 681422514 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31986/tid=32014] ppid=31984 vsize=2029920 CPUtime=11.12 cores=0-31
/proc/31986/task/32014/stat : 32014 (plingeling) R 31984 31986 31828 0 -1 4202560 3610 1242 0 0 1111 1 0 0 25 0 33 0 681422515 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31986/tid=32015] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/32015/stat : 32015 (plingeling) R 31984 31986 31828 0 -1 4202560 2937 1242 0 0 1112 1 0 0 25 0 33 0 681422515 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31986/tid=32016] ppid=31984 vsize=2029920 CPUtime=11.12 cores=0-31
/proc/31986/task/32016/stat : 32016 (plingeling) R 31984 31986 31828 0 -1 4202560 2103 1242 0 0 1112 0 0 0 25 0 33 0 681422515 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31986/tid=32017] ppid=31984 vsize=2029920 CPUtime=11.13 cores=0-31
/proc/31986/task/32017/stat : 32017 (plingeling) R 31984 31986 31828 0 -1 4202560 3315 1242 0 0 1112 1 0 0 25 0 33 0 681422515 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31986/tid=32018] ppid=31984 vsize=2029920 CPUtime=11.12 cores=0-31
/proc/31986/task/32018/stat : 32018 (plingeling) R 31984 31986 31828 0 -1 4202560 4226 1242 0 0 1110 2 0 0 25 0 33 0 681422515 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31986/tid=32019] ppid=31984 vsize=2029920 CPUtime=11.11 cores=0-31
/proc/31986/task/32019/stat : 32019 (plingeling) R 31984 31986 31828 0 -1 4202560 1078 1242 0 0 1111 0 0 0 25 0 33 0 681422515 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31986/tid=32020] ppid=31984 vsize=2029920 CPUtime=11.11 cores=0-31
/proc/31986/task/32020/stat : 32020 (plingeling) R 31984 31986 31828 0 -1 4202560 3790 1242 0 0 1110 1 0 0 25 0 33 0 681422515 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31986/tid=32021] ppid=31984 vsize=2029920 CPUtime=11.11 cores=0-31
/proc/31986/task/32021/stat : 32021 (plingeling) R 31984 31986 31828 0 -1 4202560 4998 1242 0 0 1110 1 0 0 25 0 33 0 681422516 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31986/tid=32022] ppid=31984 vsize=2029920 CPUtime=11.11 cores=0-31
/proc/31986/task/32022/stat : 32022 (plingeling) R 31984 31986 31828 0 -1 4202560 1850 1242 0 0 1111 0 0 0 25 0 33 0 681422516 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31986/tid=32023] ppid=31984 vsize=2029920 CPUtime=10.68 cores=0-31
/proc/31986/task/32023/stat : 32023 (plingeling) R 31984 31986 31828 0 -1 4202560 716 1242 0 0 1068 0 0 0 25 0 33 0 681422517 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31986/tid=32024] ppid=31984 vsize=2029920 CPUtime=11.1 cores=0-31
/proc/31986/task/32024/stat : 32024 (plingeling) R 31984 31986 31828 0 -1 4202560 2737 1242 0 0 1110 0 0 0 25 0 33 0 681422517 2078638080 397144 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 370.03
Current children cumulated vsize (KiB) 2029920

[startup+51.1027 s]
/proc/loadavg: 16.37 18.52 23.88 33/446 32026
/proc/meminfo: memFree=253876712/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=2051372 CPUtime=1188.31 cores=0-31
/proc/31986/stat : 31986 (plingeling) S 31984 31986 31828 0 -1 4202496 512038 1242 0 0 118712 119 0 0 18 0 33 0 681421078 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31986/statm: 512843 402421 175 55 0 510729 0
[pid=31986/tid=31993] ppid=31984 vsize=2051372 CPUtime=36.74 cores=0-31
/proc/31986/task/31993/stat : 31993 (plingeling) R 31984 31986 31828 0 -1 4202560 2930 1242 0 0 3674 0 0 0 25 0 33 0 681422512 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31986/tid=31994] ppid=31984 vsize=2051372 CPUtime=36.75 cores=0-31
/proc/31986/task/31994/stat : 31994 (plingeling) R 31984 31986 31828 0 -1 4202560 2509 1242 0 0 3674 1 0 0 25 0 33 0 681422512 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31986/tid=31995] ppid=31984 vsize=2051372 CPUtime=36.75 cores=0-31
/proc/31986/task/31995/stat : 31995 (plingeling) R 31984 31986 31828 0 -1 4202560 1945 1242 0 0 3674 1 0 0 25 0 33 0 681422512 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31986/tid=31996] ppid=31984 vsize=2051372 CPUtime=36.75 cores=0-31
/proc/31986/task/31996/stat : 31996 (plingeling) R 31984 31986 31828 0 -1 4202560 235 1242 0 0 3675 0 0 0 25 0 33 0 681422512 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4250929 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31986/tid=31997] ppid=31984 vsize=2051372 CPUtime=36.72 cores=0-31
/proc/31986/task/31997/stat : 31997 (plingeling) R 31984 31986 31828 0 -1 4202560 1595 1242 0 0 3672 0 0 0 25 0 33 0 681422512 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4270875 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31986/tid=31998] ppid=31984 vsize=2051372 CPUtime=36.73 cores=0-31
/proc/31986/task/31998/stat : 31998 (plingeling) R 31984 31986 31828 0 -1 4202560 3407 1242 0 0 3672 1 0 0 25 0 33 0 681422512 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31986/tid=31999] ppid=31984 vsize=2051372 CPUtime=36.71 cores=0-31
/proc/31986/task/31999/stat : 31999 (plingeling) R 31984 31986 31828 0 -1 4202560 1596 1242 0 0 3670 1 0 0 25 0 33 0 681422513 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31986/tid=32000] ppid=31984 vsize=2051372 CPUtime=36.72 cores=0-31
/proc/31986/task/32000/stat : 32000 (plingeling) R 31984 31986 31828 0 -1 4202560 2958 1242 0 0 3671 1 0 0 25 0 33 0 681422513 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4275894 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31986/tid=32001] ppid=31984 vsize=2051372 CPUtime=36.73 cores=0-31
/proc/31986/task/32001/stat : 32001 (plingeling) R 31984 31986 31828 0 -1 4202560 2307 1242 0 0 3673 0 0 0 25 0 33 0 681422513 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366346 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31986/tid=32002] ppid=31984 vsize=2051372 CPUtime=36.73 cores=0-31
/proc/31986/task/32002/stat : 32002 (plingeling) R 31984 31986 31828 0 -1 4202560 3109 1242 0 0 3673 0 0 0 25 0 33 0 681422513 2100604928 402421 268435456000 4194304 4417452 140737082437968 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31986/tid=32003] ppid=31984 vsize=2051372 CPUtime=36.74 cores=0-31

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

/proc/31986/task/32001/stat : 32001 (plingeling) R 31984 31986 31828 0 -1 4202560 4501 1242 0 0 20319 1 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31986/tid=32002] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32002/stat : 32002 (plingeling) R 31984 31986 31828 0 -1 4202560 5990 1242 0 0 20319 1 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31986/tid=32003] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32003/stat : 32003 (plingeling) R 31984 31986 31828 0 -1 4202560 2012 1242 0 0 20320 0 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31986/tid=32004] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32004/stat : 32004 (plingeling) R 31984 31986 31828 0 -1 4202560 4075 1242 0 0 20319 1 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4270989 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31986/tid=32005] ppid=31984 vsize=2072852 CPUtime=203.21 cores=0-31
/proc/31986/task/32005/stat : 32005 (plingeling) R 31984 31986 31828 0 -1 4202560 571 1242 0 0 20321 0 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4278190 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31986/tid=32006] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32006/stat : 32006 (plingeling) R 31984 31986 31828 0 -1 4202560 4031 1242 0 0 20319 1 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31986/tid=32007] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32007/stat : 32007 (plingeling) R 31984 31986 31828 0 -1 4202560 4166 1242 0 0 20319 1 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4248926 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31986/tid=32008] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32008/stat : 32008 (plingeling) R 31984 31986 31828 0 -1 4202560 5625 1242 0 0 20319 1 0 0 25 0 33 0 681422513 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4306923 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31986/tid=32009] ppid=31984 vsize=2072852 CPUtime=203.19 cores=0-31
/proc/31986/task/32009/stat : 32009 (plingeling) R 31984 31986 31828 0 -1 4202560 3242 1242 0 0 20318 1 0 0 25 0 33 0 681422514 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4254796 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31986/tid=32010] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32010/stat : 32010 (plingeling) R 31984 31986 31828 0 -1 4202560 6213 1242 0 0 20318 2 0 0 25 0 33 0 681422514 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31986/tid=32011] ppid=31984 vsize=2072852 CPUtime=203.2 cores=0-31
/proc/31986/task/32011/stat : 32011 (plingeling) R 31984 31986 31828 0 -1 4202560 4479 1242 0 0 20318 2 0 0 25 0 33 0 681422514 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31986/tid=32012] ppid=31984 vsize=2072852 CPUtime=197.46 cores=0-31
/proc/31986/task/32012/stat : 32012 (plingeling) R 31984 31986 31828 0 -1 4202560 828 1242 0 0 19746 0 0 0 25 0 33 0 681422514 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31986/tid=32013] ppid=31984 vsize=2072852 CPUtime=203.19 cores=0-31
/proc/31986/task/32013/stat : 32013 (plingeling) R 31984 31986 31828 0 -1 4202560 5566 1242 0 0 20317 2 0 0 25 0 33 0 681422514 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31986/tid=32014] ppid=31984 vsize=2072852 CPUtime=203.18 cores=0-31
/proc/31986/task/32014/stat : 32014 (plingeling) R 31984 31986 31828 0 -1 4202560 8481 1242 0 0 20316 2 0 0 25 0 33 0 681422515 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 18446744073699065903 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31986/tid=32015] ppid=31984 vsize=2072852 CPUtime=203.19 cores=0-31
/proc/31986/task/32015/stat : 32015 (plingeling) R 31984 31986 31828 0 -1 4202560 5905 1242 0 0 20317 2 0 0 25 0 33 0 681422515 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31986/tid=32016] ppid=31984 vsize=2072852 CPUtime=203.18 cores=0-31
/proc/31986/task/32016/stat : 32016 (plingeling) R 31984 31986 31828 0 -1 4202560 3653 1242 0 0 20317 1 0 0 25 0 33 0 681422515 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249305 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31986/tid=32017] ppid=31984 vsize=2072852 CPUtime=203.18 cores=0-31
/proc/31986/task/32017/stat : 32017 (plingeling) R 31984 31986 31828 0 -1 4202560 7464 1242 0 0 20316 2 0 0 25 0 33 0 681422515 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31986/tid=32018] ppid=31984 vsize=2072852 CPUtime=203.11 cores=0-31
/proc/31986/task/32018/stat : 32018 (plingeling) R 31984 31986 31828 0 -1 4202560 7467 1242 0 0 20308 3 0 0 25 0 33 0 681422515 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31986/tid=32019] ppid=31984 vsize=2072852 CPUtime=203.18 cores=0-31
/proc/31986/task/32019/stat : 32019 (plingeling) R 31984 31986 31828 0 -1 4202560 2019 1242 0 0 20318 0 0 0 25 0 33 0 681422515 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4252561 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31986/tid=32020] ppid=31984 vsize=2072852 CPUtime=203.16 cores=0-31
/proc/31986/task/32020/stat : 32020 (plingeling) R 31984 31986 31828 0 -1 4202560 5109 1242 0 0 20315 1 0 0 25 0 33 0 681422515 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366063 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31986/tid=32021] ppid=31984 vsize=2072852 CPUtime=203.17 cores=0-31
/proc/31986/task/32021/stat : 32021 (plingeling) R 31984 31986 31828 0 -1 4202560 5953 1242 0 0 20315 2 0 0 25 0 33 0 681422516 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31986/tid=32022] ppid=31984 vsize=2072852 CPUtime=203.17 cores=0-31
/proc/31986/task/32022/stat : 32022 (plingeling) R 31984 31986 31828 0 -1 4202560 2455 1242 0 0 20316 1 0 0 25 0 33 0 681422516 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31986/tid=32023] ppid=31984 vsize=2072852 CPUtime=202.74 cores=0-31
/proc/31986/task/32023/stat : 32023 (plingeling) R 31984 31986 31828 0 -1 4202560 2899 1242 0 0 20273 1 0 0 25 0 33 0 681422517 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31986/tid=32024] ppid=31984 vsize=2072852 CPUtime=203.16 cores=0-31
/proc/31986/task/32024/stat : 32024 (plingeling) R 31984 31986 31828 0 -1 4202560 6162 1242 0 0 20315 1 0 0 25 0 33 0 681422517 2122600448 407855 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 6510.4
Current children cumulated vsize (KiB) 2072852

[startup+219.202 s]
/proc/loadavg: 31.15 24.41 25.25 33/446 32030
/proc/meminfo: memFree=253858196/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=2071196 CPUtime=6561.54 cores=0-31
/proc/31986/stat : 31986 (plingeling) S 31984 31986 31828 0 -1 4202496 569137 1242 0 0 656014 140 0 0 18 0 33 0 681421078 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31986/statm: 517799 407441 175 55 0 515685 0
[pid=31986/tid=31993] ppid=31984 vsize=2071196 CPUtime=204.81 cores=0-31
/proc/31986/task/31993/stat : 31993 (plingeling) R 31984 31986 31828 0 -1 4202560 4551 1242 0 0 20480 1 0 0 25 0 33 0 681422512 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31986/tid=31994] ppid=31984 vsize=2071196 CPUtime=204.81 cores=0-31
/proc/31986/task/31994/stat : 31994 (plingeling) R 31984 31986 31828 0 -1 4202560 3598 1242 0 0 20480 1 0 0 25 0 33 0 681422512 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31986/tid=31995] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/31995/stat : 31995 (plingeling) R 31984 31986 31828 0 -1 4202560 3185 1242 0 0 20479 1 0 0 25 0 33 0 681422512 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31986/tid=31996] ppid=31984 vsize=2071196 CPUtime=204.81 cores=0-31
/proc/31986/task/31996/stat : 31996 (plingeling) R 31984 31986 31828 0 -1 4202560 1455 1242 0 0 20481 0 0 0 25 0 33 0 681422512 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31986/tid=31997] ppid=31984 vsize=2071196 CPUtime=204.79 cores=0-31
/proc/31986/task/31997/stat : 31997 (plingeling) R 31984 31986 31828 0 -1 4202560 3424 1242 0 0 20478 1 0 0 25 0 33 0 681422512 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31986/tid=31998] ppid=31984 vsize=2071196 CPUtime=204.79 cores=0-31
/proc/31986/task/31998/stat : 31998 (plingeling) R 31984 31986 31828 0 -1 4202560 3919 1242 0 0 20478 1 0 0 25 0 33 0 681422512 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31986/tid=31999] ppid=31984 vsize=2071196 CPUtime=204.7 cores=0-31
/proc/31986/task/31999/stat : 31999 (plingeling) R 31984 31986 31828 0 -1 4202560 2277 1242 0 0 20467 3 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31986/tid=32000] ppid=31984 vsize=2071196 CPUtime=204.79 cores=0-31
/proc/31986/task/32000/stat : 32000 (plingeling) R 31984 31986 31828 0 -1 4202560 5563 1242 0 0 20477 2 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4248206 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31986/tid=32001] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32001/stat : 32001 (plingeling) R 31984 31986 31828 0 -1 4202560 4501 1242 0 0 20479 1 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4252621 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31986/tid=32002] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32002/stat : 32002 (plingeling) R 31984 31986 31828 0 -1 4202560 5990 1242 0 0 20479 1 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4234264 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31986/tid=32003] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32003/stat : 32003 (plingeling) R 31984 31986 31828 0 -1 4202560 2012 1242 0 0 20480 0 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31986/tid=32004] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32004/stat : 32004 (plingeling) R 31984 31986 31828 0 -1 4202560 4075 1242 0 0 20479 1 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4260519 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31986/tid=32005] ppid=31984 vsize=2071196 CPUtime=204.81 cores=0-31
/proc/31986/task/32005/stat : 32005 (plingeling) R 31984 31986 31828 0 -1 4202560 571 1242 0 0 20481 0 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31986/tid=32006] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32006/stat : 32006 (plingeling) R 31984 31986 31828 0 -1 4202560 4031 1242 0 0 20479 1 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31986/tid=32007] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32007/stat : 32007 (plingeling) R 31984 31986 31828 0 -1 4202560 4166 1242 0 0 20479 1 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31986/tid=32008] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32008/stat : 32008 (plingeling) R 31984 31986 31828 0 -1 4202560 5625 1242 0 0 20479 1 0 0 25 0 33 0 681422513 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31986/tid=32009] ppid=31984 vsize=2071196 CPUtime=204.79 cores=0-31
/proc/31986/task/32009/stat : 32009 (plingeling) R 31984 31986 31828 0 -1 4202560 3242 1242 0 0 20478 1 0 0 25 0 33 0 681422514 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31986/tid=32010] ppid=31984 vsize=2071196 CPUtime=204.8 cores=0-31
/proc/31986/task/32010/stat : 32010 (plingeling) R 31984 31986 31828 0 -1 4202560 6213 1242 0 0 20478 2 0 0 25 0 33 0 681422514 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31986/tid=32011] ppid=31984 vsize=2071196 CPUtime=204.79 cores=0-31
/proc/31986/task/32011/stat : 32011 (plingeling) R 31984 31986 31828 0 -1 4202560 4479 1242 0 0 20477 2 0 0 25 0 33 0 681422514 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31986/tid=32012] ppid=31984 vsize=2071196 CPUtime=199 cores=0-31
/proc/31986/task/32012/stat : 32012 (plingeling) R 31984 31986 31828 0 -1 4202560 828 1242 0 0 19900 0 0 0 25 0 33 0 681422514 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31986/tid=32013] ppid=31984 vsize=2071196 CPUtime=204.79 cores=0-31
/proc/31986/task/32013/stat : 32013 (plingeling) R 31984 31986 31828 0 -1 4202560 5566 1242 0 0 20477 2 0 0 25 0 33 0 681422514 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31986/tid=32014] ppid=31984 vsize=2071196 CPUtime=204.78 cores=0-31
/proc/31986/task/32014/stat : 32014 (plingeling) R 31984 31986 31828 0 -1 4202560 8481 1242 0 0 20476 2 0 0 25 0 33 0 681422515 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31986/tid=32015] ppid=31984 vsize=2071196 CPUtime=204.79 cores=0-31
/proc/31986/task/32015/stat : 32015 (plingeling) R 31984 31986 31828 0 -1 4202560 5905 1242 0 0 20477 2 0 0 25 0 33 0 681422515 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31986/tid=32016] ppid=31984 vsize=2071196 CPUtime=204.78 cores=0-31
/proc/31986/task/32016/stat : 32016 (plingeling) R 31984 31986 31828 0 -1 4202560 3653 1242 0 0 20477 1 0 0 25 0 33 0 681422515 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31986/tid=32017] ppid=31984 vsize=2071196 CPUtime=204.78 cores=0-31
/proc/31986/task/32017/stat : 32017 (plingeling) R 31984 31986 31828 0 -1 4202560 7464 1242 0 0 20476 2 0 0 25 0 33 0 681422515 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4278246 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31986/tid=32018] ppid=31984 vsize=2071196 CPUtime=204.71 cores=0-31
/proc/31986/task/32018/stat : 32018 (plingeling) R 31984 31986 31828 0 -1 4202560 7467 1242 0 0 20468 3 0 0 25 0 33 0 681422515 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4353508 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31986/tid=32019] ppid=31984 vsize=2071196 CPUtime=204.77 cores=0-31
/proc/31986/task/32019/stat : 32019 (plingeling) R 31984 31986 31828 0 -1 4202560 2019 1242 0 0 20477 0 0 0 25 0 33 0 681422515 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31986/tid=32020] ppid=31984 vsize=2071196 CPUtime=204.76 cores=0-31
/proc/31986/task/32020/stat : 32020 (plingeling) R 31984 31986 31828 0 -1 4202560 5109 1242 0 0 20475 1 0 0 25 0 33 0 681422515 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4278138 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31986/tid=32021] ppid=31984 vsize=2071196 CPUtime=204.77 cores=0-31
/proc/31986/task/32021/stat : 32021 (plingeling) R 31984 31986 31828 0 -1 4202560 5953 1242 0 0 20475 2 0 0 25 0 33 0 681422516 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31986/tid=32022] ppid=31984 vsize=2071196 CPUtime=204.77 cores=0-31
/proc/31986/task/32022/stat : 32022 (plingeling) R 31984 31986 31828 0 -1 4202560 2455 1242 0 0 20476 1 0 0 25 0 33 0 681422516 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31986/tid=32023] ppid=31984 vsize=2071196 CPUtime=204.34 cores=0-31
/proc/31986/task/32023/stat : 32023 (plingeling) R 31984 31986 31828 0 -1 4202560 2899 1242 0 0 20433 1 0 0 25 0 33 0 681422517 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31986/tid=32024] ppid=31984 vsize=2071196 CPUtime=204.76 cores=0-31
/proc/31986/task/32024/stat : 32024 (plingeling) R 31984 31986 31828 0 -1 4202560 6162 1242 0 0 20475 1 0 0 25 0 33 0 681422517 2120904704 407441 268435456000 4194304 4417452 140737082437968 18446744073709551615 4250432 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 6561.54
Current children cumulated vsize (KiB) 2071196

[startup+220.801 s]
/proc/loadavg: 31.15 24.41 25.25 33/446 32030
/proc/meminfo: memFree=253857824/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=2007340 CPUtime=6594.71 cores=0-31
/proc/31986/stat : 31986 (plingeling) S 31984 31986 31828 0 -1 4202496 569164 1242 0 0 659331 140 0 0 16 0 5 0 681421078 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31986/statm: 501835 406802 176 55 0 499721 0
[pid=31986/tid=32002] ppid=31984 vsize=2007340 CPUtime=206.4 cores=0-31
/proc/31986/task/32002/stat : 32002 (plingeling) R 31984 31986 31828 0 -1 4202560 5990 1242 0 0 20639 1 0 0 25 0 5 0 681422513 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 4330497 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31986/tid=32004] ppid=31984 vsize=2007340 CPUtime=206.4 cores=0-31
/proc/31986/task/32004/stat : 32004 (plingeling) R 31984 31986 31828 0 -1 4202560 4075 1242 0 0 20639 1 0 0 25 0 5 0 681422513 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 4331715 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31986/tid=32008] ppid=31984 vsize=2007340 CPUtime=206.39 cores=0-31
/proc/31986/task/32008/stat : 32008 (plingeling) R 31984 31986 31828 0 -1 4202560 5625 1242 0 0 20638 1 0 0 25 0 5 0 681422513 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 4330522 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31986/tid=32021] ppid=31984 vsize=2007340 CPUtime=206.37 cores=0-31
/proc/31986/task/32021/stat : 32021 (plingeling) R 31984 31986 31828 0 -1 4202560 5953 1242 0 0 20635 2 0 0 25 0 5 0 681422516 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 4254070 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 6594.71
Current children cumulated vsize (KiB) 2007340

[startup+221.601 s]
/proc/loadavg: 31.15 24.41 25.25 5/418 32030
/proc/meminfo: memFree=253859760/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=2007340 CPUtime=6597.37 cores=0-31
/proc/31986/stat : 31986 (plingeling) S 31984 31986 31828 0 -1 4202496 569164 1242 0 0 659597 140 0 0 16 0 3 0 681421078 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31986/statm: 501835 406802 176 55 0 499721 0
[pid=31986/tid=32002] ppid=31984 vsize=2007340 CPUtime=207.2 cores=0-31
/proc/31986/task/32002/stat : 32002 (plingeling) R 31984 31986 31828 0 -1 4202560 5990 1242 0 0 20719 1 0 0 25 0 3 0 681422513 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 4252915 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31986/tid=32008] ppid=31984 vsize=2007340 CPUtime=207.19 cores=0-31
/proc/31986/task/32008/stat : 32008 (plingeling) R 31984 31986 31828 0 -1 4202560 5625 1242 0 0 20718 1 0 0 25 0 3 0 681422513 2055516160 406802 268435456000 4194304 4417452 140737082437968 18446744073709551615 4252780 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 6597.37
Current children cumulated vsize (KiB) 2007340

[startup+222.001 s]
/proc/loadavg: 31.15 24.41 25.25 5/418 32030
/proc/meminfo: memFree=253859760/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=1156016 CPUtime=6597.92 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 569164 1242 0 0 659645 147 0 0 15 0 1 0 681421078 1183760384 250227 268435456000 4194304 4417452 140737082437968 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 20 0 0 0
/proc/31986/statm: 289004 249715 176 55 0 286890 0
Current children cumulated CPU time (s) 6597.92
Current children cumulated vsize (KiB) 1156016

[startup+222.101 s]
/proc/loadavg: 31.15 24.41 25.25 5/418 32030
/proc/meminfo: memFree=253859760/264257624 swapFree=67111528/67111528
[pid=31986] ppid=31984 vsize=229036 CPUtime=6598.01 cores=0-31
/proc/31986/stat : 31986 (plingeling) R 31984 31986 31828 0 -1 4202496 569164 1242 0 0 659645 156 0 0 16 0 1 0 681421078 234532864 7678 268435456000 4194304 4417452 140737082437968 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 20 0 0 0
/proc/31986/statm: 57259 7678 176 55 0 55145 0
Current children cumulated CPU time (s) 6598.01
Current children cumulated vsize (KiB) 229036

Child status: 20
Real time (s): 222.106
CPU time (s): 6598.04
CPU user time (s): 6596.46
CPU system time (s): 1.58176
CPU usage (%): 2970.67
Max. virtual memory (cumulated for all children) (KiB): 2083856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6596.46
system time used= 1.58176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570410
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= 1199
involuntary context switches= 16462

runsolver used 1.12783 second user time and 5.21421 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-18 08:15:47
IDJOB=3372651
IDBENCH=82500
IDSOLVER=1852
FILE ID=node200/3372651-1305699345
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_pcb_unknown.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372651-1305699345/watcher-3372651-1305699345 -o /tmp/evaluation-result-3372651-1305699345/solver-3372651-1305699345 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372651-1305699345.cnf

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

MD5SUM BENCH= e669f2d68684ca746cc80f142ad8d0dc
RANDOM SEED=321238634

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:      255480712 kB
Buffers:        452788 kB
Cached:        7908272 kB
SwapCached:          0 kB
Active:        7422792 kB
Inactive:      1009536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255480712 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           19100 kB
Writeback:           0 kB
AnonPages:       71384 kB
Mapped:          14536 kB
Slab:           251888 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   194592 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:19:29