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-3372108-1305422203/watcher-3372108-1305422203 -o /tmp/evaluation-result-3372108-1305422203/solver-3372108-1305422203 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372108-1305422203.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.19 29.35 30.39 1/413 1353
/proc/meminfo: memFree=255562192/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=13672 CPUtime=0 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 1476 1245 0 0 0 0 0 0 25 0 1 0 653706885 14000128 1407 268435456000 4194304 4417452 140733355369088 18446744073709551615 258650616632 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 3418 1422 144 55 0 1304 0
[startup+0.104233 s]
/proc/loadavg: 27.19 29.35 30.39 1/413 1353
/proc/meminfo: memFree=255562192/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=42212 CPUtime=0.09 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 8605 1245 0 0 8 1 0 0 25 0 1 0 653706885 43225088 8536 268435456000 4194304 4417452 140733355369088 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 10553 8555 145 55 0 8439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42212
[startup+0.20122 s]
/proc/loadavg: 27.19 29.35 30.39 1/413 1353
/proc/meminfo: memFree=255562192/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=56800 CPUtime=0.19 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 12290 1245 0 0 17 2 0 0 25 0 1 0 653706885 58163200 12221 268435456000 4194304 4417452 140733355369088 18446744073709551615 4232470 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 14200 12221 145 55 0 12086 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56800
[startup+0.301231 s]
/proc/loadavg: 27.19 29.35 30.39 1/413 1353
/proc/meminfo: memFree=255562192/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=94444 CPUtime=0.28 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 21701 1245 0 0 25 3 0 0 25 0 1 0 653706885 96710656 21632 268435456000 4194304 4417452 140733355369088 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 23611 21632 145 55 0 21497 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 94444
[startup+0.701226 s]
/proc/loadavg: 27.19 29.35 30.39 1/413 1353
/proc/meminfo: memFree=255562192/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=179920 CPUtime=0.68 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 43130 1245 0 0 61 7 0 0 25 0 1 0 653706885 184238080 43001 268435456000 4194304 4417452 140733355369088 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 44980 43001 145 55 0 42866 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 179920
[startup+1.50127 s]
/proc/loadavg: 27.19 29.35 30.39 2/414 1359
/proc/meminfo: memFree=255364552/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=238316 CPUtime=1.48 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 57921 1245 0 0 138 10 0 0 25 0 1 0 653706885 244035584 57600 268435456000 4194304 4417452 140733355369088 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 59579 57600 145 55 0 57465 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 238316
[startup+3.10033 s]
/proc/loadavg: 27.19 29.35 30.39 2/414 1359
/proc/meminfo: memFree=255298088/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=444704 CPUtime=3.08 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 109185 1245 0 0 287 21 0 0 25 0 1 0 653706885 455376896 108736 268435456000 4194304 4417452 140733355369088 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 111176 108754 145 55 0 109062 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 444704
[startup+6.30043 s]
/proc/loadavg: 25.09 28.88 30.23 2/414 1359
/proc/meminfo: memFree=254815384/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=884840 CPUtime=6.29 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 219680 1245 0 0 589 40 0 0 25 0 1 0 653706885 906076160 219231 268435456000 4194304 4417452 140733355369088 18446744073709551615 258650574380 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 221210 219231 145 55 0 219096 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 884840
[startup+12.7007 s]
/proc/loadavg: 23.16 28.41 30.08 2/414 1359
/proc/meminfo: memFree=254087980/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=1489256 CPUtime=12.68 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 371052 1245 0 0 1199 69 0 0 25 0 1 0 653706885 1524998144 370336 268435456000 4194304 4417452 140733355369088 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 372314 370336 146 55 0 370200 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1489256
[startup+25.5011 s]
/proc/loadavg: 18.25 27.07 29.61 2/414 1359
/proc/meminfo: memFree=253235048/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=2334320 CPUtime=25.48 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 582446 1245 0 0 2437 111 0 0 25 0 1 0 653706885 2390343680 581602 268435456000 4194304 4417452 140733355369088 18446744073709551615 4231494 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1353/statm: 583580 581602 146 55 0 581466 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2334320
[startup+51.1019 s]
/proc/loadavg: 22.94 27.46 29.67 33/446 1391
/proc/meminfo: memFree=254710052/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=1373828 CPUtime=816.14 cores=0-31
/proc/1353/stat : 1353 (plingeling) S 1351 1353 1327 0 -1 4202496 865553 1245 0 0 81128 486 0 0 25 0 33 0 653706885 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1353/statm: 343457 212210 175 55 0 341343 0
[pid=1353/tid=1360] ppid=1351 vsize=1373828 CPUtime=24.83 cores=0-31
/proc/1353/task/1360/stat : 1360 (plingeling) R 1351 1353 1327 0 -1 4202560 9313 1245 0 0 2476 7 0 0 25 0 33 0 653709499 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1353/tid=1361] ppid=1351 vsize=1373828 CPUtime=24.7 cores=0-31
/proc/1353/task/1361/stat : 1361 (plingeling) R 1351 1353 1327 0 -1 4202560 7964 1245 0 0 2455 15 0 0 25 0 33 0 653709499 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4356878 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1353/tid=1362] ppid=1351 vsize=1373828 CPUtime=24.66 cores=0-31
/proc/1353/task/1362/stat : 1362 (plingeling) R 1351 1353 1327 0 -1 4202560 6897 1245 0 0 2455 11 0 0 25 0 33 0 653709499 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4275936 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1353/tid=1363] ppid=1351 vsize=1373828 CPUtime=24.84 cores=0-31
/proc/1353/task/1363/stat : 1363 (plingeling) R 1351 1353 1327 0 -1 4202560 5316 1245 0 0 2478 6 0 0 25 0 33 0 653709500 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4241586 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1353/tid=1364] ppid=1351 vsize=1373828 CPUtime=24.69 cores=0-31
/proc/1353/task/1364/stat : 1364 (plingeling) R 1351 1353 1327 0 -1 4202560 10913 1245 0 0 2461 8 0 0 25 0 33 0 653709500 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1353/tid=1365] ppid=1351 vsize=1373828 CPUtime=24.81 cores=0-31
/proc/1353/task/1365/stat : 1365 (plingeling) R 1351 1353 1327 0 -1 4202560 8293 1245 0 0 2473 8 0 0 25 0 33 0 653709500 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1353/tid=1366] ppid=1351 vsize=1373828 CPUtime=24.8 cores=0-31
/proc/1353/task/1366/stat : 1366 (plingeling) R 1351 1353 1327 0 -1 4202560 10736 1245 0 0 2472 8 0 0 25 0 33 0 653709500 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1353/tid=1367] ppid=1351 vsize=1373828 CPUtime=24.68 cores=0-31
/proc/1353/task/1367/stat : 1367 (plingeling) R 1351 1353 1327 0 -1 4202560 9453 1245 0 0 2456 12 0 0 25 0 33 0 653709500 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1353/tid=1368] ppid=1351 vsize=1373828 CPUtime=24.67 cores=0-31
/proc/1353/task/1368/stat : 1368 (plingeling) R 1351 1353 1327 0 -1 4202560 8989 1245 0 0 2456 11 0 0 25 0 33 0 653709501 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1353/tid=1369] ppid=1351 vsize=1373828 CPUtime=24.54 cores=0-31
/proc/1353/task/1369/stat : 1369 (plingeling) R 1351 1353 1327 0 -1 4202560 9825 1245 0 0 2446 8 0 0 25 0 33 0 653709501 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1353/tid=1370] ppid=1351 vsize=1373828 CPUtime=24.69 cores=0-31
/proc/1353/task/1370/stat : 1370 (plingeling) R 1351 1353 1327 0 -1 4202560 7579 1245 0 0 2454 15 0 0 25 0 33 0 653709501 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4255603 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1353/tid=1371] ppid=1351 vsize=1373828 CPUtime=24.68 cores=0-31
/proc/1353/task/1371/stat : 1371 (plingeling) R 1351 1353 1327 0 -1 4202560 7939 1245 0 0 2451 17 0 0 25 0 33 0 653709501 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1353/tid=1372] ppid=1351 vsize=1373828 CPUtime=24.76 cores=0-31
/proc/1353/task/1372/stat : 1372 (plingeling) R 1351 1353 1327 0 -1 4202560 10801 1245 0 0 2468 8 0 0 25 0 33 0 653709502 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1353/tid=1373] ppid=1351 vsize=1373828 CPUtime=24.72 cores=0-31
/proc/1353/task/1373/stat : 1373 (plingeling) R 1351 1353 1327 0 -1 4202560 7789 1245 0 0 2462 10 0 0 25 0 33 0 653709502 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1353/tid=1374] ppid=1351 vsize=1373828 CPUtime=24.74 cores=0-31
/proc/1353/task/1374/stat : 1374 (plingeling) R 1351 1353 1327 0 -1 4202560 7683 1245 0 0 2467 7 0 0 25 0 33 0 653709502 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1353/tid=1375] ppid=1351 vsize=1373828 CPUtime=24.64 cores=0-31
/proc/1353/task/1375/stat : 1375 (plingeling) R 1351 1353 1327 0 -1 4202560 9363 1245 0 0 2448 16 0 0 25 0 33 0 653709503 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1353/tid=1376] ppid=1351 vsize=1373828 CPUtime=24.71 cores=0-31
/proc/1353/task/1376/stat : 1376 (plingeling) R 1351 1353 1327 0 -1 4202560 8384 1245 0 0 2458 13 0 0 25 0 33 0 653709503 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1353/tid=1377] ppid=1351 vsize=1373828 CPUtime=24.63 cores=0-31
/proc/1353/task/1377/stat : 1377 (plingeling) R 1351 1353 1327 0 -1 4202560 9062 1245 0 0 2448 15 0 0 25 0 33 0 653709503 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1353/tid=1378] ppid=1351 vsize=1373828 CPUtime=24.67 cores=0-31
/proc/1353/task/1378/stat : 1378 (plingeling) R 1351 1353 1327 0 -1 4202560 7308 1245 0 0 2451 16 0 0 25 0 33 0 653709504 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4276007 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1353/tid=1379] ppid=1351 vsize=1373828 CPUtime=24.68 cores=0-31
/proc/1353/task/1379/stat : 1379 (plingeling) R 1351 1353 1327 0 -1 4202560 8253 1245 0 0 2453 15 0 0 25 0 33 0 653709504 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1353/tid=1380] ppid=1351 vsize=1373828 CPUtime=24.75 cores=0-31
/proc/1353/task/1380/stat : 1380 (plingeling) R 1351 1353 1327 0 -1 4202560 8430 1245 0 0 2469 6 0 0 25 0 33 0 653709504 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4236991 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1353/tid=1381] ppid=1351 vsize=1373828 CPUtime=24.69 cores=0-31
/proc/1353/task/1381/stat : 1381 (plingeling) R 1351 1353 1327 0 -1 4202560 8694 1245 0 0 2458 11 0 0 25 0 33 0 653709505 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4365184 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1353/tid=1382] ppid=1351 vsize=1373828 CPUtime=24.71 cores=0-31
/proc/1353/task/1382/stat : 1382 (plingeling) R 1351 1353 1327 0 -1 4202560 7819 1245 0 0 2458 13 0 0 25 0 33 0 653709505 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1353/tid=1383] ppid=1351 vsize=1373828 CPUtime=24.1 cores=0-31
/proc/1353/task/1383/stat : 1383 (plingeling) R 1351 1353 1327 0 -1 4202560 8153 1245 0 0 2402 8 0 0 25 0 33 0 653709505 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1353/tid=1384] ppid=1351 vsize=1373828 CPUtime=24.6 cores=0-31
/proc/1353/task/1384/stat : 1384 (plingeling) R 1351 1353 1327 0 -1 4202560 8944 1245 0 0 2450 10 0 0 25 0 33 0 653709506 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4355852 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1353/tid=1385] ppid=1351 vsize=1373828 CPUtime=24.73 cores=0-31
/proc/1353/task/1385/stat : 1385 (plingeling) R 1351 1353 1327 0 -1 4202560 11485 1245 0 0 2465 8 0 0 25 0 33 0 653709506 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1353/tid=1386] ppid=1351 vsize=1373828 CPUtime=24.7 cores=0-31
/proc/1353/task/1386/stat : 1386 (plingeling) R 1351 1353 1327 0 -1 4202560 6759 1245 0 0 2455 15 0 0 25 0 33 0 653709506 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1353/tid=1387] ppid=1351 vsize=1373828 CPUtime=24.69 cores=0-31
/proc/1353/task/1387/stat : 1387 (plingeling) R 1351 1353 1327 0 -1 4202560 8997 1245 0 0 2459 10 0 0 25 0 33 0 653709507 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1353/tid=1388] ppid=1351 vsize=1373828 CPUtime=24.71 cores=0-31
/proc/1353/task/1388/stat : 1388 (plingeling) R 1351 1353 1327 0 -1 4202560 15816 1245 0 0 2454 17 0 0 25 0 33 0 653709507 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1353/tid=1389] ppid=1351 vsize=1373828 CPUtime=24.51 cores=0-31
/proc/1353/task/1389/stat : 1389 (plingeling) R 1351 1353 1327 0 -1 4202560 11006 1245 0 0 2440 11 0 0 25 0 33 0 653709508 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4281649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1353/tid=1390] ppid=1351 vsize=1373828 CPUtime=24.68 cores=0-31
/proc/1353/task/1390/stat : 1390 (plingeling) R 1351 1353 1327 0 -1 4202560 6611 1245 0 0 2461 7 0 0 25 0 33 0 653709508 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4357263 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1353/tid=1391] ppid=1351 vsize=1373828 CPUtime=24.71 cores=0-31
/proc/1353/task/1391/stat : 1391 (plingeling) R 1351 1353 1327 0 -1 4202560 8495 1245 0 0 2455 16 0 0 25 0 33 0 653709509 1406799872 212210 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 816.14
Current children cumulated vsize (KiB) 1373828
[startup+102.303 s]
/proc/loadavg: 28.14 28.18 29.80 33/446 1393
/proc/meminfo: memFree=254442828/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=1628088 CPUtime=2452.91 cores=0-31
/proc/1353/stat : 1353 (plingeling) S 1351 1353 1327 0 -1 4202496 1030666 1245 0 0 244763 528 0 0 25 0 33 0 653706885 1667162112 279569 268435456000 4194304 4417452 140733355369088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1353/statm: 407022 279569 175 55 0 404908 0
[pid=1353/tid=1360] ppid=1351 vsize=1628088 CPUtime=76.03 cores=0-31
/proc/1353/task/1360/stat : 1360 (plingeling) R 1351 1353 1327 0 -1 4202560 17125 1245 0 0 7595 8 0 0 25 0 33 0 653709499 1667162112 279569 268435456000 4194304 4417452 140733355369088 18446744073709551615 4356502 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1353/tid=1361] ppid=1351 vsize=1628088 CPUtime=75.91 cores=0-31
/proc/1353/task/1361/stat : 1361 (plingeling) R 1351 1353 1327 0 -1 4202560 12899 1245 0 0 7574 17 0 0 25 0 33 0 653709499 1667162112 279569 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1353/tid=1362] ppid=1351 vsize=1628088 CPUtime=75.87 cores=0-31
/proc/1353/task/1362/stat : 1362 (plingeling) R 1351 1353 1327 0 -1 4202560 11021 1245 0 0 7575 12 0 0 25 0 33 0 653709499 1667162112 279569 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1353/tid=1363] ppid=1351 vsize=1628088 CPUtime=76.05 cores=0-31
/proc/1353/task/1363/stat : 1363 (plingeling) R 1351 1353 1327 0 -1 4202560 5316 1245 0 0 7599 6 0 0 25 0 33 0 653709500 1667162112 279569 268435456000 4194304 4417452 140733355369088 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1353/tid=1364] ppid=1351 vsize=1628088 CPUtime=75.89 cores=0-31
/proc/1353/task/1364/stat : 1364 (plingeling) R 1351 1353 1327 0 -1 4202560 16830 1245 0 0 7580 9 0 0 25 0 33 0 653709500 1667162112 279569 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1353/tid=1365] ppid=1351 vsize=1628088 CPUtime=76.02 cores=0-31
/proc/1353/task/1365/stat : 1365 (plingeling) R 1351 1353 1327 0 -1 4202560 13044 1245 0 0 7593 9 0 0 25 0 33 0 653709500 1667162112 279569 268435456000 4194304 4417452 140733355369088 18446744073709551615 4250945 0 0 4096 17442 0 0 0 -1 16 0 0 0
################
# More data... #
################
/proc/1353/task/1385/stat : 1385 (plingeling) R 1351 1353 1327 0 -1 4202560 320734 1245 0 0 352085 224 0 0 25 0 33 0 653709506 3264323584 671490 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1353/tid=1386] ppid=1351 vsize=3187816 CPUtime=3523.31 cores=0-31
/proc/1353/task/1386/stat : 1386 (plingeling) R 1351 1353 1327 0 -1 4202560 405034 1245 0 0 352030 301 0 0 25 0 33 0 653709506 3264323584 671490 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1353/tid=1387] ppid=1351 vsize=3187816 CPUtime=3523.04 cores=0-31
/proc/1353/task/1387/stat : 1387 (plingeling) R 1351 1353 1327 0 -1 4202560 337349 1245 0 0 352028 276 0 0 25 0 33 0 653709507 3264323584 671490 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1353/tid=1388] ppid=1351 vsize=3187816 CPUtime=3523.05 cores=0-31
/proc/1353/task/1388/stat : 1388 (plingeling) R 1351 1353 1327 0 -1 4202560 349949 1245 0 0 352028 277 0 0 25 0 33 0 653709507 3264323584 671490 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1353/tid=1389] ppid=1351 vsize=3187816 CPUtime=3509.04 cores=0-31
/proc/1353/task/1389/stat : 1389 (plingeling) R 1351 1353 1327 0 -1 4202560 468103 1245 0 0 350559 345 0 0 25 0 33 0 653709508 3264323584 671490 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1353/tid=1390] ppid=1351 vsize=3187816 CPUtime=3521.68 cores=0-31
/proc/1353/task/1390/stat : 1390 (plingeling) R 1351 1353 1327 0 -1 4202560 346483 1245 0 0 351853 315 0 0 25 0 33 0 653709508 3264323584 671490 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1353/tid=1391] ppid=1351 vsize=3187816 CPUtime=3523.22 cores=0-31
/proc/1353/task/1391/stat : 1391 (plingeling) R 1351 1353 1327 0 -1 4202560 270892 1245 0 0 352070 252 0 0 25 0 33 0 653709509 3264323584 671490 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 112663
Current children cumulated vsize (KiB) 3187816
[startup+3551.3 s]
/proc/loadavg: 32.27 32.15 32.03 33/446 1970
/proc/meminfo: memFree=252879792/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=3173868 CPUtime=112689 cores=0-31
/proc/1353/stat : 1353 (plingeling) S 1351 1353 1327 0 -1 4202496 10757013 1245 0 0 11260500 8386 0 0 25 0 33 0 653706885 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1353/statm: 793467 668003 175 55 0 791353 0
[pid=1353/tid=1360] ppid=1351 vsize=3173868 CPUtime=3517.97 cores=0-31
/proc/1353/task/1360/stat : 1360 (plingeling) R 1351 1353 1327 0 -1 4202560 293481 1245 0 0 351576 221 0 0 25 0 33 0 653709499 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1353/tid=1361] ppid=1351 vsize=3173868 CPUtime=3524.04 cores=0-31
/proc/1353/task/1361/stat : 1361 (plingeling) R 1351 1353 1327 0 -1 4202560 209780 1245 0 0 352270 134 0 0 25 0 33 0 653709499 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1353/tid=1362] ppid=1351 vsize=3173868 CPUtime=3523.66 cores=0-31
/proc/1353/task/1362/stat : 1362 (plingeling) R 1351 1353 1327 0 -1 4202560 398567 1245 0 0 352056 310 0 0 25 0 33 0 653709499 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1353/tid=1363] ppid=1351 vsize=3173868 CPUtime=3522.47 cores=0-31
/proc/1353/task/1363/stat : 1363 (plingeling) R 1351 1353 1327 0 -1 4202560 145061 1245 0 0 352047 200 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1353/tid=1364] ppid=1351 vsize=3173868 CPUtime=3524.02 cores=0-31
/proc/1353/task/1364/stat : 1364 (plingeling) R 1351 1353 1327 0 -1 4202560 204883 1245 0 0 352268 134 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1353/tid=1365] ppid=1351 vsize=3173868 CPUtime=3524.25 cores=0-31
/proc/1353/task/1365/stat : 1365 (plingeling) R 1351 1353 1327 0 -1 4202560 358148 1245 0 0 352077 348 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4366331 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1353/tid=1366] ppid=1351 vsize=3173868 CPUtime=3521.49 cores=0-31
/proc/1353/task/1366/stat : 1366 (plingeling) R 1351 1353 1327 0 -1 4202560 324368 1245 0 0 351839 310 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1353/tid=1367] ppid=1351 vsize=3173868 CPUtime=3524.07 cores=0-31
/proc/1353/task/1367/stat : 1367 (plingeling) R 1351 1353 1327 0 -1 4202560 347557 1245 0 0 352131 276 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1353/tid=1368] ppid=1351 vsize=3173868 CPUtime=3523.7 cores=0-31
/proc/1353/task/1368/stat : 1368 (plingeling) R 1351 1353 1327 0 -1 4202560 376399 1245 0 0 352042 328 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1353/tid=1369] ppid=1351 vsize=3173868 CPUtime=3500.27 cores=0-31
/proc/1353/task/1369/stat : 1369 (plingeling) R 1351 1353 1327 0 -1 4202560 249769 1245 0 0 349850 177 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1353/tid=1370] ppid=1351 vsize=3173868 CPUtime=3520.3 cores=0-31
/proc/1353/task/1370/stat : 1370 (plingeling) R 1351 1353 1327 0 -1 4202560 213999 1245 0 0 351858 172 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1353/tid=1371] ppid=1351 vsize=3173868 CPUtime=3524.07 cores=0-31
/proc/1353/task/1371/stat : 1371 (plingeling) R 1351 1353 1327 0 -1 4202560 450808 1245 0 0 351961 446 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1353/tid=1372] ppid=1351 vsize=3173868 CPUtime=3520.09 cores=0-31
/proc/1353/task/1372/stat : 1372 (plingeling) R 1351 1353 1327 0 -1 4202560 466999 1245 0 0 351703 306 0 0 25 0 33 0 653709502 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1353/tid=1373] ppid=1351 vsize=3173868 CPUtime=3521.89 cores=0-31
/proc/1353/task/1373/stat : 1373 (plingeling) R 1351 1353 1327 0 -1 4202560 326415 1245 0 0 351876 313 0 0 25 0 33 0 653709502 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1353/tid=1374] ppid=1351 vsize=3173868 CPUtime=3524.08 cores=0-31
/proc/1353/task/1374/stat : 1374 (plingeling) R 1351 1353 1327 0 -1 4202560 398031 1245 0 0 352105 303 0 0 25 0 33 0 653709502 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1353/tid=1375] ppid=1351 vsize=3173868 CPUtime=3523.7 cores=0-31
/proc/1353/task/1375/stat : 1375 (plingeling) R 1351 1353 1327 0 -1 4202560 386118 1245 0 0 352057 313 0 0 25 0 33 0 653709503 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1353/tid=1376] ppid=1351 vsize=3173868 CPUtime=3524.01 cores=0-31
/proc/1353/task/1376/stat : 1376 (plingeling) R 1351 1353 1327 0 -1 4202560 339744 1245 0 0 352123 278 0 0 25 0 33 0 653709503 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1353/tid=1377] ppid=1351 vsize=3173868 CPUtime=3523.86 cores=0-31
/proc/1353/task/1377/stat : 1377 (plingeling) R 1351 1353 1327 0 -1 4202560 336219 1245 0 0 352049 337 0 0 25 0 33 0 653709503 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1353/tid=1378] ppid=1351 vsize=3173868 CPUtime=3523.61 cores=0-31
/proc/1353/task/1378/stat : 1378 (plingeling) R 1351 1353 1327 0 -1 4202560 198674 1245 0 0 352193 168 0 0 25 0 33 0 653709504 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1353/tid=1379] ppid=1351 vsize=3173868 CPUtime=3524.18 cores=0-31
/proc/1353/task/1379/stat : 1379 (plingeling) R 1351 1353 1327 0 -1 4202560 113780 1245 0 0 352378 40 0 0 25 0 33 0 653709504 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1353/tid=1380] ppid=1351 vsize=3173868 CPUtime=3524 cores=0-31
/proc/1353/task/1380/stat : 1380 (plingeling) R 1351 1353 1327 0 -1 4202560 514652 1245 0 0 351984 416 0 0 25 0 33 0 653709504 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1353/tid=1381] ppid=1351 vsize=3173868 CPUtime=3524.06 cores=0-31
/proc/1353/task/1381/stat : 1381 (plingeling) R 1351 1353 1327 0 -1 4202560 229885 1245 0 0 352271 135 0 0 25 0 33 0 653709505 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1353/tid=1382] ppid=1351 vsize=3173868 CPUtime=3523.91 cores=0-31
/proc/1353/task/1382/stat : 1382 (plingeling) R 1351 1353 1327 0 -1 4202560 283469 1245 0 0 352165 226 0 0 25 0 33 0 653709505 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1353/tid=1383] ppid=1351 vsize=3173868 CPUtime=3496.73 cores=0-31
/proc/1353/task/1383/stat : 1383 (plingeling) R 1351 1353 1327 0 -1 4202560 395706 1245 0 0 349332 341 0 0 25 0 33 0 653709505 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1353/tid=1384] ppid=1351 vsize=3173868 CPUtime=3505.93 cores=0-31
/proc/1353/task/1384/stat : 1384 (plingeling) R 1351 1353 1327 0 -1 4202560 113473 1245 0 0 350559 34 0 0 25 0 33 0 653709506 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1353/tid=1385] ppid=1351 vsize=3173868 CPUtime=3523.89 cores=0-31
/proc/1353/task/1385/stat : 1385 (plingeling) R 1351 1353 1327 0 -1 4202560 320734 1245 0 0 352165 224 0 0 25 0 33 0 653709506 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1353/tid=1386] ppid=1351 vsize=3173868 CPUtime=3524.11 cores=0-31
/proc/1353/task/1386/stat : 1386 (plingeling) R 1351 1353 1327 0 -1 4202560 405034 1245 0 0 352110 301 0 0 25 0 33 0 653709506 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1353/tid=1387] ppid=1351 vsize=3173868 CPUtime=3523.84 cores=0-31
/proc/1353/task/1387/stat : 1387 (plingeling) R 1351 1353 1327 0 -1 4202560 337349 1245 0 0 352108 276 0 0 25 0 33 0 653709507 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1353/tid=1388] ppid=1351 vsize=3173868 CPUtime=3523.85 cores=0-31
/proc/1353/task/1388/stat : 1388 (plingeling) R 1351 1353 1327 0 -1 4202560 349949 1245 0 0 352108 277 0 0 25 0 33 0 653709507 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1353/tid=1389] ppid=1351 vsize=3173868 CPUtime=3509.84 cores=0-31
/proc/1353/task/1389/stat : 1389 (plingeling) R 1351 1353 1327 0 -1 4202560 468103 1245 0 0 350639 345 0 0 25 0 33 0 653709508 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4250982 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1353/tid=1390] ppid=1351 vsize=3173868 CPUtime=3522.48 cores=0-31
/proc/1353/task/1390/stat : 1390 (plingeling) R 1351 1353 1327 0 -1 4202560 346483 1245 0 0 351933 315 0 0 25 0 33 0 653709508 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1353/tid=1391] ppid=1351 vsize=3173868 CPUtime=3524.02 cores=0-31
/proc/1353/task/1391/stat : 1391 (plingeling) R 1351 1353 1327 0 -1 4202560 270892 1245 0 0 352150 252 0 0 25 0 33 0 653709509 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 112689
Current children cumulated vsize (KiB) 3173868
[startup+3552.12 s]
/proc/loadavg: 32.27 32.15 32.03 33/446 1970
/proc/meminfo: memFree=252894424/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=3173868 CPUtime=112715 cores=0-31
/proc/1353/stat : 1353 (plingeling) S 1351 1353 1327 0 -1 4202496 10757013 1245 0 0 11263120 8386 0 0 25 0 33 0 653706885 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/1353/statm: 793467 668003 175 55 0 791353 0
[pid=1353/tid=1360] ppid=1351 vsize=3173868 CPUtime=3518.79 cores=0-31
/proc/1353/task/1360/stat : 1360 (plingeling) R 1351 1353 1327 0 -1 4202560 293481 1245 0 0 351658 221 0 0 25 0 33 0 653709499 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1353/tid=1361] ppid=1351 vsize=3173868 CPUtime=3524.86 cores=0-31
/proc/1353/task/1361/stat : 1361 (plingeling) R 1351 1353 1327 0 -1 4202560 209780 1245 0 0 352352 134 0 0 25 0 33 0 653709499 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1353/tid=1362] ppid=1351 vsize=3173868 CPUtime=3524.48 cores=0-31
/proc/1353/task/1362/stat : 1362 (plingeling) R 1351 1353 1327 0 -1 4202560 398567 1245 0 0 352138 310 0 0 25 0 33 0 653709499 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1353/tid=1363] ppid=1351 vsize=3173868 CPUtime=3523.29 cores=0-31
/proc/1353/task/1363/stat : 1363 (plingeling) R 1351 1353 1327 0 -1 4202560 145061 1245 0 0 352129 200 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1353/tid=1364] ppid=1351 vsize=3173868 CPUtime=3524.84 cores=0-31
/proc/1353/task/1364/stat : 1364 (plingeling) R 1351 1353 1327 0 -1 4202560 204883 1245 0 0 352350 134 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1353/tid=1365] ppid=1351 vsize=3173868 CPUtime=3525.07 cores=0-31
/proc/1353/task/1365/stat : 1365 (plingeling) R 1351 1353 1327 0 -1 4202560 358148 1245 0 0 352159 348 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1353/tid=1366] ppid=1351 vsize=3173868 CPUtime=3522.3 cores=0-31
/proc/1353/task/1366/stat : 1366 (plingeling) R 1351 1353 1327 0 -1 4202560 324368 1245 0 0 351920 310 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1353/tid=1367] ppid=1351 vsize=3173868 CPUtime=3524.89 cores=0-31
/proc/1353/task/1367/stat : 1367 (plingeling) R 1351 1353 1327 0 -1 4202560 347557 1245 0 0 352213 276 0 0 25 0 33 0 653709500 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1353/tid=1368] ppid=1351 vsize=3173868 CPUtime=3524.52 cores=0-31
/proc/1353/task/1368/stat : 1368 (plingeling) R 1351 1353 1327 0 -1 4202560 376399 1245 0 0 352124 328 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1353/tid=1369] ppid=1351 vsize=3173868 CPUtime=3501.06 cores=0-31
/proc/1353/task/1369/stat : 1369 (plingeling) R 1351 1353 1327 0 -1 4202560 249769 1245 0 0 349929 177 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1353/tid=1370] ppid=1351 vsize=3173868 CPUtime=3521.12 cores=0-31
/proc/1353/task/1370/stat : 1370 (plingeling) R 1351 1353 1327 0 -1 4202560 213999 1245 0 0 351940 172 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1353/tid=1371] ppid=1351 vsize=3173868 CPUtime=3524.89 cores=0-31
/proc/1353/task/1371/stat : 1371 (plingeling) R 1351 1353 1327 0 -1 4202560 450808 1245 0 0 352043 446 0 0 25 0 33 0 653709501 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1353/tid=1372] ppid=1351 vsize=3173868 CPUtime=3520.91 cores=0-31
/proc/1353/task/1372/stat : 1372 (plingeling) R 1351 1353 1327 0 -1 4202560 466999 1245 0 0 351785 306 0 0 25 0 33 0 653709502 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4353776 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1353/tid=1373] ppid=1351 vsize=3173868 CPUtime=3522.71 cores=0-31
/proc/1353/task/1373/stat : 1373 (plingeling) R 1351 1353 1327 0 -1 4202560 326415 1245 0 0 351958 313 0 0 25 0 33 0 653709502 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1353/tid=1374] ppid=1351 vsize=3173868 CPUtime=3524.9 cores=0-31
/proc/1353/task/1374/stat : 1374 (plingeling) R 1351 1353 1327 0 -1 4202560 398031 1245 0 0 352187 303 0 0 25 0 33 0 653709502 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1353/tid=1375] ppid=1351 vsize=3173868 CPUtime=3524.52 cores=0-31
/proc/1353/task/1375/stat : 1375 (plingeling) R 1351 1353 1327 0 -1 4202560 386118 1245 0 0 352139 313 0 0 25 0 33 0 653709503 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1353/tid=1376] ppid=1351 vsize=3173868 CPUtime=3524.83 cores=0-31
/proc/1353/task/1376/stat : 1376 (plingeling) R 1351 1353 1327 0 -1 4202560 339744 1245 0 0 352205 278 0 0 25 0 33 0 653709503 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1353/tid=1377] ppid=1351 vsize=3173868 CPUtime=3524.68 cores=0-31
/proc/1353/task/1377/stat : 1377 (plingeling) R 1351 1353 1327 0 -1 4202560 336219 1245 0 0 352131 337 0 0 25 0 33 0 653709503 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1353/tid=1378] ppid=1351 vsize=3173868 CPUtime=3524.43 cores=0-31
/proc/1353/task/1378/stat : 1378 (plingeling) R 1351 1353 1327 0 -1 4202560 198674 1245 0 0 352275 168 0 0 25 0 33 0 653709504 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1353/tid=1379] ppid=1351 vsize=3173868 CPUtime=3525 cores=0-31
/proc/1353/task/1379/stat : 1379 (plingeling) R 1351 1353 1327 0 -1 4202560 113780 1245 0 0 352460 40 0 0 25 0 33 0 653709504 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4241889 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1353/tid=1380] ppid=1351 vsize=3173868 CPUtime=3524.82 cores=0-31
/proc/1353/task/1380/stat : 1380 (plingeling) R 1351 1353 1327 0 -1 4202560 514652 1245 0 0 352066 416 0 0 25 0 33 0 653709504 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1353/tid=1381] ppid=1351 vsize=3173868 CPUtime=3524.88 cores=0-31
/proc/1353/task/1381/stat : 1381 (plingeling) R 1351 1353 1327 0 -1 4202560 229885 1245 0 0 352353 135 0 0 25 0 33 0 653709505 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1353/tid=1382] ppid=1351 vsize=3173868 CPUtime=3524.73 cores=0-31
/proc/1353/task/1382/stat : 1382 (plingeling) R 1351 1353 1327 0 -1 4202560 283469 1245 0 0 352247 226 0 0 25 0 33 0 653709505 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1353/tid=1383] ppid=1351 vsize=3173868 CPUtime=3497.55 cores=0-31
/proc/1353/task/1383/stat : 1383 (plingeling) R 1351 1353 1327 0 -1 4202560 395706 1245 0 0 349414 341 0 0 25 0 33 0 653709505 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1353/tid=1384] ppid=1351 vsize=3173868 CPUtime=3506.75 cores=0-31
/proc/1353/task/1384/stat : 1384 (plingeling) R 1351 1353 1327 0 -1 4202560 113473 1245 0 0 350641 34 0 0 25 0 33 0 653709506 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1353/tid=1385] ppid=1351 vsize=3173868 CPUtime=3524.71 cores=0-31
/proc/1353/task/1385/stat : 1385 (plingeling) R 1351 1353 1327 0 -1 4202560 320734 1245 0 0 352247 224 0 0 25 0 33 0 653709506 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1353/tid=1386] ppid=1351 vsize=3173868 CPUtime=3524.93 cores=0-31
/proc/1353/task/1386/stat : 1386 (plingeling) R 1351 1353 1327 0 -1 4202560 405034 1245 0 0 352192 301 0 0 25 0 33 0 653709506 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1353/tid=1387] ppid=1351 vsize=3173868 CPUtime=3524.66 cores=0-31
/proc/1353/task/1387/stat : 1387 (plingeling) R 1351 1353 1327 0 -1 4202560 337349 1245 0 0 352190 276 0 0 25 0 33 0 653709507 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1353/tid=1388] ppid=1351 vsize=3173868 CPUtime=3524.67 cores=0-31
/proc/1353/task/1388/stat : 1388 (plingeling) R 1351 1353 1327 0 -1 4202560 349949 1245 0 0 352190 277 0 0 25 0 33 0 653709507 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4366102 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1353/tid=1389] ppid=1351 vsize=3173868 CPUtime=3510.66 cores=0-31
/proc/1353/task/1389/stat : 1389 (plingeling) R 1351 1353 1327 0 -1 4202560 468103 1245 0 0 350721 345 0 0 25 0 33 0 653709508 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1353/tid=1390] ppid=1351 vsize=3173868 CPUtime=3523.3 cores=0-31
/proc/1353/task/1390/stat : 1390 (plingeling) R 1351 1353 1327 0 -1 4202560 346483 1245 0 0 352015 315 0 0 25 0 33 0 653709508 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1353/tid=1391] ppid=1351 vsize=3173868 CPUtime=3524.84 cores=0-31
/proc/1353/task/1391/stat : 1391 (plingeling) R 1351 1353 1327 0 -1 4202560 270892 1245 0 0 352232 252 0 0 25 0 33 0 653709509 3250040832 668003 268435456000 4194304 4417452 140733355369088 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 112715
Current children cumulated vsize (KiB) 3173868
[startup+3552.5 s]
/proc/loadavg: 32.27 32.15 32.03 33/446 1970
/proc/meminfo: memFree=252894424/264257624 swapFree=67111528/67111528
[pid=1353] ppid=1351 vsize=1227544 CPUtime=112718 cores=0-31
/proc/1353/stat : 1353 (plingeling) R 1351 1353 1327 0 -1 4202496 10757014 1245 0 0 11263389 8403 0 0 17 0 1 0 653706885 1257005056 229877 268435456000 4194304 4417452 140733355369088 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1353/statm: 306886 229365 176 55 0 304772 0
Current children cumulated CPU time (s) 112718
Current children cumulated vsize (KiB) 1227544
Child status: 20
Real time (s): 3552.6
CPU time (s): 112718
CPU user time (s): 112634
CPU system time (s): 84.1352
CPU usage (%): 3172.84
Max. virtual memory (cumulated for all children) (KiB): 3613116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 112634
system time used= 84.1352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10758263
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= 9004
involuntary context switches= 296018
runsolver used 17.9603 second user time and 82.4535 second system time
The end
Begin job on node200 at 2011-05-15 03:16:45
IDJOB=3372108
IDBENCH=20365
IDSOLVER=1852
FILE ID=node200/3372108-1305422203
RUNJOBID= node200-1305422203-1341
PBS_JOBID= 13285499
Free space on /tmp= 62028 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372108-1305422203/watcher-3372108-1305422203 -o /tmp/evaluation-result-3372108-1305422203/solver-3372108-1305422203 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372108-1305422203.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED=123430139
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: 255562464 kB
Buffers: 438752 kB
Cached: 7853236 kB
SwapCached: 0 kB
Active: 7402168 kB
Inactive: 958776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255562464 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 24996 kB
Writeback: 0 kB
AnonPages: 69088 kB
Mapped: 14320 kB
Slab: 250648 kB
PageTables: 4548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187916 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-15 04:15:57