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-3372597-1305691129/watcher-3372597-1305691129 -o /tmp/evaluation-result-3372597-1305691129/solver-3372597-1305691129 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372597-1305691129.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: 15.81 23.07 27.74 1/413 30472
/proc/meminfo: memFree=255498472/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=13432 CPUtime=0.02 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 1423 1246 0 0 2 0 0 0 22 0 1 0 680599421 13754368 1354 268435456000 4194304 4417452 140736914764656 18446744073709551615 4264876 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 3358 1354 145 55 0 1244 0
[startup+0.0621319 s]
/proc/loadavg: 15.81 23.07 27.74 1/413 30472
/proc/meminfo: memFree=255498472/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=15992 CPUtime=0.04 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 2087 1246 0 0 4 0 0 0 22 0 1 0 680599421 16375808 2018 268435456000 4194304 4417452 140736914764656 18446744073709551615 4264942 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 3998 2018 145 55 0 1884 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15992
[startup+0.101123 s]
/proc/loadavg: 15.81 23.07 27.74 1/413 30472
/proc/meminfo: memFree=255498472/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=19964 CPUtime=0.08 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 3056 1246 0 0 8 0 0 0 22 0 1 0 680599421 20443136 2987 268435456000 4194304 4417452 140736914764656 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 4991 2987 145 55 0 2877 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19964
[startup+0.301131 s]
/proc/loadavg: 15.81 23.07 27.74 1/413 30472
/proc/meminfo: memFree=255498472/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=38300 CPUtime=0.29 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 7657 1246 0 0 27 2 0 0 23 0 1 0 680599421 39219200 7588 268435456000 4194304 4417452 140736914764656 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 9575 7588 146 55 0 7461 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38300
[startup+0.701162 s]
/proc/loadavg: 15.81 23.07 27.74 1/413 30472
/proc/meminfo: memFree=255498472/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=65696 CPUtime=0.69 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 14498 1246 0 0 65 4 0 0 25 0 1 0 680599421 67272704 14429 268435456000 4194304 4417452 140736914764656 18446744073709551615 4231248 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 16424 14429 146 55 0 14310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65696
[startup+1.50119 s]
/proc/loadavg: 15.81 23.07 27.74 2/414 30478
/proc/meminfo: memFree=255418584/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=152608 CPUtime=1.49 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 36242 1246 0 0 141 8 0 0 25 0 1 0 680599421 156270592 36173 268435456000 4194304 4417452 140736914764656 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 38152 36173 146 55 0 36038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152608
[startup+3.10127 s]
/proc/loadavg: 15.81 23.07 27.74 2/414 30478
/proc/meminfo: memFree=255277964/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=293252 CPUtime=3.08 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 71403 1246 0 0 294 14 0 0 25 0 1 0 680599421 300290048 71334 268435456000 4194304 4417452 140736914764656 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 73313 71334 146 55 0 71199 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293252
[startup+6.30037 s]
/proc/loadavg: 14.63 22.70 27.60 2/414 30478
/proc/meminfo: memFree=254931280/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=575044 CPUtime=6.28 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 141851 1246 0 0 599 29 0 0 25 0 1 0 680599421 588845056 141782 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236008 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30472/statm: 143761 141782 146 55 0 141647 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 575044
[startup+12.7024 s]
/proc/loadavg: 13.54 22.34 27.45 33/446 30510
/proc/meminfo: memFree=254373840/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=1899484 CPUtime=121.15 cores=0-31
/proc/30472/stat : 30472 (plingeling) S 30470 30472 30316 0 -1 4202496 569314 1246 0 0 11507 608 0 0 18 0 33 0 680599421 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30472/statm: 474871 338083 170 55 0 472757 0
[pid=30472/tid=30479] ppid=30470 vsize=1899484 CPUtime=3.56 cores=0-31
/proc/30472/task/30479/stat : 30479 (plingeling) R 30470 30472 30316 0 -1 4202560 9459 1246 0 0 339 17 0 0 24 0 33 0 680600315 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=1899484 CPUtime=3.58 cores=0-31
/proc/30472/task/30480/stat : 30480 (plingeling) R 30470 30472 30316 0 -1 4202560 8643 1246 0 0 342 16 0 0 24 0 33 0 680600315 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=1899484 CPUtime=3.54 cores=0-31
/proc/30472/task/30481/stat : 30481 (plingeling) R 30470 30472 30316 0 -1 4202560 8642 1246 0 0 338 16 0 0 18 0 33 0 680600315 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4234952 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=1899484 CPUtime=3.72 cores=0-31
/proc/30472/task/30482/stat : 30482 (plingeling) R 30470 30472 30316 0 -1 4202560 4399 1246 0 0 364 8 0 0 25 0 33 0 680600315 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=1899484 CPUtime=3.44 cores=0-31
/proc/30472/task/30483/stat : 30483 (plingeling) R 30470 30472 30316 0 -1 4202560 8465 1246 0 0 332 12 0 0 24 0 33 0 680600315 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=1899484 CPUtime=3.43 cores=0-31
/proc/30472/task/30484/stat : 30484 (plingeling) R 30470 30472 30316 0 -1 4202560 12684 1246 0 0 334 9 0 0 25 0 33 0 680600315 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277628 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=1899484 CPUtime=3.46 cores=0-31
/proc/30472/task/30485/stat : 30485 (plingeling) R 30470 30472 30316 0 -1 4202560 10739 1246 0 0 331 15 0 0 24 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=1899484 CPUtime=3.6 cores=0-31
/proc/30472/task/30486/stat : 30486 (plingeling) R 30470 30472 30316 0 -1 4202560 9436 1246 0 0 344 16 0 0 25 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=1899484 CPUtime=3.55 cores=0-31
/proc/30472/task/30487/stat : 30487 (plingeling) R 30470 30472 30316 0 -1 4202560 14539 1246 0 0 336 19 0 0 25 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236598 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=1899484 CPUtime=3.62 cores=0-31
/proc/30472/task/30488/stat : 30488 (plingeling) R 30470 30472 30316 0 -1 4202560 10693 1246 0 0 346 16 0 0 25 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236634 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=1899484 CPUtime=3.52 cores=0-31
/proc/30472/task/30489/stat : 30489 (plingeling) R 30470 30472 30316 0 -1 4202560 8641 1246 0 0 338 14 0 0 24 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=1899484 CPUtime=3.55 cores=0-31
/proc/30472/task/30490/stat : 30490 (plingeling) R 30470 30472 30316 0 -1 4202560 12656 1246 0 0 339 16 0 0 25 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275939 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=1899484 CPUtime=3.41 cores=0-31
/proc/30472/task/30491/stat : 30491 (plingeling) R 30470 30472 30316 0 -1 4202560 8639 1246 0 0 325 16 0 0 24 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30472/tid=30492] ppid=30470 vsize=1899484 CPUtime=3.56 cores=0-31
/proc/30472/task/30492/stat : 30492 (plingeling) R 30470 30472 30316 0 -1 4202560 12435 1246 0 0 339 17 0 0 21 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30472/tid=30493] ppid=30470 vsize=1899484 CPUtime=3.53 cores=0-31
/proc/30472/task/30493/stat : 30493 (plingeling) R 30470 30472 30316 0 -1 4202560 10652 1246 0 0 334 19 0 0 21 0 33 0 680600316 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30472/tid=30494] ppid=30470 vsize=1899484 CPUtime=3.3 cores=0-31
/proc/30472/task/30494/stat : 30494 (plingeling) R 30470 30472 30316 0 -1 4202560 13941 1246 0 0 313 17 0 0 24 0 33 0 680600317 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275847 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30472/tid=30495] ppid=30470 vsize=1899484 CPUtime=3.52 cores=0-31
/proc/30472/task/30495/stat : 30495 (plingeling) R 30470 30472 30316 0 -1 4202560 11352 1246 0 0 335 17 0 0 25 0 33 0 680600321 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30472/tid=30496] ppid=30470 vsize=1899484 CPUtime=3.49 cores=0-31
/proc/30472/task/30496/stat : 30496 (plingeling) R 30470 30472 30316 0 -1 4202560 12663 1246 0 0 332 17 0 0 25 0 33 0 680600321 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30472/tid=30497] ppid=30470 vsize=1899484 CPUtime=3.42 cores=0-31
/proc/30472/task/30497/stat : 30497 (plingeling) R 30470 30472 30316 0 -1 4202560 8524 1246 0 0 321 21 0 0 24 0 33 0 680600321 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236861 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30472/tid=30498] ppid=30470 vsize=1899484 CPUtime=3.48 cores=0-31
/proc/30472/task/30498/stat : 30498 (plingeling) R 30470 30472 30316 0 -1 4202560 12589 1246 0 0 335 13 0 0 25 0 33 0 680600321 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30472/tid=30499] ppid=30470 vsize=1899484 CPUtime=3.41 cores=0-31
/proc/30472/task/30499/stat : 30499 (plingeling) R 30470 30472 30316 0 -1 4202560 10458 1246 0 0 315 26 0 0 23 0 33 0 680600321 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30472/tid=30500] ppid=30470 vsize=1899484 CPUtime=3.44 cores=0-31
/proc/30472/task/30500/stat : 30500 (plingeling) R 30470 30472 30316 0 -1 4202560 13419 1246 0 0 324 20 0 0 24 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30472/tid=30501] ppid=30470 vsize=1899484 CPUtime=3.49 cores=0-31
/proc/30472/task/30501/stat : 30501 (plingeling) R 30470 30472 30316 0 -1 4202560 10735 1246 0 0 329 20 0 0 25 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277559 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30472/tid=30502] ppid=30470 vsize=1899484 CPUtime=3.45 cores=0-31
/proc/30472/task/30502/stat : 30502 (plingeling) R 30470 30472 30316 0 -1 4202560 16843 1246 0 0 323 22 0 0 24 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277687 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30472/tid=30503] ppid=30470 vsize=1899484 CPUtime=3.43 cores=0-31
/proc/30472/task/30503/stat : 30503 (plingeling) R 30470 30472 30316 0 -1 4202560 10457 1246 0 0 322 21 0 0 24 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30472/tid=30504] ppid=30470 vsize=1899484 CPUtime=3.5 cores=0-31
/proc/30472/task/30504/stat : 30504 (plingeling) R 30470 30472 30316 0 -1 4202560 10496 1246 0 0 335 15 0 0 25 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30472/tid=30505] ppid=30470 vsize=1899484 CPUtime=3.4 cores=0-31
/proc/30472/task/30505/stat : 30505 (plingeling) R 30470 30472 30316 0 -1 4202560 8443 1246 0 0 319 21 0 0 23 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4275838 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30472/tid=30506] ppid=30470 vsize=1899484 CPUtime=3.45 cores=0-31
/proc/30472/task/30506/stat : 30506 (plingeling) R 30470 30472 30316 0 -1 4202560 10498 1246 0 0 322 23 0 0 24 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4276911 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30472/tid=30507] ppid=30470 vsize=1899484 CPUtime=3.62 cores=0-31
/proc/30472/task/30507/stat : 30507 (plingeling) R 30470 30472 30316 0 -1 4202560 10650 1246 0 0 343 19 0 0 25 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30472/tid=30508] ppid=30470 vsize=1899484 CPUtime=3.44 cores=0-31
/proc/30472/task/30508/stat : 30508 (plingeling) R 30470 30472 30316 0 -1 4202560 15714 1246 0 0 331 13 0 0 25 0 33 0 680600322 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4276590 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30472/tid=30509] ppid=30470 vsize=1899484 CPUtime=3.57 cores=0-31
/proc/30472/task/30509/stat : 30509 (plingeling) R 30470 30472 30316 0 -1 4202560 12530 1246 0 0 339 18 0 0 25 0 33 0 680600323 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4265503 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30472/tid=30510] ppid=30470 vsize=1899484 CPUtime=3.44 cores=0-31
/proc/30472/task/30510/stat : 30510 (plingeling) R 30470 30472 30316 0 -1 4202560 12395 1246 0 0 326 18 0 0 25 0 33 0 680600324 1945071616 338083 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 121.15
Current children cumulated vsize (KiB) 1899484
[startup+25.5019 s]
/proc/loadavg: 17.63 22.81 27.53 33/446 30510
/proc/meminfo: memFree=253699276/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=2236364 CPUtime=529.78 cores=0-31
/proc/30472/stat : 30472 (plingeling) S 30470 30472 30316 0 -1 4202496 810872 1246 0 0 52311 667 0 0 18 0 33 0 680599421 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30472/statm: 559091 446041 174 55 0 556977 0
[pid=30472/tid=30479] ppid=30470 vsize=2236364 CPUtime=16.34 cores=0-31
/proc/30472/task/30479/stat : 30479 (plingeling) R 30470 30472 30316 0 -1 4202560 12584 1246 0 0 1615 19 0 0 25 0 33 0 680600315 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4258359 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=2236364 CPUtime=16.38 cores=0-31
/proc/30472/task/30480/stat : 30480 (plingeling) R 30470 30472 30316 0 -1 4202560 20410 1246 0 0 1619 19 0 0 25 0 33 0 680600315 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4226844 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=2236364 CPUtime=16.31 cores=0-31
/proc/30472/task/30481/stat : 30481 (plingeling) R 30470 30472 30316 0 -1 4202560 23461 1246 0 0 1612 19 0 0 25 0 33 0 680600315 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236755 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=2236364 CPUtime=16.51 cores=0-31
/proc/30472/task/30482/stat : 30482 (plingeling) R 30470 30472 30316 0 -1 4202560 6447 1246 0 0 1643 8 0 0 25 0 33 0 680600315 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=2236364 CPUtime=16.23 cores=0-31
/proc/30472/task/30483/stat : 30483 (plingeling) R 30470 30472 30316 0 -1 4202560 21346 1246 0 0 1608 15 0 0 25 0 33 0 680600315 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=2236364 CPUtime=16.21 cores=0-31
/proc/30472/task/30484/stat : 30484 (plingeling) R 30470 30472 30316 0 -1 4202560 16452 1246 0 0 1611 10 0 0 25 0 33 0 680600315 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=2236364 CPUtime=16.11 cores=0-31
/proc/30472/task/30485/stat : 30485 (plingeling) R 30470 30472 30316 0 -1 4202560 18369 1246 0 0 1594 17 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=2236364 CPUtime=16.38 cores=0-31
/proc/30472/task/30486/stat : 30486 (plingeling) R 30470 30472 30316 0 -1 4202560 12140 1246 0 0 1621 17 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4249158 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=2236364 CPUtime=16.33 cores=0-31
/proc/30472/task/30487/stat : 30487 (plingeling) R 30470 30472 30316 0 -1 4202560 26753 1246 0 0 1611 22 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=2236364 CPUtime=16.41 cores=0-31
/proc/30472/task/30488/stat : 30488 (plingeling) R 30470 30472 30316 0 -1 4202560 19290 1246 0 0 1623 18 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=2236364 CPUtime=16.3 cores=0-31
/proc/30472/task/30489/stat : 30489 (plingeling) R 30470 30472 30316 0 -1 4202560 18583 1246 0 0 1614 16 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364495 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=2236364 CPUtime=16.34 cores=0-31
/proc/30472/task/30490/stat : 30490 (plingeling) R 30470 30472 30316 0 -1 4202560 23813 1246 0 0 1615 19 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4320510 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=2236364 CPUtime=16.18 cores=0-31
/proc/30472/task/30491/stat : 30491 (plingeling) R 30470 30472 30316 0 -1 4202560 14278 1246 0 0 1601 17 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30472/tid=30492] ppid=30470 vsize=2236364 CPUtime=16.34 cores=0-31
/proc/30472/task/30492/stat : 30492 (plingeling) R 30470 30472 30316 0 -1 4202560 22146 1246 0 0 1614 20 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4249151 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30472/tid=30493] ppid=30470 vsize=2236364 CPUtime=16.31 cores=0-31
/proc/30472/task/30493/stat : 30493 (plingeling) R 30470 30472 30316 0 -1 4202560 22570 1246 0 0 1609 22 0 0 25 0 33 0 680600316 2290036736 446041 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 10 0 0 0
################
# More data... #
################
[pid=30472/tid=30509] ppid=30470 vsize=1927076 CPUtime=21.14 cores=0-31
/proc/30472/task/30509/stat : 30509 (plingeling) R 30470 30472 30316 0 -1 4202560 16837 1246 0 0 2096 18 0 0 25 0 33 0 680600323 1973325824 359106 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30472/tid=30510] ppid=30470 vsize=1927076 CPUtime=20.97 cores=0-31
/proc/30472/task/30510/stat : 30510 (plingeling) R 30470 30472 30316 0 -1 4202560 13426 1246 0 0 2079 18 0 0 25 0 33 0 680600324 1973325824 359106 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 683.22
Current children cumulated vsize (KiB) 1927076
[startup+31.1021 s]
/proc/loadavg: 18.78 22.96 27.55 33/446 30510
/proc/meminfo: memFree=254032312/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=1927252 CPUtime=708.79 cores=0-31
/proc/30472/stat : 30472 (plingeling) S 30470 30472 30316 0 -1 4202496 810924 1246 0 0 70207 672 0 0 18 0 33 0 680599421 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30472/statm: 481813 359150 175 55 0 479699 0
[pid=30472/tid=30479] ppid=30470 vsize=1927252 CPUtime=21.93 cores=0-31
/proc/30472/task/30479/stat : 30479 (plingeling) R 30470 30472 30316 0 -1 4202560 12584 1246 0 0 2174 19 0 0 25 0 33 0 680600315 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=1927252 CPUtime=21.97 cores=0-31
/proc/30472/task/30480/stat : 30480 (plingeling) R 30470 30472 30316 0 -1 4202560 20410 1246 0 0 2178 19 0 0 25 0 33 0 680600315 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=1927252 CPUtime=21.91 cores=0-31
/proc/30472/task/30481/stat : 30481 (plingeling) R 30470 30472 30316 0 -1 4202560 23461 1246 0 0 2172 19 0 0 25 0 33 0 680600315 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=1927252 CPUtime=22.11 cores=0-31
/proc/30472/task/30482/stat : 30482 (plingeling) R 30470 30472 30316 0 -1 4202560 6447 1246 0 0 2203 8 0 0 25 0 33 0 680600315 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=1927252 CPUtime=21.82 cores=0-31
/proc/30472/task/30483/stat : 30483 (plingeling) R 30470 30472 30316 0 -1 4202560 21346 1246 0 0 2167 15 0 0 25 0 33 0 680600315 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=1927252 CPUtime=21.8 cores=0-31
/proc/30472/task/30484/stat : 30484 (plingeling) R 30470 30472 30316 0 -1 4202560 16452 1246 0 0 2170 10 0 0 25 0 33 0 680600315 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=1927252 CPUtime=21.55 cores=0-31
/proc/30472/task/30485/stat : 30485 (plingeling) R 30470 30472 30316 0 -1 4202560 18369 1246 0 0 2138 17 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=1927252 CPUtime=21.97 cores=0-31
/proc/30472/task/30486/stat : 30486 (plingeling) R 30470 30472 30316 0 -1 4202560 12140 1246 0 0 2180 17 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=1927252 CPUtime=21.92 cores=0-31
/proc/30472/task/30487/stat : 30487 (plingeling) R 30470 30472 30316 0 -1 4202560 26753 1246 0 0 2170 22 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=1927252 CPUtime=22.01 cores=0-31
/proc/30472/task/30488/stat : 30488 (plingeling) R 30470 30472 30316 0 -1 4202560 19290 1246 0 0 2183 18 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=1927252 CPUtime=21.9 cores=0-31
/proc/30472/task/30489/stat : 30489 (plingeling) R 30470 30472 30316 0 -1 4202560 18583 1246 0 0 2174 16 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=1927252 CPUtime=21.93 cores=0-31
/proc/30472/task/30490/stat : 30490 (plingeling) R 30470 30472 30316 0 -1 4202560 23813 1246 0 0 2174 19 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=1927252 CPUtime=21.78 cores=0-31
/proc/30472/task/30491/stat : 30491 (plingeling) R 30470 30472 30316 0 -1 4202560 14278 1246 0 0 2161 17 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 18446744073699065958 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30472/tid=30492] ppid=30470 vsize=1927252 CPUtime=21.94 cores=0-31
/proc/30472/task/30492/stat : 30492 (plingeling) R 30470 30472 30316 0 -1 4202560 22146 1246 0 0 2174 20 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4365965 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30472/tid=30493] ppid=30470 vsize=1927252 CPUtime=21.9 cores=0-31
/proc/30472/task/30493/stat : 30493 (plingeling) R 30470 30472 30316 0 -1 4202560 22570 1246 0 0 2168 22 0 0 25 0 33 0 680600316 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4366523 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30472/tid=30494] ppid=30470 vsize=1927252 CPUtime=21.69 cores=0-31
/proc/30472/task/30494/stat : 30494 (plingeling) R 30470 30472 30316 0 -1 4202560 21456 1246 0 0 2149 20 0 0 25 0 33 0 680600317 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30472/tid=30495] ppid=30470 vsize=1927252 CPUtime=21.9 cores=0-31
/proc/30472/task/30495/stat : 30495 (plingeling) R 30470 30472 30316 0 -1 4202560 23138 1246 0 0 2172 18 0 0 25 0 33 0 680600321 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30472/tid=30496] ppid=30470 vsize=1927252 CPUtime=21.79 cores=0-31
/proc/30472/task/30496/stat : 30496 (plingeling) R 30470 30472 30316 0 -1 4202560 25291 1246 0 0 2159 20 0 0 25 0 33 0 680600321 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30472/tid=30497] ppid=30470 vsize=1927252 CPUtime=21.81 cores=0-31
/proc/30472/task/30497/stat : 30497 (plingeling) R 30470 30472 30316 0 -1 4202560 9598 1246 0 0 2159 22 0 0 25 0 33 0 680600321 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30472/tid=30498] ppid=30470 vsize=1927252 CPUtime=21.84 cores=0-31
/proc/30472/task/30498/stat : 30498 (plingeling) R 30470 30472 30316 0 -1 4202560 17717 1246 0 0 2170 14 0 0 25 0 33 0 680600321 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236956 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30472/tid=30499] ppid=30470 vsize=1927252 CPUtime=21.8 cores=0-31
/proc/30472/task/30499/stat : 30499 (plingeling) R 30470 30472 30316 0 -1 4202560 22955 1246 0 0 2151 29 0 0 25 0 33 0 680600321 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4232693 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30472/tid=30500] ppid=30470 vsize=1927252 CPUtime=21.82 cores=0-31
/proc/30472/task/30500/stat : 30500 (plingeling) R 30470 30472 30316 0 -1 4202560 14961 1246 0 0 2162 20 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30472/tid=30501] ppid=30470 vsize=1927252 CPUtime=21.69 cores=0-31
/proc/30472/task/30501/stat : 30501 (plingeling) R 30470 30472 30316 0 -1 4202560 12785 1246 0 0 2148 21 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30472/tid=30502] ppid=30470 vsize=1927252 CPUtime=21.83 cores=0-31
/proc/30472/task/30502/stat : 30502 (plingeling) R 30470 30472 30316 0 -1 4202560 23464 1246 0 0 2160 23 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30472/tid=30503] ppid=30470 vsize=1927252 CPUtime=21.8 cores=0-31
/proc/30472/task/30503/stat : 30503 (plingeling) R 30470 30472 30316 0 -1 4202560 19214 1246 0 0 2157 23 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30472/tid=30504] ppid=30470 vsize=1927252 CPUtime=21.89 cores=0-31
/proc/30472/task/30504/stat : 30504 (plingeling) R 30470 30472 30316 0 -1 4202560 18218 1246 0 0 2172 17 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30472/tid=30505] ppid=30470 vsize=1927252 CPUtime=21.79 cores=0-31
/proc/30472/task/30505/stat : 30505 (plingeling) R 30470 30472 30316 0 -1 4202560 14953 1246 0 0 2156 23 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30472/tid=30506] ppid=30470 vsize=1927252 CPUtime=21.84 cores=0-31
/proc/30472/task/30506/stat : 30506 (plingeling) R 30470 30472 30316 0 -1 4202560 22417 1246 0 0 2158 26 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4365167 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30472/tid=30507] ppid=30470 vsize=1927252 CPUtime=22.01 cores=0-31
/proc/30472/task/30507/stat : 30507 (plingeling) R 30470 30472 30316 0 -1 4202560 18158 1246 0 0 2180 21 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30472/tid=30508] ppid=30470 vsize=1927252 CPUtime=21.83 cores=0-31
/proc/30472/task/30508/stat : 30508 (plingeling) R 30470 30472 30316 0 -1 4202560 20809 1246 0 0 2167 16 0 0 25 0 33 0 680600322 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30472/tid=30509] ppid=30470 vsize=1927252 CPUtime=21.94 cores=0-31
/proc/30472/task/30509/stat : 30509 (plingeling) R 30470 30472 30316 0 -1 4202560 16837 1246 0 0 2176 18 0 0 25 0 33 0 680600323 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30472/tid=30510] ppid=30470 vsize=1927252 CPUtime=21.77 cores=0-31
/proc/30472/task/30510/stat : 30510 (plingeling) R 30470 30472 30316 0 -1 4202560 13426 1246 0 0 2159 18 0 0 25 0 33 0 680600324 1973506048 359150 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 708.79
Current children cumulated vsize (KiB) 1927252
[startup+31.5021 s]
/proc/loadavg: 18.78 22.96 27.55 33/446 30510
/proc/meminfo: memFree=254032312/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=1927048 CPUtime=721.58 cores=0-31
/proc/30472/stat : 30472 (plingeling) S 30470 30472 30316 0 -1 4202496 810924 1246 0 0 71486 672 0 0 18 0 33 0 680599421 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30472/statm: 481762 359099 175 55 0 479648 0
[pid=30472/tid=30479] ppid=30470 vsize=1927048 CPUtime=22.33 cores=0-31
/proc/30472/task/30479/stat : 30479 (plingeling) R 30470 30472 30316 0 -1 4202560 12584 1246 0 0 2214 19 0 0 25 0 33 0 680600315 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30472/tid=30480] ppid=30470 vsize=1927048 CPUtime=22.37 cores=0-31
/proc/30472/task/30480/stat : 30480 (plingeling) R 30470 30472 30316 0 -1 4202560 20410 1246 0 0 2218 19 0 0 25 0 33 0 680600315 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30472/tid=30481] ppid=30470 vsize=1927048 CPUtime=22.31 cores=0-31
/proc/30472/task/30481/stat : 30481 (plingeling) R 30470 30472 30316 0 -1 4202560 23461 1246 0 0 2212 19 0 0 25 0 33 0 680600315 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30472/tid=30482] ppid=30470 vsize=1927048 CPUtime=22.51 cores=0-31
/proc/30472/task/30482/stat : 30482 (plingeling) R 30470 30472 30316 0 -1 4202560 6447 1246 0 0 2243 8 0 0 25 0 33 0 680600315 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30472/tid=30483] ppid=30470 vsize=1927048 CPUtime=22.22 cores=0-31
/proc/30472/task/30483/stat : 30483 (plingeling) R 30470 30472 30316 0 -1 4202560 21346 1246 0 0 2207 15 0 0 25 0 33 0 680600315 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30472/tid=30484] ppid=30470 vsize=1927048 CPUtime=22.2 cores=0-31
/proc/30472/task/30484/stat : 30484 (plingeling) R 30470 30472 30316 0 -1 4202560 16452 1246 0 0 2210 10 0 0 25 0 33 0 680600315 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30472/tid=30485] ppid=30470 vsize=1927048 CPUtime=21.95 cores=0-31
/proc/30472/task/30485/stat : 30485 (plingeling) R 30470 30472 30316 0 -1 4202560 18369 1246 0 0 2178 17 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30472/tid=30486] ppid=30470 vsize=1927048 CPUtime=22.37 cores=0-31
/proc/30472/task/30486/stat : 30486 (plingeling) R 30470 30472 30316 0 -1 4202560 12140 1246 0 0 2220 17 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30472/tid=30487] ppid=30470 vsize=1927048 CPUtime=22.32 cores=0-31
/proc/30472/task/30487/stat : 30487 (plingeling) R 30470 30472 30316 0 -1 4202560 26753 1246 0 0 2210 22 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30472/tid=30488] ppid=30470 vsize=1927048 CPUtime=22.41 cores=0-31
/proc/30472/task/30488/stat : 30488 (plingeling) R 30470 30472 30316 0 -1 4202560 19290 1246 0 0 2223 18 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4237194 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30472/tid=30489] ppid=30470 vsize=1927048 CPUtime=22.3 cores=0-31
/proc/30472/task/30489/stat : 30489 (plingeling) R 30470 30472 30316 0 -1 4202560 18583 1246 0 0 2214 16 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30472/tid=30490] ppid=30470 vsize=1927048 CPUtime=22.33 cores=0-31
/proc/30472/task/30490/stat : 30490 (plingeling) R 30470 30472 30316 0 -1 4202560 23813 1246 0 0 2214 19 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30472/tid=30491] ppid=30470 vsize=1927048 CPUtime=22.18 cores=0-31
/proc/30472/task/30491/stat : 30491 (plingeling) R 30470 30472 30316 0 -1 4202560 14278 1246 0 0 2201 17 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30472/tid=30492] ppid=30470 vsize=1927048 CPUtime=22.34 cores=0-31
/proc/30472/task/30492/stat : 30492 (plingeling) R 30470 30472 30316 0 -1 4202560 22146 1246 0 0 2214 20 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30472/tid=30493] ppid=30470 vsize=1927048 CPUtime=22.3 cores=0-31
/proc/30472/task/30493/stat : 30493 (plingeling) R 30470 30472 30316 0 -1 4202560 22570 1246 0 0 2208 22 0 0 25 0 33 0 680600316 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30472/tid=30494] ppid=30470 vsize=1927048 CPUtime=22.09 cores=0-31
/proc/30472/task/30494/stat : 30494 (plingeling) R 30470 30472 30316 0 -1 4202560 21456 1246 0 0 2189 20 0 0 25 0 33 0 680600317 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30472/tid=30495] ppid=30470 vsize=1927048 CPUtime=22.3 cores=0-31
/proc/30472/task/30495/stat : 30495 (plingeling) R 30470 30472 30316 0 -1 4202560 23138 1246 0 0 2212 18 0 0 25 0 33 0 680600321 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4245664 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30472/tid=30496] ppid=30470 vsize=1927048 CPUtime=22.19 cores=0-31
/proc/30472/task/30496/stat : 30496 (plingeling) R 30470 30472 30316 0 -1 4202560 25291 1246 0 0 2199 20 0 0 25 0 33 0 680600321 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30472/tid=30497] ppid=30470 vsize=1927048 CPUtime=22.21 cores=0-31
/proc/30472/task/30497/stat : 30497 (plingeling) R 30470 30472 30316 0 -1 4202560 9598 1246 0 0 2199 22 0 0 25 0 33 0 680600321 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30472/tid=30498] ppid=30470 vsize=1927048 CPUtime=22.24 cores=0-31
/proc/30472/task/30498/stat : 30498 (plingeling) R 30470 30472 30316 0 -1 4202560 17717 1246 0 0 2210 14 0 0 25 0 33 0 680600321 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30472/tid=30499] ppid=30470 vsize=1927048 CPUtime=22.2 cores=0-31
/proc/30472/task/30499/stat : 30499 (plingeling) R 30470 30472 30316 0 -1 4202560 22955 1246 0 0 2191 29 0 0 25 0 33 0 680600321 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30472/tid=30500] ppid=30470 vsize=1927048 CPUtime=22.22 cores=0-31
/proc/30472/task/30500/stat : 30500 (plingeling) R 30470 30472 30316 0 -1 4202560 14961 1246 0 0 2202 20 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30472/tid=30501] ppid=30470 vsize=1927048 CPUtime=22.09 cores=0-31
/proc/30472/task/30501/stat : 30501 (plingeling) R 30470 30472 30316 0 -1 4202560 12785 1246 0 0 2188 21 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30472/tid=30502] ppid=30470 vsize=1927048 CPUtime=22.23 cores=0-31
/proc/30472/task/30502/stat : 30502 (plingeling) R 30470 30472 30316 0 -1 4202560 23464 1246 0 0 2200 23 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4366491 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30472/tid=30503] ppid=30470 vsize=1927048 CPUtime=22.2 cores=0-31
/proc/30472/task/30503/stat : 30503 (plingeling) R 30470 30472 30316 0 -1 4202560 19214 1246 0 0 2197 23 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30472/tid=30504] ppid=30470 vsize=1927048 CPUtime=22.29 cores=0-31
/proc/30472/task/30504/stat : 30504 (plingeling) R 30470 30472 30316 0 -1 4202560 18218 1246 0 0 2212 17 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30472/tid=30505] ppid=30470 vsize=1927048 CPUtime=22.19 cores=0-31
/proc/30472/task/30505/stat : 30505 (plingeling) R 30470 30472 30316 0 -1 4202560 14953 1246 0 0 2196 23 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30472/tid=30506] ppid=30470 vsize=1927048 CPUtime=22.24 cores=0-31
/proc/30472/task/30506/stat : 30506 (plingeling) R 30470 30472 30316 0 -1 4202560 22417 1246 0 0 2198 26 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30472/tid=30507] ppid=30470 vsize=1927048 CPUtime=22.41 cores=0-31
/proc/30472/task/30507/stat : 30507 (plingeling) R 30470 30472 30316 0 -1 4202560 18158 1246 0 0 2220 21 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30472/tid=30508] ppid=30470 vsize=1927048 CPUtime=22.23 cores=0-31
/proc/30472/task/30508/stat : 30508 (plingeling) R 30470 30472 30316 0 -1 4202560 20809 1246 0 0 2207 16 0 0 25 0 33 0 680600322 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30472/tid=30509] ppid=30470 vsize=1927048 CPUtime=22.34 cores=0-31
/proc/30472/task/30509/stat : 30509 (plingeling) R 30470 30472 30316 0 -1 4202560 16837 1246 0 0 2216 18 0 0 25 0 33 0 680600323 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30472/tid=30510] ppid=30470 vsize=1927048 CPUtime=22.17 cores=0-31
/proc/30472/task/30510/stat : 30510 (plingeling) R 30470 30472 30316 0 -1 4202560 13426 1246 0 0 2199 18 0 0 25 0 33 0 680600324 1973297152 359099 268435456000 4194304 4417452 140736914764656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 721.58
Current children cumulated vsize (KiB) 1927048
[startup+31.9192 s]
/proc/loadavg: 18.78 22.96 27.55 3/416 30510
/proc/meminfo: memFree=254035000/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=1422456 CPUtime=730.48 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 810925 1246 0 0 72374 674 0 0 16 0 1 0 680599421 1456594944 304989 268435456000 4194304 4417452 140736914764656 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/30472/statm: 355614 304485 176 55 0 353500 0
Current children cumulated CPU time (s) 730.48
Current children cumulated vsize (KiB) 1422456
[startup+32.0012 s]
/proc/loadavg: 18.78 22.96 27.55 3/416 30510
/proc/meminfo: memFree=254035000/264257624 swapFree=67111528/67111528
[pid=30472] ppid=30470 vsize=651200 CPUtime=730.56 cores=0-31
/proc/30472/stat : 30472 (plingeling) R 30470 30472 30316 0 -1 4202496 810925 1246 0 0 72374 682 0 0 16 0 1 0 680599421 666828800 65134 268435456000 4194304 4417452 140736914764656 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/30472/statm: 162800 65134 176 55 0 160686 0
Current children cumulated CPU time (s) 730.56
Current children cumulated vsize (KiB) 651200
Child status: 20
Real time (s): 32.0267
CPU time (s): 730.604
CPU user time (s): 723.746
CPU system time (s): 6.85796
CPU usage (%): 2281.23
Max. virtual memory (cumulated for all children) (KiB): 2244116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 723.746
system time used= 6.85796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 812175
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= 5168
involuntary context switches= 1866
runsolver used 0.215967 second user time and 0.754885 second system time
The end
Begin job on node200 at 2011-05-18 05:58:50
IDJOB=3372597
IDBENCH=82474
IDSOLVER=1852
FILE ID=node200/3372597-1305691129
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-k45-pdtswvrod6x8p1-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372597-1305691129/watcher-3372597-1305691129 -o /tmp/evaluation-result-3372597-1305691129/solver-3372597-1305691129 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372597-1305691129.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= d07ba7628d2c2e21fb72ee99fe24c054
RANDOM SEED=1826126209
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: 255498752 kB
Buffers: 451976 kB
Cached: 7896136 kB
SwapCached: 0 kB
Active: 7408912 kB
Inactive: 1008040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255498752 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8736 kB
Writeback: 0 kB
AnonPages: 69564 kB
Mapped: 14504 kB
Slab: 251664 kB
PageTables: 4328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 194472 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 05:59:22