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-3372195-1305483470/watcher-3372195-1305483470 -o /tmp/evaluation-result-3372195-1305483470/solver-3372195-1305483470 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372195-1305483470.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.17 30.98 30.25 1/413 12911
/proc/meminfo: memFree=255552288/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=18536 CPUtime=0.02 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 2722 1241 0 0 2 0 0 0 23 0 1 0 659833553 18980864 2654 268435456000 4194304 4417452 140734070716560 18446744073709551615 4235981 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 4634 2654 145 55 0 2520 0
[startup+0.079303 s]
/proc/loadavg: 27.17 30.98 30.25 1/413 12911
/proc/meminfo: memFree=255552288/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=27780 CPUtime=0.07 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 5033 1241 0 0 6 1 0 0 23 0 1 0 659833553 28446720 4965 268435456000 4194304 4417452 140734070716560 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 6945 4965 145 55 0 4831 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27780
[startup+0.101311 s]
/proc/loadavg: 27.17 30.98 30.25 1/413 12911
/proc/meminfo: memFree=255552288/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=29456 CPUtime=0.09 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 5445 1241 0 0 8 1 0 0 23 0 1 0 659833553 30162944 5377 268435456000 4194304 4417452 140734070716560 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 7396 5402 146 55 0 5282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29456
[startup+0.300294 s]
/proc/loadavg: 27.17 30.98 30.25 1/413 12911
/proc/meminfo: memFree=255552288/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=50092 CPUtime=0.28 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 10596 1241 0 0 26 2 0 0 25 0 1 0 659833553 51294208 10528 268435456000 4194304 4417452 140734070716560 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 12523 10528 146 55 0 10409 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 50092
[startup+0.700332 s]
/proc/loadavg: 27.17 30.98 30.25 1/413 12911
/proc/meminfo: memFree=255552288/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=85448 CPUtime=0.69 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 19451 1241 0 0 65 4 0 0 25 0 1 0 659833553 87498752 19383 268435456000 4194304 4417452 140734070716560 18446744073709551615 4231368 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 21362 19383 146 55 0 19248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85448
[startup+1.50039 s]
/proc/loadavg: 27.17 30.98 30.25 2/414 12917
/proc/meminfo: memFree=255437364/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=156616 CPUtime=1.49 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 37243 1241 0 0 141 8 0 0 25 0 1 0 659833553 160374784 37175 268435456000 4194304 4417452 140734070716560 18446744073709551615 4261968 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 39154 37175 146 55 0 37040 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156616
[startup+3.10041 s]
/proc/loadavg: 27.17 30.98 30.25 2/414 12917
/proc/meminfo: memFree=255328500/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=296088 CPUtime=3.09 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 72175 1241 0 0 295 14 0 0 25 0 1 0 659833553 303194112 72043 268435456000 4194304 4417452 140734070716560 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 74022 72043 146 55 0 71908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 296088
[startup+6.30052 s]
/proc/loadavg: 25.07 30.49 30.09 2/414 12917
/proc/meminfo: memFree=254982740/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=577164 CPUtime=6.29 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 142528 1241 0 0 601 28 0 0 25 0 1 0 659833553 591015936 142312 268435456000 4194304 4417452 140734070716560 18446744073709551615 4262052 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 144291 142312 146 55 0 142177 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 577164
[startup+12.7007 s]
/proc/loadavg: 23.14 30.00 29.93 2/414 12917
/proc/meminfo: memFree=254420380/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=1139668 CPUtime=12.68 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 283154 1241 0 0 1214 54 0 0 25 0 1 0 659833553 1167020032 282938 268435456000 4194304 4417452 140734070716560 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 284917 282938 146 55 0 282803 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1139668
[startup+25.5012 s]
/proc/loadavg: 18.24 28.57 29.47 2/414 12917
/proc/meminfo: memFree=253298688/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=2262212 CPUtime=25.49 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 563932 1241 0 0 2441 108 0 0 25 0 1 0 659833553 2316505088 563574 268435456000 4194304 4417452 140734070716560 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12911/statm: 565553 563574 146 55 0 563439 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2262212
[startup+51.102 s]
/proc/loadavg: 22.43 28.73 29.50 33/446 12949
/proc/meminfo: memFree=250934300/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=5399432 CPUtime=724.07 cores=0-31
/proc/12911/stat : 12911 (plingeling) S 12909 12911 12883 0 -1 4202496 1756971 1241 0 0 71218 1189 0 0 18 0 33 0 659833553 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/12911/statm: 1349858 1200639 174 55 0 1347744 0
[pid=12911/tid=12918] ppid=12909 vsize=5399432 CPUtime=21.66 cores=0-31
/proc/12911/task/12918/stat : 12918 (plingeling) R 12909 12911 12883 0 -1 4202560 39327 1241 0 0 2130 36 0 0 18 0 33 0 659836412 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12911/tid=12919] ppid=12909 vsize=5399432 CPUtime=21.41 cores=0-31
/proc/12911/task/12919/stat : 12919 (plingeling) R 12909 12911 12883 0 -1 4202560 29267 1241 0 0 2088 53 0 0 25 0 33 0 659836412 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12911/tid=12920] ppid=12909 vsize=5399432 CPUtime=21.31 cores=0-31
/proc/12911/task/12920/stat : 12920 (plingeling) R 12909 12911 12883 0 -1 4202560 25934 1241 0 0 2110 21 0 0 25 0 33 0 659836412 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12911/tid=12921] ppid=12909 vsize=5399432 CPUtime=22.42 cores=0-31
/proc/12911/task/12921/stat : 12921 (plingeling) R 12909 12911 12883 0 -1 4202560 7365 1241 0 0 2238 4 0 0 25 0 33 0 659836412 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12911/tid=12922] ppid=12909 vsize=5399432 CPUtime=21.12 cores=0-31
/proc/12911/task/12922/stat : 12922 (plingeling) R 12909 12911 12883 0 -1 4202560 27381 1241 0 0 2056 56 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4272391 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12911/tid=12923] ppid=12909 vsize=5399432 CPUtime=22.01 cores=0-31
/proc/12911/task/12923/stat : 12923 (plingeling) R 12909 12911 12883 0 -1 4202560 31196 1241 0 0 2171 30 0 0 18 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253047 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12911/tid=12924] ppid=12909 vsize=5399432 CPUtime=21.26 cores=0-31
/proc/12911/task/12924/stat : 12924 (plingeling) R 12909 12911 12883 0 -1 4202560 31684 1241 0 0 2104 22 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12911/tid=12925] ppid=12909 vsize=5399432 CPUtime=21.24 cores=0-31
/proc/12911/task/12925/stat : 12925 (plingeling) R 12909 12911 12883 0 -1 4202560 51836 1241 0 0 2104 20 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12911/tid=12926] ppid=12909 vsize=5399432 CPUtime=22.22 cores=0-31
/proc/12911/task/12926/stat : 12926 (plingeling) R 12909 12911 12883 0 -1 4202560 34969 1241 0 0 2186 36 0 0 18 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253280 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12911/tid=12927] ppid=12909 vsize=5399432 CPUtime=21.57 cores=0-31
/proc/12911/task/12927/stat : 12927 (plingeling) R 12909 12911 12883 0 -1 4202560 20102 1241 0 0 2111 46 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252264 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12911/tid=12928] ppid=12909 vsize=5399432 CPUtime=22.35 cores=0-31
/proc/12911/task/12928/stat : 12928 (plingeling) R 12909 12911 12883 0 -1 4202560 26513 1241 0 0 2220 15 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12911/tid=12929] ppid=12909 vsize=5399432 CPUtime=21.74 cores=0-31
/proc/12911/task/12929/stat : 12929 (plingeling) R 12909 12911 12883 0 -1 4202560 43056 1241 0 0 2138 36 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4272314 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12911/tid=12930] ppid=12909 vsize=5399432 CPUtime=22.17 cores=0-31
/proc/12911/task/12930/stat : 12930 (plingeling) R 12909 12911 12883 0 -1 4202560 41290 1241 0 0 2178 39 0 0 18 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252529 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12911/tid=12931] ppid=12909 vsize=5399432 CPUtime=21.35 cores=0-31
/proc/12911/task/12931/stat : 12931 (plingeling) R 12909 12911 12883 0 -1 4202560 41151 1241 0 0 2100 35 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252228 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12911/tid=12932] ppid=12909 vsize=5399432 CPUtime=21.28 cores=0-31
/proc/12911/task/12932/stat : 12932 (plingeling) R 12909 12911 12883 0 -1 4202560 51756 1241 0 0 2103 25 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12911/tid=12933] ppid=12909 vsize=5399432 CPUtime=21.06 cores=0-31
/proc/12911/task/12933/stat : 12933 (plingeling) R 12909 12911 12883 0 -1 4202560 44999 1241 0 0 2079 27 0 0 25 0 33 0 659836413 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253214 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12911/tid=12934] ppid=12909 vsize=5399432 CPUtime=22.22 cores=0-31
/proc/12911/task/12934/stat : 12934 (plingeling) R 12909 12911 12883 0 -1 4202560 47439 1241 0 0 2177 45 0 0 25 0 33 0 659836417 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4233242 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12911/tid=12935] ppid=12909 vsize=5399432 CPUtime=21 cores=0-31
/proc/12911/task/12935/stat : 12935 (plingeling) R 12909 12911 12883 0 -1 4202560 57377 1241 0 0 2050 50 0 0 25 0 33 0 659836418 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253176 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12911/tid=12936] ppid=12909 vsize=5399432 CPUtime=22.35 cores=0-31
/proc/12911/task/12936/stat : 12936 (plingeling) R 12909 12911 12883 0 -1 4202560 21902 1241 0 0 2214 21 0 0 25 0 33 0 659836418 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364508 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12911/tid=12937] ppid=12909 vsize=5399432 CPUtime=21.65 cores=0-31
/proc/12911/task/12937/stat : 12937 (plingeling) R 12909 12911 12883 0 -1 4202560 52171 1241 0 0 2119 46 0 0 25 0 33 0 659836418 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4239408 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12911/tid=12938] ppid=12909 vsize=5399432 CPUtime=22 cores=0-31
/proc/12911/task/12938/stat : 12938 (plingeling) R 12909 12911 12883 0 -1 4202560 40084 1241 0 0 2166 34 0 0 25 0 33 0 659836418 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4271941 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12911/tid=12939] ppid=12909 vsize=5399432 CPUtime=21.05 cores=0-31
/proc/12911/task/12939/stat : 12939 (plingeling) R 12909 12911 12883 0 -1 4202560 35671 1241 0 0 2065 40 0 0 25 0 33 0 659836418 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252596 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12911/tid=12940] ppid=12909 vsize=5399432 CPUtime=22.21 cores=0-31
/proc/12911/task/12940/stat : 12940 (plingeling) R 12909 12911 12883 0 -1 4202560 31323 1241 0 0 2200 21 0 0 25 0 33 0 659836418 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12911/tid=12941] ppid=12909 vsize=5399432 CPUtime=21.49 cores=0-31
/proc/12911/task/12941/stat : 12941 (plingeling) R 12909 12911 12883 0 -1 4202560 42288 1241 0 0 2101 48 0 0 18 0 33 0 659836418 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252999 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12911/tid=12942] ppid=12909 vsize=5399432 CPUtime=21.22 cores=0-31
/proc/12911/task/12942/stat : 12942 (plingeling) R 12909 12911 12883 0 -1 4202560 37378 1241 0 0 2071 51 0 0 25 0 33 0 659836429 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252102 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12911/tid=12943] ppid=12909 vsize=5399432 CPUtime=21.39 cores=0-31
/proc/12911/task/12943/stat : 12943 (plingeling) R 12909 12911 12883 0 -1 4202560 58882 1241 0 0 2088 51 0 0 25 0 33 0 659836430 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12911/tid=12944] ppid=12909 vsize=5399432 CPUtime=22.27 cores=0-31
/proc/12911/task/12944/stat : 12944 (plingeling) R 12909 12911 12883 0 -1 4202560 21242 1241 0 0 2214 13 0 0 25 0 33 0 659836430 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4366024 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12911/tid=12945] ppid=12909 vsize=5399432 CPUtime=22.23 cores=0-31
/proc/12911/task/12945/stat : 12945 (plingeling) R 12909 12911 12883 0 -1 4202560 44571 1241 0 0 2197 26 0 0 18 0 33 0 659836430 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4253075 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12911/tid=12946] ppid=12909 vsize=5399432 CPUtime=21.97 cores=0-31
/proc/12911/task/12946/stat : 12946 (plingeling) R 12909 12911 12883 0 -1 4202560 31708 1241 0 0 2167 30 0 0 25 0 33 0 659836430 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4252340 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12911/tid=12947] ppid=12909 vsize=5399432 CPUtime=21.95 cores=0-31
/proc/12911/task/12947/stat : 12947 (plingeling) R 12909 12911 12883 0 -1 4202560 35839 1241 0 0 2163 32 0 0 25 0 33 0 659836430 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4239506 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12911/tid=12948] ppid=12909 vsize=5399432 CPUtime=22.22 cores=0-31
/proc/12911/task/12948/stat : 12948 (plingeling) R 12909 12911 12883 0 -1 4202560 32891 1241 0 0 2205 17 0 0 25 0 33 0 659836430 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12911/tid=12949] ppid=12909 vsize=5399432 CPUtime=21.74 cores=0-31
/proc/12911/task/12949/stat : 12949 (plingeling) R 12909 12911 12883 0 -1 4202560 54406 1241 0 0 2139 35 0 0 25 0 33 0 659836431 5529018368 1200639 268435456000 4194304 4417452 140734070716560 18446744073709551615 4247731 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 724.07
Current children cumulated vsize (KiB) 5399432
[startup+102.322 s]
/proc/loadavg: 27.91 29.25 29.63 33/446 12951
/proc/meminfo: memFree=251023828/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=5010512 CPUtime=2360.54 cores=0-31
/proc/12911/stat : 12911 (plingeling) S 12909 12911 12883 0 -1 4202496 1925673 1241 0 0 234823 1231 0 0 18 0 33 0 659833553 5130764288 1129125 268435456000 4194304 4417452 140734070716560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/12911/statm: 1252628 1129125 175 55 0 1250514 0
[pid=12911/tid=12918] ppid=12909 vsize=5010512 CPUtime=72.86 cores=0-31
/proc/12911/task/12918/stat : 12918 (plingeling) R 12909 12911 12883 0 -1 4202560 47639 1241 0 0 7247 39 0 0 25 0 33 0 659836412 5130764288 1129125 268435456000 4194304 4417452 140734070716560 18446744073709551615 4234264 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12911/tid=12919] ppid=12909 vsize=5010512 CPUtime=72.59 cores=0-31
/proc/12911/task/12919/stat : 12919 (plingeling) R 12909 12911 12883 0 -1 4202560 37588 1241 0 0 7203 56 0 0 25 0 33 0 659836412 5130764288 1129125 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236891 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12911/tid=12920] ppid=12909 vsize=5010512 CPUtime=72.48 cores=0-31
/proc/12911/task/12920/stat : 12920 (plingeling) R 12909 12911 12883 0 -1 4202560 26207 1241 0 0 7227 21 0 0 25 0 33 0 659836412 5130764288 1129125 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12911/tid=12921] ppid=12909 vsize=5010512 CPUtime=73.62 cores=0-31
/proc/12911/task/12921/stat : 12921 (plingeling) R 12909 12911 12883 0 -1 4202560 7412 1241 0 0 7358 4 0 0 25 0 33 0 659836412 5130764288 1129125 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236961 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12911/tid=12922] ppid=12909 vsize=5010512 CPUtime=72.33 cores=0-31
/proc/12911/task/12922/stat : 12922 (plingeling) R 12909 12911 12883 0 -1 4202560 31601 1241 0 0 7175 58 0 0 25 0 33 0 659836413 5130764288 1129125 268435456000 4194304 4417452 140734070716560 18446744073709551615 4305871 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12911/tid=12923] ppid=12909 vsize=5010512 CPUtime=73.2 cores=0-31
/proc/12911/task/12923/stat : 12923 (plingeling) R 12909 12911 12883 0 -1 4202560 31321 1241 0 0 7290 30 0 0 25 0 33 0 659836413 5130764288 1129125 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236655 0 0 4096 17442 0 0 0 -1 18 0 0 0
################
# More data... #
################
[pid=12911/tid=12948] ppid=12909 vsize=5071964 CPUtime=508.5 cores=0-31
/proc/12911/task/12948/stat : 12948 (plingeling) R 12909 12911 12883 0 -1 4202560 33615 1241 0 0 50832 18 0 0 25 0 33 0 659836430 5193691136 1147213 268435456000 4194304 4417452 140734070716560 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12911/tid=12949] ppid=12909 vsize=5071964 CPUtime=508.02 cores=0-31
/proc/12911/task/12949/stat : 12949 (plingeling) R 12909 12911 12883 0 -1 4202560 54888 1241 0 0 50765 37 0 0 25 0 33 0 659836431 5193691136 1147213 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16270.7
Current children cumulated vsize (KiB) 5071964
[startup+539.102 s]
/proc/loadavg: 32.01 31.37 30.51 33/446 12965
/proc/meminfo: memFree=250955376/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=5071768 CPUtime=16321.8 cores=0-31
/proc/12911/stat : 12911 (plingeling) S 12909 12911 12883 0 -1 4202496 1973027 1241 0 0 1630924 1255 0 0 18 0 33 0 659833553 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/12911/statm: 1267942 1147164 175 55 0 1265828 0
[pid=12911/tid=12918] ppid=12909 vsize=5071768 CPUtime=509.42 cores=0-31
/proc/12911/task/12918/stat : 12918 (plingeling) R 12909 12911 12883 0 -1 4202560 48009 1241 0 0 50903 39 0 0 25 0 33 0 659836412 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12911/tid=12919] ppid=12909 vsize=5071768 CPUtime=509.05 cores=0-31
/proc/12911/task/12919/stat : 12919 (plingeling) R 12909 12911 12883 0 -1 4202560 37941 1241 0 0 50844 61 0 0 25 0 33 0 659836412 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12911/tid=12920] ppid=12909 vsize=5071768 CPUtime=509.17 cores=0-31
/proc/12911/task/12920/stat : 12920 (plingeling) R 12909 12911 12883 0 -1 4202560 34901 1241 0 0 50893 24 0 0 25 0 33 0 659836412 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12911/tid=12921] ppid=12909 vsize=5071768 CPUtime=510.32 cores=0-31
/proc/12911/task/12921/stat : 12921 (plingeling) R 12909 12911 12883 0 -1 4202560 15604 1241 0 0 51026 6 0 0 25 0 33 0 659836412 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12911/tid=12922] ppid=12909 vsize=5071768 CPUtime=509.02 cores=0-31
/proc/12911/task/12922/stat : 12922 (plingeling) R 12909 12911 12883 0 -1 4202560 31974 1241 0 0 50844 58 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12911/tid=12923] ppid=12909 vsize=5071768 CPUtime=509.9 cores=0-31
/proc/12911/task/12923/stat : 12923 (plingeling) R 12909 12911 12883 0 -1 4202560 31674 1241 0 0 50959 31 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12911/tid=12924] ppid=12909 vsize=5071768 CPUtime=509.13 cores=0-31
/proc/12911/task/12924/stat : 12924 (plingeling) R 12909 12911 12883 0 -1 4202560 32319 1241 0 0 50890 23 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236655 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12911/tid=12925] ppid=12909 vsize=5071768 CPUtime=509.11 cores=0-31
/proc/12911/task/12925/stat : 12925 (plingeling) R 12909 12911 12883 0 -1 4202560 64602 1241 0 0 50888 23 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4353648 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12911/tid=12926] ppid=12909 vsize=5071768 CPUtime=510.12 cores=0-31
/proc/12911/task/12926/stat : 12926 (plingeling) R 12909 12911 12883 0 -1 4202560 43644 1241 0 0 50973 39 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12911/tid=12927] ppid=12909 vsize=5071768 CPUtime=509.45 cores=0-31
/proc/12911/task/12927/stat : 12927 (plingeling) R 12909 12911 12883 0 -1 4202560 28764 1241 0 0 50896 49 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12911/tid=12928] ppid=12909 vsize=5071768 CPUtime=510.16 cores=0-31
/proc/12911/task/12928/stat : 12928 (plingeling) R 12909 12911 12883 0 -1 4202560 27343 1241 0 0 51001 15 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12911/tid=12929] ppid=12909 vsize=5071768 CPUtime=509.62 cores=0-31
/proc/12911/task/12929/stat : 12929 (plingeling) R 12909 12911 12883 0 -1 4202560 55826 1241 0 0 50923 39 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12911/tid=12930] ppid=12909 vsize=5071768 CPUtime=510.04 cores=0-31
/proc/12911/task/12930/stat : 12930 (plingeling) R 12909 12911 12883 0 -1 4202560 49951 1241 0 0 50963 41 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12911/tid=12931] ppid=12909 vsize=5071768 CPUtime=509.24 cores=0-31
/proc/12911/task/12931/stat : 12931 (plingeling) R 12909 12911 12883 0 -1 4202560 53918 1241 0 0 50886 38 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4366698 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12911/tid=12932] ppid=12909 vsize=5071768 CPUtime=505.7 cores=0-31
/proc/12911/task/12932/stat : 12932 (plingeling) R 12909 12911 12883 0 -1 4202560 62516 1241 0 0 50543 27 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236790 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12911/tid=12933] ppid=12909 vsize=5071768 CPUtime=508.94 cores=0-31
/proc/12911/task/12933/stat : 12933 (plingeling) R 12909 12911 12883 0 -1 4202560 49552 1241 0 0 50866 28 0 0 25 0 33 0 659836413 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12911/tid=12934] ppid=12909 vsize=5071768 CPUtime=510.11 cores=0-31
/proc/12911/task/12934/stat : 12934 (plingeling) R 12909 12911 12883 0 -1 4202560 56103 1241 0 0 50964 47 0 0 25 0 33 0 659836417 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12911/tid=12935] ppid=12909 vsize=5071768 CPUtime=508.87 cores=0-31
/proc/12911/task/12935/stat : 12935 (plingeling) R 12909 12911 12883 0 -1 4202560 70135 1241 0 0 50834 53 0 0 25 0 33 0 659836418 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12911/tid=12936] ppid=12909 vsize=5071768 CPUtime=510.18 cores=0-31
/proc/12911/task/12936/stat : 12936 (plingeling) R 12909 12911 12883 0 -1 4202560 22624 1241 0 0 50997 21 0 0 25 0 33 0 659836418 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364453 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12911/tid=12937] ppid=12909 vsize=5071768 CPUtime=509.54 cores=0-31
/proc/12911/task/12937/stat : 12937 (plingeling) R 12909 12911 12883 0 -1 4202560 64935 1241 0 0 50905 49 0 0 25 0 33 0 659836418 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12911/tid=12938] ppid=12909 vsize=5071768 CPUtime=509.9 cores=0-31
/proc/12911/task/12938/stat : 12938 (plingeling) R 12909 12911 12883 0 -1 4202560 40564 1241 0 0 50955 35 0 0 25 0 33 0 659836418 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12911/tid=12939] ppid=12909 vsize=5071768 CPUtime=499.75 cores=0-31
/proc/12911/task/12939/stat : 12939 (plingeling) R 12909 12911 12883 0 -1 4202560 40250 1241 0 0 49933 42 0 0 25 0 33 0 659836418 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12911/tid=12940] ppid=12909 vsize=5071768 CPUtime=510.1 cores=0-31
/proc/12911/task/12940/stat : 12940 (plingeling) R 12909 12911 12883 0 -1 4202560 40255 1241 0 0 50987 23 0 0 25 0 33 0 659836418 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12911/tid=12941] ppid=12909 vsize=5071768 CPUtime=508.12 cores=0-31
/proc/12911/task/12941/stat : 12941 (plingeling) R 12909 12911 12883 0 -1 4202560 51602 1241 0 0 50761 51 0 0 25 0 33 0 659836418 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12911/tid=12942] ppid=12909 vsize=5071768 CPUtime=509.1 cores=0-31
/proc/12911/task/12942/stat : 12942 (plingeling) R 12909 12911 12883 0 -1 4202560 50153 1241 0 0 50856 54 0 0 25 0 33 0 659836429 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12911/tid=12943] ppid=12909 vsize=5071768 CPUtime=509.29 cores=0-31
/proc/12911/task/12943/stat : 12943 (plingeling) R 12909 12911 12883 0 -1 4202560 71643 1241 0 0 50876 53 0 0 25 0 33 0 659836430 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12911/tid=12944] ppid=12909 vsize=5071768 CPUtime=510.1 cores=0-31
/proc/12911/task/12944/stat : 12944 (plingeling) R 12909 12911 12883 0 -1 4202560 22010 1241 0 0 50996 14 0 0 25 0 33 0 659836430 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12911/tid=12945] ppid=12909 vsize=5071768 CPUtime=510.12 cores=0-31
/proc/12911/task/12945/stat : 12945 (plingeling) R 12909 12911 12883 0 -1 4202560 45045 1241 0 0 50985 27 0 0 25 0 33 0 659836430 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12911/tid=12946] ppid=12909 vsize=5071768 CPUtime=509.79 cores=0-31
/proc/12911/task/12946/stat : 12946 (plingeling) R 12909 12911 12883 0 -1 4202560 32183 1241 0 0 50949 30 0 0 25 0 33 0 659836430 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12911/tid=12947] ppid=12909 vsize=5071768 CPUtime=509.85 cores=0-31
/proc/12911/task/12947/stat : 12947 (plingeling) R 12909 12911 12883 0 -1 4202560 44511 1241 0 0 50950 35 0 0 25 0 33 0 659836430 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12911/tid=12948] ppid=12909 vsize=5071768 CPUtime=510.1 cores=0-31
/proc/12911/task/12948/stat : 12948 (plingeling) R 12909 12911 12883 0 -1 4202560 33615 1241 0 0 50992 18 0 0 25 0 33 0 659836430 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4327056 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12911/tid=12949] ppid=12909 vsize=5071768 CPUtime=509.62 cores=0-31
/proc/12911/task/12949/stat : 12949 (plingeling) R 12909 12911 12883 0 -1 4202560 54888 1241 0 0 50925 37 0 0 25 0 33 0 659836431 5193490432 1147164 268435456000 4194304 4417452 140734070716560 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16321.8
Current children cumulated vsize (KiB) 5071768
[startup+540.702 s]
/proc/loadavg: 32.01 31.38 30.52 33/446 12965
/proc/meminfo: memFree=250955128/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=5071568 CPUtime=16373 cores=0-31
/proc/12911/stat : 12911 (plingeling) S 12909 12911 12883 0 -1 4202496 1973027 1241 0 0 1636040 1255 0 0 18 0 33 0 659833553 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/12911/statm: 1267892 1147114 175 55 0 1265778 0
[pid=12911/tid=12918] ppid=12909 vsize=5071568 CPUtime=511.02 cores=0-31
/proc/12911/task/12918/stat : 12918 (plingeling) R 12909 12911 12883 0 -1 4202560 48009 1241 0 0 51063 39 0 0 25 0 33 0 659836412 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12911/tid=12919] ppid=12909 vsize=5071568 CPUtime=510.65 cores=0-31
/proc/12911/task/12919/stat : 12919 (plingeling) R 12909 12911 12883 0 -1 4202560 37941 1241 0 0 51004 61 0 0 25 0 33 0 659836412 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12911/tid=12920] ppid=12909 vsize=5071568 CPUtime=510.77 cores=0-31
/proc/12911/task/12920/stat : 12920 (plingeling) R 12909 12911 12883 0 -1 4202560 34901 1241 0 0 51053 24 0 0 25 0 33 0 659836412 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12911/tid=12921] ppid=12909 vsize=5071568 CPUtime=511.92 cores=0-31
/proc/12911/task/12921/stat : 12921 (plingeling) R 12909 12911 12883 0 -1 4202560 15604 1241 0 0 51186 6 0 0 25 0 33 0 659836412 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12911/tid=12922] ppid=12909 vsize=5071568 CPUtime=510.62 cores=0-31
/proc/12911/task/12922/stat : 12922 (plingeling) R 12909 12911 12883 0 -1 4202560 31974 1241 0 0 51004 58 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12911/tid=12923] ppid=12909 vsize=5071568 CPUtime=511.5 cores=0-31
/proc/12911/task/12923/stat : 12923 (plingeling) R 12909 12911 12883 0 -1 4202560 31674 1241 0 0 51119 31 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12911/tid=12924] ppid=12909 vsize=5071568 CPUtime=510.73 cores=0-31
/proc/12911/task/12924/stat : 12924 (plingeling) R 12909 12911 12883 0 -1 4202560 32319 1241 0 0 51050 23 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12911/tid=12925] ppid=12909 vsize=5071568 CPUtime=510.71 cores=0-31
/proc/12911/task/12925/stat : 12925 (plingeling) R 12909 12911 12883 0 -1 4202560 64602 1241 0 0 51048 23 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12911/tid=12926] ppid=12909 vsize=5071568 CPUtime=511.72 cores=0-31
/proc/12911/task/12926/stat : 12926 (plingeling) R 12909 12911 12883 0 -1 4202560 43644 1241 0 0 51133 39 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236761 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12911/tid=12927] ppid=12909 vsize=5071568 CPUtime=511.05 cores=0-31
/proc/12911/task/12927/stat : 12927 (plingeling) R 12909 12911 12883 0 -1 4202560 28764 1241 0 0 51056 49 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4353504 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12911/tid=12928] ppid=12909 vsize=5071568 CPUtime=511.76 cores=0-31
/proc/12911/task/12928/stat : 12928 (plingeling) R 12909 12911 12883 0 -1 4202560 27343 1241 0 0 51161 15 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12911/tid=12929] ppid=12909 vsize=5071568 CPUtime=511.22 cores=0-31
/proc/12911/task/12929/stat : 12929 (plingeling) R 12909 12911 12883 0 -1 4202560 55826 1241 0 0 51083 39 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12911/tid=12930] ppid=12909 vsize=5071568 CPUtime=511.64 cores=0-31
/proc/12911/task/12930/stat : 12930 (plingeling) R 12909 12911 12883 0 -1 4202560 49951 1241 0 0 51123 41 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12911/tid=12931] ppid=12909 vsize=5071568 CPUtime=510.84 cores=0-31
/proc/12911/task/12931/stat : 12931 (plingeling) R 12909 12911 12883 0 -1 4202560 53918 1241 0 0 51046 38 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12911/tid=12932] ppid=12909 vsize=5071568 CPUtime=507.27 cores=0-31
/proc/12911/task/12932/stat : 12932 (plingeling) R 12909 12911 12883 0 -1 4202560 62516 1241 0 0 50700 27 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12911/tid=12933] ppid=12909 vsize=5071568 CPUtime=510.54 cores=0-31
/proc/12911/task/12933/stat : 12933 (plingeling) R 12909 12911 12883 0 -1 4202560 49552 1241 0 0 51026 28 0 0 25 0 33 0 659836413 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12911/tid=12934] ppid=12909 vsize=5071568 CPUtime=511.71 cores=0-31
/proc/12911/task/12934/stat : 12934 (plingeling) R 12909 12911 12883 0 -1 4202560 56103 1241 0 0 51124 47 0 0 25 0 33 0 659836417 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12911/tid=12935] ppid=12909 vsize=5071568 CPUtime=510.47 cores=0-31
/proc/12911/task/12935/stat : 12935 (plingeling) R 12909 12911 12883 0 -1 4202560 70135 1241 0 0 50994 53 0 0 25 0 33 0 659836418 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12911/tid=12936] ppid=12909 vsize=5071568 CPUtime=511.78 cores=0-31
/proc/12911/task/12936/stat : 12936 (plingeling) R 12909 12911 12883 0 -1 4202560 22624 1241 0 0 51157 21 0 0 25 0 33 0 659836418 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12911/tid=12937] ppid=12909 vsize=5071568 CPUtime=511.14 cores=0-31
/proc/12911/task/12937/stat : 12937 (plingeling) R 12909 12911 12883 0 -1 4202560 64935 1241 0 0 51065 49 0 0 25 0 33 0 659836418 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12911/tid=12938] ppid=12909 vsize=5071568 CPUtime=511.5 cores=0-31
/proc/12911/task/12938/stat : 12938 (plingeling) R 12909 12911 12883 0 -1 4202560 40564 1241 0 0 51115 35 0 0 25 0 33 0 659836418 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12911/tid=12939] ppid=12909 vsize=5071568 CPUtime=501.34 cores=0-31
/proc/12911/task/12939/stat : 12939 (plingeling) R 12909 12911 12883 0 -1 4202560 40250 1241 0 0 50092 42 0 0 25 0 33 0 659836418 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 258650653008 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12911/tid=12940] ppid=12909 vsize=5071568 CPUtime=511.7 cores=0-31
/proc/12911/task/12940/stat : 12940 (plingeling) R 12909 12911 12883 0 -1 4202560 40255 1241 0 0 51147 23 0 0 25 0 33 0 659836418 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12911/tid=12941] ppid=12909 vsize=5071568 CPUtime=509.72 cores=0-31
/proc/12911/task/12941/stat : 12941 (plingeling) R 12909 12911 12883 0 -1 4202560 51602 1241 0 0 50921 51 0 0 25 0 33 0 659836418 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12911/tid=12942] ppid=12909 vsize=5071568 CPUtime=510.7 cores=0-31
/proc/12911/task/12942/stat : 12942 (plingeling) R 12909 12911 12883 0 -1 4202560 50153 1241 0 0 51016 54 0 0 25 0 33 0 659836429 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12911/tid=12943] ppid=12909 vsize=5071568 CPUtime=510.89 cores=0-31
/proc/12911/task/12943/stat : 12943 (plingeling) R 12909 12911 12883 0 -1 4202560 71643 1241 0 0 51036 53 0 0 25 0 33 0 659836430 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12911/tid=12944] ppid=12909 vsize=5071568 CPUtime=511.7 cores=0-31
/proc/12911/task/12944/stat : 12944 (plingeling) R 12909 12911 12883 0 -1 4202560 22010 1241 0 0 51156 14 0 0 25 0 33 0 659836430 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12911/tid=12945] ppid=12909 vsize=5071568 CPUtime=511.72 cores=0-31
/proc/12911/task/12945/stat : 12945 (plingeling) R 12909 12911 12883 0 -1 4202560 45045 1241 0 0 51145 27 0 0 25 0 33 0 659836430 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12911/tid=12946] ppid=12909 vsize=5071568 CPUtime=511.39 cores=0-31
/proc/12911/task/12946/stat : 12946 (plingeling) R 12909 12911 12883 0 -1 4202560 32183 1241 0 0 51109 30 0 0 25 0 33 0 659836430 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12911/tid=12947] ppid=12909 vsize=5071568 CPUtime=511.45 cores=0-31
/proc/12911/task/12947/stat : 12947 (plingeling) R 12909 12911 12883 0 -1 4202560 44511 1241 0 0 51110 35 0 0 25 0 33 0 659836430 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12911/tid=12948] ppid=12909 vsize=5071568 CPUtime=511.7 cores=0-31
/proc/12911/task/12948/stat : 12948 (plingeling) R 12909 12911 12883 0 -1 4202560 33615 1241 0 0 51152 18 0 0 25 0 33 0 659836430 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12911/tid=12949] ppid=12909 vsize=5071568 CPUtime=511.22 cores=0-31
/proc/12911/task/12949/stat : 12949 (plingeling) R 12909 12911 12883 0 -1 4202560 54888 1241 0 0 51085 37 0 0 25 0 33 0 659836431 5193285632 1147114 268435456000 4194304 4417452 140734070716560 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16373
Current children cumulated vsize (KiB) 5071568
[startup+541.501 s]
/proc/loadavg: 32.01 31.38 30.52 33/446 12965
/proc/meminfo: memFree=250955244/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=4090836 CPUtime=16387.5 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202496 1973028 1241 0 0 1637491 1260 0 0 15 0 1 0 659833553 4189016064 972343 268435456000 4194304 4417452 140734070716560 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12911/statm: 1022709 971831 176 55 0 1020595 0
Current children cumulated CPU time (s) 16387.5
Current children cumulated vsize (KiB) 4090836
[startup+541.9 s]
/proc/loadavg: 32.01 31.38 30.52 33/446 12965
/proc/meminfo: memFree=250955244/264257624 swapFree=67111528/67111528
[pid=12911] ppid=12909 vsize=0 CPUtime=16387.9 cores=0-31
/proc/12911/stat : 12911 (plingeling) R 12909 12911 12883 0 -1 4202500 1973032 1241 0 0 1637491 1300 0 0 16 0 1 0 659833553 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/12911/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16387.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 541.91
CPU time (s): 16387.9
CPU user time (s): 16374.9
CPU system time (s): 13.018
CPU usage (%): 3024.11
Max. virtual memory (cumulated for all children) (KiB): 5925100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16374.9
system time used= 13.018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1974273
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= 6002
involuntary context switches= 41363
runsolver used 3.11253 second user time and 12.3091 second system time
The end
Begin job on node200 at 2011-05-15 20:17:51
IDJOB=3372195
IDBENCH=69591
IDSOLVER=1852
FILE ID=node200/3372195-1305483470
RUNJOBID= node200-1305483470-12897
PBS_JOBID= 13285523
Free space on /tmp= 62028 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372195-1305483470/watcher-3372195-1305483470 -o /tmp/evaluation-result-3372195-1305483470/solver-3372195-1305483470 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372195-1305483470.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=1946312423
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: 255552444 kB
Buffers: 441652 kB
Cached: 7857996 kB
SwapCached: 0 kB
Active: 7406556 kB
Inactive: 961768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255552444 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 24096 kB
Writeback: 0 kB
AnonPages: 69692 kB
Mapped: 14276 kB
Slab: 251072 kB
PageTables: 4112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62028 MiB
End job on node200 at 2011-05-15 20:26:53