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-3372609-1305691331/watcher-3372609-1305691331 -o /tmp/evaluation-result-3372609-1305691331/solver-3372609-1305691331 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372609-1305691331.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: 25.93 22.75 26.51 1/413 30741
/proc/meminfo: memFree=255504820/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=15952 CPUtime=0.02 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 2060 1242 0 0 2 0 0 0 21 0 1 0 680619590 16334848 1992 268435456000 4194304 4417452 140734404892480 18446744073709551615 4231470 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 3988 1992 145 55 0 1874 0
[startup+0.048658 s]
/proc/loadavg: 25.93 22.75 26.51 1/413 30741
/proc/meminfo: memFree=255504820/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=17680 CPUtime=0.03 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 2476 1242 0 0 3 0 0 0 21 0 1 0 680619590 18104320 2408 268435456000 4194304 4417452 140734404892480 18446744073709551615 4274363 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 4420 2408 145 55 0 2306 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17680
[startup+0.10066 s]
/proc/loadavg: 25.93 22.75 26.51 1/413 30741
/proc/meminfo: memFree=255504820/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=29372 CPUtime=0.09 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 5416 1242 0 0 8 1 0 0 21 0 1 0 680619590 30076928 5348 268435456000 4194304 4417452 140734404892480 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 7343 5348 146 55 0 5229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29372
[startup+0.300667 s]
/proc/loadavg: 25.93 22.75 26.51 1/413 30741
/proc/meminfo: memFree=255504820/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=46996 CPUtime=0.29 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 9822 1242 0 0 27 2 0 0 22 0 1 0 680619590 48123904 9754 268435456000 4194304 4417452 140734404892480 18446744073709551615 4259865 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 11749 9754 146 55 0 9635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46996
[startup+0.700695 s]
/proc/loadavg: 25.93 22.75 26.51 1/413 30741
/proc/meminfo: memFree=255504820/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=86008 CPUtime=0.69 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 19526 1242 0 0 65 4 0 0 23 0 1 0 680619590 88072192 19459 268435456000 4194304 4417452 140734404892480 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 21502 19477 146 55 0 19388 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86008
[startup+1.50072 s]
/proc/loadavg: 23.93 22.38 26.38 2/414 30747
/proc/meminfo: memFree=255360088/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=152308 CPUtime=1.49 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 36166 1242 0 0 141 8 0 0 25 0 1 0 680619590 155963392 36098 268435456000 4194304 4417452 140734404892480 18446744073709551615 4209651 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 38077 36098 146 55 0 35963 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152308
[startup+3.10076 s]
/proc/loadavg: 23.93 22.38 26.38 2/414 30747
/proc/meminfo: memFree=255247120/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=293592 CPUtime=3.08 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 71487 1242 0 0 294 14 0 0 25 0 1 0 680619590 300638208 71419 268435456000 4194304 4417452 140734404892480 18446744073709551615 4274337 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 73398 71419 146 55 0 71284 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293592
[startup+6.30087 s]
/proc/loadavg: 23.93 22.38 26.38 2/414 30749
/proc/meminfo: memFree=254937336/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=574480 CPUtime=6.28 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 141709 1242 0 0 600 28 0 0 25 0 1 0 680619590 588267520 141641 268435456000 4194304 4417452 140734404892480 18446744073709551615 4274340 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30741/statm: 143620 141641 146 55 0 141506 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 574480
[startup+12.702 s]
/proc/loadavg: 22.97 22.21 26.27 33/446 30781
/proc/meminfo: memFree=254223564/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=1821968 CPUtime=135.9 cores=0-31
/proc/30741/stat : 30741 (plingeling) S 30739 30741 30316 0 -1 4202496 527574 1242 0 0 13100 490 0 0 18 0 33 0 680619590 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/30741/statm: 455492 343196 171 55 0 453378 0
[pid=30741/tid=30750] ppid=30739 vsize=1821968 CPUtime=3.96 cores=0-31
/proc/30741/task/30750/stat : 30750 (plingeling) R 30739 30741 30316 0 -1 4202560 8216 1242 0 0 387 9 0 0 25 0 33 0 680620431 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30741/tid=30751] ppid=30739 vsize=1821968 CPUtime=4.02 cores=0-31
/proc/30741/task/30751/stat : 30751 (plingeling) R 30739 30741 30316 0 -1 4202560 9559 1242 0 0 385 17 0 0 25 0 33 0 680620431 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4259629 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30741/tid=30752] ppid=30739 vsize=1821968 CPUtime=3.89 cores=0-31
/proc/30741/task/30752/stat : 30752 (plingeling) R 30739 30741 30316 0 -1 4202560 6259 1242 0 0 379 10 0 0 25 0 33 0 680620431 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4264403 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30741/tid=30753] ppid=30739 vsize=1821968 CPUtime=4.26 cores=0-31
/proc/30741/task/30753/stat : 30753 (plingeling) R 30739 30741 30316 0 -1 4202560 3774 1242 0 0 419 7 0 0 25 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30741/tid=30754] ppid=30739 vsize=1821968 CPUtime=4.12 cores=0-31
/proc/30741/task/30754/stat : 30754 (plingeling) R 30739 30741 30316 0 -1 4202560 10327 1242 0 0 398 14 0 0 25 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4261418 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30741/tid=30755] ppid=30739 vsize=1821968 CPUtime=4.07 cores=0-31
/proc/30741/task/30755/stat : 30755 (plingeling) R 30739 30741 30316 0 -1 4202560 9116 1242 0 0 399 8 0 0 25 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4275468 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30741/tid=30756] ppid=30739 vsize=1821968 CPUtime=4.12 cores=0-31
/proc/30741/task/30756/stat : 30756 (plingeling) R 30739 30741 30316 0 -1 4202560 10841 1242 0 0 399 13 0 0 18 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30741/tid=30757] ppid=30739 vsize=1821968 CPUtime=3.94 cores=0-31
/proc/30741/task/30757/stat : 30757 (plingeling) R 30739 30741 30316 0 -1 4202560 10134 1242 0 0 380 14 0 0 25 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4275950 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30741/tid=30758] ppid=30739 vsize=1821968 CPUtime=3.92 cores=0-31
/proc/30741/task/30758/stat : 30758 (plingeling) R 30739 30741 30316 0 -1 4202560 7462 1242 0 0 378 14 0 0 25 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30741/tid=30759] ppid=30739 vsize=1821968 CPUtime=4.13 cores=0-31
/proc/30741/task/30759/stat : 30759 (plingeling) R 30739 30741 30316 0 -1 4202560 13109 1242 0 0 399 14 0 0 25 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4302471 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30741/tid=30760] ppid=30739 vsize=1821968 CPUtime=3.9 cores=0-31
/proc/30741/task/30760/stat : 30760 (plingeling) R 30739 30741 30316 0 -1 4202560 9221 1242 0 0 375 15 0 0 25 0 33 0 680620432 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30741/tid=30761] ppid=30739 vsize=1821968 CPUtime=3.95 cores=0-31
/proc/30741/task/30761/stat : 30761 (plingeling) R 30739 30741 30316 0 -1 4202560 9372 1242 0 0 378 17 0 0 20 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30741/tid=30762] ppid=30739 vsize=1821968 CPUtime=3.89 cores=0-31
/proc/30741/task/30762/stat : 30762 (plingeling) R 30739 30741 30316 0 -1 4202560 9469 1242 0 0 379 10 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4276530 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30741/tid=30763] ppid=30739 vsize=1821968 CPUtime=3.9 cores=0-31
/proc/30741/task/30763/stat : 30763 (plingeling) R 30739 30741 30316 0 -1 4202560 12442 1242 0 0 375 15 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4276911 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30741/tid=30764] ppid=30739 vsize=1821968 CPUtime=3.92 cores=0-31
/proc/30741/task/30764/stat : 30764 (plingeling) R 30739 30741 30316 0 -1 4202560 9961 1242 0 0 377 15 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4275939 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30741/tid=30765] ppid=30739 vsize=1821968 CPUtime=3.86 cores=0-31
/proc/30741/task/30765/stat : 30765 (plingeling) R 30739 30741 30316 0 -1 4202560 10261 1242 0 0 371 15 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30741/tid=30766] ppid=30739 vsize=1821968 CPUtime=4.17 cores=0-31
/proc/30741/task/30766/stat : 30766 (plingeling) R 30739 30741 30316 0 -1 4202560 11890 1242 0 0 408 9 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30741/tid=30767] ppid=30739 vsize=1821968 CPUtime=3.85 cores=0-31
/proc/30741/task/30767/stat : 30767 (plingeling) R 30739 30741 30316 0 -1 4202560 12306 1242 0 0 377 8 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30741/tid=30768] ppid=30739 vsize=1821968 CPUtime=3.91 cores=0-31
/proc/30741/task/30768/stat : 30768 (plingeling) R 30739 30741 30316 0 -1 4202560 8920 1242 0 0 375 16 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30741/tid=30769] ppid=30739 vsize=1821968 CPUtime=3.86 cores=0-31
/proc/30741/task/30769/stat : 30769 (plingeling) R 30739 30741 30316 0 -1 4202560 12157 1242 0 0 367 19 0 0 21 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236598 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30741/tid=30770] ppid=30739 vsize=1821968 CPUtime=3.92 cores=0-31
/proc/30741/task/30770/stat : 30770 (plingeling) R 30739 30741 30316 0 -1 4202560 6150 1242 0 0 379 13 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30741/tid=30771] ppid=30739 vsize=1821968 CPUtime=3.92 cores=0-31
/proc/30741/task/30771/stat : 30771 (plingeling) R 30739 30741 30316 0 -1 4202560 11470 1242 0 0 375 17 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30741/tid=30772] ppid=30739 vsize=1821968 CPUtime=3.91 cores=0-31
/proc/30741/task/30772/stat : 30772 (plingeling) R 30739 30741 30316 0 -1 4202560 10262 1242 0 0 375 16 0 0 25 0 33 0 680620433 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236956 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30741/tid=30773] ppid=30739 vsize=1821968 CPUtime=3.89 cores=0-31
/proc/30741/task/30773/stat : 30773 (plingeling) R 30739 30741 30316 0 -1 4202560 10054 1242 0 0 370 19 0 0 25 0 33 0 680620434 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30741/tid=30774] ppid=30739 vsize=1821968 CPUtime=4.13 cores=0-31
/proc/30741/task/30774/stat : 30774 (plingeling) R 30739 30741 30316 0 -1 4202560 11052 1242 0 0 400 13 0 0 25 0 33 0 680620434 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4270960 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30741/tid=30775] ppid=30739 vsize=1821968 CPUtime=4.15 cores=0-31
/proc/30741/task/30775/stat : 30775 (plingeling) R 30739 30741 30316 0 -1 4202560 9888 1242 0 0 404 11 0 0 25 0 33 0 680620434 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30741/tid=30776] ppid=30739 vsize=1821968 CPUtime=3.88 cores=0-31
/proc/30741/task/30776/stat : 30776 (plingeling) R 30739 30741 30316 0 -1 4202560 8184 1242 0 0 376 12 0 0 25 0 33 0 680620434 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30741/tid=30777] ppid=30739 vsize=1821968 CPUtime=3.97 cores=0-31
/proc/30741/task/30777/stat : 30777 (plingeling) R 30739 30741 30316 0 -1 4202560 9369 1242 0 0 380 17 0 0 20 0 33 0 680620434 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4275756 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30741/tid=30778] ppid=30739 vsize=1821968 CPUtime=3.94 cores=0-31
/proc/30741/task/30778/stat : 30778 (plingeling) R 30739 30741 30316 0 -1 4202560 8336 1242 0 0 379 15 0 0 25 0 33 0 680620434 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277659 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30741/tid=30779] ppid=30739 vsize=1821968 CPUtime=3.95 cores=0-31
/proc/30741/task/30779/stat : 30779 (plingeling) R 30739 30741 30316 0 -1 4202560 9961 1242 0 0 382 13 0 0 20 0 33 0 680620434 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4276039 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30741/tid=30780] ppid=30739 vsize=1821968 CPUtime=3.97 cores=0-31
/proc/30741/task/30780/stat : 30780 (plingeling) R 30739 30741 30316 0 -1 4202560 11258 1242 0 0 385 12 0 0 25 0 33 0 680620435 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4259962 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30741/tid=30781] ppid=30739 vsize=1821968 CPUtime=3.91 cores=0-31
/proc/30741/task/30781/stat : 30781 (plingeling) R 30739 30741 30316 0 -1 4202560 10151 1242 0 0 377 14 0 0 25 0 33 0 680620439 1865695232 343196 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 135.9
Current children cumulated vsize (KiB) 1821968
[startup+25.5014 s]
/proc/loadavg: 24.35 22.53 26.34 33/446 30781
/proc/meminfo: memFree=253605112/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=2359152 CPUtime=544.63 cores=0-31
/proc/30741/stat : 30741 (plingeling) S 30739 30741 30316 0 -1 4202496 747790 1242 0 0 53920 543 0 0 18 0 33 0 680619590 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/30741/statm: 589788 471016 174 55 0 587674 0
[pid=30741/tid=30750] ppid=30739 vsize=2359152 CPUtime=16.74 cores=0-31
/proc/30741/task/30750/stat : 30750 (plingeling) R 30739 30741 30316 0 -1 4202560 18209 1242 0 0 1662 12 0 0 25 0 33 0 680620431 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30741/tid=30751] ppid=30739 vsize=2359152 CPUtime=16.8 cores=0-31
/proc/30741/task/30751/stat : 30751 (plingeling) R 30739 30741 30316 0 -1 4202560 19534 1242 0 0 1661 19 0 0 25 0 33 0 680620431 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4249228 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30741/tid=30752] ppid=30739 vsize=2359152 CPUtime=16.67 cores=0-31
/proc/30741/task/30752/stat : 30752 (plingeling) R 30739 30741 30316 0 -1 4202560 11380 1242 0 0 1656 11 0 0 25 0 33 0 680620431 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30741/tid=30753] ppid=30739 vsize=2359152 CPUtime=17.05 cores=0-31
/proc/30741/task/30753/stat : 30753 (plingeling) R 30739 30741 30316 0 -1 4202560 5822 1242 0 0 1698 7 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30741/tid=30754] ppid=30739 vsize=2359152 CPUtime=16.9 cores=0-31
/proc/30741/task/30754/stat : 30754 (plingeling) R 30739 30741 30316 0 -1 4202560 22425 1242 0 0 1674 16 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4252264 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30741/tid=30755] ppid=30739 vsize=2359152 CPUtime=16.86 cores=0-31
/proc/30741/task/30755/stat : 30755 (plingeling) R 30739 30741 30316 0 -1 4202560 14244 1242 0 0 1677 9 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30741/tid=30756] ppid=30739 vsize=2359152 CPUtime=16.91 cores=0-31
/proc/30741/task/30756/stat : 30756 (plingeling) R 30739 30741 30316 0 -1 4202560 16988 1242 0 0 1677 14 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30741/tid=30757] ppid=30739 vsize=2359152 CPUtime=16.72 cores=0-31
/proc/30741/task/30757/stat : 30757 (plingeling) R 30739 30741 30316 0 -1 4202560 18906 1242 0 0 1656 16 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4249193 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30741/tid=30758] ppid=30739 vsize=2359152 CPUtime=16.66 cores=0-31
/proc/30741/task/30758/stat : 30758 (plingeling) R 30739 30741 30316 0 -1 4202560 13466 1242 0 0 1651 15 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30741/tid=30759] ppid=30739 vsize=2359152 CPUtime=16.93 cores=0-31
/proc/30741/task/30759/stat : 30759 (plingeling) R 30739 30741 30316 0 -1 4202560 17437 1242 0 0 1678 15 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4336717 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30741/tid=30760] ppid=30739 vsize=2359152 CPUtime=16.69 cores=0-31
/proc/30741/task/30760/stat : 30760 (plingeling) R 30739 30741 30316 0 -1 4202560 13330 1242 0 0 1652 17 0 0 25 0 33 0 680620432 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30741/tid=30761] ppid=30739 vsize=2359152 CPUtime=16.73 cores=0-31
/proc/30741/task/30761/stat : 30761 (plingeling) R 30739 30741 30316 0 -1 4202560 12452 1242 0 0 1655 18 0 0 25 0 33 0 680620433 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30741/tid=30762] ppid=30739 vsize=2359152 CPUtime=16.66 cores=0-31
/proc/30741/task/30762/stat : 30762 (plingeling) R 30739 30741 30316 0 -1 4202560 11588 1242 0 0 1654 12 0 0 25 0 33 0 680620433 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4272717 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30741/tid=30763] ppid=30739 vsize=2359152 CPUtime=16.69 cores=0-31
/proc/30741/task/30763/stat : 30763 (plingeling) R 30739 30741 30316 0 -1 4202560 24855 1242 0 0 1651 18 0 0 25 0 33 0 680620433 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4239616 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30741/tid=30764] ppid=30739 vsize=2359152 CPUtime=16.7 cores=0-31
/proc/30741/task/30764/stat : 30764 (plingeling) R 30739 30741 30316 0 -1 4202560 14058 1242 0 0 1654 16 0 0 25 0 33 0 680620433 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364666 0 0 4096 17442 0 0 0 -1 18 0 0 0
################
# More data... #
################
[pid=30741/tid=30781] ppid=30739 vsize=2359152 CPUtime=18.3 cores=0-31
/proc/30741/task/30781/stat : 30781 (plingeling) R 30739 30741 30316 0 -1 4202560 15791 1242 0 0 1815 15 0 0 25 0 33 0 680620439 2415771648 471016 268435456000 4194304 4417452 140734404892480 18446744073709551615 4252691 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 595.79
Current children cumulated vsize (KiB) 2359152
[startup+28.7015 s]
/proc/loadavg: 24.97 22.69 26.37 33/446 30781
/proc/meminfo: memFree=253669556/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=2242276 CPUtime=646.93 cores=0-31
/proc/30741/stat : 30741 (plingeling) S 30739 30741 30316 0 -1 4202496 747791 1242 0 0 64148 545 0 0 18 0 33 0 680619590 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/30741/statm: 560569 441798 175 55 0 558455 0
[pid=30741/tid=30750] ppid=30739 vsize=2242276 CPUtime=19.94 cores=0-31
/proc/30741/task/30750/stat : 30750 (plingeling) R 30739 30741 30316 0 -1 4202560 18209 1242 0 0 1982 12 0 0 25 0 33 0 680620431 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4235685 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30741/tid=30751] ppid=30739 vsize=2242276 CPUtime=19.99 cores=0-31
/proc/30741/task/30751/stat : 30751 (plingeling) R 30739 30741 30316 0 -1 4202560 19534 1242 0 0 1980 19 0 0 25 0 33 0 680620431 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30741/tid=30752] ppid=30739 vsize=2242276 CPUtime=19.87 cores=0-31
/proc/30741/task/30752/stat : 30752 (plingeling) R 30739 30741 30316 0 -1 4202560 11380 1242 0 0 1976 11 0 0 25 0 33 0 680620431 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30741/tid=30753] ppid=30739 vsize=2242276 CPUtime=20.25 cores=0-31
/proc/30741/task/30753/stat : 30753 (plingeling) R 30739 30741 30316 0 -1 4202560 5822 1242 0 0 2018 7 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4265433 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30741/tid=30754] ppid=30739 vsize=2242276 CPUtime=20.1 cores=0-31
/proc/30741/task/30754/stat : 30754 (plingeling) R 30739 30741 30316 0 -1 4202560 22425 1242 0 0 1994 16 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4342927 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30741/tid=30755] ppid=30739 vsize=2242276 CPUtime=20.06 cores=0-31
/proc/30741/task/30755/stat : 30755 (plingeling) R 30739 30741 30316 0 -1 4202560 14245 1242 0 0 1996 10 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30741/tid=30756] ppid=30739 vsize=2242276 CPUtime=20.1 cores=0-31
/proc/30741/task/30756/stat : 30756 (plingeling) R 30739 30741 30316 0 -1 4202560 16988 1242 0 0 1996 14 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30741/tid=30757] ppid=30739 vsize=2242276 CPUtime=19.92 cores=0-31
/proc/30741/task/30757/stat : 30757 (plingeling) R 30739 30741 30316 0 -1 4202560 18906 1242 0 0 1976 16 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4277527 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30741/tid=30758] ppid=30739 vsize=2242276 CPUtime=19.86 cores=0-31
/proc/30741/task/30758/stat : 30758 (plingeling) R 30739 30741 30316 0 -1 4202560 13466 1242 0 0 1971 15 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4336717 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30741/tid=30759] ppid=30739 vsize=2242276 CPUtime=20.12 cores=0-31
/proc/30741/task/30759/stat : 30759 (plingeling) R 30739 30741 30316 0 -1 4202560 17437 1242 0 0 1997 15 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4234384 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30741/tid=30760] ppid=30739 vsize=2242276 CPUtime=19.89 cores=0-31
/proc/30741/task/30760/stat : 30760 (plingeling) R 30739 30741 30316 0 -1 4202560 13330 1242 0 0 1972 17 0 0 25 0 33 0 680620432 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30741/tid=30761] ppid=30739 vsize=2242276 CPUtime=19.93 cores=0-31
/proc/30741/task/30761/stat : 30761 (plingeling) R 30739 30741 30316 0 -1 4202560 12452 1242 0 0 1975 18 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30741/tid=30762] ppid=30739 vsize=2242276 CPUtime=19.86 cores=0-31
/proc/30741/task/30762/stat : 30762 (plingeling) R 30739 30741 30316 0 -1 4202560 11588 1242 0 0 1974 12 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4343423 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30741/tid=30763] ppid=30739 vsize=2242276 CPUtime=19.89 cores=0-31
/proc/30741/task/30763/stat : 30763 (plingeling) R 30739 30741 30316 0 -1 4202560 24855 1242 0 0 1971 18 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30741/tid=30764] ppid=30739 vsize=2242276 CPUtime=19.9 cores=0-31
/proc/30741/task/30764/stat : 30764 (plingeling) R 30739 30741 30316 0 -1 4202560 14058 1242 0 0 1974 16 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30741/tid=30765] ppid=30739 vsize=2242276 CPUtime=19.84 cores=0-31
/proc/30741/task/30765/stat : 30765 (plingeling) R 30739 30741 30316 0 -1 4202560 22971 1242 0 0 1967 17 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4306839 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30741/tid=30766] ppid=30739 vsize=2242276 CPUtime=20.16 cores=0-31
/proc/30741/task/30766/stat : 30766 (plingeling) R 30739 30741 30316 0 -1 4202560 20552 1242 0 0 2005 11 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30741/tid=30767] ppid=30739 vsize=2242276 CPUtime=19.83 cores=0-31
/proc/30741/task/30767/stat : 30767 (plingeling) R 30739 30741 30316 0 -1 4202560 15385 1242 0 0 1974 9 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4346677 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30741/tid=30768] ppid=30739 vsize=2242276 CPUtime=19.89 cores=0-31
/proc/30741/task/30768/stat : 30768 (plingeling) R 30739 30741 30316 0 -1 4202560 14213 1242 0 0 1972 17 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30741/tid=30769] ppid=30739 vsize=2242276 CPUtime=19.84 cores=0-31
/proc/30741/task/30769/stat : 30769 (plingeling) R 30739 30741 30316 0 -1 4202560 20935 1242 0 0 1963 21 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30741/tid=30770] ppid=30739 vsize=2242276 CPUtime=19.91 cores=0-31
/proc/30741/task/30770/stat : 30770 (plingeling) R 30739 30741 30316 0 -1 4202560 16470 1242 0 0 1975 16 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30741/tid=30771] ppid=30739 vsize=2242276 CPUtime=19.91 cores=0-31
/proc/30741/task/30771/stat : 30771 (plingeling) R 30739 30741 30316 0 -1 4202560 24369 1242 0 0 1971 20 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4270950 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30741/tid=30772] ppid=30739 vsize=2242276 CPUtime=19.88 cores=0-31
/proc/30741/task/30772/stat : 30772 (plingeling) R 30739 30741 30316 0 -1 4202560 14359 1242 0 0 1972 16 0 0 25 0 33 0 680620433 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364453 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30741/tid=30773] ppid=30739 vsize=2242276 CPUtime=19.45 cores=0-31
/proc/30741/task/30773/stat : 30773 (plingeling) R 30739 30741 30316 0 -1 4202560 17762 1242 0 0 1924 21 0 0 25 0 33 0 680620434 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4319692 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30741/tid=30774] ppid=30739 vsize=2242276 CPUtime=20.13 cores=0-31
/proc/30741/task/30774/stat : 30774 (plingeling) R 30739 30741 30316 0 -1 4202560 18228 1242 0 0 1997 16 0 0 25 0 33 0 680620434 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4302556 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30741/tid=30775] ppid=30739 vsize=2242276 CPUtime=20.14 cores=0-31
/proc/30741/task/30775/stat : 30775 (plingeling) R 30739 30741 30316 0 -1 4202560 16054 1242 0 0 2002 12 0 0 25 0 33 0 680620434 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4302950 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30741/tid=30776] ppid=30739 vsize=2242276 CPUtime=19.87 cores=0-31
/proc/30741/task/30776/stat : 30776 (plingeling) R 30739 30741 30316 0 -1 4202560 12281 1242 0 0 1974 13 0 0 25 0 33 0 680620434 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30741/tid=30777] ppid=30739 vsize=2242276 CPUtime=19.94 cores=0-31
/proc/30741/task/30777/stat : 30777 (plingeling) R 30739 30741 30316 0 -1 4202560 17279 1242 0 0 1975 19 0 0 25 0 33 0 680620434 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4252645 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30741/tid=30778] ppid=30739 vsize=2242276 CPUtime=19.91 cores=0-31
/proc/30741/task/30778/stat : 30778 (plingeling) R 30739 30741 30316 0 -1 4202560 17743 1242 0 0 1974 17 0 0 25 0 33 0 680620434 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4344176 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30741/tid=30779] ppid=30739 vsize=2242276 CPUtime=19.94 cores=0-31
/proc/30741/task/30779/stat : 30779 (plingeling) R 30739 30741 30316 0 -1 4202560 15088 1242 0 0 1979 15 0 0 25 0 33 0 680620434 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4211465 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30741/tid=30780] ppid=30739 vsize=2242276 CPUtime=19.95 cores=0-31
/proc/30741/task/30780/stat : 30780 (plingeling) R 30739 30741 30316 0 -1 4202560 16973 1242 0 0 1982 13 0 0 25 0 33 0 680620435 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30741/tid=30781] ppid=30739 vsize=2242276 CPUtime=19.9 cores=0-31
/proc/30741/task/30781/stat : 30781 (plingeling) R 30739 30741 30316 0 -1 4202560 15791 1242 0 0 1975 15 0 0 25 0 33 0 680620439 2296090624 441798 268435456000 4194304 4417452 140734404892480 18446744073709551615 4295601 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 646.93
Current children cumulated vsize (KiB) 2242276
[startup+29.5015 s]
/proc/loadavg: 24.97 22.69 26.37 33/446 30781
/proc/meminfo: memFree=253669556/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=2068752 CPUtime=672.49 cores=0-31
/proc/30741/stat : 30741 (plingeling) S 30739 30741 30316 0 -1 4202496 747791 1242 0 0 66702 547 0 0 18 0 33 0 680619590 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/30741/statm: 517188 398417 175 55 0 515074 0
[pid=30741/tid=30750] ppid=30739 vsize=2068752 CPUtime=20.73 cores=0-31
/proc/30741/task/30750/stat : 30750 (plingeling) R 30739 30741 30316 0 -1 4202560 18209 1242 0 0 2061 12 0 0 25 0 33 0 680620431 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30741/tid=30751] ppid=30739 vsize=2068752 CPUtime=20.79 cores=0-31
/proc/30741/task/30751/stat : 30751 (plingeling) R 30739 30741 30316 0 -1 4202560 19534 1242 0 0 2060 19 0 0 25 0 33 0 680620431 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4259629 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30741/tid=30752] ppid=30739 vsize=2068752 CPUtime=20.67 cores=0-31
/proc/30741/task/30752/stat : 30752 (plingeling) R 30739 30741 30316 0 -1 4202560 11380 1242 0 0 2056 11 0 0 25 0 33 0 680620431 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30741/tid=30753] ppid=30739 vsize=2068752 CPUtime=21.05 cores=0-31
/proc/30741/task/30753/stat : 30753 (plingeling) R 30739 30741 30316 0 -1 4202560 5822 1242 0 0 2098 7 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30741/tid=30754] ppid=30739 vsize=2068752 CPUtime=20.9 cores=0-31
/proc/30741/task/30754/stat : 30754 (plingeling) R 30739 30741 30316 0 -1 4202560 22425 1242 0 0 2074 16 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30741/tid=30755] ppid=30739 vsize=2068752 CPUtime=20.86 cores=0-31
/proc/30741/task/30755/stat : 30755 (plingeling) R 30739 30741 30316 0 -1 4202560 14245 1242 0 0 2076 10 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30741/tid=30756] ppid=30739 vsize=2068752 CPUtime=20.9 cores=0-31
/proc/30741/task/30756/stat : 30756 (plingeling) R 30739 30741 30316 0 -1 4202560 16988 1242 0 0 2076 14 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30741/tid=30757] ppid=30739 vsize=2068752 CPUtime=20.72 cores=0-31
/proc/30741/task/30757/stat : 30757 (plingeling) R 30739 30741 30316 0 -1 4202560 18906 1242 0 0 2056 16 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4237273 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30741/tid=30758] ppid=30739 vsize=2068752 CPUtime=20.67 cores=0-31
/proc/30741/task/30758/stat : 30758 (plingeling) R 30739 30741 30316 0 -1 4202560 13466 1242 0 0 2051 16 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30741/tid=30759] ppid=30739 vsize=2068752 CPUtime=20.92 cores=0-31
/proc/30741/task/30759/stat : 30759 (plingeling) R 30739 30741 30316 0 -1 4202560 17437 1242 0 0 2077 15 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30741/tid=30760] ppid=30739 vsize=2068752 CPUtime=20.69 cores=0-31
/proc/30741/task/30760/stat : 30760 (plingeling) R 30739 30741 30316 0 -1 4202560 13330 1242 0 0 2052 17 0 0 25 0 33 0 680620432 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236852 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30741/tid=30761] ppid=30739 vsize=2068752 CPUtime=20.73 cores=0-31
/proc/30741/task/30761/stat : 30761 (plingeling) R 30739 30741 30316 0 -1 4202560 12452 1242 0 0 2055 18 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30741/tid=30762] ppid=30739 vsize=2068752 CPUtime=20.66 cores=0-31
/proc/30741/task/30762/stat : 30762 (plingeling) R 30739 30741 30316 0 -1 4202560 11588 1242 0 0 2054 12 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4237789 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30741/tid=30763] ppid=30739 vsize=2068752 CPUtime=20.69 cores=0-31
/proc/30741/task/30763/stat : 30763 (plingeling) R 30739 30741 30316 0 -1 4202560 24855 1242 0 0 2050 19 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30741/tid=30764] ppid=30739 vsize=2068752 CPUtime=20.7 cores=0-31
/proc/30741/task/30764/stat : 30764 (plingeling) R 30739 30741 30316 0 -1 4202560 14058 1242 0 0 2054 16 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30741/tid=30765] ppid=30739 vsize=2068752 CPUtime=20.64 cores=0-31
/proc/30741/task/30765/stat : 30765 (plingeling) R 30739 30741 30316 0 -1 4202560 22971 1242 0 0 2047 17 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30741/tid=30766] ppid=30739 vsize=2068752 CPUtime=20.95 cores=0-31
/proc/30741/task/30766/stat : 30766 (plingeling) R 30739 30741 30316 0 -1 4202560 20552 1242 0 0 2084 11 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30741/tid=30767] ppid=30739 vsize=2068752 CPUtime=20.63 cores=0-31
/proc/30741/task/30767/stat : 30767 (plingeling) R 30739 30741 30316 0 -1 4202560 15385 1242 0 0 2054 9 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4265399 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30741/tid=30768] ppid=30739 vsize=2068752 CPUtime=20.69 cores=0-31
/proc/30741/task/30768/stat : 30768 (plingeling) R 30739 30741 30316 0 -1 4202560 14213 1242 0 0 2052 17 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30741/tid=30769] ppid=30739 vsize=2068752 CPUtime=20.64 cores=0-31
/proc/30741/task/30769/stat : 30769 (plingeling) R 30739 30741 30316 0 -1 4202560 20935 1242 0 0 2043 21 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30741/tid=30770] ppid=30739 vsize=2068752 CPUtime=20.71 cores=0-31
/proc/30741/task/30770/stat : 30770 (plingeling) R 30739 30741 30316 0 -1 4202560 16470 1242 0 0 2055 16 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30741/tid=30771] ppid=30739 vsize=2068752 CPUtime=20.71 cores=0-31
/proc/30741/task/30771/stat : 30771 (plingeling) R 30739 30741 30316 0 -1 4202560 24369 1242 0 0 2051 20 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30741/tid=30772] ppid=30739 vsize=2068752 CPUtime=20.68 cores=0-31
/proc/30741/task/30772/stat : 30772 (plingeling) R 30739 30741 30316 0 -1 4202560 14359 1242 0 0 2052 16 0 0 25 0 33 0 680620433 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364380 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30741/tid=30773] ppid=30739 vsize=2068752 CPUtime=20.24 cores=0-31
/proc/30741/task/30773/stat : 30773 (plingeling) R 30739 30741 30316 0 -1 4202560 17762 1242 0 0 2003 21 0 0 25 0 33 0 680620434 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30741/tid=30774] ppid=30739 vsize=2068752 CPUtime=20.93 cores=0-31
/proc/30741/task/30774/stat : 30774 (plingeling) R 30739 30741 30316 0 -1 4202560 18228 1242 0 0 2077 16 0 0 25 0 33 0 680620434 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30741/tid=30775] ppid=30739 vsize=2068752 CPUtime=20.94 cores=0-31
/proc/30741/task/30775/stat : 30775 (plingeling) R 30739 30741 30316 0 -1 4202560 16054 1242 0 0 2082 12 0 0 25 0 33 0 680620434 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30741/tid=30776] ppid=30739 vsize=2068752 CPUtime=20.67 cores=0-31
/proc/30741/task/30776/stat : 30776 (plingeling) R 30739 30741 30316 0 -1 4202560 12281 1242 0 0 2054 13 0 0 25 0 33 0 680620434 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30741/tid=30777] ppid=30739 vsize=2068752 CPUtime=20.74 cores=0-31
/proc/30741/task/30777/stat : 30777 (plingeling) R 30739 30741 30316 0 -1 4202560 17279 1242 0 0 2055 19 0 0 25 0 33 0 680620434 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30741/tid=30778] ppid=30739 vsize=2068752 CPUtime=20.71 cores=0-31
/proc/30741/task/30778/stat : 30778 (plingeling) R 30739 30741 30316 0 -1 4202560 17743 1242 0 0 2054 17 0 0 25 0 33 0 680620434 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4236613 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30741/tid=30779] ppid=30739 vsize=2068752 CPUtime=20.73 cores=0-31
/proc/30741/task/30779/stat : 30779 (plingeling) R 30739 30741 30316 0 -1 4202560 15088 1242 0 0 2058 15 0 0 25 0 33 0 680620434 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30741/tid=30780] ppid=30739 vsize=2068752 CPUtime=20.75 cores=0-31
/proc/30741/task/30780/stat : 30780 (plingeling) R 30739 30741 30316 0 -1 4202560 16973 1242 0 0 2062 13 0 0 25 0 33 0 680620435 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30741/tid=30781] ppid=30739 vsize=2068752 CPUtime=20.69 cores=0-31
/proc/30741/task/30781/stat : 30781 (plingeling) R 30739 30741 30316 0 -1 4202560 15791 1242 0 0 2054 15 0 0 25 0 33 0 680620439 2118402048 398417 268435456000 4194304 4417452 140734404892480 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 672.49
Current children cumulated vsize (KiB) 2068752
[startup+29.7226 s]
/proc/loadavg: 24.97 22.69 26.37 33/446 30781
/proc/meminfo: memFree=253883544/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=1863872 CPUtime=677.91 cores=0-31
/proc/30741/stat : 30741 (plingeling) S 30739 30741 30316 0 -1 4202496 747792 1242 0 0 67244 547 0 0 17 0 2 0 680619590 1908604928 398294 268435456000 4194304 4417452 140734404892480 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30741/statm: 465968 398294 176 55 0 463854 0
[pid=30741/tid=30773] ppid=30739 vsize=1863872 CPUtime=20.44 cores=0-31
/proc/30741/task/30773/stat : 30773 (plingeling) R 30739 30741 30316 0 -1 4202560 17762 1242 0 0 2023 21 0 0 25 0 2 0 680620434 1908604928 398294 268435456000 4194304 4417452 140734404892480 18446744073709551615 4274788 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 677.91
Current children cumulated vsize (KiB) 1863872
[startup+29.8017 s]
/proc/loadavg: 24.97 22.69 26.37 33/446 30781
/proc/meminfo: memFree=253883544/264257624 swapFree=67111528/67111528
[pid=30741] ppid=30739 vsize=1162424 CPUtime=678 cores=0-31
/proc/30741/stat : 30741 (plingeling) R 30739 30741 30316 0 -1 4202496 747792 1242 0 0 67247 553 0 0 17 0 1 0 680619590 1190322176 228583 268435456000 4194304 4417452 140734404892480 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/30741/statm: 290606 228071 176 55 0 288492 0
Current children cumulated CPU time (s) 678
Current children cumulated vsize (KiB) 1162424
Child status: 20
Real time (s): 29.8837
CPU time (s): 678.093
CPU user time (s): 672.476
CPU system time (s): 5.61715
CPU usage (%): 2269.1
Max. virtual memory (cumulated for all children) (KiB): 2359224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 672.476
system time used= 5.61715
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 749038
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= 4663
involuntary context switches= 1653
runsolver used 0.199969 second user time and 0.716891 second system time
The end
Begin job on node200 at 2011-05-18 06:02:12
IDJOB=3372609
IDBENCH=82479
IDSOLVER=1852
FILE ID=node200/3372609-1305691331
RUNJOBID= node200-1305691046-30330
PBS_JOBID= 13357382
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372609-1305691331/watcher-3372609-1305691331 -o /tmp/evaluation-result-3372609-1305691331/solver-3372609-1305691331 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372609-1305691331.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 78f66492ac42d4b6896175e486263134
RANDOM SEED=680924007
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: 255504968 kB
Buffers: 452060 kB
Cached: 7895796 kB
SwapCached: 0 kB
Active: 7408672 kB
Inactive: 1008096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255504968 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8324 kB
Writeback: 0 kB
AnonPages: 69028 kB
Mapped: 14532 kB
Slab: 252024 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193596 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-18 06:02:42