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-3372240-1305513073/watcher-3372240-1305513073 -o /tmp/evaluation-result-3372240-1305513073/solver-3372240-1305513073 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372240-1305513073.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.17 31.03 31.74 1/413 15456
/proc/meminfo: memFree=255574156/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=11928 CPUtime=0.03 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202496 1067 1248 0 0 2 0 0 1 20 0 1 0 662793768 12214272 998 268435456000 4194304 4417452 140735835076384 18446744073709551615 4260017 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15456/statm: 2982 998 145 55 0 868 0
[startup+0.132173 s]
/proc/loadavg: 27.17 31.03 31.74 1/413 15456
/proc/meminfo: memFree=255574156/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=19360 CPUtime=0.12 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202496 2922 1248 0 0 11 0 0 1 20 0 1 0 662793768 19824640 2853 268435456000 4194304 4417452 140735835076384 18446744073709551615 4227878 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15456/statm: 4840 2853 145 55 0 2726 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 19360
[startup+0.201172 s]
/proc/loadavg: 27.17 31.03 31.74 1/413 15456
/proc/meminfo: memFree=255574156/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=28252 CPUtime=0.19 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202496 5141 1248 0 0 17 1 0 1 21 0 1 0 662793768 28930048 5072 268435456000 4194304 4417452 140735835076384 18446744073709551615 4320992 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15456/statm: 7063 5072 146 55 0 4949 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28252
[startup+0.301177 s]
/proc/loadavg: 27.17 31.03 31.74 1/413 15456
/proc/meminfo: memFree=255574156/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=37696 CPUtime=0.29 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202496 7482 1248 0 0 27 1 0 1 21 0 1 0 662793768 38600704 7413 268435456000 4194304 4417452 140735835076384 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15456/statm: 9424 7413 146 55 0 7310 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37696
[startup+0.701119 s]
/proc/loadavg: 27.17 31.03 31.74 1/413 15456
/proc/meminfo: memFree=255574156/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=64804 CPUtime=0.69 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202496 14259 1248 0 0 65 3 0 1 22 0 1 0 662793768 66359296 14190 268435456000 4194304 4417452 140735835076384 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15456/statm: 16201 14190 146 55 0 14087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64804
[startup+1.50117 s]
/proc/loadavg: 27.17 31.03 31.74 2/414 15462
/proc/meminfo: memFree=255462416/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=151440 CPUtime=1.49 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202496 35950 1248 0 0 141 7 0 1 25 0 1 0 662793768 155074560 35881 268435456000 4194304 4417452 140735835076384 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15456/statm: 37860 35881 146 55 0 35746 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151440
[startup+3.10122 s]
/proc/loadavg: 27.17 31.03 31.74 2/414 15462
/proc/meminfo: memFree=255353856/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=292348 CPUtime=3.09 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202496 71177 1248 0 0 294 14 0 1 25 0 1 0 662793768 299364352 71108 268435456000 4194304 4417452 140735835076384 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15456/statm: 73087 71108 146 55 0 70973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 292348
[startup+6.30322 s]
/proc/loadavg: 25.07 30.53 31.57 33/446 15494
/proc/meminfo: memFree=255014300/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=1234440 CPUtime=33.98 cores=0-31
/proc/15456/stat : 15456 (plingeling) S 15454 15456 15430 0 -1 4202496 272679 1248 0 0 3182 215 0 1 18 0 33 0 662793768 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/15456/statm: 308610 180857 168 55 0 306496 0
[pid=15456/tid=15463] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15463/stat : 15463 (plingeling) R 15454 15456 15430 0 -1 4202560 4808 1248 0 0 86 4 0 1 18 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15456/tid=15464] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15464/stat : 15464 (plingeling) R 15454 15456 15430 0 -1 4202560 4403 1248 0 0 85 5 0 1 18 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15456/tid=15465] ppid=15454 vsize=1234440 CPUtime=0.92 cores=0-31
/proc/15456/task/15465/stat : 15465 (plingeling) R 15454 15456 15430 0 -1 4202560 4752 1248 0 0 85 6 0 1 18 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15456/tid=15466] ppid=15454 vsize=1234440 CPUtime=0.92 cores=0-31
/proc/15456/task/15466/stat : 15466 (plingeling) R 15454 15456 15430 0 -1 4202560 2208 1248 0 0 88 3 0 1 21 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4236835 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15456/tid=15467] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15467/stat : 15467 (plingeling) R 15454 15456 15430 0 -1 4202560 2681 1248 0 0 84 6 0 1 21 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15456/tid=15468] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15468/stat : 15468 (plingeling) R 15454 15456 15430 0 -1 4202560 5223 1248 0 0 85 5 0 1 18 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4301965 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15456/tid=15469] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15469/stat : 15469 (plingeling) R 15454 15456 15430 0 -1 4202560 4867 1248 0 0 85 5 0 1 18 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15456/tid=15470] ppid=15454 vsize=1234440 CPUtime=0.92 cores=0-31
/proc/15456/task/15470/stat : 15470 (plingeling) R 15454 15456 15430 0 -1 4202560 4661 1248 0 0 86 5 0 1 18 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4234135 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15456/tid=15471] ppid=15454 vsize=1234440 CPUtime=0.9 cores=0-31
/proc/15456/task/15471/stat : 15471 (plingeling) R 15454 15456 15430 0 -1 4202560 2502 1248 0 0 83 6 0 1 21 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15456/tid=15472] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15472/stat : 15472 (plingeling) R 15454 15456 15430 0 -1 4202560 4024 1248 0 0 82 6 0 1 21 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15456/tid=15473] ppid=15454 vsize=1234440 CPUtime=0.9 cores=0-31
/proc/15456/task/15473/stat : 15473 (plingeling) R 15454 15456 15430 0 -1 4202560 5119 1248 0 0 83 6 0 1 18 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4234264 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=15456/tid=15474] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15474/stat : 15474 (plingeling) R 15454 15456 15430 0 -1 4202560 4188 1248 0 0 85 5 0 1 21 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15456/tid=15475] ppid=15454 vsize=1234440 CPUtime=0.88 cores=0-31
/proc/15456/task/15475/stat : 15475 (plingeling) R 15454 15456 15430 0 -1 4202560 4775 1248 0 0 81 6 0 1 20 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15456/tid=15476] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15476/stat : 15476 (plingeling) R 15454 15456 15430 0 -1 4202560 5057 1248 0 0 84 6 0 1 21 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4234287 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15456/tid=15477] ppid=15454 vsize=1234440 CPUtime=0.91 cores=0-31
/proc/15456/task/15477/stat : 15477 (plingeling) R 15454 15456 15430 0 -1 4202560 4495 1248 0 0 85 5 0 1 22 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4269364 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15456/tid=15478] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15478/stat : 15478 (plingeling) R 15454 15456 15430 0 -1 4202560 4657 1248 0 0 84 4 0 1 22 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=15456/tid=15479] ppid=15454 vsize=1234440 CPUtime=0.9 cores=0-31
/proc/15456/task/15479/stat : 15479 (plingeling) R 15454 15456 15430 0 -1 4202560 4760 1248 0 0 83 6 0 1 22 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4291679 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=15456/tid=15480] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15480/stat : 15480 (plingeling) R 15454 15456 15430 0 -1 4202560 4022 1248 0 0 82 6 0 1 22 0 33 0 662794305 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15456/tid=15481] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15481/stat : 15481 (plingeling) R 15454 15456 15430 0 -1 4202560 5143 1248 0 0 82 6 0 1 18 0 33 0 662794306 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4234299 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15456/tid=15482] ppid=15454 vsize=1234440 CPUtime=0.9 cores=0-31
/proc/15456/task/15482/stat : 15482 (plingeling) R 15454 15456 15430 0 -1 4202560 2779 1248 0 0 83 6 0 1 18 0 33 0 662794307 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4301977 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=15456/tid=15483] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15483/stat : 15483 (plingeling) R 15454 15456 15430 0 -1 4202560 4738 1248 0 0 82 6 0 1 18 0 33 0 662794307 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=15456/tid=15484] ppid=15454 vsize=1234440 CPUtime=0.88 cores=0-31
/proc/15456/task/15484/stat : 15484 (plingeling) R 15454 15456 15430 0 -1 4202560 2681 1248 0 0 82 5 0 1 18 0 33 0 662794307 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4290699 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=15456/tid=15485] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15485/stat : 15485 (plingeling) R 15454 15456 15430 0 -1 4202560 4763 1248 0 0 82 6 0 1 22 0 33 0 662794307 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4291649 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=15456/tid=15486] ppid=15454 vsize=1234440 CPUtime=0.86 cores=0-31
/proc/15456/task/15486/stat : 15486 (plingeling) R 15454 15456 15430 0 -1 4202560 3270 1248 0 0 81 4 0 1 21 0 33 0 662794307 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4287336 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=15456/tid=15487] ppid=15454 vsize=1234440 CPUtime=0.88 cores=0-31
/proc/15456/task/15487/stat : 15487 (plingeling) R 15454 15456 15430 0 -1 4202560 3339 1248 0 0 81 6 0 1 21 0 33 0 662794307 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4287264 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=15456/tid=15488] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15488/stat : 15488 (plingeling) R 15454 15456 15430 0 -1 4202560 3896 1248 0 0 83 5 0 1 21 0 33 0 662794308 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4290622 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=15456/tid=15489] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15489/stat : 15489 (plingeling) R 15454 15456 15430 0 -1 4202560 3268 1248 0 0 84 4 0 1 18 0 33 0 662794308 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4234249 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=15456/tid=15490] ppid=15454 vsize=1234440 CPUtime=0.88 cores=0-31
/proc/15456/task/15490/stat : 15490 (plingeling) R 15454 15456 15430 0 -1 4202560 3459 1248 0 0 80 7 0 1 18 0 33 0 662794308 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15456/tid=15491] ppid=15454 vsize=1234440 CPUtime=0.88 cores=0-31
/proc/15456/task/15491/stat : 15491 (plingeling) R 15454 15456 15430 0 -1 4202560 4752 1248 0 0 82 5 0 1 18 0 33 0 662794308 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4291876 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=15456/tid=15492] ppid=15454 vsize=1234440 CPUtime=0.88 cores=0-31
/proc/15456/task/15492/stat : 15492 (plingeling) R 15454 15456 15430 0 -1 4202560 3894 1248 0 0 82 5 0 1 18 0 33 0 662794308 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=15456/tid=15493] ppid=15454 vsize=1234440 CPUtime=0.87 cores=0-31
/proc/15456/task/15493/stat : 15493 (plingeling) R 15454 15456 15430 0 -1 4202560 3270 1248 0 0 80 6 0 1 21 0 33 0 662794308 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15456/tid=15494] ppid=15454 vsize=1234440 CPUtime=0.89 cores=0-31
/proc/15456/task/15494/stat : 15494 (plingeling) R 15454 15456 15430 0 -1 4202560 4654 1248 0 0 83 5 0 1 21 0 33 0 662794308 1264066560 180857 268435456000 4194304 4417452 140735835076384 18446744073709551615 4290605 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 33.98
Current children cumulated vsize (KiB) 1234440
[startup+12.7024 s]
/proc/loadavg: 25.39 30.50 31.56 33/446 15494
/proc/meminfo: memFree=254562388/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=1401824 CPUtime=232.57 cores=0-31
/proc/15456/stat : 15456 (plingeling) S 15454 15456 15430 0 -1 4202496 423442 1248 0 0 22896 360 0 1 18 0 33 0 662793768 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/15456/statm: 350456 247319 173 55 0 348342 0
[pid=15456/tid=15463] ppid=15454 vsize=1401824 CPUtime=7.25 cores=0-31
/proc/15456/task/15463/stat : 15463 (plingeling) R 15454 15456 15430 0 -1 4202560 8911 1248 0 0 718 6 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15456/tid=15464] ppid=15454 vsize=1401824 CPUtime=7.23 cores=0-31
/proc/15456/task/15464/stat : 15464 (plingeling) R 15454 15456 15430 0 -1 4202560 9492 1248 0 0 712 10 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=15456/tid=15465] ppid=15454 vsize=1401824 CPUtime=7.19 cores=0-31
/proc/15456/task/15465/stat : 15465 (plingeling) R 15454 15456 15430 0 -1 4202560 7312 1248 0 0 710 8 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4265418 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=15456/tid=15466] ppid=15454 vsize=1401824 CPUtime=7.28 cores=0-31
/proc/15456/task/15466/stat : 15466 (plingeling) R 15454 15456 15430 0 -1 4202560 2208 1248 0 0 724 3 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15456/tid=15467] ppid=15454 vsize=1401824 CPUtime=7.23 cores=0-31
/proc/15456/task/15467/stat : 15467 (plingeling) R 15454 15456 15430 0 -1 4202560 4735 1248 0 0 711 11 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15456/tid=15468] ppid=15454 vsize=1401824 CPUtime=6.99 cores=0-31
/proc/15456/task/15468/stat : 15468 (plingeling) R 15454 15456 15430 0 -1 4202560 8297 1248 0 0 689 9 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15456/tid=15469] ppid=15454 vsize=1401824 CPUtime=7 cores=0-31
/proc/15456/task/15469/stat : 15469 (plingeling) R 15454 15456 15430 0 -1 4202560 10243 1248 0 0 689 10 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15456/tid=15470] ppid=15454 vsize=1401824 CPUtime=7.06 cores=0-31
/proc/15456/task/15470/stat : 15470 (plingeling) R 15454 15456 15430 0 -1 4202560 10810 1248 0 0 696 9 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15456/tid=15471] ppid=15454 vsize=1401824 CPUtime=7.26 cores=0-31
/proc/15456/task/15471/stat : 15471 (plingeling) R 15454 15456 15430 0 -1 4202560 7290 1248 0 0 713 12 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252611 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15456/tid=15472] ppid=15454 vsize=1401824 CPUtime=7.29 cores=0-31
/proc/15456/task/15472/stat : 15472 (plingeling) R 15454 15456 15430 0 -1 4202560 11083 1248 0 0 715 13 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15456/tid=15473] ppid=15454 vsize=1401824 CPUtime=7.09 cores=0-31
/proc/15456/task/15473/stat : 15473 (plingeling) R 15454 15456 15430 0 -1 4202560 7679 1248 0 0 699 9 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=15456/tid=15474] ppid=15454 vsize=1401824 CPUtime=6.98 cores=0-31
/proc/15456/task/15474/stat : 15474 (plingeling) R 15454 15456 15430 0 -1 4202560 10026 1248 0 0 687 10 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4239777 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15456/tid=15475] ppid=15454 vsize=1401824 CPUtime=7.14 cores=0-31
/proc/15456/task/15475/stat : 15475 (plingeling) R 15454 15456 15430 0 -1 4202560 17112 1248 0 0 699 14 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4318928 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15456/tid=15476] ppid=15454 vsize=1401824 CPUtime=7.06 cores=0-31
/proc/15456/task/15476/stat : 15476 (plingeling) R 15454 15456 15430 0 -1 4202560 8127 1248 0 0 693 12 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4253304 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15456/tid=15477] ppid=15454 vsize=1401824 CPUtime=7.09 cores=0-31
/proc/15456/task/15477/stat : 15477 (plingeling) R 15454 15456 15430 0 -1 4202560 6543 1248 0 0 698 10 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15456/tid=15478] ppid=15454 vsize=1401824 CPUtime=6.88 cores=0-31
/proc/15456/task/15478/stat : 15478 (plingeling) R 15454 15456 15430 0 -1 4202560 11751 1248 0 0 678 9 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252022 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=15456/tid=15479] ppid=15454 vsize=1401824 CPUtime=7.05 cores=0-31
/proc/15456/task/15479/stat : 15479 (plingeling) R 15454 15456 15430 0 -1 4202560 11103 1248 0 0 690 14 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4257338 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15456/tid=15480] ppid=15454 vsize=1401824 CPUtime=7.09 cores=0-31
/proc/15456/task/15480/stat : 15480 (plingeling) R 15454 15456 15430 0 -1 4202560 10601 1248 0 0 694 14 0 1 25 0 33 0 662794305 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4252848 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15456/tid=15481] ppid=15454 vsize=1401824 CPUtime=7.08 cores=0-31
/proc/15456/task/15481/stat : 15481 (plingeling) R 15454 15456 15430 0 -1 4202560 8056 1248 0 0 697 10 0 1 25 0 33 0 662794306 1435467776 247319 268435456000 4194304 4417452 140735835076384 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=15456/tid=15482] ppid=15454 vsize=1401824 CPUtime=7.06 cores=0-31
################
# More data... #
################
[pid=15456/tid=15468] ppid=15454 vsize=4956860 CPUtime=4028.17 cores=0-31
/proc/15456/task/15468/stat : 15468 (plingeling) R 15454 15456 15430 0 -1 4202560 2674577 1248 0 0 400024 2792 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15456/tid=15469] ppid=15454 vsize=4956860 CPUtime=4040.45 cores=0-31
/proc/15456/task/15469/stat : 15469 (plingeling) R 15454 15456 15430 0 -1 4202560 1791217 1248 0 0 402090 1954 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364752 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=15456/tid=15470] ppid=15454 vsize=4956860 CPUtime=4031.37 cores=0-31
/proc/15456/task/15470/stat : 15470 (plingeling) R 15454 15456 15430 0 -1 4202560 2072936 1248 0 0 400205 2931 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=15456/tid=15471] ppid=15454 vsize=4956860 CPUtime=4044.47 cores=0-31
/proc/15456/task/15471/stat : 15471 (plingeling) R 15454 15456 15430 0 -1 4202560 1544428 1248 0 0 402812 1634 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4357856 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=15456/tid=15472] ppid=15454 vsize=4956860 CPUtime=4034.37 cores=0-31
/proc/15456/task/15472/stat : 15472 (plingeling) R 15454 15456 15430 0 -1 4202560 2024269 1248 0 0 400806 2630 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=15456/tid=15473] ppid=15454 vsize=4956860 CPUtime=4034.44 cores=0-31
/proc/15456/task/15473/stat : 15473 (plingeling) R 15454 15456 15430 0 -1 4202560 1796129 1248 0 0 401233 2210 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4264814 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=15456/tid=15474] ppid=15454 vsize=4956860 CPUtime=4032.75 cores=0-31
/proc/15456/task/15474/stat : 15474 (plingeling) R 15454 15456 15430 0 -1 4202560 2121735 1248 0 0 400191 3083 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15456/tid=15475] ppid=15454 vsize=4956860 CPUtime=4028.53 cores=0-31
/proc/15456/task/15475/stat : 15475 (plingeling) R 15454 15456 15430 0 -1 4202560 2016216 1248 0 0 400311 2541 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15456/tid=15476] ppid=15454 vsize=4956860 CPUtime=4034 cores=0-31
/proc/15456/task/15476/stat : 15476 (plingeling) R 15454 15456 15430 0 -1 4202560 2008150 1248 0 0 400756 2643 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=15456/tid=15477] ppid=15454 vsize=4956860 CPUtime=4026.96 cores=0-31
/proc/15456/task/15477/stat : 15477 (plingeling) R 15454 15456 15430 0 -1 4202560 2263325 1248 0 0 400073 2622 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=15456/tid=15478] ppid=15454 vsize=4956860 CPUtime=4032.48 cores=0-31
/proc/15456/task/15478/stat : 15478 (plingeling) R 15454 15456 15430 0 -1 4202560 1767916 1248 0 0 401170 2077 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=15456/tid=15479] ppid=15454 vsize=4956860 CPUtime=4027.72 cores=0-31
/proc/15456/task/15479/stat : 15479 (plingeling) R 15454 15456 15430 0 -1 4202560 2081762 1248 0 0 400365 2406 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15456/tid=15480] ppid=15454 vsize=4956860 CPUtime=4033.92 cores=0-31
/proc/15456/task/15480/stat : 15480 (plingeling) R 15454 15456 15430 0 -1 4202560 2097420 1248 0 0 400765 2626 0 1 25 0 33 0 662794305 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4232808 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15456/tid=15481] ppid=15454 vsize=4956860 CPUtime=4021.41 cores=0-31
/proc/15456/task/15481/stat : 15481 (plingeling) R 15454 15456 15430 0 -1 4202560 2352799 1248 0 0 398827 3313 0 1 25 0 33 0 662794306 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15456/tid=15482] ppid=15454 vsize=4956860 CPUtime=4032.05 cores=0-31
/proc/15456/task/15482/stat : 15482 (plingeling) R 15454 15456 15430 0 -1 4202560 2026379 1248 0 0 400385 2819 0 1 25 0 33 0 662794307 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4244339 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15456/tid=15483] ppid=15454 vsize=4956860 CPUtime=4026.12 cores=0-31
/proc/15456/task/15483/stat : 15483 (plingeling) R 15454 15456 15430 0 -1 4202560 2161829 1248 0 0 400010 2601 0 1 25 0 33 0 662794307 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15456/tid=15484] ppid=15454 vsize=4956860 CPUtime=4029.55 cores=0-31
/proc/15456/task/15484/stat : 15484 (plingeling) R 15454 15456 15430 0 -1 4202560 1877177 1248 0 0 400620 2334 0 1 25 0 33 0 662794307 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=15456/tid=15485] ppid=15454 vsize=4956860 CPUtime=4029.74 cores=0-31
/proc/15456/task/15485/stat : 15485 (plingeling) R 15454 15456 15430 0 -1 4202560 1734824 1248 0 0 401003 1970 0 1 25 0 33 0 662794307 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=15456/tid=15486] ppid=15454 vsize=4956860 CPUtime=4033.88 cores=0-31
/proc/15456/task/15486/stat : 15486 (plingeling) R 15454 15456 15430 0 -1 4202560 2192787 1248 0 0 400388 2999 0 1 25 0 33 0 662794307 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15456/tid=15487] ppid=15454 vsize=4956860 CPUtime=4029.01 cores=0-31
/proc/15456/task/15487/stat : 15487 (plingeling) R 15454 15456 15430 0 -1 4202560 2285336 1248 0 0 400154 2746 0 1 25 0 33 0 662794307 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15456/tid=15488] ppid=15454 vsize=4956860 CPUtime=4032.27 cores=0-31
/proc/15456/task/15488/stat : 15488 (plingeling) R 15454 15456 15430 0 -1 4202560 1823055 1248 0 0 400962 2264 0 1 25 0 33 0 662794308 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4366700 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15456/tid=15489] ppid=15454 vsize=4956860 CPUtime=4030.99 cores=0-31
/proc/15456/task/15489/stat : 15489 (plingeling) R 15454 15456 15430 0 -1 4202560 2134591 1248 0 0 400724 2374 0 1 25 0 33 0 662794308 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=15456/tid=15490] ppid=15454 vsize=4956860 CPUtime=4028.36 cores=0-31
/proc/15456/task/15490/stat : 15490 (plingeling) R 15454 15456 15430 0 -1 4202560 2078561 1248 0 0 399857 2978 0 1 25 0 33 0 662794308 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=15456/tid=15491] ppid=15454 vsize=4956860 CPUtime=4032.52 cores=0-31
/proc/15456/task/15491/stat : 15491 (plingeling) R 15454 15456 15430 0 -1 4202560 2010551 1248 0 0 400244 3007 0 1 25 0 33 0 662794308 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15456/tid=15492] ppid=15454 vsize=4956860 CPUtime=4031.79 cores=0-31
/proc/15456/task/15492/stat : 15492 (plingeling) R 15454 15456 15430 0 -1 4202560 2175431 1248 0 0 400300 2878 0 1 25 0 33 0 662794308 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15456/tid=15493] ppid=15454 vsize=4956860 CPUtime=4036.31 cores=0-31
/proc/15456/task/15493/stat : 15493 (plingeling) R 15454 15456 15430 0 -1 4202560 2167352 1248 0 0 400749 2881 0 1 25 0 33 0 662794308 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=15456/tid=15494] ppid=15454 vsize=4956860 CPUtime=4031.21 cores=0-31
/proc/15456/task/15494/stat : 15494 (plingeling) R 15454 15456 15430 0 -1 4202560 1876271 1248 0 0 400847 2273 0 1 25 0 33 0 662794308 5075824640 1138746 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 129019
Current children cumulated vsize (KiB) 4956860
[startup+4078.4 s]
/proc/loadavg: 32.12 32.11 32.05 33/446 15614
/proc/meminfo: memFree=251268964/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=4745164 CPUtime=129070 cores=0-31
/proc/15456/stat : 15456 (plingeling) S 15454 15456 15430 0 -1 4202496 66456573 1248 0 0 12823836 83192 0 1 18 0 33 0 662793768 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/15456/statm: 1186291 1085822 175 55 0 1184177 0
[pid=15456/tid=15463] ppid=15454 vsize=4745164 CPUtime=4034.76 cores=0-31
/proc/15456/task/15463/stat : 15463 (plingeling) R 15454 15456 15430 0 -1 4202560 1849398 1248 0 0 401529 1946 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15456/tid=15464] ppid=15454 vsize=4745164 CPUtime=4022.42 cores=0-31
/proc/15456/task/15464/stat : 15464 (plingeling) R 15454 15456 15430 0 -1 4202560 2139870 1248 0 0 399510 2731 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15456/tid=15465] ppid=15454 vsize=4745164 CPUtime=4038.07 cores=0-31
/proc/15456/task/15465/stat : 15465 (plingeling) R 15454 15456 15430 0 -1 4202560 1994320 1248 0 0 401118 2688 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15456/tid=15466] ppid=15454 vsize=4745164 CPUtime=4031.05 cores=0-31
/proc/15456/task/15466/stat : 15466 (plingeling) R 15454 15456 15430 0 -1 4202560 2802568 1248 0 0 399991 3113 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15456/tid=15467] ppid=15454 vsize=4745164 CPUtime=4040.68 cores=0-31
/proc/15456/task/15467/stat : 15467 (plingeling) R 15454 15456 15430 0 -1 4202560 2348706 1248 0 0 400996 3071 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=15456/tid=15468] ppid=15454 vsize=4745164 CPUtime=4029.77 cores=0-31
/proc/15456/task/15468/stat : 15468 (plingeling) R 15454 15456 15430 0 -1 4202560 2676197 1248 0 0 400183 2793 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15456/tid=15469] ppid=15454 vsize=4745164 CPUtime=4042.05 cores=0-31
/proc/15456/task/15469/stat : 15469 (plingeling) R 15454 15456 15430 0 -1 4202560 1792169 1248 0 0 402250 1954 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=15456/tid=15470] ppid=15454 vsize=4745164 CPUtime=4032.94 cores=0-31
/proc/15456/task/15470/stat : 15470 (plingeling) R 15454 15456 15430 0 -1 4202560 2072936 1248 0 0 400362 2931 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=15456/tid=15471] ppid=15454 vsize=4745164 CPUtime=4046.07 cores=0-31
/proc/15456/task/15471/stat : 15471 (plingeling) R 15454 15456 15430 0 -1 4202560 1544428 1248 0 0 402972 1634 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4366523 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=15456/tid=15472] ppid=15454 vsize=4745164 CPUtime=4035.98 cores=0-31
/proc/15456/task/15472/stat : 15472 (plingeling) R 15454 15456 15430 0 -1 4202560 2026751 1248 0 0 400966 2631 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=15456/tid=15473] ppid=15454 vsize=4745164 CPUtime=4036.04 cores=0-31
/proc/15456/task/15473/stat : 15473 (plingeling) R 15454 15456 15430 0 -1 4202560 1796129 1248 0 0 401393 2210 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4353520 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=15456/tid=15474] ppid=15454 vsize=4745164 CPUtime=4034.35 cores=0-31
/proc/15456/task/15474/stat : 15474 (plingeling) R 15454 15456 15430 0 -1 4202560 2121735 1248 0 0 400351 3083 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15456/tid=15475] ppid=15454 vsize=4745164 CPUtime=4030.13 cores=0-31
/proc/15456/task/15475/stat : 15475 (plingeling) R 15454 15456 15430 0 -1 4202560 2017287 1248 0 0 400471 2541 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15456/tid=15476] ppid=15454 vsize=4745164 CPUtime=4035.6 cores=0-31
/proc/15456/task/15476/stat : 15476 (plingeling) R 15454 15456 15430 0 -1 4202560 2008150 1248 0 0 400916 2643 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364380 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=15456/tid=15477] ppid=15454 vsize=4745164 CPUtime=4028.56 cores=0-31
/proc/15456/task/15477/stat : 15477 (plingeling) R 15454 15456 15430 0 -1 4202560 2263325 1248 0 0 400233 2622 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=15456/tid=15478] ppid=15454 vsize=4745164 CPUtime=4034.07 cores=0-31
/proc/15456/task/15478/stat : 15478 (plingeling) R 15454 15456 15430 0 -1 4202560 1769668 1248 0 0 401329 2077 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=15456/tid=15479] ppid=15454 vsize=4745164 CPUtime=4029.31 cores=0-31
/proc/15456/task/15479/stat : 15479 (plingeling) R 15454 15456 15430 0 -1 4202560 2082694 1248 0 0 400524 2406 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15456/tid=15480] ppid=15454 vsize=4745164 CPUtime=4035.53 cores=0-31
/proc/15456/task/15480/stat : 15480 (plingeling) R 15454 15456 15430 0 -1 4202560 2099951 1248 0 0 400924 2628 0 1 25 0 33 0 662794305 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4356974 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15456/tid=15481] ppid=15454 vsize=4745164 CPUtime=4023.01 cores=0-31
/proc/15456/task/15481/stat : 15481 (plingeling) R 15454 15456 15430 0 -1 4202560 2352799 1248 0 0 398987 3313 0 1 25 0 33 0 662794306 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15456/tid=15482] ppid=15454 vsize=4745164 CPUtime=4033.65 cores=0-31
/proc/15456/task/15482/stat : 15482 (plingeling) R 15454 15456 15430 0 -1 4202560 2031428 1248 0 0 400543 2821 0 1 25 0 33 0 662794307 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15456/tid=15483] ppid=15454 vsize=4745164 CPUtime=4027.72 cores=0-31
/proc/15456/task/15483/stat : 15483 (plingeling) R 15454 15456 15430 0 -1 4202560 2161829 1248 0 0 400170 2601 0 1 25 0 33 0 662794307 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15456/tid=15484] ppid=15454 vsize=4745164 CPUtime=4031.15 cores=0-31
/proc/15456/task/15484/stat : 15484 (plingeling) R 15454 15456 15430 0 -1 4202560 1877177 1248 0 0 400780 2334 0 1 25 0 33 0 662794307 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=15456/tid=15485] ppid=15454 vsize=4745164 CPUtime=4031.34 cores=0-31
/proc/15456/task/15485/stat : 15485 (plingeling) R 15454 15456 15430 0 -1 4202560 1734824 1248 0 0 401163 1970 0 1 25 0 33 0 662794307 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=15456/tid=15486] ppid=15454 vsize=4745164 CPUtime=4035.47 cores=0-31
/proc/15456/task/15486/stat : 15486 (plingeling) R 15454 15456 15430 0 -1 4202560 2193459 1248 0 0 400547 2999 0 1 25 0 33 0 662794307 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15456/tid=15487] ppid=15454 vsize=4745164 CPUtime=4030.61 cores=0-31
/proc/15456/task/15487/stat : 15487 (plingeling) R 15454 15456 15430 0 -1 4202560 2286389 1248 0 0 400311 2749 0 1 25 0 33 0 662794307 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15456/tid=15488] ppid=15454 vsize=4745164 CPUtime=4033.87 cores=0-31
/proc/15456/task/15488/stat : 15488 (plingeling) R 15454 15456 15430 0 -1 4202560 1823055 1248 0 0 401122 2264 0 1 25 0 33 0 662794308 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15456/tid=15489] ppid=15454 vsize=4745164 CPUtime=4032.59 cores=0-31
/proc/15456/task/15489/stat : 15489 (plingeling) R 15454 15456 15430 0 -1 4202560 2134591 1248 0 0 400884 2374 0 1 25 0 33 0 662794308 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=15456/tid=15490] ppid=15454 vsize=4745164 CPUtime=4029.95 cores=0-31
/proc/15456/task/15490/stat : 15490 (plingeling) R 15454 15456 15430 0 -1 4202560 2078561 1248 0 0 400016 2978 0 1 25 0 33 0 662794308 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=15456/tid=15491] ppid=15454 vsize=4745164 CPUtime=4034.12 cores=0-31
/proc/15456/task/15491/stat : 15491 (plingeling) R 15454 15456 15430 0 -1 4202560 2010551 1248 0 0 400404 3007 0 1 25 0 33 0 662794308 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15456/tid=15492] ppid=15454 vsize=4745164 CPUtime=4033.39 cores=0-31
/proc/15456/task/15492/stat : 15492 (plingeling) R 15454 15456 15430 0 -1 4202560 2175431 1248 0 0 400460 2878 0 1 25 0 33 0 662794308 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4250929 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15456/tid=15493] ppid=15454 vsize=4745164 CPUtime=4037.91 cores=0-31
/proc/15456/task/15493/stat : 15493 (plingeling) R 15454 15456 15430 0 -1 4202560 2167352 1248 0 0 400909 2881 0 1 25 0 33 0 662794308 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=15456/tid=15494] ppid=15454 vsize=4745164 CPUtime=4032.8 cores=0-31
/proc/15456/task/15494/stat : 15494 (plingeling) R 15454 15456 15430 0 -1 4202560 1881274 1248 0 0 401004 2275 0 1 25 0 33 0 662794308 4859047936 1085822 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 129070
Current children cumulated vsize (KiB) 4745164
[startup+4078.8 s]
/proc/loadavg: 32.11 32.11 32.05 12/425 15614
/proc/meminfo: memFree=251221384/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=4741068 CPUtime=129082 cores=0-31
/proc/15456/stat : 15456 (plingeling) S 15454 15456 15430 0 -1 4202496 66456574 1248 0 0 12825026 83193 0 1 18 0 8 0 662793768 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/15456/statm: 1185267 1084799 176 55 0 1183153 0
[pid=15456/tid=15464] ppid=15454 vsize=4741068 CPUtime=4022.84 cores=0-31
/proc/15456/task/15464/stat : 15464 (plingeling) R 15454 15456 15430 0 -1 4202560 2139870 1248 0 0 399552 2731 0 1 25 0 8 0 662794305 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15456/tid=15468] ppid=15454 vsize=4741068 CPUtime=4030.19 cores=0-31
/proc/15456/task/15468/stat : 15468 (plingeling) R 15454 15456 15430 0 -1 4202560 2676197 1248 0 0 400225 2793 0 1 25 0 8 0 662794305 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15456/tid=15471] ppid=15454 vsize=4741068 CPUtime=4046.49 cores=0-31
/proc/15456/task/15471/stat : 15471 (plingeling) R 15454 15456 15430 0 -1 4202560 1544428 1248 0 0 403014 1634 0 1 25 0 8 0 662794305 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=15456/tid=15482] ppid=15454 vsize=4741068 CPUtime=4034.07 cores=0-31
/proc/15456/task/15482/stat : 15482 (plingeling) R 15454 15456 15430 0 -1 4202560 2031428 1248 0 0 400585 2821 0 1 25 0 8 0 662794307 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15456/tid=15483] ppid=15454 vsize=4741068 CPUtime=4028.14 cores=0-31
/proc/15456/task/15483/stat : 15483 (plingeling) R 15454 15456 15430 0 -1 4202560 2161829 1248 0 0 400212 2601 0 1 25 0 8 0 662794307 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 4357970 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15456/tid=15491] ppid=15454 vsize=4741068 CPUtime=4034.53 cores=0-31
/proc/15456/task/15491/stat : 15491 (plingeling) R 15454 15456 15430 0 -1 4202560 2010551 1248 0 0 400445 3007 0 1 25 0 8 0 662794308 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 4343625 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=15456/tid=15492] ppid=15454 vsize=4741068 CPUtime=4033.81 cores=0-31
/proc/15456/task/15492/stat : 15492 (plingeling) R 15454 15456 15430 0 -1 4202560 2175431 1248 0 0 400502 2878 0 1 25 0 8 0 662794308 4854853632 1084799 268435456000 4194304 4417452 140735835076384 18446744073709551615 4365952 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 129082
Current children cumulated vsize (KiB) 4741068
[startup+4079.2 s]
/proc/loadavg: 32.11 32.11 32.05 12/425 15614
/proc/meminfo: memFree=251221384/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=0 CPUtime=129083 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202500 66456578 1248 0 0 12825063 83219 0 1 16 0 1 0 662793768 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 21 0 0 0
/proc/15456/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 129083
Current children cumulated vsize (KiB) 0
[startup+4079.3 s]
/proc/loadavg: 32.11 32.11 32.05 12/425 15614
/proc/meminfo: memFree=251221384/264257624 swapFree=67111528/67111528
[pid=15456] ppid=15454 vsize=0 CPUtime=129083 cores=0-31
/proc/15456/stat : 15456 (plingeling) R 15454 15456 15430 0 -1 4202500 66456578 1248 0 0 12825063 83229 0 1 16 0 1 0 662793768 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 21 0 0 0
/proc/15456/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 129083
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4079.33
CPU time (s): 129083
CPU user time (s): 128251
CPU system time (s): 832.334
CPU usage (%): 3164.32
Max. virtual memory (cumulated for all children) (KiB): 7667040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128251
system time used= 832.334
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66457826
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= 40608
involuntary context switches= 311323
runsolver used 22.0666 second user time and 94.0127 second system time
The end
Begin job on node200 at 2011-05-16 04:31:14
IDJOB=3372240
IDBENCH=70799
IDSOLVER=1852
FILE ID=node200/3372240-1305513073
RUNJOBID= node200-1305513073-15444
PBS_JOBID= 13285533
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372240-1305513073/watcher-3372240-1305513073 -o /tmp/evaluation-result-3372240-1305513073/solver-3372240-1305513073 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372240-1305513073.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 4b75ef7fb46928f50793af1d74c176e2
RANDOM SEED=55195423
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: 255574304 kB
Buffers: 442552 kB
Cached: 7840944 kB
SwapCached: 0 kB
Active: 7389856 kB
Inactive: 962388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255574304 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5280 kB
Writeback: 0 kB
AnonPages: 68620 kB
Mapped: 14436 kB
Slab: 250940 kB
PageTables: 4204 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-16 05:39:13