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-3372594-1305691075/watcher-3372594-1305691075 -o /tmp/evaluation-result-3372594-1305691075/solver-3372594-1305691075 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372594-1305691075.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: 11.92 23.67 28.19 1/413 30406
/proc/meminfo: memFree=255501428/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=12756 CPUtime=0.03 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 1266 1245 0 0 2 0 0 1 21 0 1 0 680594023 13062144 1197 268435456000 4194304 4417452 140733314582976 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30406/statm: 3189 1197 145 55 0 1075 0
[startup+0.0790769 s]
/proc/loadavg: 11.92 23.67 28.19 1/413 30406
/proc/meminfo: memFree=255501428/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=17016 CPUtime=0.07 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 2343 1245 0 0 6 0 0 1 21 0 1 0 680594023 17424384 2274 268435456000 4194304 4417452 140733314582976 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30406/statm: 4254 2274 145 55 0 2140 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17016
[startup+0.101082 s]
/proc/loadavg: 11.92 23.67 28.19 1/413 30406
/proc/meminfo: memFree=255501428/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=19260 CPUtime=0.09 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 2904 1245 0 0 8 0 0 1 21 0 1 0 680594023 19722240 2835 268435456000 4194304 4417452 140733314582976 18446744073709551615 4227801 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30406/statm: 4815 2835 145 55 0 2701 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19260
[startup+0.301086 s]
/proc/loadavg: 11.92 23.67 28.19 1/413 30406
/proc/meminfo: memFree=255501428/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=37788 CPUtime=0.3 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 7513 1245 0 0 27 2 0 1 22 0 1 0 680594023 38694912 7444 268435456000 4194304 4417452 140733314582976 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30406/statm: 9447 7444 146 55 0 7333 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 37788
[startup+0.701098 s]
/proc/loadavg: 11.92 23.67 28.19 1/413 30406
/proc/meminfo: memFree=255501428/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=64864 CPUtime=0.7 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 14274 1245 0 0 65 4 0 1 23 0 1 0 680594023 66420736 14205 268435456000 4194304 4417452 140733314582976 18446744073709551615 4262159 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30406/statm: 16216 14205 146 55 0 14102 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 64864
[startup+1.50113 s]
/proc/loadavg: 11.92 23.67 28.19 2/414 30412
/proc/meminfo: memFree=255417068/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=151656 CPUtime=1.49 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 36004 1245 0 0 140 8 0 1 25 0 1 0 680594023 155295744 35935 268435456000 4194304 4417452 140733314582976 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30406/statm: 37914 35935 146 55 0 35800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151656
[startup+3.10122 s]
/proc/loadavg: 11.04 23.29 28.05 2/414 30412
/proc/meminfo: memFree=255281412/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=292676 CPUtime=3.1 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 71260 1245 0 0 294 15 0 1 25 0 1 0 680594023 299700224 71190 268435456000 4194304 4417452 140733314582976 18446744073709551615 4231670 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30406/statm: 73169 71190 146 55 0 71055 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 292676
[startup+6.30117 s]
/proc/loadavg: 11.04 23.29 28.05 2/414 30412
/proc/meminfo: memFree=254937444/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=1301340 CPUtime=30.24 cores=0-31
/proc/30406/stat : 30406 (plingeling) S 30404 30406 30316 0 -1 4202496 279604 1245 0 0 2826 197 0 1 18 0 33 0 680594023 1332572160 182509 268435456000 4194304 4417452 140733314582976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30406/statm: 325335 182509 168 55 0 323221 0
Current children cumulated CPU time (s) 30.24
Current children cumulated vsize (KiB) 1301340
[startup+12.7024 s]
/proc/loadavg: 14.27 23.58 28.09 33/446 30444
/proc/meminfo: memFree=254616112/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=1441716 CPUtime=234.69 cores=0-31
/proc/30406/stat : 30406 (plingeling) S 30404 30406 30316 0 -1 4202496 404506 1245 0 0 23212 256 0 1 18 0 33 0 680594023 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30406/statm: 360429 229913 174 55 0 358315 0
[pid=30406/tid=30413] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30413/stat : 30413 (plingeling) R 30404 30406 30316 0 -1 4202560 11560 1245 0 0 712 6 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30406/tid=30414] ppid=30404 vsize=1441716 CPUtime=7.2 cores=0-31
/proc/30406/task/30414/stat : 30414 (plingeling) R 30404 30406 30316 0 -1 4202560 10884 1245 0 0 714 5 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4253059 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30406/tid=30415] ppid=30404 vsize=1441716 CPUtime=7.17 cores=0-31
/proc/30406/task/30415/stat : 30415 (plingeling) R 30404 30406 30316 0 -1 4202560 5392 1245 0 0 711 5 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232743 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30406/tid=30416] ppid=30404 vsize=1441716 CPUtime=7.13 cores=0-31
/proc/30406/task/30416/stat : 30416 (plingeling) R 30404 30406 30316 0 -1 4202560 1822 1245 0 0 709 3 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4352409 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30406/tid=30417] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30417/stat : 30417 (plingeling) R 30404 30406 30316 0 -1 4202560 8696 1245 0 0 715 3 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252176 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30406/tid=30418] ppid=30404 vsize=1441716 CPUtime=7.18 cores=0-31
/proc/30406/task/30418/stat : 30418 (plingeling) R 30404 30406 30316 0 -1 4202560 10850 1245 0 0 709 8 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4271519 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30406/tid=30419] ppid=30404 vsize=1441716 CPUtime=7.18 cores=0-31
/proc/30406/task/30419/stat : 30419 (plingeling) R 30404 30406 30316 0 -1 4202560 10167 1245 0 0 710 7 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30406/tid=30420] ppid=30404 vsize=1441716 CPUtime=7.18 cores=0-31
/proc/30406/task/30420/stat : 30420 (plingeling) R 30404 30406 30316 0 -1 4202560 7108 1245 0 0 711 6 0 1 25 0 33 0 680594571 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252015 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30406/tid=30421] ppid=30404 vsize=1441716 CPUtime=7.17 cores=0-31
/proc/30406/task/30421/stat : 30421 (plingeling) R 30404 30406 30316 0 -1 4202560 7238 1245 0 0 705 11 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4253280 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30406/tid=30422] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30422/stat : 30422 (plingeling) R 30404 30406 30316 0 -1 4202560 9848 1245 0 0 713 5 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30406/tid=30423] ppid=30404 vsize=1441716 CPUtime=7.18 cores=0-31
/proc/30406/task/30423/stat : 30423 (plingeling) R 30404 30406 30316 0 -1 4202560 5610 1245 0 0 711 6 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30406/tid=30424] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30424/stat : 30424 (plingeling) R 30404 30406 30316 0 -1 4202560 8454 1245 0 0 712 6 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252144 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30406/tid=30425] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30425/stat : 30425 (plingeling) R 30404 30406 30316 0 -1 4202560 6137 1245 0 0 711 7 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4239616 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30406/tid=30426] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30426/stat : 30426 (plingeling) R 30404 30406 30316 0 -1 4202560 14810 1245 0 0 709 9 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30406/tid=30427] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30427/stat : 30427 (plingeling) R 30404 30406 30316 0 -1 4202560 8186 1245 0 0 712 6 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30406/tid=30428] ppid=30404 vsize=1441716 CPUtime=7.16 cores=0-31
/proc/30406/task/30428/stat : 30428 (plingeling) R 30404 30406 30316 0 -1 4202560 11753 1245 0 0 704 11 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4253176 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30406/tid=30429] ppid=30404 vsize=1441716 CPUtime=7.08 cores=0-31
/proc/30406/task/30429/stat : 30429 (plingeling) R 30404 30406 30316 0 -1 4202560 10346 1245 0 0 701 6 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4251935 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30406/tid=30430] ppid=30404 vsize=1441716 CPUtime=7.15 cores=0-31
/proc/30406/task/30430/stat : 30430 (plingeling) R 30404 30406 30316 0 -1 4202560 5413 1245 0 0 710 4 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4253214 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30406/tid=30431] ppid=30404 vsize=1441716 CPUtime=7.13 cores=0-31
/proc/30406/task/30431/stat : 30431 (plingeling) R 30404 30406 30316 0 -1 4202560 5572 1245 0 0 709 3 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30406/tid=30432] ppid=30404 vsize=1441716 CPUtime=7.19 cores=0-31
/proc/30406/task/30432/stat : 30432 (plingeling) R 30404 30406 30316 0 -1 4202560 6674 1245 0 0 707 11 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30406/tid=30433] ppid=30404 vsize=1441716 CPUtime=7.13 cores=0-31
/proc/30406/task/30433/stat : 30433 (plingeling) R 30404 30406 30316 0 -1 4202560 7076 1245 0 0 708 4 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30406/tid=30434] ppid=30404 vsize=1441716 CPUtime=7.13 cores=0-31
/proc/30406/task/30434/stat : 30434 (plingeling) R 30404 30406 30316 0 -1 4202560 14006 1245 0 0 703 9 0 1 25 0 33 0 680594572 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4253230 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30406/tid=30435] ppid=30404 vsize=1441716 CPUtime=7.18 cores=0-31
/proc/30406/task/30435/stat : 30435 (plingeling) R 30404 30406 30316 0 -1 4202560 3412 1245 0 0 712 5 0 1 25 0 33 0 680594573 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237276 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30406/tid=30436] ppid=30404 vsize=1441716 CPUtime=7.16 cores=0-31
/proc/30406/task/30436/stat : 30436 (plingeling) R 30404 30406 30316 0 -1 4202560 9388 1245 0 0 709 6 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252419 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30406/tid=30437] ppid=30404 vsize=1441716 CPUtime=7.17 cores=0-31
/proc/30406/task/30437/stat : 30437 (plingeling) R 30404 30406 30316 0 -1 4202560 12007 1245 0 0 709 7 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4271903 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30406/tid=30438] ppid=30404 vsize=1441716 CPUtime=7.17 cores=0-31
/proc/30406/task/30438/stat : 30438 (plingeling) R 30404 30406 30316 0 -1 4202560 5317 1245 0 0 710 6 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252098 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30406/tid=30439] ppid=30404 vsize=1441716 CPUtime=7.13 cores=0-31
/proc/30406/task/30439/stat : 30439 (plingeling) R 30404 30406 30316 0 -1 4202560 5864 1245 0 0 708 4 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4265368 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30406/tid=30440] ppid=30404 vsize=1441716 CPUtime=7.08 cores=0-31
/proc/30406/task/30440/stat : 30440 (plingeling) R 30404 30406 30316 0 -1 4202560 8126 1245 0 0 701 6 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4334383 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30406/tid=30441] ppid=30404 vsize=1441716 CPUtime=7.16 cores=0-31
/proc/30406/task/30441/stat : 30441 (plingeling) R 30404 30406 30316 0 -1 4202560 10978 1245 0 0 702 13 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4251986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30406/tid=30442] ppid=30404 vsize=1441716 CPUtime=7.16 cores=0-31
/proc/30406/task/30442/stat : 30442 (plingeling) R 30404 30406 30316 0 -1 4202560 7991 1245 0 0 703 12 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252780 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30406/tid=30443] ppid=30404 vsize=1441716 CPUtime=7.16 cores=0-31
/proc/30406/task/30443/stat : 30443 (plingeling) R 30404 30406 30316 0 -1 4202560 6888 1245 0 0 708 7 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364508 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30406/tid=30444] ppid=30404 vsize=1441716 CPUtime=7.16 cores=0-31
/proc/30406/task/30444/stat : 30444 (plingeling) R 30404 30406 30316 0 -1 4202560 5442 1245 0 0 710 5 0 1 25 0 33 0 680594574 1476317184 229913 268435456000 4194304 4417452 140733314582976 18446744073709551615 4252463 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 234.69
Current children cumulated vsize (KiB) 1441716
[startup+25.5018 s]
/proc/loadavg: 16.99 23.86 28.13 33/446 30444
/proc/meminfo: memFree=254611532/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=1352852 CPUtime=640.9 cores=0-31
/proc/30406/stat : 30406 (plingeling) S 30404 30406 30316 0 -1 4202496 496650 1245 0 0 63747 342 0 1 18 0 33 0 680594023 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30406/statm: 338213 217966 175 55 0 336099 0
[pid=30406/tid=30413] ppid=30404 vsize=1352852 CPUtime=19.82 cores=0-31
/proc/30406/task/30413/stat : 30413 (plingeling) R 30404 30406 30316 0 -1 4202560 13615 1245 0 0 1973 8 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4366480 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30406/tid=30414] ppid=30404 vsize=1352852 CPUtime=19.76 cores=0-31
/proc/30406/task/30414/stat : 30414 (plingeling) R 30404 30406 30316 0 -1 4202560 17286 1245 0 0 1963 12 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4234399 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30406/tid=30415] ppid=30404 vsize=1352852 CPUtime=19.96 cores=0-31
/proc/30406/task/30415/stat : 30415 (plingeling) R 30404 30406 30316 0 -1 4202560 5447 1245 0 0 1990 5 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30406/tid=30416] ppid=30404 vsize=1352852 CPUtime=19.92 cores=0-31
/proc/30406/task/30416/stat : 30416 (plingeling) R 30404 30406 30316 0 -1 4202560 1822 1245 0 0 1988 3 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232648 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30406/tid=30417] ppid=30404 vsize=1352852 CPUtime=19.67 cores=0-31
/proc/30406/task/30417/stat : 30417 (plingeling) R 30404 30406 30316 0 -1 4202560 15098 1245 0 0 1955 11 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30406/tid=30418] ppid=30404 vsize=1352852 CPUtime=19.84 cores=0-31
/proc/30406/task/30418/stat : 30418 (plingeling) R 30404 30406 30316 0 -1 4202560 12905 1245 0 0 1974 9 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30406/tid=30419] ppid=30404 vsize=1352852 CPUtime=19.96 cores=0-31
/proc/30406/task/30419/stat : 30419 (plingeling) R 30404 30406 30316 0 -1 4202560 10222 1245 0 0 1988 7 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30406/tid=30420] ppid=30404 vsize=1352852 CPUtime=19.7 cores=0-31
/proc/30406/task/30420/stat : 30420 (plingeling) R 30404 30406 30316 0 -1 4202560 13514 1245 0 0 1955 14 0 1 25 0 33 0 680594571 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30406/tid=30421] ppid=30404 vsize=1352852 CPUtime=19.96 cores=0-31
/proc/30406/task/30421/stat : 30421 (plingeling) R 30404 30406 30316 0 -1 4202560 9293 1245 0 0 1983 12 0 1 25 0 33 0 680594572 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30406/tid=30422] ppid=30404 vsize=1352852 CPUtime=19.89 cores=0-31
/proc/30406/task/30422/stat : 30422 (plingeling) R 30404 30406 30316 0 -1 4202560 14193 1245 0 0 1977 11 0 1 25 0 33 0 680594572 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30406/tid=30423] ppid=30404 vsize=1352852 CPUtime=19.98 cores=0-31
/proc/30406/task/30423/stat : 30423 (plingeling) R 30404 30406 30316 0 -1 4202560 5663 1245 0 0 1991 6 0 1 25 0 33 0 680594572 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4250961 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30406/tid=30424] ppid=30404 vsize=1352852 CPUtime=19.75 cores=0-31
/proc/30406/task/30424/stat : 30424 (plingeling) R 30404 30406 30316 0 -1 4202560 10509 1245 0 0 1962 12 0 1 25 0 33 0 680594572 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 18446744073699065956 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30406/tid=30425] ppid=30404 vsize=1352852 CPUtime=19.86 cores=0-31
/proc/30406/task/30425/stat : 30425 (plingeling) R 30404 30406 30316 0 -1 4202560 10480 1245 0 0 1973 12 0 1 25 0 33 0 680594572 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30406/tid=30426] ppid=30404 vsize=1352852 CPUtime=19.71 cores=0-31
/proc/30406/task/30426/stat : 30426 (plingeling) R 30404 30406 30316 0 -1 4202560 21210 1245 0 0 1958 12 0 1 25 0 33 0 680594572 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30406/tid=30427] ppid=30404 vsize=1352852 CPUtime=19.98 cores=0-31
/proc/30406/task/30427/stat : 30427 (plingeling) R 30404 30406 30316 0 -1 4202560 8239 1245 0 0 1991 6 0 1 25 0 33 0 680594572 1385320448 217966 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
################
# More data... #
################
/proc/30406/task/30438/stat : 30438 (plingeling) R 30404 30406 30316 0 -1 4202560 10893 1245 0 0 3255 13 0 1 25 0 33 0 680594574 1421090816 226699 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30406/tid=30439] ppid=30404 vsize=1387784 CPUtime=32.71 cores=0-31
/proc/30406/task/30439/stat : 30439 (plingeling) R 30404 30406 30316 0 -1 4202560 5960 1245 0 0 3266 4 0 1 25 0 33 0 680594574 1421090816 226699 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236607 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30406/tid=30440] ppid=30404 vsize=1387784 CPUtime=32.68 cores=0-31
/proc/30406/task/30440/stat : 30440 (plingeling) R 30404 30406 30316 0 -1 4202560 10196 1245 0 0 3260 7 0 1 19 0 33 0 680594574 1421090816 226699 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30406/tid=30441] ppid=30404 vsize=1387784 CPUtime=32.75 cores=0-31
/proc/30406/task/30441/stat : 30441 (plingeling) R 30404 30406 30316 0 -1 4202560 16581 1245 0 0 3260 14 0 1 25 0 33 0 680594574 1421090816 226699 268435456000 4194304 4417452 140733314582976 18446744073709551615 4365067 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30406/tid=30442] ppid=30404 vsize=1387784 CPUtime=32.43 cores=0-31
/proc/30406/task/30442/stat : 30442 (plingeling) R 30404 30406 30316 0 -1 4202560 13568 1245 0 0 3229 13 0 1 25 0 33 0 680594574 1421090816 226699 268435456000 4194304 4417452 140733314582976 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30406/tid=30443] ppid=30404 vsize=1387784 CPUtime=32.48 cores=0-31
/proc/30406/task/30443/stat : 30443 (plingeling) R 30404 30406 30316 0 -1 4202560 6991 1245 0 0 3240 7 0 1 25 0 33 0 680594574 1421090816 226699 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30406/tid=30444] ppid=30404 vsize=1387784 CPUtime=32.67 cores=0-31
/proc/30406/task/30444/stat : 30444 (plingeling) R 30404 30406 30316 0 -1 4202560 13071 1245 0 0 3254 12 0 1 25 0 33 0 680594574 1421090816 226699 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1050.04
Current children cumulated vsize (KiB) 1387784
[startup+39.1023 s]
/proc/loadavg: 20.32 24.25 28.19 33/446 30446
/proc/meminfo: memFree=254583804/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=1383688 CPUtime=1075.61 cores=0-31
/proc/30406/stat : 30406 (plingeling) S 30404 30406 30316 0 -1 4202496 519454 1245 0 0 107210 350 0 1 18 0 33 0 680594023 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30406/statm: 345922 225675 175 55 0 343808 0
[pid=30406/tid=30413] ppid=30404 vsize=1383688 CPUtime=33.28 cores=0-31
/proc/30406/task/30413/stat : 30413 (plingeling) R 30404 30406 30316 0 -1 4202560 14650 1245 0 0 3318 9 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4365067 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30406/tid=30414] ppid=30404 vsize=1383688 CPUtime=33.35 cores=0-31
/proc/30406/task/30414/stat : 30414 (plingeling) R 30404 30406 30316 0 -1 4202560 17494 1245 0 0 3322 12 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30406/tid=30415] ppid=30404 vsize=1383688 CPUtime=33.56 cores=0-31
/proc/30406/task/30415/stat : 30415 (plingeling) R 30404 30406 30316 0 -1 4202560 5485 1245 0 0 3350 5 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30406/tid=30416] ppid=30404 vsize=1383688 CPUtime=33.52 cores=0-31
/proc/30406/task/30416/stat : 30416 (plingeling) R 30404 30406 30316 0 -1 4202560 1822 1245 0 0 3348 3 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30406/tid=30417] ppid=30404 vsize=1383688 CPUtime=33.27 cores=0-31
/proc/30406/task/30417/stat : 30417 (plingeling) R 30404 30406 30316 0 -1 4202560 16331 1245 0 0 3314 12 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4321714 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30406/tid=30418] ppid=30404 vsize=1383688 CPUtime=33.44 cores=0-31
/proc/30406/task/30418/stat : 30418 (plingeling) R 30404 30406 30316 0 -1 4202560 13938 1245 0 0 3334 9 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30406/tid=30419] ppid=30404 vsize=1383688 CPUtime=33.57 cores=0-31
/proc/30406/task/30419/stat : 30419 (plingeling) R 30404 30406 30316 0 -1 4202560 10270 1245 0 0 3348 8 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30406/tid=30420] ppid=30404 vsize=1383688 CPUtime=33.3 cores=0-31
/proc/30406/task/30420/stat : 30420 (plingeling) R 30404 30406 30316 0 -1 4202560 14746 1245 0 0 3314 15 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30406/tid=30421] ppid=30404 vsize=1383688 CPUtime=33.55 cores=0-31
/proc/30406/task/30421/stat : 30421 (plingeling) R 30404 30406 30316 0 -1 4202560 10327 1245 0 0 3342 12 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30406/tid=30422] ppid=30404 vsize=1383688 CPUtime=33.48 cores=0-31
/proc/30406/task/30422/stat : 30422 (plingeling) R 30404 30406 30316 0 -1 4202560 15421 1245 0 0 3336 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30406/tid=30423] ppid=30404 vsize=1383688 CPUtime=33.58 cores=0-31
/proc/30406/task/30423/stat : 30423 (plingeling) R 30404 30406 30316 0 -1 4202560 5711 1245 0 0 3351 6 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30406/tid=30424] ppid=30404 vsize=1383688 CPUtime=33.34 cores=0-31
/proc/30406/task/30424/stat : 30424 (plingeling) R 30404 30406 30316 0 -1 4202560 11544 1245 0 0 3321 12 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30406/tid=30425] ppid=30404 vsize=1383688 CPUtime=33.46 cores=0-31
/proc/30406/task/30425/stat : 30425 (plingeling) R 30404 30406 30316 0 -1 4202560 10683 1245 0 0 3332 13 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 18446744073699065906 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30406/tid=30426] ppid=30404 vsize=1383688 CPUtime=33.3 cores=0-31
/proc/30406/task/30426/stat : 30426 (plingeling) R 30404 30406 30316 0 -1 4202560 22440 1245 0 0 3317 12 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232537 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30406/tid=30427] ppid=30404 vsize=1383688 CPUtime=33.58 cores=0-31
/proc/30406/task/30427/stat : 30427 (plingeling) R 30404 30406 30316 0 -1 4202560 8284 1245 0 0 3351 6 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30406/tid=30428] ppid=30404 vsize=1383688 CPUtime=33.55 cores=0-31
/proc/30406/task/30428/stat : 30428 (plingeling) R 30404 30406 30316 0 -1 4202560 12795 1245 0 0 3343 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30406/tid=30429] ppid=30404 vsize=1383688 CPUtime=33.47 cores=0-31
/proc/30406/task/30429/stat : 30429 (plingeling) R 30404 30406 30316 0 -1 4202560 12412 1245 0 0 3339 7 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30406/tid=30430] ppid=30404 vsize=1383688 CPUtime=33.35 cores=0-31
/proc/30406/task/30430/stat : 30430 (plingeling) R 30404 30406 30316 0 -1 4202560 13043 1245 0 0 3328 6 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30406/tid=30431] ppid=30404 vsize=1383688 CPUtime=33.5 cores=0-31
/proc/30406/task/30431/stat : 30431 (plingeling) R 30404 30406 30316 0 -1 4202560 5671 1245 0 0 3346 3 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30406/tid=30432] ppid=30404 vsize=1383688 CPUtime=33.57 cores=0-31
/proc/30406/task/30432/stat : 30432 (plingeling) R 30404 30406 30316 0 -1 4202560 7698 1245 0 0 3345 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30406/tid=30433] ppid=30404 vsize=1383688 CPUtime=33.42 cores=0-31
/proc/30406/task/30433/stat : 30433 (plingeling) R 30404 30406 30316 0 -1 4202560 10166 1245 0 0 3330 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30406/tid=30434] ppid=30404 vsize=1383688 CPUtime=33.53 cores=0-31
/proc/30406/task/30434/stat : 30434 (plingeling) R 30404 30406 30316 0 -1 4202560 19600 1245 0 0 3341 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30406/tid=30435] ppid=30404 vsize=1383688 CPUtime=33.56 cores=0-31
/proc/30406/task/30435/stat : 30435 (plingeling) R 30404 30406 30316 0 -1 4202560 3518 1245 0 0 3350 5 0 1 25 0 33 0 680594573 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30406/tid=30436] ppid=30404 vsize=1383688 CPUtime=33.37 cores=0-31
/proc/30406/task/30436/stat : 30436 (plingeling) R 30404 30406 30316 0 -1 4202560 17020 1245 0 0 3326 10 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4353531 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30406/tid=30437] ppid=30404 vsize=1383688 CPUtime=33.22 cores=0-31
/proc/30406/task/30437/stat : 30437 (plingeling) R 30404 30406 30316 0 -1 4202560 19634 1245 0 0 3307 14 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236766 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30406/tid=30438] ppid=30404 vsize=1383688 CPUtime=33.49 cores=0-31
/proc/30406/task/30438/stat : 30438 (plingeling) R 30404 30406 30316 0 -1 4202560 10893 1245 0 0 3335 13 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30406/tid=30439] ppid=30404 vsize=1383688 CPUtime=33.51 cores=0-31
/proc/30406/task/30439/stat : 30439 (plingeling) R 30404 30406 30316 0 -1 4202560 5960 1245 0 0 3346 4 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4250548 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30406/tid=30440] ppid=30404 vsize=1383688 CPUtime=33.47 cores=0-31
/proc/30406/task/30440/stat : 30440 (plingeling) R 30404 30406 30316 0 -1 4202560 10196 1245 0 0 3339 7 0 1 21 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30406/tid=30441] ppid=30404 vsize=1383688 CPUtime=33.55 cores=0-31
/proc/30406/task/30441/stat : 30441 (plingeling) R 30404 30406 30316 0 -1 4202560 16581 1245 0 0 3340 14 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30406/tid=30442] ppid=30404 vsize=1383688 CPUtime=33.23 cores=0-31
/proc/30406/task/30442/stat : 30442 (plingeling) R 30404 30406 30316 0 -1 4202560 13568 1245 0 0 3309 13 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30406/tid=30443] ppid=30404 vsize=1383688 CPUtime=33.28 cores=0-31
/proc/30406/task/30443/stat : 30443 (plingeling) R 30404 30406 30316 0 -1 4202560 6991 1245 0 0 3320 7 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30406/tid=30444] ppid=30404 vsize=1383688 CPUtime=33.47 cores=0-31
/proc/30406/task/30444/stat : 30444 (plingeling) R 30404 30406 30316 0 -1 4202560 13071 1245 0 0 3334 12 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236870 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1075.61
Current children cumulated vsize (KiB) 1383688
[startup+39.5023 s]
/proc/loadavg: 20.32 24.25 28.19 33/446 30446
/proc/meminfo: memFree=254588492/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=1383688 CPUtime=1089.02 cores=0-31
/proc/30406/stat : 30406 (plingeling) S 30404 30406 30316 0 -1 4202496 519454 1245 0 0 108551 350 0 1 18 0 33 0 680594023 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30406/statm: 345922 225675 175 55 0 343808 0
[pid=30406/tid=30413] ppid=30404 vsize=1383688 CPUtime=33.68 cores=0-31
/proc/30406/task/30413/stat : 30413 (plingeling) R 30404 30406 30316 0 -1 4202560 14650 1245 0 0 3358 9 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30406/tid=30414] ppid=30404 vsize=1383688 CPUtime=33.77 cores=0-31
/proc/30406/task/30414/stat : 30414 (plingeling) R 30404 30406 30316 0 -1 4202560 17494 1245 0 0 3364 12 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30406/tid=30415] ppid=30404 vsize=1383688 CPUtime=33.98 cores=0-31
/proc/30406/task/30415/stat : 30415 (plingeling) R 30404 30406 30316 0 -1 4202560 5485 1245 0 0 3392 5 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30406/tid=30416] ppid=30404 vsize=1383688 CPUtime=33.94 cores=0-31
/proc/30406/task/30416/stat : 30416 (plingeling) R 30404 30406 30316 0 -1 4202560 1822 1245 0 0 3390 3 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4366043 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30406/tid=30417] ppid=30404 vsize=1383688 CPUtime=33.69 cores=0-31
/proc/30406/task/30417/stat : 30417 (plingeling) R 30404 30406 30316 0 -1 4202560 16331 1245 0 0 3356 12 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30406/tid=30418] ppid=30404 vsize=1383688 CPUtime=33.86 cores=0-31
/proc/30406/task/30418/stat : 30418 (plingeling) R 30404 30406 30316 0 -1 4202560 13938 1245 0 0 3376 9 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30406/tid=30419] ppid=30404 vsize=1383688 CPUtime=33.99 cores=0-31
/proc/30406/task/30419/stat : 30419 (plingeling) R 30404 30406 30316 0 -1 4202560 10270 1245 0 0 3390 8 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30406/tid=30420] ppid=30404 vsize=1383688 CPUtime=33.72 cores=0-31
/proc/30406/task/30420/stat : 30420 (plingeling) R 30404 30406 30316 0 -1 4202560 14746 1245 0 0 3356 15 0 1 25 0 33 0 680594571 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30406/tid=30421] ppid=30404 vsize=1383688 CPUtime=33.97 cores=0-31
/proc/30406/task/30421/stat : 30421 (plingeling) R 30404 30406 30316 0 -1 4202560 10327 1245 0 0 3384 12 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30406/tid=30422] ppid=30404 vsize=1383688 CPUtime=33.9 cores=0-31
/proc/30406/task/30422/stat : 30422 (plingeling) R 30404 30406 30316 0 -1 4202560 15421 1245 0 0 3378 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30406/tid=30423] ppid=30404 vsize=1383688 CPUtime=34 cores=0-31
/proc/30406/task/30423/stat : 30423 (plingeling) R 30404 30406 30316 0 -1 4202560 5711 1245 0 0 3393 6 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30406/tid=30424] ppid=30404 vsize=1383688 CPUtime=33.76 cores=0-31
/proc/30406/task/30424/stat : 30424 (plingeling) R 30404 30406 30316 0 -1 4202560 11544 1245 0 0 3363 12 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236891 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30406/tid=30425] ppid=30404 vsize=1383688 CPUtime=33.88 cores=0-31
/proc/30406/task/30425/stat : 30425 (plingeling) R 30404 30406 30316 0 -1 4202560 10683 1245 0 0 3374 13 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30406/tid=30426] ppid=30404 vsize=1383688 CPUtime=33.72 cores=0-31
/proc/30406/task/30426/stat : 30426 (plingeling) R 30404 30406 30316 0 -1 4202560 22440 1245 0 0 3359 12 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30406/tid=30427] ppid=30404 vsize=1383688 CPUtime=34 cores=0-31
/proc/30406/task/30427/stat : 30427 (plingeling) R 30404 30406 30316 0 -1 4202560 8284 1245 0 0 3393 6 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30406/tid=30428] ppid=30404 vsize=1383688 CPUtime=33.97 cores=0-31
/proc/30406/task/30428/stat : 30428 (plingeling) R 30404 30406 30316 0 -1 4202560 12795 1245 0 0 3385 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237639 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30406/tid=30429] ppid=30404 vsize=1383688 CPUtime=33.89 cores=0-31
/proc/30406/task/30429/stat : 30429 (plingeling) R 30404 30406 30316 0 -1 4202560 12412 1245 0 0 3381 7 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30406/tid=30430] ppid=30404 vsize=1383688 CPUtime=33.77 cores=0-31
/proc/30406/task/30430/stat : 30430 (plingeling) R 30404 30406 30316 0 -1 4202560 13043 1245 0 0 3370 6 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30406/tid=30431] ppid=30404 vsize=1383688 CPUtime=33.92 cores=0-31
/proc/30406/task/30431/stat : 30431 (plingeling) R 30404 30406 30316 0 -1 4202560 5671 1245 0 0 3388 3 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4365191 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30406/tid=30432] ppid=30404 vsize=1383688 CPUtime=33.99 cores=0-31
/proc/30406/task/30432/stat : 30432 (plingeling) R 30404 30406 30316 0 -1 4202560 7698 1245 0 0 3387 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30406/tid=30433] ppid=30404 vsize=1383688 CPUtime=33.84 cores=0-31
/proc/30406/task/30433/stat : 30433 (plingeling) R 30404 30406 30316 0 -1 4202560 10166 1245 0 0 3372 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30406/tid=30434] ppid=30404 vsize=1383688 CPUtime=33.95 cores=0-31
/proc/30406/task/30434/stat : 30434 (plingeling) R 30404 30406 30316 0 -1 4202560 19600 1245 0 0 3383 11 0 1 25 0 33 0 680594572 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30406/tid=30435] ppid=30404 vsize=1383688 CPUtime=33.98 cores=0-31
/proc/30406/task/30435/stat : 30435 (plingeling) R 30404 30406 30316 0 -1 4202560 3518 1245 0 0 3392 5 0 1 25 0 33 0 680594573 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30406/tid=30436] ppid=30404 vsize=1383688 CPUtime=33.79 cores=0-31
/proc/30406/task/30436/stat : 30436 (plingeling) R 30404 30406 30316 0 -1 4202560 17020 1245 0 0 3368 10 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30406/tid=30437] ppid=30404 vsize=1383688 CPUtime=33.64 cores=0-31
/proc/30406/task/30437/stat : 30437 (plingeling) R 30404 30406 30316 0 -1 4202560 19634 1245 0 0 3349 14 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4354937 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30406/tid=30438] ppid=30404 vsize=1383688 CPUtime=33.91 cores=0-31
/proc/30406/task/30438/stat : 30438 (plingeling) R 30404 30406 30316 0 -1 4202560 10893 1245 0 0 3377 13 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30406/tid=30439] ppid=30404 vsize=1383688 CPUtime=33.93 cores=0-31
/proc/30406/task/30439/stat : 30439 (plingeling) R 30404 30406 30316 0 -1 4202560 5960 1245 0 0 3388 4 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30406/tid=30440] ppid=30404 vsize=1383688 CPUtime=33.89 cores=0-31
/proc/30406/task/30440/stat : 30440 (plingeling) R 30404 30406 30316 0 -1 4202560 10196 1245 0 0 3381 7 0 1 22 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236920 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30406/tid=30441] ppid=30404 vsize=1383688 CPUtime=33.97 cores=0-31
/proc/30406/task/30441/stat : 30441 (plingeling) R 30404 30406 30316 0 -1 4202560 16581 1245 0 0 3382 14 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30406/tid=30442] ppid=30404 vsize=1383688 CPUtime=33.65 cores=0-31
/proc/30406/task/30442/stat : 30442 (plingeling) R 30404 30406 30316 0 -1 4202560 13568 1245 0 0 3351 13 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30406/tid=30443] ppid=30404 vsize=1383688 CPUtime=33.7 cores=0-31
/proc/30406/task/30443/stat : 30443 (plingeling) R 30404 30406 30316 0 -1 4202560 6991 1245 0 0 3362 7 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4232413 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30406/tid=30444] ppid=30404 vsize=1383688 CPUtime=33.89 cores=0-31
/proc/30406/task/30444/stat : 30444 (plingeling) R 30404 30406 30316 0 -1 4202560 13071 1245 0 0 3376 12 0 1 25 0 33 0 680594574 1416896512 225675 268435456000 4194304 4417452 140733314582976 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1089.02
Current children cumulated vsize (KiB) 1383688
[startup+39.9015 s]
/proc/loadavg: 20.32 24.25 28.19 33/446 30446
/proc/meminfo: memFree=254588492/264257624 swapFree=67111528/67111528
[pid=30406] ppid=30404 vsize=864944 CPUtime=1096.89 cores=0-31
/proc/30406/stat : 30406 (plingeling) R 30404 30406 30316 0 -1 4202496 519455 1245 0 0 109335 353 0 1 17 0 1 0 680594023 885702656 152635 268435456000 4194304 4417452 140733314582976 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/30406/statm: 216236 152119 176 55 0 214122 0
Current children cumulated CPU time (s) 1096.89
Current children cumulated vsize (KiB) 864944
Child status: 20
Real time (s): 39.9567
CPU time (s): 1096.95
CPU user time (s): 1093.35
CPU system time (s): 3.59945
CPU usage (%): 2745.35
Max. virtual memory (cumulated for all children) (KiB): 1728440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1093.35
system time used= 3.59945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520704
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= 4304
involuntary context switches= 2640
runsolver used 0.224965 second user time and 0.938857 second system time
The end
Begin job on node200 at 2011-05-18 05:57:56
IDJOB=3372594
IDBENCH=82473
IDSOLVER=1852
FILE ID=node200/3372594-1305691075
RUNJOBID= node200-1305691046-30330
PBS_JOBID= 13357382
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372594-1305691075/watcher-3372594-1305691075 -o /tmp/evaluation-result-3372594-1305691075/solver-3372594-1305691075 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372594-1305691075.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ab962ce6f14e7741edd1ff987decb0b7
RANDOM SEED=349727646
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: 255501708 kB
Buffers: 451948 kB
Cached: 7892496 kB
SwapCached: 0 kB
Active: 7405520 kB
Inactive: 1008016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255501708 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5248 kB
Writeback: 0 kB
AnonPages: 68756 kB
Mapped: 14476 kB
Slab: 251604 kB
PageTables: 4320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 176004 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:58:36