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-3372849-1306097894/watcher-3372849-1306097894 -o /tmp/evaluation-result-3372849-1306097894/solver-3372849-1306097894 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372849-1306097894.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: 32.12 31.48 31.05 1/413 27639
/proc/meminfo: memFree=255425500/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=46892 CPUtime=0.01 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 8548 1244 0 0 0 1 0 0 23 0 1 0 721276057 48017408 8481 268435456000 4194304 4417452 140733472020864 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27639/statm: 11723 8495 138 55 0 9609 0
[startup+0.121398 s]
/proc/loadavg: 32.12 31.48 31.05 1/413 27639
/proc/meminfo: memFree=255425500/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=153440 CPUtime=0.1 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 34620 1244 0 0 5 5 0 0 23 0 1 0 721276057 157122560 34553 268435456000 4194304 4417452 140733472020864 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27639/statm: 38360 34573 138 55 0 36246 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 153440
[startup+0.200412 s]
/proc/loadavg: 32.12 31.48 31.05 1/413 27639
/proc/meminfo: memFree=255425500/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=243596 CPUtime=0.19 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 58404 1244 0 0 9 10 0 0 23 0 1 0 721276057 249442304 58336 268435456000 4194304 4417452 140733472020864 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27639/statm: 60899 58355 138 55 0 58785 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 243596
[startup+0.300422 s]
/proc/loadavg: 32.12 31.48 31.05 1/413 27639
/proc/meminfo: memFree=255425500/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=284388 CPUtime=0.29 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 69173 1244 0 0 17 12 0 0 24 0 1 0 721276057 291213312 69105 268435456000 4194304 4417452 140733472020864 18446744073709551615 4264950 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27639/statm: 71097 69105 145 55 0 68983 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 284388
[startup+0.700446 s]
/proc/loadavg: 32.12 31.48 31.05 1/413 27639
/proc/meminfo: memFree=255425500/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=310332 CPUtime=0.68 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 75672 1244 0 0 55 13 0 0 25 0 1 0 721276057 317779968 75604 268435456000 4194304 4417452 140733472020864 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27639/statm: 77583 75604 146 55 0 75469 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 310332
[startup+1.50045 s]
/proc/loadavg: 29.63 30.97 30.89 2/414 27645
/proc/meminfo: memFree=255089072/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=411924 CPUtime=1.48 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 101086 1244 0 0 129 19 0 0 25 0 1 0 721276057 421810176 101002 268435456000 4194304 4417452 140733472020864 18446744073709551615 4232651 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/27639/statm: 102981 101002 146 55 0 100867 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 411924
[startup+3.10056 s]
/proc/loadavg: 29.63 30.97 30.89 2/414 27645
/proc/meminfo: memFree=255019616/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=546160 CPUtime=3.09 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 134702 1244 0 0 282 27 0 0 25 0 1 0 721276057 559267840 134561 268435456000 4194304 4417452 140733472020864 18446744073709551615 4264945 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/27639/statm: 136540 134561 146 55 0 134426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 546160
[startup+6.30066 s]
/proc/loadavg: 27.34 30.47 30.73 2/414 27645
/proc/meminfo: memFree=254620656/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=812704 CPUtime=6.29 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 201338 1244 0 0 589 40 0 0 25 0 1 0 721276057 832208896 201197 268435456000 4194304 4417452 140733472020864 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/27639/statm: 203176 201197 146 55 0 201062 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 812704
[startup+12.7008 s]
/proc/loadavg: 25.23 29.98 30.57 2/414 27645
/proc/meminfo: memFree=254456256/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=1347184 CPUtime=12.69 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 334958 1244 0 0 1204 65 0 0 25 0 1 0 721276057 1379516416 334817 268435456000 4194304 4417452 140733472020864 18446744073709551615 4264945 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/27639/statm: 336796 334817 146 55 0 334682 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1347184
[startup+25.5013 s]
/proc/loadavg: 21.50 29.03 30.25 2/414 27647
/proc/meminfo: memFree=253954852/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=1482508 CPUtime=25.48 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 368793 1244 0 0 2477 71 0 0 25 0 1 0 721276057 1518088192 368648 268435456000 4194304 4417452 140733472020864 18446744073709551615 4323168 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/27639/statm: 370627 368648 146 55 0 368513 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1482508
[startup+51.1012 s]
/proc/loadavg: 13.42 26.35 29.32 2/414 27647
/proc/meminfo: memFree=253160624/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=2278184 CPUtime=51.08 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 567712 1244 0 0 4998 110 0 0 25 0 1 0 721276057 2332860416 567567 268435456000 4194304 4417452 140733472020864 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/27639/statm: 569546 567567 146 55 0 567432 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2278184
[startup+102.302 s]
/proc/loadavg: 17.23 24.99 28.68 33/446 27681
/proc/meminfo: memFree=251724100/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=4108716 CPUtime=804.61 cores=0-31
/proc/27639/stat : 27639 (plingeling) S 27637 27639 27613 0 -1 4202496 1396227 1244 0 0 79809 652 0 0 19 0 33 0 721276057 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/27639/statm: 1027179 921399 174 55 0 1025065 0
[pid=27639/tid=27648] ppid=27637 vsize=4108716 CPUtime=22.93 cores=0-31
/proc/27639/task/27648/stat : 27648 (plingeling) R 27637 27639 27613 0 -1 4202560 41119 1244 0 0 2263 30 0 0 25 0 33 0 721283963 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27639/tid=27649] ppid=27637 vsize=4108716 CPUtime=22.98 cores=0-31
/proc/27639/task/27649/stat : 27649 (plingeling) R 27637 27639 27613 0 -1 4202560 30366 1244 0 0 2270 28 0 0 25 0 33 0 721283963 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330698 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27639/tid=27650] ppid=27637 vsize=4108716 CPUtime=22.85 cores=0-31
/proc/27639/task/27650/stat : 27650 (plingeling) R 27637 27639 27613 0 -1 4202560 14263 1244 0 0 2281 4 0 0 25 0 33 0 721283963 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4253473 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27639/tid=27651] ppid=27637 vsize=4108716 CPUtime=23.02 cores=0-31
/proc/27639/task/27651/stat : 27651 (plingeling) R 27637 27639 27613 0 -1 4202560 9690 1244 0 0 2300 2 0 0 25 0 33 0 721283963 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27639/tid=27652] ppid=27637 vsize=4108716 CPUtime=22.66 cores=0-31
/proc/27639/task/27652/stat : 27652 (plingeling) R 27637 27639 27613 0 -1 4202560 19897 1244 0 0 2241 25 0 0 25 0 33 0 721283963 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4320304 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27639/tid=27653] ppid=27637 vsize=4108716 CPUtime=23.02 cores=0-31
/proc/27639/task/27653/stat : 27653 (plingeling) R 27637 27639 27613 0 -1 4202560 11821 1244 0 0 2300 2 0 0 25 0 33 0 721283963 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4253830 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27639/tid=27654] ppid=27637 vsize=4108716 CPUtime=23.04 cores=0-31
/proc/27639/task/27654/stat : 27654 (plingeling) R 27637 27639 27613 0 -1 4202560 26682 1244 0 0 2279 25 0 0 25 0 33 0 721283963 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27639/tid=27655] ppid=27637 vsize=4108716 CPUtime=23.1 cores=0-31
/proc/27639/task/27655/stat : 27655 (plingeling) R 27637 27639 27613 0 -1 4202560 17177 1244 0 0 2306 4 0 0 25 0 33 0 721283964 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27639/tid=27656] ppid=27637 vsize=4108716 CPUtime=22.5 cores=0-31
/proc/27639/task/27656/stat : 27656 (plingeling) R 27637 27639 27613 0 -1 4202560 27052 1244 0 0 2243 7 0 0 25 0 33 0 721283964 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330933 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27639/tid=27657] ppid=27637 vsize=4108716 CPUtime=22.97 cores=0-31
/proc/27639/task/27657/stat : 27657 (plingeling) R 27637 27639 27613 0 -1 4202560 18970 1244 0 0 2292 5 0 0 25 0 33 0 721283964 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27639/tid=27658] ppid=27637 vsize=4108716 CPUtime=22.84 cores=0-31
/proc/27639/task/27658/stat : 27658 (plingeling) R 27637 27639 27613 0 -1 4202560 34819 1244 0 0 2254 30 0 0 25 0 33 0 721283964 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330933 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27639/tid=27659] ppid=27637 vsize=4108716 CPUtime=22.88 cores=0-31
/proc/27639/task/27659/stat : 27659 (plingeling) R 27637 27639 27613 0 -1 4202560 11808 1244 0 0 2285 3 0 0 25 0 33 0 721283964 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27639/tid=27660] ppid=27637 vsize=4108716 CPUtime=22.81 cores=0-31
/proc/27639/task/27660/stat : 27660 (plingeling) R 27637 27639 27613 0 -1 4202560 18864 1244 0 0 2276 5 0 0 25 0 33 0 721283964 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4266904 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27639/tid=27661] ppid=27637 vsize=4108716 CPUtime=22.72 cores=0-31
/proc/27639/task/27661/stat : 27661 (plingeling) R 27637 27639 27613 0 -1 4202560 27375 1244 0 0 2244 28 0 0 25 0 33 0 721283965 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27639/tid=27662] ppid=27637 vsize=4108716 CPUtime=22.07 cores=0-31
/proc/27639/task/27662/stat : 27662 (plingeling) R 27637 27639 27613 0 -1 4202560 20497 1244 0 0 2180 27 0 0 25 0 33 0 721283965 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4331715 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27639/tid=27663] ppid=27637 vsize=4108716 CPUtime=22.16 cores=0-31
/proc/27639/task/27663/stat : 27663 (plingeling) R 27637 27639 27613 0 -1 4202560 20922 1244 0 0 2192 24 0 0 25 0 33 0 721283975 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27639/tid=27664] ppid=27637 vsize=4108716 CPUtime=22.58 cores=0-31
/proc/27639/task/27664/stat : 27664 (plingeling) R 27637 27639 27613 0 -1 4202560 29902 1244 0 0 2229 29 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4339846 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27639/tid=27665] ppid=27637 vsize=4108716 CPUtime=22.41 cores=0-31
/proc/27639/task/27665/stat : 27665 (plingeling) R 27637 27639 27613 0 -1 4202560 36079 1244 0 0 2231 10 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27639/tid=27666] ppid=27637 vsize=4108716 CPUtime=22.5 cores=0-31
/proc/27639/task/27666/stat : 27666 (plingeling) R 27637 27639 27613 0 -1 4202560 38228 1244 0 0 2226 24 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330289 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27639/tid=27667] ppid=27637 vsize=4108716 CPUtime=22.92 cores=0-31
/proc/27639/task/27667/stat : 27667 (plingeling) R 27637 27639 27613 0 -1 4202560 29028 1244 0 0 2284 8 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4233255 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27639/tid=27668] ppid=27637 vsize=4108716 CPUtime=22.54 cores=0-31
/proc/27639/task/27668/stat : 27668 (plingeling) R 27637 27639 27613 0 -1 4202560 37080 1244 0 0 2243 11 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4270875 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27639/tid=27669] ppid=27637 vsize=4108716 CPUtime=22.7 cores=0-31
/proc/27639/task/27669/stat : 27669 (plingeling) R 27637 27639 27613 0 -1 4202560 41244 1244 0 0 2257 13 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4339846 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27639/tid=27670] ppid=27637 vsize=4108716 CPUtime=22.47 cores=0-31
/proc/27639/task/27670/stat : 27670 (plingeling) R 27637 27639 27613 0 -1 4202560 40687 1244 0 0 2221 26 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4247871 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27639/tid=27671] ppid=27637 vsize=4108716 CPUtime=22.67 cores=0-31
/proc/27639/task/27671/stat : 27671 (plingeling) R 27637 27639 27613 0 -1 4202560 21045 1244 0 0 2241 26 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27639/tid=27672] ppid=27637 vsize=4108716 CPUtime=22.15 cores=0-31
/proc/27639/task/27672/stat : 27672 (plingeling) R 27637 27639 27613 0 -1 4202560 20080 1244 0 0 2209 6 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27639/tid=27673] ppid=27637 vsize=4108716 CPUtime=22.33 cores=0-31
/proc/27639/task/27673/stat : 27673 (plingeling) R 27637 27639 27613 0 -1 4202560 31476 1244 0 0 2205 28 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4320482 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27639/tid=27674] ppid=27637 vsize=4108716 CPUtime=22.47 cores=0-31
/proc/27639/task/27674/stat : 27674 (plingeling) R 27637 27639 27613 0 -1 4202560 12500 1244 0 0 2245 2 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4253830 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27639/tid=27675] ppid=27637 vsize=4108716 CPUtime=22.14 cores=0-31
/proc/27639/task/27675/stat : 27675 (plingeling) R 27637 27639 27613 0 -1 4202560 21324 1244 0 0 2204 10 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27639/tid=27676] ppid=27637 vsize=4108716 CPUtime=22.69 cores=0-31
/proc/27639/task/27676/stat : 27676 (plingeling) R 27637 27639 27613 0 -1 4202560 27766 1244 0 0 2239 30 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27639/tid=27677] ppid=27637 vsize=4108716 CPUtime=22.59 cores=0-31
/proc/27639/task/27677/stat : 27677 (plingeling) R 27637 27639 27613 0 -1 4202560 33981 1244 0 0 2228 31 0 0 25 0 33 0 721283979 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27639/tid=27678] ppid=27637 vsize=4108716 CPUtime=22.79 cores=0-31
/proc/27639/task/27678/stat : 27678 (plingeling) R 27637 27639 27613 0 -1 4202560 25686 1244 0 0 2273 6 0 0 25 0 33 0 721283980 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4254099 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27639/tid=27679] ppid=27637 vsize=4108716 CPUtime=22.78 cores=0-31
/proc/27639/task/27679/stat : 27679 (plingeling) R 27637 27639 27613 0 -1 4202560 26823 1244 0 0 2268 10 0 0 25 0 33 0 721283980 4207325184 921399 268435456000 4194304 4417452 140733472020864 18446744073709551615 4320251 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 4108716
[startup+162.302 s]
/proc/loadavg: 26.68 26.31 28.90 33/446 27681
/proc/meminfo: memFree=252058756/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=3795664 CPUtime=2720.94 cores=0-31
/proc/27639/stat : 27639 (plingeling) S 27637 27639 27613 0 -1 4202496 1573040 1244 0 0 271188 906 0 0 19 0 33 0 721276057 3886759936 839287 268435456000 4194304 4417452 140733472020864 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/27639/statm: 948916 839287 175 55 0 946802 0
[pid=27639/tid=27648] ppid=27637 vsize=3795664 CPUtime=82.88 cores=0-31
/proc/27639/task/27648/stat : 27648 (plingeling) R 27637 27639 27613 0 -1 4202560 42885 1244 0 0 8254 34 0 0 25 0 33 0 721283963 3886759936 839287 268435456000 4194304 4417452 140733472020864 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27639/tid=27649] ppid=27637 vsize=3795664 CPUtime=82.95 cores=0-31
################
# More data... #
################
[pid=27639/tid=27678] ppid=27637 vsize=2887848 CPUtime=502.77 cores=0-31
/proc/27639/task/27678/stat : 27678 (plingeling) R 27637 27639 27613 0 -1 4202560 28872 1244 0 0 50269 8 0 0 25 0 33 0 721283980 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236574 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27639/tid=27679] ppid=27637 vsize=2887848 CPUtime=489.44 cores=0-31
/proc/27639/task/27679/stat : 27679 (plingeling) R 27637 27639 27613 0 -1 4202560 33237 1244 0 0 48931 13 0 0 25 0 33 0 721283980 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 16149.1
Current children cumulated vsize (KiB) 2887848
[startup+584.002 s]
/proc/loadavg: 32.17 30.72 30.07 33/446 27702
/proc/meminfo: memFree=252945308/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=2887848 CPUtime=16200.2 cores=0-31
/proc/27639/stat : 27639 (plingeling) S 27637 27639 27613 0 -1 4202496 1599813 1244 0 0 1619079 941 0 0 19 0 33 0 721276057 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/27639/statm: 721962 619122 175 55 0 719848 0
[pid=27639/tid=27648] ppid=27637 vsize=2887848 CPUtime=504.5 cores=0-31
/proc/27639/task/27648/stat : 27648 (plingeling) R 27637 27639 27613 0 -1 4202560 43244 1244 0 0 50415 35 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27639/tid=27649] ppid=27637 vsize=2887848 CPUtime=504.56 cores=0-31
/proc/27639/task/27649/stat : 27649 (plingeling) R 27637 27639 27613 0 -1 4202560 39234 1244 0 0 50417 39 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27639/tid=27650] ppid=27637 vsize=2887848 CPUtime=504.42 cores=0-31
/proc/27639/task/27650/stat : 27650 (plingeling) R 27637 27639 27613 0 -1 4202560 17597 1244 0 0 50432 10 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27639/tid=27651] ppid=27637 vsize=2887848 CPUtime=504.61 cores=0-31
/proc/27639/task/27651/stat : 27651 (plingeling) R 27637 27639 27613 0 -1 4202560 9690 1244 0 0 50458 3 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27639/tid=27652] ppid=27637 vsize=2887848 CPUtime=504.23 cores=0-31
/proc/27639/task/27652/stat : 27652 (plingeling) R 27637 27639 27613 0 -1 4202560 26335 1244 0 0 50393 30 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281706 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27639/tid=27653] ppid=27637 vsize=2887848 CPUtime=504.58 cores=0-31
/proc/27639/task/27653/stat : 27653 (plingeling) R 27637 27639 27613 0 -1 4202560 24730 1244 0 0 50447 11 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27639/tid=27654] ppid=27637 vsize=2887848 CPUtime=504.6 cores=0-31
/proc/27639/task/27654/stat : 27654 (plingeling) R 27637 27639 27613 0 -1 4202560 33669 1244 0 0 50427 33 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4265368 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27639/tid=27655] ppid=27637 vsize=2887848 CPUtime=504.62 cores=0-31
/proc/27639/task/27655/stat : 27655 (plingeling) R 27637 27639 27613 0 -1 4202560 29799 1244 0 0 50425 37 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27639/tid=27656] ppid=27637 vsize=2887848 CPUtime=504.07 cores=0-31
/proc/27639/task/27656/stat : 27656 (plingeling) R 27637 27639 27613 0 -1 4202560 33433 1244 0 0 50396 11 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281683 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27639/tid=27657] ppid=27637 vsize=2887848 CPUtime=504.55 cores=0-31
/proc/27639/task/27657/stat : 27657 (plingeling) R 27637 27639 27613 0 -1 4202560 31842 1244 0 0 50438 17 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4250941 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27639/tid=27658] ppid=27637 vsize=2887848 CPUtime=504.13 cores=0-31
/proc/27639/task/27658/stat : 27658 (plingeling) R 27637 27639 27613 0 -1 4202560 37494 1244 0 0 50379 34 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4366563 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27639/tid=27659] ppid=27637 vsize=2887848 CPUtime=504.34 cores=0-31
/proc/27639/task/27659/stat : 27659 (plingeling) R 27637 27639 27613 0 -1 4202560 24142 1244 0 0 50399 35 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27639/tid=27660] ppid=27637 vsize=2887848 CPUtime=504.15 cores=0-31
/proc/27639/task/27660/stat : 27660 (plingeling) R 27637 27639 27613 0 -1 4202560 29381 1244 0 0 50404 11 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27639/tid=27661] ppid=27637 vsize=2887848 CPUtime=504.29 cores=0-31
/proc/27639/task/27661/stat : 27661 (plingeling) R 27637 27639 27613 0 -1 4202560 29702 1244 0 0 50397 32 0 0 25 0 33 0 721283965 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27639/tid=27662] ppid=27637 vsize=2887848 CPUtime=503.66 cores=0-31
/proc/27639/task/27662/stat : 27662 (plingeling) R 27637 27639 27613 0 -1 4202560 22701 1244 0 0 50335 31 0 0 25 0 33 0 721283965 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27639/tid=27663] ppid=27637 vsize=2887848 CPUtime=503.67 cores=0-31
/proc/27639/task/27663/stat : 27663 (plingeling) R 27637 27639 27613 0 -1 4202560 29153 1244 0 0 50335 32 0 0 25 0 33 0 721283975 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27639/tid=27664] ppid=27637 vsize=2887848 CPUtime=504.13 cores=0-31
/proc/27639/task/27664/stat : 27664 (plingeling) R 27637 27639 27613 0 -1 4202560 32219 1244 0 0 50378 35 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27639/tid=27665] ppid=27637 vsize=2887848 CPUtime=503.79 cores=0-31
/proc/27639/task/27665/stat : 27665 (plingeling) R 27637 27639 27613 0 -1 4202560 46960 1244 0 0 50345 34 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27639/tid=27666] ppid=27637 vsize=2887848 CPUtime=504.09 cores=0-31
/proc/27639/task/27666/stat : 27666 (plingeling) R 27637 27639 27613 0 -1 4202560 44278 1244 0 0 50380 29 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27639/tid=27667] ppid=27637 vsize=2887848 CPUtime=504.49 cores=0-31
/proc/27639/task/27667/stat : 27667 (plingeling) R 27637 27639 27613 0 -1 4202560 33187 1244 0 0 50430 19 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4250795 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27639/tid=27668] ppid=27637 vsize=2887848 CPUtime=504.12 cores=0-31
/proc/27639/task/27668/stat : 27668 (plingeling) R 27637 27639 27613 0 -1 4202560 39399 1244 0 0 50396 16 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27639/tid=27669] ppid=27637 vsize=2887848 CPUtime=504.28 cores=0-31
/proc/27639/task/27669/stat : 27669 (plingeling) R 27637 27639 27613 0 -1 4202560 49464 1244 0 0 50404 24 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4358579 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27639/tid=27670] ppid=27637 vsize=2887848 CPUtime=504.05 cores=0-31
/proc/27639/task/27670/stat : 27670 (plingeling) R 27637 27639 27613 0 -1 4202560 40939 1244 0 0 50378 27 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27639/tid=27671] ppid=27637 vsize=2887848 CPUtime=503.99 cores=0-31
/proc/27639/task/27671/stat : 27671 (plingeling) R 27637 27639 27613 0 -1 4202560 23737 1244 0 0 50361 38 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27639/tid=27672] ppid=27637 vsize=2887848 CPUtime=503.72 cores=0-31
/proc/27639/task/27672/stat : 27672 (plingeling) R 27637 27639 27613 0 -1 4202560 27925 1244 0 0 50360 12 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4262499 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27639/tid=27673] ppid=27637 vsize=2887848 CPUtime=503.89 cores=0-31
/proc/27639/task/27673/stat : 27673 (plingeling) R 27637 27639 27613 0 -1 4202560 38387 1244 0 0 50355 34 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27639/tid=27674] ppid=27637 vsize=2887848 CPUtime=503.93 cores=0-31
/proc/27639/task/27674/stat : 27674 (plingeling) R 27637 27639 27613 0 -1 4202560 15021 1244 0 0 50389 4 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27639/tid=27675] ppid=27637 vsize=2887848 CPUtime=503.71 cores=0-31
/proc/27639/task/27675/stat : 27675 (plingeling) R 27637 27639 27613 0 -1 4202560 37759 1244 0 0 50328 43 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27639/tid=27676] ppid=27637 vsize=2887848 CPUtime=504.26 cores=0-31
/proc/27639/task/27676/stat : 27676 (plingeling) R 27637 27639 27613 0 -1 4202560 34323 1244 0 0 50390 36 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4355830 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27639/tid=27677] ppid=27637 vsize=2887848 CPUtime=504.08 cores=0-31
/proc/27639/task/27677/stat : 27677 (plingeling) R 27637 27639 27613 0 -1 4202560 39984 1244 0 0 50370 38 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27639/tid=27678] ppid=27637 vsize=2887848 CPUtime=504.37 cores=0-31
/proc/27639/task/27678/stat : 27678 (plingeling) R 27637 27639 27613 0 -1 4202560 28872 1244 0 0 50429 8 0 0 25 0 33 0 721283980 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27639/tid=27679] ppid=27637 vsize=2887848 CPUtime=491 cores=0-31
/proc/27639/task/27679/stat : 27679 (plingeling) R 27637 27639 27613 0 -1 4202560 33237 1244 0 0 49087 13 0 0 25 0 33 0 721283980 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4234678 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 16200.2
Current children cumulated vsize (KiB) 2887848
[startup+584.402 s]
/proc/loadavg: 32.17 30.72 30.07 33/446 27702
/proc/meminfo: memFree=252945308/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=2887848 CPUtime=16213 cores=0-31
/proc/27639/stat : 27639 (plingeling) S 27637 27639 27613 0 -1 4202496 1599813 1244 0 0 1620356 941 0 0 19 0 33 0 721276057 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/27639/statm: 721962 619122 175 55 0 719848 0
[pid=27639/tid=27648] ppid=27637 vsize=2887848 CPUtime=504.9 cores=0-31
/proc/27639/task/27648/stat : 27648 (plingeling) R 27637 27639 27613 0 -1 4202560 43244 1244 0 0 50455 35 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27639/tid=27649] ppid=27637 vsize=2887848 CPUtime=504.96 cores=0-31
/proc/27639/task/27649/stat : 27649 (plingeling) R 27637 27639 27613 0 -1 4202560 39234 1244 0 0 50457 39 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27639/tid=27650] ppid=27637 vsize=2887848 CPUtime=504.82 cores=0-31
/proc/27639/task/27650/stat : 27650 (plingeling) R 27637 27639 27613 0 -1 4202560 17597 1244 0 0 50472 10 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27639/tid=27651] ppid=27637 vsize=2887848 CPUtime=505.01 cores=0-31
/proc/27639/task/27651/stat : 27651 (plingeling) R 27637 27639 27613 0 -1 4202560 9690 1244 0 0 50498 3 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27639/tid=27652] ppid=27637 vsize=2887848 CPUtime=504.63 cores=0-31
/proc/27639/task/27652/stat : 27652 (plingeling) R 27637 27639 27613 0 -1 4202560 26335 1244 0 0 50433 30 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27639/tid=27653] ppid=27637 vsize=2887848 CPUtime=504.98 cores=0-31
/proc/27639/task/27653/stat : 27653 (plingeling) R 27637 27639 27613 0 -1 4202560 24730 1244 0 0 50487 11 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27639/tid=27654] ppid=27637 vsize=2887848 CPUtime=505 cores=0-31
/proc/27639/task/27654/stat : 27654 (plingeling) R 27637 27639 27613 0 -1 4202560 33669 1244 0 0 50467 33 0 0 25 0 33 0 721283963 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27639/tid=27655] ppid=27637 vsize=2887848 CPUtime=505.02 cores=0-31
/proc/27639/task/27655/stat : 27655 (plingeling) R 27637 27639 27613 0 -1 4202560 29799 1244 0 0 50465 37 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27639/tid=27656] ppid=27637 vsize=2887848 CPUtime=504.47 cores=0-31
/proc/27639/task/27656/stat : 27656 (plingeling) R 27637 27639 27613 0 -1 4202560 33433 1244 0 0 50436 11 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27639/tid=27657] ppid=27637 vsize=2887848 CPUtime=504.95 cores=0-31
/proc/27639/task/27657/stat : 27657 (plingeling) R 27637 27639 27613 0 -1 4202560 31842 1244 0 0 50478 17 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27639/tid=27658] ppid=27637 vsize=2887848 CPUtime=504.53 cores=0-31
/proc/27639/task/27658/stat : 27658 (plingeling) R 27637 27639 27613 0 -1 4202560 37494 1244 0 0 50419 34 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27639/tid=27659] ppid=27637 vsize=2887848 CPUtime=504.74 cores=0-31
/proc/27639/task/27659/stat : 27659 (plingeling) R 27637 27639 27613 0 -1 4202560 24142 1244 0 0 50439 35 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27639/tid=27660] ppid=27637 vsize=2887848 CPUtime=504.55 cores=0-31
/proc/27639/task/27660/stat : 27660 (plingeling) R 27637 27639 27613 0 -1 4202560 29381 1244 0 0 50444 11 0 0 25 0 33 0 721283964 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27639/tid=27661] ppid=27637 vsize=2887848 CPUtime=504.69 cores=0-31
/proc/27639/task/27661/stat : 27661 (plingeling) R 27637 27639 27613 0 -1 4202560 29702 1244 0 0 50437 32 0 0 25 0 33 0 721283965 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4366134 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27639/tid=27662] ppid=27637 vsize=2887848 CPUtime=504.06 cores=0-31
/proc/27639/task/27662/stat : 27662 (plingeling) R 27637 27639 27613 0 -1 4202560 22701 1244 0 0 50375 31 0 0 25 0 33 0 721283965 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27639/tid=27663] ppid=27637 vsize=2887848 CPUtime=504.07 cores=0-31
/proc/27639/task/27663/stat : 27663 (plingeling) R 27637 27639 27613 0 -1 4202560 29153 1244 0 0 50375 32 0 0 25 0 33 0 721283975 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4357101 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27639/tid=27664] ppid=27637 vsize=2887848 CPUtime=504.53 cores=0-31
/proc/27639/task/27664/stat : 27664 (plingeling) R 27637 27639 27613 0 -1 4202560 32219 1244 0 0 50418 35 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27639/tid=27665] ppid=27637 vsize=2887848 CPUtime=504.19 cores=0-31
/proc/27639/task/27665/stat : 27665 (plingeling) R 27637 27639 27613 0 -1 4202560 46960 1244 0 0 50385 34 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27639/tid=27666] ppid=27637 vsize=2887848 CPUtime=504.49 cores=0-31
/proc/27639/task/27666/stat : 27666 (plingeling) R 27637 27639 27613 0 -1 4202560 44278 1244 0 0 50420 29 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27639/tid=27667] ppid=27637 vsize=2887848 CPUtime=504.89 cores=0-31
/proc/27639/task/27667/stat : 27667 (plingeling) R 27637 27639 27613 0 -1 4202560 33187 1244 0 0 50470 19 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27639/tid=27668] ppid=27637 vsize=2887848 CPUtime=504.52 cores=0-31
/proc/27639/task/27668/stat : 27668 (plingeling) R 27637 27639 27613 0 -1 4202560 39399 1244 0 0 50436 16 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27639/tid=27669] ppid=27637 vsize=2887848 CPUtime=504.68 cores=0-31
/proc/27639/task/27669/stat : 27669 (plingeling) R 27637 27639 27613 0 -1 4202560 49464 1244 0 0 50444 24 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27639/tid=27670] ppid=27637 vsize=2887848 CPUtime=504.45 cores=0-31
/proc/27639/task/27670/stat : 27670 (plingeling) R 27637 27639 27613 0 -1 4202560 40939 1244 0 0 50418 27 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27639/tid=27671] ppid=27637 vsize=2887848 CPUtime=504.39 cores=0-31
/proc/27639/task/27671/stat : 27671 (plingeling) R 27637 27639 27613 0 -1 4202560 23737 1244 0 0 50401 38 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27639/tid=27672] ppid=27637 vsize=2887848 CPUtime=504.12 cores=0-31
/proc/27639/task/27672/stat : 27672 (plingeling) R 27637 27639 27613 0 -1 4202560 27925 1244 0 0 50400 12 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27639/tid=27673] ppid=27637 vsize=2887848 CPUtime=504.29 cores=0-31
/proc/27639/task/27673/stat : 27673 (plingeling) R 27637 27639 27613 0 -1 4202560 38387 1244 0 0 50395 34 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4250752 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27639/tid=27674] ppid=27637 vsize=2887848 CPUtime=504.33 cores=0-31
/proc/27639/task/27674/stat : 27674 (plingeling) R 27637 27639 27613 0 -1 4202560 15021 1244 0 0 50429 4 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27639/tid=27675] ppid=27637 vsize=2887848 CPUtime=504.11 cores=0-31
/proc/27639/task/27675/stat : 27675 (plingeling) R 27637 27639 27613 0 -1 4202560 37759 1244 0 0 50368 43 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27639/tid=27676] ppid=27637 vsize=2887848 CPUtime=504.66 cores=0-31
/proc/27639/task/27676/stat : 27676 (plingeling) R 27637 27639 27613 0 -1 4202560 34323 1244 0 0 50430 36 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27639/tid=27677] ppid=27637 vsize=2887848 CPUtime=504.48 cores=0-31
/proc/27639/task/27677/stat : 27677 (plingeling) R 27637 27639 27613 0 -1 4202560 39984 1244 0 0 50410 38 0 0 25 0 33 0 721283979 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27639/tid=27678] ppid=27637 vsize=2887848 CPUtime=504.77 cores=0-31
/proc/27639/task/27678/stat : 27678 (plingeling) R 27637 27639 27613 0 -1 4202560 28872 1244 0 0 50469 8 0 0 25 0 33 0 721283980 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27639/tid=27679] ppid=27637 vsize=2887848 CPUtime=491.38 cores=0-31
/proc/27639/task/27679/stat : 27679 (plingeling) R 27637 27639 27613 0 -1 4202560 33237 1244 0 0 49125 13 0 0 25 0 33 0 721283980 2957156352 619122 268435456000 4194304 4417452 140733472020864 18446744073709551615 4311425 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 16213
Current children cumulated vsize (KiB) 2887848
[startup+584.802 s]
/proc/loadavg: 32.17 30.72 30.07 33/446 27702
/proc/meminfo: memFree=252945308/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=1936800 CPUtime=16222.8 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202496 1599814 1244 0 0 1621336 947 0 0 17 0 1 0 721276057 1983283200 453004 268435456000 4194304 4417452 140733472020864 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 17 0 0 0
/proc/27639/statm: 484200 453004 176 55 0 482086 0
Current children cumulated CPU time (s) 16222.8
Current children cumulated vsize (KiB) 1936800
[startup+584.901 s]
/proc/loadavg: 32.17 30.72 30.07 33/446 27702
/proc/meminfo: memFree=252945308/264257624 swapFree=67111528/67111528
[pid=27639] ppid=27637 vsize=0 CPUtime=16222.9 cores=0-31
/proc/27639/stat : 27639 (plingeling) R 27637 27639 27613 0 -1 4202500 1599818 1244 0 0 1621336 957 0 0 17 0 1 0 721276057 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 17 0 0 0
/proc/27639/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16222.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 584.969
CPU time (s): 16223
CPU user time (s): 16213.4
CPU system time (s): 9.64653
CPU usage (%): 2773.31
Max. virtual memory (cumulated for all children) (KiB): 4738176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16213.4
system time used= 9.64653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1601062
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= 3111
involuntary context switches= 40609
runsolver used 3.17352 second user time and 13.5569 second system time
The end
Begin job on node200 at 2011-05-22 22:58:16
IDJOB=3372849
IDBENCH=84246
IDSOLVER=1852
FILE ID=node200/3372849-1306097894
RUNJOBID= node200-1306097894-27627
PBS_JOBID= 13387821
Free space on /tmp= 62020 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372849-1306097894/watcher-3372849-1306097894 -o /tmp/evaluation-result-3372849-1306097894/solver-3372849-1306097894 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372849-1306097894.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=1087925017
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: 255425648 kB
Buffers: 455812 kB
Cached: 7962476 kB
SwapCached: 0 kB
Active: 7515320 kB
Inactive: 971784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255425648 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 28016 kB
Writeback: 0 kB
AnonPages: 68984 kB
Mapped: 14480 kB
Slab: 253648 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 196696 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= 62020 MiB
End job on node200 at 2011-05-22 23:08:01