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-3372312-1305547140/watcher-3372312-1305547140 -o /tmp/evaluation-result-3372312-1305547140/solver-3372312-1305547140 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372312-1305547140.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: 19.26 22.13 19.19 1/413 18233
/proc/meminfo: memFree=255493284/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=34080 CPUtime=0.02 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 6495 1249 0 0 1 1 0 0 21 0 1 0 666200564 34897920 6427 268435456000 4194304 4417452 140736296558688 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 8520 6442 145 55 0 6406 0
[startup+0.0854889 s]
/proc/loadavg: 19.26 22.13 19.19 1/413 18233
/proc/meminfo: memFree=255493284/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=80776 CPUtime=0.07 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 18257 1249 0 0 4 3 0 0 21 0 1 0 666200564 82714624 18189 268435456000 4194304 4417452 140736296558688 18446744073709551615 4259074 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 20194 18189 145 55 0 18080 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 80776
[startup+0.100503 s]
/proc/loadavg: 19.26 22.13 19.19 1/413 18233
/proc/meminfo: memFree=255493284/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=83752 CPUtime=0.09 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 19003 1249 0 0 6 3 0 0 21 0 1 0 666200564 85762048 18935 268435456000 4194304 4417452 140736296558688 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 20938 18935 145 55 0 18824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83752
[startup+0.300507 s]
/proc/loadavg: 19.26 22.13 19.19 1/413 18233
/proc/meminfo: memFree=255493284/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=167504 CPUtime=0.29 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 39941 1249 0 0 21 8 0 0 22 0 1 0 666200564 171524096 39873 268435456000 4194304 4417452 140736296558688 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 41876 39873 145 55 0 39762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 167504
[startup+0.700513 s]
/proc/loadavg: 19.26 22.13 19.19 1/413 18233
/proc/meminfo: memFree=255493284/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=210752 CPUtime=0.68 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 50761 1249 0 0 58 10 0 0 23 0 1 0 666200564 215810048 50693 268435456000 4194304 4417452 140736296558688 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 52688 50693 145 55 0 50574 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 210752
[startup+1.50059 s]
/proc/loadavg: 19.26 22.13 19.19 2/414 18239
/proc/meminfo: memFree=255263772/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=335132 CPUtime=1.48 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 81877 1249 0 0 131 17 0 0 25 0 1 0 666200564 343175168 81804 268435456000 4194304 4417452 140736296558688 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 83783 81804 145 55 0 81669 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 335132
[startup+3.10059 s]
/proc/loadavg: 17.80 21.78 19.09 2/414 18239
/proc/meminfo: memFree=255167052/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=452636 CPUtime=3.08 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 111333 1249 0 0 285 23 0 0 25 0 1 0 666200564 463499264 111180 268435456000 4194304 4417452 140736296558688 18446744073709551615 4227760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 113159 111180 145 55 0 111045 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 452636
[startup+6.30072 s]
/proc/loadavg: 17.80 21.78 19.09 2/414 18239
/proc/meminfo: memFree=254753324/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=751572 CPUtime=6.29 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 186227 1249 0 0 592 37 0 0 25 0 1 0 666200564 769609728 185914 268435456000 4194304 4417452 140736296558688 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 187893 185914 145 55 0 185779 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 751572
[startup+12.7009 s]
/proc/loadavg: 15.21 21.10 18.90 2/414 18239
/proc/meminfo: memFree=254568876/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=940492 CPUtime=12.68 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 233722 1249 0 0 1221 47 0 0 25 0 1 0 666200564 963063808 233145 268435456000 4194304 4417452 140736296558688 18446744073709551615 4264942 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 235123 233145 146 55 0 233009 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 940492
[startup+25.5004 s]
/proc/loadavg: 13.03 20.43 18.71 2/414 18241
/proc/meminfo: memFree=253781572/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=1735880 CPUtime=25.48 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 432585 1249 0 0 2464 84 0 0 25 0 1 0 666200564 1777541120 431992 268435456000 4194304 4417452 140736296558688 18446744073709551615 258650316535 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18233/statm: 433970 431992 146 55 0 431856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1735880
[startup+51.1022 s]
/proc/loadavg: 17.72 20.88 18.90 33/446 18273
/proc/meminfo: memFree=253433464/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=2529604 CPUtime=772.84 cores=0-31
/proc/18233/stat : 18233 (plingeling) S 18231 18233 17813 0 -1 4202496 877966 1249 0 0 76835 449 0 0 18 0 33 0 666200564 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18233/statm: 632401 515654 175 55 0 630287 0
[pid=18233/tid=18242] ppid=18231 vsize=2529604 CPUtime=23.36 cores=0-31
/proc/18233/task/18242/stat : 18242 (plingeling) R 18231 18233 17813 0 -1 4202560 12780 1249 0 0 2319 17 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18233/tid=18243] ppid=18231 vsize=2529604 CPUtime=23.4 cores=0-31
/proc/18233/task/18243/stat : 18243 (plingeling) R 18231 18233 17813 0 -1 4202560 7218 1249 0 0 2330 10 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18233/tid=18244] ppid=18231 vsize=2529604 CPUtime=23.29 cores=0-31
/proc/18233/task/18244/stat : 18244 (plingeling) R 18231 18233 17813 0 -1 4202560 9969 1249 0 0 2318 11 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18233/tid=18245] ppid=18231 vsize=2529604 CPUtime=23.42 cores=0-31
/proc/18233/task/18245/stat : 18245 (plingeling) R 18231 18233 17813 0 -1 4202560 4880 1249 0 0 2333 9 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18233/tid=18246] ppid=18231 vsize=2529604 CPUtime=23.23 cores=0-31
/proc/18233/task/18246/stat : 18246 (plingeling) R 18231 18233 17813 0 -1 4202560 15430 1249 0 0 2319 4 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18233/tid=18247] ppid=18231 vsize=2529604 CPUtime=23.3 cores=0-31
/proc/18233/task/18247/stat : 18247 (plingeling) R 18231 18233 17813 0 -1 4202560 15015 1249 0 0 2319 11 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18233/tid=18248] ppid=18231 vsize=2529604 CPUtime=23.35 cores=0-31
/proc/18233/task/18248/stat : 18248 (plingeling) R 18231 18233 17813 0 -1 4202560 16149 1249 0 0 2321 14 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=18233/tid=18249] ppid=18231 vsize=2529604 CPUtime=23.32 cores=0-31
/proc/18233/task/18249/stat : 18249 (plingeling) R 18231 18233 17813 0 -1 4202560 7854 1249 0 0 2318 14 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18233/tid=18250] ppid=18231 vsize=2529604 CPUtime=23.37 cores=0-31
/proc/18233/task/18250/stat : 18250 (plingeling) R 18231 18233 17813 0 -1 4202560 16362 1249 0 0 2322 15 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18233/tid=18251] ppid=18231 vsize=2529604 CPUtime=23.39 cores=0-31
/proc/18233/task/18251/stat : 18251 (plingeling) R 18231 18233 17813 0 -1 4202560 17344 1249 0 0 2321 18 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18233/tid=18252] ppid=18231 vsize=2529604 CPUtime=23.38 cores=0-31
/proc/18233/task/18252/stat : 18252 (plingeling) R 18231 18233 17813 0 -1 4202560 13005 1249 0 0 2325 13 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18233/tid=18253] ppid=18231 vsize=2529604 CPUtime=23.28 cores=0-31
/proc/18233/task/18253/stat : 18253 (plingeling) R 18231 18233 17813 0 -1 4202560 21248 1249 0 0 2311 17 0 0 25 0 33 0 666203324 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18233/tid=18254] ppid=18231 vsize=2529604 CPUtime=23.31 cores=0-31
/proc/18233/task/18254/stat : 18254 (plingeling) R 18231 18233 17813 0 -1 4202560 20906 1249 0 0 2319 12 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18233/tid=18255] ppid=18231 vsize=2529604 CPUtime=23.37 cores=0-31
/proc/18233/task/18255/stat : 18255 (plingeling) R 18231 18233 17813 0 -1 4202560 16801 1249 0 0 2322 15 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18233/tid=18256] ppid=18231 vsize=2529604 CPUtime=23.3 cores=0-31
/proc/18233/task/18256/stat : 18256 (plingeling) R 18231 18233 17813 0 -1 4202560 11493 1249 0 0 2323 7 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18233/tid=18257] ppid=18231 vsize=2529604 CPUtime=23.31 cores=0-31
/proc/18233/task/18257/stat : 18257 (plingeling) R 18231 18233 17813 0 -1 4202560 13976 1249 0 0 2321 10 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18233/tid=18258] ppid=18231 vsize=2529604 CPUtime=23.31 cores=0-31
/proc/18233/task/18258/stat : 18258 (plingeling) R 18231 18233 17813 0 -1 4202560 8714 1249 0 0 2319 12 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18233/tid=18259] ppid=18231 vsize=2529604 CPUtime=23.21 cores=0-31
/proc/18233/task/18259/stat : 18259 (plingeling) R 18231 18233 17813 0 -1 4202560 11327 1249 0 0 2315 6 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18233/tid=18260] ppid=18231 vsize=2529604 CPUtime=23.19 cores=0-31
/proc/18233/task/18260/stat : 18260 (plingeling) R 18231 18233 17813 0 -1 4202560 20074 1249 0 0 2313 6 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18233/tid=18261] ppid=18231 vsize=2529604 CPUtime=23.4 cores=0-31
/proc/18233/task/18261/stat : 18261 (plingeling) R 18231 18233 17813 0 -1 4202560 15483 1249 0 0 2323 17 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18233/tid=18262] ppid=18231 vsize=2529604 CPUtime=23.26 cores=0-31
/proc/18233/task/18262/stat : 18262 (plingeling) R 18231 18233 17813 0 -1 4202560 11057 1249 0 0 2314 12 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18233/tid=18263] ppid=18231 vsize=2529604 CPUtime=23.41 cores=0-31
/proc/18233/task/18263/stat : 18263 (plingeling) R 18231 18233 17813 0 -1 4202560 14990 1249 0 0 2326 15 0 0 25 0 33 0 666203325 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18233/tid=18264] ppid=18231 vsize=2529604 CPUtime=23.37 cores=0-31
/proc/18233/task/18264/stat : 18264 (plingeling) R 18231 18233 17813 0 -1 4202560 12644 1249 0 0 2329 8 0 0 25 0 33 0 666203326 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=18233/tid=18265] ppid=18231 vsize=2529604 CPUtime=23.09 cores=0-31
/proc/18233/task/18265/stat : 18265 (plingeling) R 18231 18233 17813 0 -1 4202560 16556 1249 0 0 2301 8 0 0 25 0 33 0 666203326 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18233/tid=18266] ppid=18231 vsize=2529604 CPUtime=23.36 cores=0-31
/proc/18233/task/18266/stat : 18266 (plingeling) R 18231 18233 17813 0 -1 4202560 23218 1249 0 0 2318 18 0 0 25 0 33 0 666203326 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18233/tid=18267] ppid=18231 vsize=2529604 CPUtime=23.1 cores=0-31
/proc/18233/task/18267/stat : 18267 (plingeling) R 18231 18233 17813 0 -1 4202560 12697 1249 0 0 2304 6 0 0 25 0 33 0 666203326 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18233/tid=18268] ppid=18231 vsize=2529604 CPUtime=23.22 cores=0-31
/proc/18233/task/18268/stat : 18268 (plingeling) R 18231 18233 17813 0 -1 4202560 12814 1249 0 0 2317 5 0 0 25 0 33 0 666203326 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18233/tid=18269] ppid=18231 vsize=2529604 CPUtime=23.19 cores=0-31
/proc/18233/task/18269/stat : 18269 (plingeling) R 18231 18233 17813 0 -1 4202560 13215 1249 0 0 2312 7 0 0 25 0 33 0 666203326 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4232404 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18233/tid=18270] ppid=18231 vsize=2529604 CPUtime=22.78 cores=0-31
/proc/18233/task/18270/stat : 18270 (plingeling) R 18231 18233 17813 0 -1 4202560 22061 1249 0 0 2268 10 0 0 25 0 33 0 666203326 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281902 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18233/tid=18271] ppid=18231 vsize=2529604 CPUtime=23.22 cores=0-31
/proc/18233/task/18271/stat : 18271 (plingeling) R 18231 18233 17813 0 -1 4202560 8490 1249 0 0 2315 7 0 0 25 0 33 0 666203327 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18233/tid=18272] ppid=18231 vsize=2529604 CPUtime=23.16 cores=0-31
/proc/18233/task/18272/stat : 18272 (plingeling) R 18231 18233 17813 0 -1 4202560 12440 1249 0 0 2312 4 0 0 25 0 33 0 666203327 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18233/tid=18273] ppid=18231 vsize=2529604 CPUtime=23.28 cores=0-31
/proc/18233/task/18273/stat : 18273 (plingeling) R 18231 18233 17813 0 -1 4202560 9132 1249 0 0 2317 11 0 0 25 0 33 0 666203327 2590314496 515654 268435456000 4194304 4417452 140736296558688 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 772.84
Current children cumulated vsize (KiB) 2529604
[startup+102.322 s]
/proc/loadavg: 26.44 22.78 19.66 33/446 18275
/proc/meminfo: memFree=253416040/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=2558300 CPUtime=2409.95 cores=0-31
/proc/18233/stat : 18233 (plingeling) S 18231 18233 17813 0 -1 4202496 906330 1249 0 0 240536 459 0 0 18 0 33 0 666200564 2619699200 524106 268435456000 4194304 4417452 140736296558688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18233/statm: 639575 524106 175 55 0 637461 0
[pid=18233/tid=18242] ppid=18231 vsize=2558300 CPUtime=74.56 cores=0-31
/proc/18233/task/18242/stat : 18242 (plingeling) R 18231 18233 17813 0 -1 4202560 13757 1249 0 0 7439 17 0 0 25 0 33 0 666203324 2619699200 524106 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236827 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18233/tid=18243] ppid=18231 vsize=2558300 CPUtime=74.61 cores=0-31
/proc/18233/task/18243/stat : 18243 (plingeling) R 18231 18233 17813 0 -1 4202560 7343 1249 0 0 7451 10 0 0 25 0 33 0 666203324 2619699200 524106 268435456000 4194304 4417452 140736296558688 18446744073709551615 4366680 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18233/tid=18244] ppid=18231 vsize=2558300 CPUtime=74.5 cores=0-31
/proc/18233/task/18244/stat : 18244 (plingeling) R 18231 18233 17813 0 -1 4202560 11992 1249 0 0 7438 12 0 0 25 0 33 0 666203324 2619699200 524106 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18233/tid=18245] ppid=18231 vsize=2558300 CPUtime=74.63 cores=0-31
/proc/18233/task/18245/stat : 18245 (plingeling) R 18231 18233 17813 0 -1 4202560 4880 1249 0 0 7454 9 0 0 25 0 33 0 666203324 2619699200 524106 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18233/tid=18246] ppid=18231 vsize=2558300 CPUtime=74.45 cores=0-31
/proc/18233/task/18246/stat : 18246 (plingeling) R 18231 18233 17813 0 -1 4202560 15501 1249 0 0 7440 5 0 0 25 0 33 0 666203324 2619699200 524106 268435456000 4194304 4417452 140736296558688 18446744073709551615 4330505 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18233/tid=18247] ppid=18231 vsize=2558300 CPUtime=74.51 cores=0-31
/proc/18233/task/18247/stat : 18247 (plingeling) R 18231 18233 17813 0 -1 4202560 16656 1249 0 0 7439 12 0 0 25 0 33 0 666203324 2619699200 524106 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281851 0 0 4096 17442 0 0 0 -1 24 0 0 0
################
# More data... #
################
[pid=18233/tid=18273] ppid=18231 vsize=3999584 CPUtime=2353.41 cores=0-31
/proc/18233/task/18273/stat : 18273 (plingeling) R 18231 18233 17813 0 -1 4202560 69999 1249 0 0 235312 29 0 0 25 0 33 0 666203327 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4275947 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 75284.3
Current children cumulated vsize (KiB) 3999584
Solver just ended. Dumping a history of the last processes samples
[startup+2383.1 s]
/proc/loadavg: 32.04 32.03 30.97 33/446 18347
/proc/meminfo: memFree=251969372/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=3999584 CPUtime=75309.8 cores=0-31
/proc/18233/stat : 18233 (plingeling) S 18231 18233 17813 0 -1 4202496 2857713 1249 0 0 7529630 1353 0 0 18 0 33 0 666200564 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18233/statm: 999896 885389 175 55 0 997782 0
[pid=18233/tid=18242] ppid=18231 vsize=3999584 CPUtime=2354.77 cores=0-31
/proc/18233/task/18242/stat : 18242 (plingeling) R 18231 18233 17813 0 -1 4202560 63123 1249 0 0 235448 29 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18233/tid=18243] ppid=18231 vsize=3999584 CPUtime=2352.59 cores=0-31
/proc/18233/task/18243/stat : 18243 (plingeling) R 18231 18233 17813 0 -1 4202560 46142 1249 0 0 235218 41 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18233/tid=18244] ppid=18231 vsize=3999584 CPUtime=2354.75 cores=0-31
/proc/18233/task/18244/stat : 18244 (plingeling) R 18231 18233 17813 0 -1 4202560 58735 1249 0 0 235429 46 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18233/tid=18245] ppid=18231 vsize=3999584 CPUtime=2354.89 cores=0-31
/proc/18233/task/18245/stat : 18245 (plingeling) R 18231 18233 17813 0 -1 4202560 19376 1249 0 0 235477 12 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18233/tid=18246] ppid=18231 vsize=3999584 CPUtime=2346.86 cores=0-31
/proc/18233/task/18246/stat : 18246 (plingeling) R 18231 18233 17813 0 -1 4202560 64537 1249 0 0 234649 37 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18233/tid=18247] ppid=18231 vsize=3999584 CPUtime=2354.75 cores=0-31
/proc/18233/task/18247/stat : 18247 (plingeling) R 18231 18233 17813 0 -1 4202560 60104 1249 0 0 235428 47 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18233/tid=18248] ppid=18231 vsize=3999584 CPUtime=2354.8 cores=0-31
/proc/18233/task/18248/stat : 18248 (plingeling) R 18231 18233 17813 0 -1 4202560 69820 1249 0 0 235434 46 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4365195 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=18233/tid=18249] ppid=18231 vsize=3999584 CPUtime=2354.79 cores=0-31
/proc/18233/task/18249/stat : 18249 (plingeling) R 18231 18233 17813 0 -1 4202560 59795 1249 0 0 235430 49 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18233/tid=18250] ppid=18231 vsize=3999584 CPUtime=2354.93 cores=0-31
/proc/18233/task/18250/stat : 18250 (plingeling) R 18231 18233 17813 0 -1 4202560 124033 1249 0 0 235453 40 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18233/tid=18251] ppid=18231 vsize=3999584 CPUtime=2354.94 cores=0-31
/proc/18233/task/18251/stat : 18251 (plingeling) R 18231 18233 17813 0 -1 4202560 184962 1249 0 0 235436 58 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18233/tid=18252] ppid=18231 vsize=3999584 CPUtime=2354.79 cores=0-31
/proc/18233/task/18252/stat : 18252 (plingeling) R 18231 18233 17813 0 -1 4202560 58294 1249 0 0 235435 44 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18233/tid=18253] ppid=18231 vsize=3999584 CPUtime=2340.95 cores=0-31
/proc/18233/task/18253/stat : 18253 (plingeling) R 18231 18233 17813 0 -1 4202560 89665 1249 0 0 234061 34 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18233/tid=18254] ppid=18231 vsize=3999584 CPUtime=2354.73 cores=0-31
/proc/18233/task/18254/stat : 18254 (plingeling) R 18231 18233 17813 0 -1 4202560 54887 1249 0 0 235451 22 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18233/tid=18255] ppid=18231 vsize=3999584 CPUtime=2354.8 cores=0-31
/proc/18233/task/18255/stat : 18255 (plingeling) R 18231 18233 17813 0 -1 4202560 79069 1249 0 0 235449 31 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4366102 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18233/tid=18256] ppid=18231 vsize=3999584 CPUtime=2351.96 cores=0-31
/proc/18233/task/18256/stat : 18256 (plingeling) R 18231 18233 17813 0 -1 4202560 47356 1249 0 0 235180 16 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18233/tid=18257] ppid=18231 vsize=3999584 CPUtime=2349.19 cores=0-31
/proc/18233/task/18257/stat : 18257 (plingeling) R 18231 18233 17813 0 -1 4202560 73012 1249 0 0 234874 45 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18233/tid=18258] ppid=18231 vsize=3999584 CPUtime=2354.77 cores=0-31
/proc/18233/task/18258/stat : 18258 (plingeling) R 18231 18233 17813 0 -1 4202560 51856 1249 0 0 235455 22 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364666 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18233/tid=18259] ppid=18231 vsize=3999584 CPUtime=2354.66 cores=0-31
/proc/18233/task/18259/stat : 18259 (plingeling) R 18231 18233 17813 0 -1 4202560 79953 1249 0 0 235443 23 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18233/tid=18260] ppid=18231 vsize=3999584 CPUtime=2353.61 cores=0-31
/proc/18233/task/18260/stat : 18260 (plingeling) R 18231 18233 17813 0 -1 4202560 72029 1249 0 0 235318 43 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18233/tid=18261] ppid=18231 vsize=3999584 CPUtime=2347.89 cores=0-31
/proc/18233/task/18261/stat : 18261 (plingeling) R 18231 18233 17813 0 -1 4202560 70661 1249 0 0 234759 30 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18233/tid=18262] ppid=18231 vsize=3999584 CPUtime=2353.51 cores=0-31
/proc/18233/task/18262/stat : 18262 (plingeling) R 18231 18233 17813 0 -1 4202560 108703 1249 0 0 235262 89 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18233/tid=18263] ppid=18231 vsize=3999584 CPUtime=2354.96 cores=0-31
/proc/18233/task/18263/stat : 18263 (plingeling) R 18231 18233 17813 0 -1 4202560 98797 1249 0 0 235440 56 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18233/tid=18264] ppid=18231 vsize=3999584 CPUtime=2354.85 cores=0-31
/proc/18233/task/18264/stat : 18264 (plingeling) R 18231 18233 17813 0 -1 4202560 81549 1249 0 0 235435 50 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=18233/tid=18265] ppid=18231 vsize=3999584 CPUtime=2354.51 cores=0-31
/proc/18233/task/18265/stat : 18265 (plingeling) R 18231 18233 17813 0 -1 4202560 77164 1249 0 0 235406 45 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18233/tid=18266] ppid=18231 vsize=3999584 CPUtime=2347.35 cores=0-31
/proc/18233/task/18266/stat : 18266 (plingeling) R 18231 18233 17813 0 -1 4202560 107777 1249 0 0 234697 38 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4366063 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18233/tid=18267] ppid=18231 vsize=3999584 CPUtime=2354.6 cores=0-31
/proc/18233/task/18267/stat : 18267 (plingeling) R 18231 18233 17813 0 -1 4202560 132838 1249 0 0 235416 44 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4365976 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18233/tid=18268] ppid=18231 vsize=3999584 CPUtime=2354.7 cores=0-31
/proc/18233/task/18268/stat : 18268 (plingeling) R 18231 18233 17813 0 -1 4202560 68649 1249 0 0 235429 41 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18233/tid=18269] ppid=18231 vsize=3999584 CPUtime=2354.65 cores=0-31
/proc/18233/task/18269/stat : 18269 (plingeling) R 18231 18233 17813 0 -1 4202560 63929 1249 0 0 235421 44 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18233/tid=18270] ppid=18231 vsize=3999584 CPUtime=2346.28 cores=0-31
/proc/18233/task/18270/stat : 18270 (plingeling) R 18231 18233 17813 0 -1 4202560 87283 1249 0 0 234581 47 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18233/tid=18271] ppid=18231 vsize=3999584 CPUtime=2351.28 cores=0-31
/proc/18233/task/18271/stat : 18271 (plingeling) R 18231 18233 17813 0 -1 4202560 38744 1249 0 0 235113 15 0 0 25 0 33 0 666203327 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18233/tid=18272] ppid=18231 vsize=3999584 CPUtime=2345.58 cores=0-31
/proc/18233/task/18272/stat : 18272 (plingeling) R 18231 18233 17813 0 -1 4202560 62248 1249 0 0 234521 37 0 0 25 0 33 0 666203327 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18233/tid=18273] ppid=18231 vsize=3999584 CPUtime=2354.21 cores=0-31
/proc/18233/task/18273/stat : 18273 (plingeling) R 18231 18233 17813 0 -1 4202560 69999 1249 0 0 235392 29 0 0 25 0 33 0 666203327 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4276039 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 75309.8
Current children cumulated vsize (KiB) 3999584
[startup+2383.9 s]
/proc/loadavg: 32.04 32.03 30.97 33/446 18347
/proc/meminfo: memFree=251969508/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=3999584 CPUtime=75335.4 cores=0-31
/proc/18233/stat : 18233 (plingeling) S 18231 18233 17813 0 -1 4202496 2857713 1249 0 0 7532187 1353 0 0 18 0 33 0 666200564 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18233/statm: 999896 885389 175 55 0 997782 0
[pid=18233/tid=18242] ppid=18231 vsize=3999584 CPUtime=2355.57 cores=0-31
/proc/18233/task/18242/stat : 18242 (plingeling) R 18231 18233 17813 0 -1 4202560 63123 1249 0 0 235528 29 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18233/tid=18243] ppid=18231 vsize=3999584 CPUtime=2353.39 cores=0-31
/proc/18233/task/18243/stat : 18243 (plingeling) R 18231 18233 17813 0 -1 4202560 46142 1249 0 0 235298 41 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4354481 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18233/tid=18244] ppid=18231 vsize=3999584 CPUtime=2355.55 cores=0-31
/proc/18233/task/18244/stat : 18244 (plingeling) R 18231 18233 17813 0 -1 4202560 58735 1249 0 0 235509 46 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4365130 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18233/tid=18245] ppid=18231 vsize=3999584 CPUtime=2355.69 cores=0-31
/proc/18233/task/18245/stat : 18245 (plingeling) R 18231 18233 17813 0 -1 4202560 19376 1249 0 0 235557 12 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18233/tid=18246] ppid=18231 vsize=3999584 CPUtime=2347.66 cores=0-31
/proc/18233/task/18246/stat : 18246 (plingeling) R 18231 18233 17813 0 -1 4202560 64537 1249 0 0 234729 37 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18233/tid=18247] ppid=18231 vsize=3999584 CPUtime=2355.55 cores=0-31
/proc/18233/task/18247/stat : 18247 (plingeling) R 18231 18233 17813 0 -1 4202560 60104 1249 0 0 235508 47 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18233/tid=18248] ppid=18231 vsize=3999584 CPUtime=2355.6 cores=0-31
/proc/18233/task/18248/stat : 18248 (plingeling) R 18231 18233 17813 0 -1 4202560 69820 1249 0 0 235514 46 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236689 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=18233/tid=18249] ppid=18231 vsize=3999584 CPUtime=2355.59 cores=0-31
/proc/18233/task/18249/stat : 18249 (plingeling) R 18231 18233 17813 0 -1 4202560 59795 1249 0 0 235510 49 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18233/tid=18250] ppid=18231 vsize=3999584 CPUtime=2355.73 cores=0-31
/proc/18233/task/18250/stat : 18250 (plingeling) R 18231 18233 17813 0 -1 4202560 124033 1249 0 0 235533 40 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18233/tid=18251] ppid=18231 vsize=3999584 CPUtime=2355.74 cores=0-31
/proc/18233/task/18251/stat : 18251 (plingeling) R 18231 18233 17813 0 -1 4202560 184962 1249 0 0 235516 58 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18233/tid=18252] ppid=18231 vsize=3999584 CPUtime=2355.59 cores=0-31
/proc/18233/task/18252/stat : 18252 (plingeling) R 18231 18233 17813 0 -1 4202560 58294 1249 0 0 235515 44 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18233/tid=18253] ppid=18231 vsize=3999584 CPUtime=2341.75 cores=0-31
/proc/18233/task/18253/stat : 18253 (plingeling) R 18231 18233 17813 0 -1 4202560 89665 1249 0 0 234141 34 0 0 25 0 33 0 666203324 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364666 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18233/tid=18254] ppid=18231 vsize=3999584 CPUtime=2355.53 cores=0-31
/proc/18233/task/18254/stat : 18254 (plingeling) R 18231 18233 17813 0 -1 4202560 54887 1249 0 0 235531 22 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18233/tid=18255] ppid=18231 vsize=3999584 CPUtime=2355.6 cores=0-31
/proc/18233/task/18255/stat : 18255 (plingeling) R 18231 18233 17813 0 -1 4202560 79069 1249 0 0 235529 31 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18233/tid=18256] ppid=18231 vsize=3999584 CPUtime=2352.76 cores=0-31
/proc/18233/task/18256/stat : 18256 (plingeling) R 18231 18233 17813 0 -1 4202560 47356 1249 0 0 235260 16 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18233/tid=18257] ppid=18231 vsize=3999584 CPUtime=2349.96 cores=0-31
/proc/18233/task/18257/stat : 18257 (plingeling) R 18231 18233 17813 0 -1 4202560 73012 1249 0 0 234951 45 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18233/tid=18258] ppid=18231 vsize=3999584 CPUtime=2355.57 cores=0-31
/proc/18233/task/18258/stat : 18258 (plingeling) R 18231 18233 17813 0 -1 4202560 51856 1249 0 0 235535 22 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18233/tid=18259] ppid=18231 vsize=3999584 CPUtime=2355.46 cores=0-31
/proc/18233/task/18259/stat : 18259 (plingeling) R 18231 18233 17813 0 -1 4202560 79953 1249 0 0 235523 23 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18233/tid=18260] ppid=18231 vsize=3999584 CPUtime=2354.41 cores=0-31
/proc/18233/task/18260/stat : 18260 (plingeling) R 18231 18233 17813 0 -1 4202560 72029 1249 0 0 235398 43 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18233/tid=18261] ppid=18231 vsize=3999584 CPUtime=2348.69 cores=0-31
/proc/18233/task/18261/stat : 18261 (plingeling) R 18231 18233 17813 0 -1 4202560 70661 1249 0 0 234839 30 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4346383 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18233/tid=18262] ppid=18231 vsize=3999584 CPUtime=2354.31 cores=0-31
/proc/18233/task/18262/stat : 18262 (plingeling) R 18231 18233 17813 0 -1 4202560 108703 1249 0 0 235342 89 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18233/tid=18263] ppid=18231 vsize=3999584 CPUtime=2355.76 cores=0-31
/proc/18233/task/18263/stat : 18263 (plingeling) R 18231 18233 17813 0 -1 4202560 98797 1249 0 0 235520 56 0 0 25 0 33 0 666203325 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18233/tid=18264] ppid=18231 vsize=3999584 CPUtime=2355.65 cores=0-31
/proc/18233/task/18264/stat : 18264 (plingeling) R 18231 18233 17813 0 -1 4202560 81549 1249 0 0 235515 50 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=18233/tid=18265] ppid=18231 vsize=3999584 CPUtime=2355.31 cores=0-31
/proc/18233/task/18265/stat : 18265 (plingeling) R 18231 18233 17813 0 -1 4202560 77164 1249 0 0 235486 45 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236623 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18233/tid=18266] ppid=18231 vsize=3999584 CPUtime=2348.15 cores=0-31
/proc/18233/task/18266/stat : 18266 (plingeling) R 18231 18233 17813 0 -1 4202560 107777 1249 0 0 234777 38 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18233/tid=18267] ppid=18231 vsize=3999584 CPUtime=2355.4 cores=0-31
/proc/18233/task/18267/stat : 18267 (plingeling) R 18231 18233 17813 0 -1 4202560 132838 1249 0 0 235496 44 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18233/tid=18268] ppid=18231 vsize=3999584 CPUtime=2355.5 cores=0-31
/proc/18233/task/18268/stat : 18268 (plingeling) R 18231 18233 17813 0 -1 4202560 68649 1249 0 0 235509 41 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4365414 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18233/tid=18269] ppid=18231 vsize=3999584 CPUtime=2355.44 cores=0-31
/proc/18233/task/18269/stat : 18269 (plingeling) R 18231 18233 17813 0 -1 4202560 63929 1249 0 0 235500 44 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18233/tid=18270] ppid=18231 vsize=3999584 CPUtime=2347.08 cores=0-31
/proc/18233/task/18270/stat : 18270 (plingeling) R 18231 18233 17813 0 -1 4202560 87283 1249 0 0 234661 47 0 0 25 0 33 0 666203326 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18233/tid=18271] ppid=18231 vsize=3999584 CPUtime=2352.08 cores=0-31
/proc/18233/task/18271/stat : 18271 (plingeling) R 18231 18233 17813 0 -1 4202560 38744 1249 0 0 235193 15 0 0 25 0 33 0 666203327 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18233/tid=18272] ppid=18231 vsize=3999584 CPUtime=2346.38 cores=0-31
/proc/18233/task/18272/stat : 18272 (plingeling) R 18231 18233 17813 0 -1 4202560 62248 1249 0 0 234601 37 0 0 25 0 33 0 666203327 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18233/tid=18273] ppid=18231 vsize=3999584 CPUtime=2355.01 cores=0-31
/proc/18233/task/18273/stat : 18273 (plingeling) R 18231 18233 17813 0 -1 4202560 69999 1249 0 0 235472 29 0 0 25 0 33 0 666203327 4095574016 885389 268435456000 4194304 4417452 140736296558688 18446744073709551615 4281857 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 75335.4
Current children cumulated vsize (KiB) 3999584
[startup+2384.3 s]
/proc/loadavg: 32.04 32.03 30.97 33/446 18347
/proc/meminfo: memFree=251969508/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=1788296 CPUtime=75342.5 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202496 2857714 1249 0 0 7532885 1367 0 0 17 0 1 0 666200564 1831215104 382386 268435456000 4194304 4417452 140736296558688 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18233/statm: 447074 382386 176 55 0 444960 0
Current children cumulated CPU time (s) 75342.5
Current children cumulated vsize (KiB) 1788296
[startup+2384.4 s]
/proc/loadavg: 32.04 32.03 30.97 33/446 18347
/proc/meminfo: memFree=251969508/264257624 swapFree=67111528/67111528
[pid=18233] ppid=18231 vsize=0 CPUtime=75342.6 cores=0-31
/proc/18233/stat : 18233 (plingeling) R 18231 18233 17813 0 -1 4202500 2857718 1249 0 0 7532885 1377 0 0 17 0 1 0 666200564 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18233/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 75342.6
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2384.44
CPU time (s): 75342.7
CPU user time (s): 75328.9
CPU system time (s): 13.8209
CPU usage (%): 3159.77
Max. virtual memory (cumulated for all children) (KiB): 4276740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75328.9
system time used= 13.8209
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2858967
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= 9354
involuntary context switches= 191182
runsolver used 12.6701 second user time and 55.4886 second system time
The end
Begin job on node200 at 2011-05-16 13:59:02
IDJOB=3372312
IDBENCH=71036
IDSOLVER=1852
FILE ID=node200/3372312-1305547140
RUNJOBID= node200-1305546782-17827
PBS_JOBID= 13285544
Free space on /tmp= 62024 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372312-1305547140/watcher-3372312-1305547140 -o /tmp/evaluation-result-3372312-1305547140/solver-3372312-1305547140 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372312-1305547140.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=585754430
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: 255493448 kB
Buffers: 444448 kB
Cached: 7889264 kB
SwapCached: 0 kB
Active: 7416644 kB
Inactive: 988284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255493448 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26600 kB
Writeback: 0 kB
AnonPages: 71968 kB
Mapped: 14536 kB
Slab: 252144 kB
PageTables: 4404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186852 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= 62024 MiB
End job on node200 at 2011-05-16 14:38:46