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-3372285-1305545099/watcher-3372285-1305545099 -o /tmp/evaluation-result-3372285-1305545099/solver-3372285-1305545099 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372285-1305545099.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: 31.70 31.26 31.67 1/413 17558
/proc/meminfo: memFree=255572912/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=14108 CPUtime=0.02 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 1608 1242 0 0 2 0 0 0 22 0 1 0 665996352 14446592 1539 268435456000 4194304 4417452 140737113700432 18446744073709551615 4227779 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 3527 1539 145 55 0 1413 0
[startup+0.066161 s]
/proc/loadavg: 31.70 31.26 31.67 1/413 17558
/proc/meminfo: memFree=255572912/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=16048 CPUtime=0.05 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 2101 1242 0 0 5 0 0 0 22 0 1 0 665996352 16433152 2032 268435456000 4194304 4417452 140737113700432 18446744073709551615 258650649796 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 4060 2048 145 55 0 1946 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16048
[startup+0.101144 s]
/proc/loadavg: 31.70 31.26 31.67 1/413 17558
/proc/meminfo: memFree=255572912/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=18544 CPUtime=0.08 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 2725 1242 0 0 8 0 0 0 22 0 1 0 665996352 18989056 2656 268435456000 4194304 4417452 140737113700432 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 4636 2656 145 55 0 2522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18544
[startup+0.301193 s]
/proc/loadavg: 31.70 31.26 31.67 1/413 17558
/proc/meminfo: memFree=255572912/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=38340 CPUtime=0.29 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 7651 1242 0 0 27 2 0 0 23 0 1 0 665996352 39260160 7582 268435456000 4194304 4417452 140737113700432 18446744073709551615 258650649791 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 9585 7582 146 55 0 7471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38340
[startup+0.701173 s]
/proc/loadavg: 31.70 31.26 31.67 1/413 17558
/proc/meminfo: memFree=255572912/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=65156 CPUtime=0.68 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 14347 1242 0 0 64 4 0 0 25 0 1 0 665996352 66719744 14278 268435456000 4194304 4417452 140737113700432 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 16289 14278 146 55 0 14175 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 65156
[startup+1.50121 s]
/proc/loadavg: 31.70 31.26 31.67 2/414 17564
/proc/meminfo: memFree=255498308/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=152472 CPUtime=1.49 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 36208 1242 0 0 139 10 0 0 25 0 1 0 665996352 156131328 36139 268435456000 4194304 4417452 140737113700432 18446744073709551615 4259153 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 38118 36139 146 55 0 36004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152472
[startup+3.10129 s]
/proc/loadavg: 31.70 31.26 31.67 2/414 17564
/proc/meminfo: memFree=255351492/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=293476 CPUtime=3.08 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 71463 1242 0 0 292 16 0 0 25 0 1 0 665996352 300519424 71390 268435456000 4194304 4417452 140737113700432 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 73369 71390 146 55 0 71255 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293476
[startup+6.30037 s]
/proc/loadavg: 29.24 30.75 31.50 2/414 17564
/proc/meminfo: memFree=255004764/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=574628 CPUtime=6.29 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 141751 1242 0 0 598 31 0 0 25 0 1 0 665996352 588419072 141678 268435456000 4194304 4417452 140737113700432 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17558/statm: 143657 141678 146 55 0 141543 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 574628
[startup+12.7015 s]
/proc/loadavg: 29.46 30.77 31.50 34/446 17596
/proc/meminfo: memFree=254263968/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=1676832 CPUtime=165.84 cores=0-31
/proc/17558/stat : 17558 (plingeling) S 17556 17558 17268 0 -1 4202496 505060 1242 0 0 16165 419 0 0 18 0 33 0 665996352 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/17558/statm: 419208 309960 173 55 0 417094 0
[pid=17558/tid=17565] ppid=17556 vsize=1676832 CPUtime=5 cores=0-31
/proc/17558/task/17565/stat : 17565 (plingeling) R 17556 17558 17268 0 -1 4202560 5758 1242 0 0 491 9 0 0 25 0 33 0 665997109 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17558/tid=17566] ppid=17556 vsize=1676832 CPUtime=5.01 cores=0-31
/proc/17558/task/17566/stat : 17566 (plingeling) R 17556 17558 17268 0 -1 4202560 9260 1242 0 0 492 9 0 0 18 0 33 0 665997109 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17558/tid=17567] ppid=17556 vsize=1676832 CPUtime=5.07 cores=0-31
/proc/17558/task/17567/stat : 17567 (plingeling) R 17556 17558 17268 0 -1 4202560 3839 1242 0 0 501 6 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17558/tid=17568] ppid=17556 vsize=1676832 CPUtime=5.1 cores=0-31
/proc/17558/task/17568/stat : 17568 (plingeling) R 17556 17558 17268 0 -1 4202560 2257 1242 0 0 508 2 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17558/tid=17569] ppid=17556 vsize=1676832 CPUtime=5.04 cores=0-31
/proc/17558/task/17569/stat : 17569 (plingeling) R 17556 17558 17268 0 -1 4202560 7598 1242 0 0 493 11 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346555 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17558/tid=17570] ppid=17556 vsize=1676832 CPUtime=4.85 cores=0-31
/proc/17558/task/17570/stat : 17570 (plingeling) R 17556 17558 17268 0 -1 4202560 7069 1242 0 0 473 12 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4265807 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17558/tid=17571] ppid=17556 vsize=1676832 CPUtime=4.94 cores=0-31
/proc/17558/task/17571/stat : 17571 (plingeling) R 17556 17558 17268 0 -1 4202560 6715 1242 0 0 485 9 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17558/tid=17572] ppid=17556 vsize=1676832 CPUtime=4.91 cores=0-31
/proc/17558/task/17572/stat : 17572 (plingeling) R 17556 17558 17268 0 -1 4202560 7630 1242 0 0 479 12 0 0 19 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17558/tid=17573] ppid=17556 vsize=1676832 CPUtime=5.05 cores=0-31
/proc/17558/task/17573/stat : 17573 (plingeling) R 17556 17558 17268 0 -1 4202560 9414 1242 0 0 492 13 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4302078 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17558/tid=17574] ppid=17556 vsize=1676832 CPUtime=5 cores=0-31
/proc/17558/task/17574/stat : 17574 (plingeling) R 17556 17558 17268 0 -1 4202560 10370 1242 0 0 489 11 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346546 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17558/tid=17575] ppid=17556 vsize=1676832 CPUtime=5.03 cores=0-31
/proc/17558/task/17575/stat : 17575 (plingeling) R 17556 17558 17268 0 -1 4202560 3701 1242 0 0 496 7 0 0 25 0 33 0 665997110 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17558/tid=17576] ppid=17556 vsize=1676832 CPUtime=4.87 cores=0-31
/proc/17558/task/17576/stat : 17576 (plingeling) R 17556 17558 17268 0 -1 4202560 9304 1242 0 0 476 11 0 0 19 0 33 0 665997111 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17558/tid=17577] ppid=17556 vsize=1676832 CPUtime=4.88 cores=0-31
/proc/17558/task/17577/stat : 17577 (plingeling) R 17556 17558 17268 0 -1 4202560 8644 1242 0 0 476 12 0 0 25 0 33 0 665997111 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17558/tid=17578] ppid=17556 vsize=1676832 CPUtime=5.01 cores=0-31
/proc/17558/task/17578/stat : 17578 (plingeling) R 17556 17558 17268 0 -1 4202560 6838 1242 0 0 490 11 0 0 25 0 33 0 665997111 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17558/tid=17579] ppid=17556 vsize=1676832 CPUtime=4.92 cores=0-31
/proc/17558/task/17579/stat : 17579 (plingeling) R 17556 17558 17268 0 -1 4202560 7391 1242 0 0 486 6 0 0 25 0 33 0 665997111 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17558/tid=17580] ppid=17556 vsize=1676832 CPUtime=4.85 cores=0-31
/proc/17558/task/17580/stat : 17580 (plingeling) R 17556 17558 17268 0 -1 4202560 11245 1242 0 0 471 14 0 0 18 0 33 0 665997111 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17558/tid=17581] ppid=17556 vsize=1676832 CPUtime=4.88 cores=0-31
/proc/17558/task/17581/stat : 17581 (plingeling) R 17556 17558 17268 0 -1 4202560 15183 1242 0 0 473 15 0 0 25 0 33 0 665997111 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346643 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17558/tid=17582] ppid=17556 vsize=1676832 CPUtime=5 cores=0-31
/proc/17558/task/17582/stat : 17582 (plingeling) R 17556 17558 17268 0 -1 4202560 8389 1242 0 0 487 13 0 0 25 0 33 0 665997111 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17558/tid=17583] ppid=17556 vsize=1676832 CPUtime=5.01 cores=0-31
/proc/17558/task/17583/stat : 17583 (plingeling) R 17556 17558 17268 0 -1 4202560 8172 1242 0 0 491 10 0 0 25 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4270998 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17558/tid=17584] ppid=17556 vsize=1676832 CPUtime=4.97 cores=0-31
/proc/17558/task/17584/stat : 17584 (plingeling) R 17556 17558 17268 0 -1 4202560 9967 1242 0 0 485 12 0 0 25 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17558/tid=17585] ppid=17556 vsize=1676832 CPUtime=5.03 cores=0-31
/proc/17558/task/17585/stat : 17585 (plingeling) R 17556 17558 17268 0 -1 4202560 10928 1242 0 0 488 15 0 0 18 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17558/tid=17586] ppid=17556 vsize=1676832 CPUtime=4.78 cores=0-31
/proc/17558/task/17586/stat : 17586 (plingeling) R 17556 17558 17268 0 -1 4202560 10493 1242 0 0 465 13 0 0 25 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4345890 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17558/tid=17587] ppid=17556 vsize=1676832 CPUtime=4.78 cores=0-31
/proc/17558/task/17587/stat : 17587 (plingeling) R 17556 17558 17268 0 -1 4202560 8511 1242 0 0 465 13 0 0 25 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17558/tid=17588] ppid=17556 vsize=1676832 CPUtime=4.94 cores=0-31
/proc/17558/task/17588/stat : 17588 (plingeling) R 17556 17558 17268 0 -1 4202560 9409 1242 0 0 481 13 0 0 25 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346437 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17558/tid=17589] ppid=17556 vsize=1676832 CPUtime=4.9 cores=0-31
/proc/17558/task/17589/stat : 17589 (plingeling) R 17556 17558 17268 0 -1 4202560 10354 1242 0 0 478 12 0 0 25 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17558/tid=17590] ppid=17556 vsize=1676832 CPUtime=4.84 cores=0-31
/proc/17558/task/17590/stat : 17590 (plingeling) R 17556 17558 17268 0 -1 4202560 16163 1242 0 0 466 18 0 0 25 0 33 0 665997113 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17558/tid=17591] ppid=17556 vsize=1676832 CPUtime=4.99 cores=0-31
/proc/17558/task/17591/stat : 17591 (plingeling) R 17556 17558 17268 0 -1 4202560 9379 1242 0 0 490 9 0 0 25 0 33 0 665997114 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4320455 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17558/tid=17592] ppid=17556 vsize=1676832 CPUtime=4.84 cores=0-31
/proc/17558/task/17592/stat : 17592 (plingeling) R 17556 17558 17268 0 -1 4202560 12194 1242 0 0 466 18 0 0 25 0 33 0 665997114 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346394 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17558/tid=17593] ppid=17556 vsize=1676832 CPUtime=4.93 cores=0-31
/proc/17558/task/17593/stat : 17593 (plingeling) R 17556 17558 17268 0 -1 4202560 11046 1242 0 0 480 13 0 0 25 0 33 0 665997114 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346539 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17558/tid=17594] ppid=17556 vsize=1676832 CPUtime=4.84 cores=0-31
/proc/17558/task/17594/stat : 17594 (plingeling) R 17556 17558 17268 0 -1 4202560 11415 1242 0 0 471 13 0 0 25 0 33 0 665997114 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346677 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17558/tid=17595] ppid=17556 vsize=1676832 CPUtime=4.89 cores=0-31
/proc/17558/task/17595/stat : 17595 (plingeling) R 17556 17558 17268 0 -1 4202560 9098 1242 0 0 481 8 0 0 25 0 33 0 665997114 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17558/tid=17596] ppid=17556 vsize=1676832 CPUtime=4.82 cores=0-31
/proc/17558/task/17596/stat : 17596 (plingeling) R 17556 17558 17268 0 -1 4202560 10709 1242 0 0 474 8 0 0 25 0 33 0 665997114 1717075968 309960 268435456000 4194304 4417452 140737113700432 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 165.84
Current children cumulated vsize (KiB) 1676832
[startup+25.5019 s]
/proc/loadavg: 30.02 30.83 31.51 33/446 17596
/proc/meminfo: memFree=254614612/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=1411136 CPUtime=574.94 cores=0-31
/proc/17558/stat : 17558 (plingeling) S 17556 17558 17268 0 -1 4202496 516184 1242 0 0 57067 427 0 0 18 0 33 0 665996352 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/17558/statm: 352784 229537 175 55 0 350670 0
[pid=17558/tid=17565] ppid=17556 vsize=1411136 CPUtime=17.79 cores=0-31
/proc/17558/task/17565/stat : 17565 (plingeling) R 17556 17558 17268 0 -1 4202560 7343 1242 0 0 1770 9 0 0 25 0 33 0 665997109 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4365965 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17558/tid=17566] ppid=17556 vsize=1411136 CPUtime=17.81 cores=0-31
/proc/17558/task/17566/stat : 17566 (plingeling) R 17556 17558 17268 0 -1 4202560 10553 1242 0 0 1771 10 0 0 25 0 33 0 665997109 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17558/tid=17567] ppid=17556 vsize=1411136 CPUtime=17.86 cores=0-31
/proc/17558/task/17567/stat : 17567 (plingeling) R 17556 17558 17268 0 -1 4202560 4378 1242 0 0 1780 6 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4366500 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17558/tid=17568] ppid=17556 vsize=1411136 CPUtime=17.9 cores=0-31
/proc/17558/task/17568/stat : 17568 (plingeling) R 17556 17558 17268 0 -1 4202560 2257 1242 0 0 1788 2 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4236613 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17558/tid=17569] ppid=17556 vsize=1411136 CPUtime=17.83 cores=0-31
/proc/17558/task/17569/stat : 17569 (plingeling) R 17556 17558 17268 0 -1 4202560 7610 1242 0 0 1772 11 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17558/tid=17570] ppid=17556 vsize=1411136 CPUtime=17.64 cores=0-31
/proc/17558/task/17570/stat : 17570 (plingeling) R 17556 17558 17268 0 -1 4202560 7081 1242 0 0 1752 12 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4252987 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17558/tid=17571] ppid=17556 vsize=1411136 CPUtime=17.73 cores=0-31
/proc/17558/task/17571/stat : 17571 (plingeling) R 17556 17558 17268 0 -1 4202560 7831 1242 0 0 1764 9 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17558/tid=17572] ppid=17556 vsize=1411136 CPUtime=17.7 cores=0-31
/proc/17558/task/17572/stat : 17572 (plingeling) R 17556 17558 17268 0 -1 4202560 7642 1242 0 0 1758 12 0 0 23 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4272681 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17558/tid=17573] ppid=17556 vsize=1411136 CPUtime=17.85 cores=0-31
/proc/17558/task/17573/stat : 17573 (plingeling) R 17556 17558 17268 0 -1 4202560 9424 1242 0 0 1772 13 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17558/tid=17574] ppid=17556 vsize=1411136 CPUtime=17.79 cores=0-31
/proc/17558/task/17574/stat : 17574 (plingeling) R 17556 17558 17268 0 -1 4202560 11662 1242 0 0 1768 11 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4273677 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17558/tid=17575] ppid=17556 vsize=1411136 CPUtime=17.83 cores=0-31
/proc/17558/task/17575/stat : 17575 (plingeling) R 17556 17558 17268 0 -1 4202560 3728 1242 0 0 1776 7 0 0 25 0 33 0 665997110 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17558/tid=17576] ppid=17556 vsize=1411136 CPUtime=17.67 cores=0-31
/proc/17558/task/17576/stat : 17576 (plingeling) R 17556 17558 17268 0 -1 4202560 9315 1242 0 0 1756 11 0 0 25 0 33 0 665997111 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4270729 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17558/tid=17577] ppid=17556 vsize=1411136 CPUtime=17.67 cores=0-31
/proc/17558/task/17577/stat : 17577 (plingeling) R 17556 17558 17268 0 -1 4202560 8656 1242 0 0 1755 12 0 0 25 0 33 0 665997111 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17558/tid=17578] ppid=17556 vsize=1411136 CPUtime=17.82 cores=0-31
/proc/17558/task/17578/stat : 17578 (plingeling) R 17556 17558 17268 0 -1 4202560 6849 1242 0 0 1770 12 0 0 25 0 33 0 665997111 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4365188 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17558/tid=17579] ppid=17556 vsize=1411136 CPUtime=17.71 cores=0-31
/proc/17558/task/17579/stat : 17579 (plingeling) R 17556 17558 17268 0 -1 4202560 7418 1242 0 0 1765 6 0 0 25 0 33 0 665997111 1445003264 229537 268435456000 4194304 4417452 140737113700432 18446744073709551615 4281953 0 0 4096 17442 0 0 0 -1 12 0 0 0
################
# More data... #
################
/proc/17558/task/17590/stat : 17590 (plingeling) R 17556 17558 17268 0 -1 4202560 17208 1242 0 0 3824 19 0 0 25 0 33 0 665997113 1465151488 234504 268435456000 4194304 4417452 140737113700432 18446744073709551615 4250747 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17558/tid=17591] ppid=17556 vsize=1430812 CPUtime=38.58 cores=0-31
/proc/17558/task/17591/stat : 17591 (plingeling) R 17556 17558 17268 0 -1 4202560 11025 1242 0 0 3849 9 0 0 25 0 33 0 665997114 1465151488 234504 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17558/tid=17592] ppid=17556 vsize=1430812 CPUtime=38.42 cores=0-31
/proc/17558/task/17592/stat : 17592 (plingeling) R 17556 17558 17268 0 -1 4202560 13236 1242 0 0 3824 18 0 0 25 0 33 0 665997114 1465151488 234504 268435456000 4194304 4417452 140737113700432 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17558/tid=17593] ppid=17556 vsize=1430812 CPUtime=38.51 cores=0-31
/proc/17558/task/17593/stat : 17593 (plingeling) R 17556 17558 17268 0 -1 4202560 12091 1242 0 0 3838 13 0 0 25 0 33 0 665997114 1465151488 234504 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17558/tid=17594] ppid=17556 vsize=1430812 CPUtime=38.45 cores=0-31
/proc/17558/task/17594/stat : 17594 (plingeling) R 17556 17558 17268 0 -1 4202560 12454 1242 0 0 3831 14 0 0 25 0 33 0 665997114 1465151488 234504 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17558/tid=17595] ppid=17556 vsize=1430812 CPUtime=37.53 cores=0-31
/proc/17558/task/17595/stat : 17595 (plingeling) R 17556 17558 17268 0 -1 4202560 10144 1242 0 0 3744 9 0 0 25 0 33 0 665997114 1465151488 234504 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17558/tid=17596] ppid=17556 vsize=1430812 CPUtime=38.42 cores=0-31
/proc/17558/task/17596/stat : 17596 (plingeling) R 17556 17558 17268 0 -1 4202560 11988 1242 0 0 3833 9 0 0 25 0 33 0 665997114 1465151488 234504 268435456000 4194304 4417452 140737113700432 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1239.75
Current children cumulated vsize (KiB) 1430812
[startup+47.9017 s]
/proc/loadavg: 30.58 30.91 31.52 33/446 17598
/proc/meminfo: memFree=254616844/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=1422792 CPUtime=1290.91 cores=0-31
/proc/17558/stat : 17558 (plingeling) S 17556 17558 17268 0 -1 4202496 540221 1242 0 0 128656 435 0 0 18 0 33 0 665996352 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/17558/statm: 355698 232499 175 55 0 353584 0
[pid=17558/tid=17565] ppid=17556 vsize=1422792 CPUtime=40.19 cores=0-31
/proc/17558/task/17565/stat : 17565 (plingeling) R 17556 17558 17268 0 -1 4202560 8379 1242 0 0 4009 10 0 0 25 0 33 0 665997109 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17558/tid=17566] ppid=17556 vsize=1422792 CPUtime=40.2 cores=0-31
/proc/17558/task/17566/stat : 17566 (plingeling) R 17556 17558 17268 0 -1 4202560 11588 1242 0 0 4010 10 0 0 25 0 33 0 665997109 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17558/tid=17567] ppid=17556 vsize=1422792 CPUtime=40.24 cores=0-31
/proc/17558/task/17567/stat : 17567 (plingeling) R 17556 17558 17268 0 -1 4202560 4919 1242 0 0 4018 6 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17558/tid=17568] ppid=17556 vsize=1422792 CPUtime=40.3 cores=0-31
/proc/17558/task/17568/stat : 17568 (plingeling) R 17556 17558 17268 0 -1 4202560 2257 1242 0 0 4028 2 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17558/tid=17569] ppid=17556 vsize=1422792 CPUtime=40.22 cores=0-31
/proc/17558/task/17569/stat : 17569 (plingeling) R 17556 17558 17268 0 -1 4202560 8646 1242 0 0 4011 11 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4251063 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17558/tid=17570] ppid=17556 vsize=1422792 CPUtime=40.03 cores=0-31
/proc/17558/task/17570/stat : 17570 (plingeling) R 17556 17558 17268 0 -1 4202560 8112 1242 0 0 3991 12 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4310483 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17558/tid=17571] ppid=17556 vsize=1422792 CPUtime=40.13 cores=0-31
/proc/17558/task/17571/stat : 17571 (plingeling) R 17556 17558 17268 0 -1 4202560 8373 1242 0 0 4004 9 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17558/tid=17572] ppid=17556 vsize=1422792 CPUtime=40.09 cores=0-31
/proc/17558/task/17572/stat : 17572 (plingeling) R 17556 17558 17268 0 -1 4202560 8678 1242 0 0 3997 12 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4251096 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17558/tid=17573] ppid=17556 vsize=1422792 CPUtime=40.24 cores=0-31
/proc/17558/task/17573/stat : 17573 (plingeling) R 17556 17558 17268 0 -1 4202560 9436 1242 0 0 4011 13 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 18446744073699066043 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17558/tid=17574] ppid=17556 vsize=1422792 CPUtime=40.19 cores=0-31
/proc/17558/task/17574/stat : 17574 (plingeling) R 17556 17558 17268 0 -1 4202560 12694 1242 0 0 4007 12 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17558/tid=17575] ppid=17556 vsize=1422792 CPUtime=40.22 cores=0-31
/proc/17558/task/17575/stat : 17575 (plingeling) R 17556 17558 17268 0 -1 4202560 4270 1242 0 0 4015 7 0 0 25 0 33 0 665997110 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17558/tid=17576] ppid=17556 vsize=1422792 CPUtime=40.07 cores=0-31
/proc/17558/task/17576/stat : 17576 (plingeling) R 17556 17558 17268 0 -1 4202560 10351 1242 0 0 3995 12 0 0 25 0 33 0 665997111 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4354039 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17558/tid=17577] ppid=17556 vsize=1422792 CPUtime=40.07 cores=0-31
/proc/17558/task/17577/stat : 17577 (plingeling) R 17556 17558 17268 0 -1 4202560 9691 1242 0 0 3994 13 0 0 25 0 33 0 665997111 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4261518 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17558/tid=17578] ppid=17556 vsize=1422792 CPUtime=40.21 cores=0-31
/proc/17558/task/17578/stat : 17578 (plingeling) R 17556 17558 17268 0 -1 4202560 7882 1242 0 0 4009 12 0 0 25 0 33 0 665997111 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17558/tid=17579] ppid=17556 vsize=1422792 CPUtime=40.11 cores=0-31
/proc/17558/task/17579/stat : 17579 (plingeling) R 17556 17558 17268 0 -1 4202560 7959 1242 0 0 4004 7 0 0 25 0 33 0 665997111 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4357894 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17558/tid=17580] ppid=17556 vsize=1422792 CPUtime=40.03 cores=0-31
/proc/17558/task/17580/stat : 17580 (plingeling) R 17556 17558 17268 0 -1 4202560 12293 1242 0 0 3989 14 0 0 25 0 33 0 665997111 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4366412 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17558/tid=17581] ppid=17556 vsize=1422792 CPUtime=40.07 cores=0-31
/proc/17558/task/17581/stat : 17581 (plingeling) R 17556 17558 17268 0 -1 4202560 15205 1242 0 0 3992 15 0 0 25 0 33 0 665997111 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17558/tid=17582] ppid=17556 vsize=1422792 CPUtime=40.18 cores=0-31
/proc/17558/task/17582/stat : 17582 (plingeling) R 17556 17558 17268 0 -1 4202560 8413 1242 0 0 4005 13 0 0 25 0 33 0 665997111 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17558/tid=17583] ppid=17556 vsize=1422792 CPUtime=40.2 cores=0-31
/proc/17558/task/17583/stat : 17583 (plingeling) R 17556 17558 17268 0 -1 4202560 10290 1242 0 0 4009 11 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17558/tid=17584] ppid=17556 vsize=1422792 CPUtime=40.17 cores=0-31
/proc/17558/task/17584/stat : 17584 (plingeling) R 17556 17558 17268 0 -1 4202560 11010 1242 0 0 4004 13 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4352385 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17558/tid=17585] ppid=17556 vsize=1422792 CPUtime=40.22 cores=0-31
/proc/17558/task/17585/stat : 17585 (plingeling) R 17556 17558 17268 0 -1 4202560 10952 1242 0 0 4007 15 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4355212 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17558/tid=17586] ppid=17556 vsize=1422792 CPUtime=39.95 cores=0-31
/proc/17558/task/17586/stat : 17586 (plingeling) R 17556 17558 17268 0 -1 4202560 10515 1242 0 0 3982 13 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17558/tid=17587] ppid=17556 vsize=1422792 CPUtime=39.97 cores=0-31
/proc/17558/task/17587/stat : 17587 (plingeling) R 17556 17558 17268 0 -1 4202560 10097 1242 0 0 3983 14 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4232804 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17558/tid=17588] ppid=17556 vsize=1422792 CPUtime=40.12 cores=0-31
/proc/17558/task/17588/stat : 17588 (plingeling) R 17556 17558 17268 0 -1 4202560 10456 1242 0 0 3999 13 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17558/tid=17589] ppid=17556 vsize=1422792 CPUtime=40.09 cores=0-31
/proc/17558/task/17589/stat : 17589 (plingeling) R 17556 17558 17268 0 -1 4202560 11953 1242 0 0 3996 13 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17558/tid=17590] ppid=17556 vsize=1422792 CPUtime=40.03 cores=0-31
/proc/17558/task/17590/stat : 17590 (plingeling) R 17556 17558 17268 0 -1 4202560 17211 1242 0 0 3984 19 0 0 25 0 33 0 665997113 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17558/tid=17591] ppid=17556 vsize=1422792 CPUtime=40.18 cores=0-31
/proc/17558/task/17591/stat : 17591 (plingeling) R 17556 17558 17268 0 -1 4202560 11025 1242 0 0 4009 9 0 0 25 0 33 0 665997114 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17558/tid=17592] ppid=17556 vsize=1422792 CPUtime=40.02 cores=0-31
/proc/17558/task/17592/stat : 17592 (plingeling) R 17556 17558 17268 0 -1 4202560 13239 1242 0 0 3984 18 0 0 25 0 33 0 665997114 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17558/tid=17593] ppid=17556 vsize=1422792 CPUtime=40.11 cores=0-31
/proc/17558/task/17593/stat : 17593 (plingeling) R 17556 17558 17268 0 -1 4202560 12094 1242 0 0 3998 13 0 0 25 0 33 0 665997114 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4275873 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17558/tid=17594] ppid=17556 vsize=1422792 CPUtime=40.04 cores=0-31
/proc/17558/task/17594/stat : 17594 (plingeling) R 17556 17558 17268 0 -1 4202560 12457 1242 0 0 3990 14 0 0 25 0 33 0 665997114 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17558/tid=17595] ppid=17556 vsize=1422792 CPUtime=39.09 cores=0-31
/proc/17558/task/17595/stat : 17595 (plingeling) R 17556 17558 17268 0 -1 4202560 11168 1242 0 0 3900 9 0 0 25 0 33 0 665997114 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17558/tid=17596] ppid=17556 vsize=1422792 CPUtime=40.02 cores=0-31
/proc/17558/task/17596/stat : 17596 (plingeling) R 17556 17558 17268 0 -1 4202560 11991 1242 0 0 3993 9 0 0 25 0 33 0 665997114 1456939008 232499 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1290.91
Current children cumulated vsize (KiB) 1422792
[startup+48.3017 s]
/proc/loadavg: 30.69 30.93 31.52 33/446 17598
/proc/meminfo: memFree=254616208/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=1426808 CPUtime=1304.32 cores=0-31
/proc/17558/stat : 17558 (plingeling) S 17556 17558 17268 0 -1 4202496 541251 1242 0 0 129997 435 0 0 18 0 33 0 665996352 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/17558/statm: 356702 233503 175 55 0 354588 0
[pid=17558/tid=17565] ppid=17556 vsize=1426808 CPUtime=40.61 cores=0-31
/proc/17558/task/17565/stat : 17565 (plingeling) R 17556 17558 17268 0 -1 4202560 8379 1242 0 0 4051 10 0 0 25 0 33 0 665997109 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17558/tid=17566] ppid=17556 vsize=1426808 CPUtime=40.62 cores=0-31
/proc/17558/task/17566/stat : 17566 (plingeling) R 17556 17558 17268 0 -1 4202560 11588 1242 0 0 4052 10 0 0 25 0 33 0 665997109 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17558/tid=17567] ppid=17556 vsize=1426808 CPUtime=40.67 cores=0-31
/proc/17558/task/17567/stat : 17567 (plingeling) R 17556 17558 17268 0 -1 4202560 4919 1242 0 0 4060 7 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17558/tid=17568] ppid=17556 vsize=1426808 CPUtime=40.72 cores=0-31
/proc/17558/task/17568/stat : 17568 (plingeling) R 17556 17558 17268 0 -1 4202560 2257 1242 0 0 4070 2 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17558/tid=17569] ppid=17556 vsize=1426808 CPUtime=40.64 cores=0-31
/proc/17558/task/17569/stat : 17569 (plingeling) R 17556 17558 17268 0 -1 4202560 8646 1242 0 0 4053 11 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17558/tid=17570] ppid=17556 vsize=1426808 CPUtime=40.45 cores=0-31
/proc/17558/task/17570/stat : 17570 (plingeling) R 17556 17558 17268 0 -1 4202560 8112 1242 0 0 4033 12 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4273707 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17558/tid=17571] ppid=17556 vsize=1426808 CPUtime=40.55 cores=0-31
/proc/17558/task/17571/stat : 17571 (plingeling) R 17556 17558 17268 0 -1 4202560 8373 1242 0 0 4046 9 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17558/tid=17572] ppid=17556 vsize=1426808 CPUtime=40.51 cores=0-31
/proc/17558/task/17572/stat : 17572 (plingeling) R 17556 17558 17268 0 -1 4202560 8678 1242 0 0 4039 12 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17558/tid=17573] ppid=17556 vsize=1426808 CPUtime=40.66 cores=0-31
/proc/17558/task/17573/stat : 17573 (plingeling) R 17556 17558 17268 0 -1 4202560 9436 1242 0 0 4053 13 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4344141 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17558/tid=17574] ppid=17556 vsize=1426808 CPUtime=40.61 cores=0-31
/proc/17558/task/17574/stat : 17574 (plingeling) R 17556 17558 17268 0 -1 4202560 12697 1242 0 0 4049 12 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17558/tid=17575] ppid=17556 vsize=1426808 CPUtime=40.64 cores=0-31
/proc/17558/task/17575/stat : 17575 (plingeling) R 17556 17558 17268 0 -1 4202560 5294 1242 0 0 4057 7 0 0 25 0 33 0 665997110 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17558/tid=17576] ppid=17556 vsize=1426808 CPUtime=40.49 cores=0-31
/proc/17558/task/17576/stat : 17576 (plingeling) R 17556 17558 17268 0 -1 4202560 10351 1242 0 0 4037 12 0 0 25 0 33 0 665997111 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17558/tid=17577] ppid=17556 vsize=1426808 CPUtime=40.49 cores=0-31
/proc/17558/task/17577/stat : 17577 (plingeling) R 17556 17558 17268 0 -1 4202560 9691 1242 0 0 4036 13 0 0 25 0 33 0 665997111 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17558/tid=17578] ppid=17556 vsize=1426808 CPUtime=40.63 cores=0-31
/proc/17558/task/17578/stat : 17578 (plingeling) R 17556 17558 17268 0 -1 4202560 7882 1242 0 0 4051 12 0 0 25 0 33 0 665997111 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17558/tid=17579] ppid=17556 vsize=1426808 CPUtime=40.53 cores=0-31
/proc/17558/task/17579/stat : 17579 (plingeling) R 17556 17558 17268 0 -1 4202560 7959 1242 0 0 4046 7 0 0 25 0 33 0 665997111 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4366391 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17558/tid=17580] ppid=17556 vsize=1426808 CPUtime=40.45 cores=0-31
/proc/17558/task/17580/stat : 17580 (plingeling) R 17556 17558 17268 0 -1 4202560 12293 1242 0 0 4031 14 0 0 25 0 33 0 665997111 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4327038 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17558/tid=17581] ppid=17556 vsize=1426808 CPUtime=40.49 cores=0-31
/proc/17558/task/17581/stat : 17581 (plingeling) R 17556 17558 17268 0 -1 4202560 15205 1242 0 0 4034 15 0 0 25 0 33 0 665997111 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17558/tid=17582] ppid=17556 vsize=1426808 CPUtime=40.6 cores=0-31
/proc/17558/task/17582/stat : 17582 (plingeling) R 17556 17558 17268 0 -1 4202560 8413 1242 0 0 4047 13 0 0 25 0 33 0 665997111 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17558/tid=17583] ppid=17556 vsize=1426808 CPUtime=40.62 cores=0-31
/proc/17558/task/17583/stat : 17583 (plingeling) R 17556 17558 17268 0 -1 4202560 10290 1242 0 0 4051 11 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17558/tid=17584] ppid=17556 vsize=1426808 CPUtime=40.59 cores=0-31
/proc/17558/task/17584/stat : 17584 (plingeling) R 17556 17558 17268 0 -1 4202560 11013 1242 0 0 4046 13 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4366105 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17558/tid=17585] ppid=17556 vsize=1426808 CPUtime=40.64 cores=0-31
/proc/17558/task/17585/stat : 17585 (plingeling) R 17556 17558 17268 0 -1 4202560 10952 1242 0 0 4049 15 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17558/tid=17586] ppid=17556 vsize=1426808 CPUtime=40.37 cores=0-31
/proc/17558/task/17586/stat : 17586 (plingeling) R 17556 17558 17268 0 -1 4202560 10515 1242 0 0 4024 13 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4277534 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17558/tid=17587] ppid=17556 vsize=1426808 CPUtime=40.39 cores=0-31
/proc/17558/task/17587/stat : 17587 (plingeling) R 17556 17558 17268 0 -1 4202560 10097 1242 0 0 4025 14 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17558/tid=17588] ppid=17556 vsize=1426808 CPUtime=40.54 cores=0-31
/proc/17558/task/17588/stat : 17588 (plingeling) R 17556 17558 17268 0 -1 4202560 10456 1242 0 0 4041 13 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17558/tid=17589] ppid=17556 vsize=1426808 CPUtime=40.51 cores=0-31
/proc/17558/task/17589/stat : 17589 (plingeling) R 17556 17558 17268 0 -1 4202560 11953 1242 0 0 4038 13 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4251038 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17558/tid=17590] ppid=17556 vsize=1426808 CPUtime=40.45 cores=0-31
/proc/17558/task/17590/stat : 17590 (plingeling) R 17556 17558 17268 0 -1 4202560 17211 1242 0 0 4026 19 0 0 25 0 33 0 665997113 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17558/tid=17591] ppid=17556 vsize=1426808 CPUtime=40.6 cores=0-31
/proc/17558/task/17591/stat : 17591 (plingeling) R 17556 17558 17268 0 -1 4202560 11025 1242 0 0 4051 9 0 0 25 0 33 0 665997114 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17558/tid=17592] ppid=17556 vsize=1426808 CPUtime=40.44 cores=0-31
/proc/17558/task/17592/stat : 17592 (plingeling) R 17556 17558 17268 0 -1 4202560 13239 1242 0 0 4026 18 0 0 25 0 33 0 665997114 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4354004 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17558/tid=17593] ppid=17556 vsize=1426808 CPUtime=40.53 cores=0-31
/proc/17558/task/17593/stat : 17593 (plingeling) R 17556 17558 17268 0 -1 4202560 12094 1242 0 0 4040 13 0 0 25 0 33 0 665997114 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17558/tid=17594] ppid=17556 vsize=1426808 CPUtime=40.46 cores=0-31
/proc/17558/task/17594/stat : 17594 (plingeling) R 17556 17558 17268 0 -1 4202560 12457 1242 0 0 4032 14 0 0 25 0 33 0 665997114 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17558/tid=17595] ppid=17556 vsize=1426808 CPUtime=39.49 cores=0-31
/proc/17558/task/17595/stat : 17595 (plingeling) R 17556 17558 17268 0 -1 4202560 11168 1242 0 0 3940 9 0 0 25 0 33 0 665997114 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17558/tid=17596] ppid=17556 vsize=1426808 CPUtime=40.44 cores=0-31
/proc/17558/task/17596/stat : 17596 (plingeling) R 17556 17558 17268 0 -1 4202560 11991 1242 0 0 4035 9 0 0 25 0 33 0 665997114 1461051392 233503 268435456000 4194304 4417452 140737113700432 18446744073709551615 4269968 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1304.32
Current children cumulated vsize (KiB) 1426808
[startup+48.7018 s]
/proc/loadavg: 30.69 30.93 31.52 33/446 17598
/proc/meminfo: memFree=254616208/264257624 swapFree=67111528/67111528
[pid=17558] ppid=17556 vsize=1121476 CPUtime=1313.35 cores=0-31
/proc/17558/stat : 17558 (plingeling) R 17556 17558 17268 0 -1 4202496 541252 1242 0 0 130899 436 0 0 16 0 1 0 665996352 1148391424 230190 268435456000 4194304 4417452 140737113700432 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17558/statm: 280369 230190 176 55 0 278255 0
Current children cumulated CPU time (s) 1313.35
Current children cumulated vsize (KiB) 1121476
Child status: 20
Real time (s): 48.7921
CPU time (s): 1313.46
CPU user time (s): 1309
CPU system time (s): 4.45732
CPU usage (%): 2691.95
Max. virtual memory (cumulated for all children) (KiB): 1756416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1309
system time used= 4.45732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542498
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= 4618
involuntary context switches= 3124
runsolver used 0.288956 second user time and 1.15582 second system time
The end
Begin job on node200 at 2011-05-16 13:24:59
IDJOB=3372285
IDBENCH=70952
IDSOLVER=1852
FILE ID=node200/3372285-1305545099
RUNJOBID= node200-1305544902-17282
PBS_JOBID= 13285542
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372285-1305545099/watcher-3372285-1305545099 -o /tmp/evaluation-result-3372285-1305545099/solver-3372285-1305545099 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372285-1305545099.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED=1994884034
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: 255573192 kB
Buffers: 443204 kB
Cached: 7843776 kB
SwapCached: 0 kB
Active: 7393636 kB
Inactive: 962568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255573192 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 7256 kB
Writeback: 0 kB
AnonPages: 70024 kB
Mapped: 14568 kB
Slab: 250364 kB
PageTables: 6244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185824 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= 62044 MiB
End job on node200 at 2011-05-16 13:25:48