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-3372465-1305647387/watcher-3372465-1305647387 -o /tmp/evaluation-result-3372465-1305647387/solver-3372465-1305647387 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372465-1305647387.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: 0.08 3.89 16.22 1/413 25567
/proc/meminfo: memFree=255347100/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=25044 CPUtime=0.02 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 4331 1245 0 0 2 0 0 0 21 0 1 0 676225903 25645056 4261 268435456000 4194304 4417452 140737192117856 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 6261 4261 141 55 0 4147 0
[startup+0.0823951 s]
/proc/loadavg: 0.08 3.89 16.22 1/413 25567
/proc/meminfo: memFree=255347100/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=29916 CPUtime=0.07 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 5552 1245 0 0 6 1 0 0 21 0 1 0 676225903 30633984 5482 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236655 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 7479 5482 144 55 0 5365 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29916
[startup+0.100441 s]
/proc/loadavg: 0.08 3.89 16.22 1/413 25567
/proc/meminfo: memFree=255347100/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=37368 CPUtime=0.08 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 7408 1245 0 0 7 1 0 0 21 0 1 0 676225903 38264832 7338 268435456000 4194304 4417452 140737192117856 18446744073709551615 4231291 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 9342 7338 145 55 0 7228 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37368
[startup+0.300401 s]
/proc/loadavg: 0.08 3.89 16.22 1/413 25567
/proc/meminfo: memFree=255347100/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=59184 CPUtime=0.28 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 12870 1245 0 0 26 2 0 0 22 0 1 0 676225903 60604416 12800 268435456000 4194304 4417452 140737192117856 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 14796 12800 145 55 0 12682 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 59184
[startup+0.700411 s]
/proc/loadavg: 0.08 3.89 16.22 1/413 25567
/proc/meminfo: memFree=255347100/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=65144 CPUtime=0.69 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 14377 1245 0 0 66 3 0 0 23 0 1 0 676225903 66707456 14307 268435456000 4194304 4417452 140737192117856 18446744073709551615 4227779 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 16286 14307 146 55 0 14172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65144
[startup+1.50044 s]
/proc/loadavg: 0.08 3.89 16.22 2/414 25573
/proc/meminfo: memFree=255250280/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=117020 CPUtime=1.48 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 27346 1245 0 0 143 5 0 0 25 0 1 0 676225903 119828480 27276 268435456000 4194304 4417452 140737192117856 18446744073709551615 4231283 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 29255 27276 146 55 0 27141 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 117020
[startup+3.10051 s]
/proc/loadavg: 0.15 3.84 16.14 2/414 25573
/proc/meminfo: memFree=255232300/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=243788 CPUtime=3.09 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 59055 1245 0 0 296 13 0 0 25 0 1 0 676225903 249638912 58952 268435456000 4194304 4417452 140737192117856 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 60947 58952 146 55 0 58833 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243788
[startup+6.30066 s]
/proc/loadavg: 0.15 3.84 16.14 2/414 25573
/proc/meminfo: memFree=255071028/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=381032 CPUtime=6.28 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 93399 1245 0 0 608 20 0 0 25 0 1 0 676225903 390176768 93279 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232595 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 95258 93279 146 55 0 93144 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 381032
[startup+12.7008 s]
/proc/loadavg: 0.28 3.75 15.98 2/414 25573
/proc/meminfo: memFree=254623140/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=900656 CPUtime=12.68 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 223305 1245 0 0 1222 46 0 0 25 0 1 0 676225903 922271744 223185 268435456000 4194304 4417452 140737192117856 18446744073709551615 4231353 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 225164 223185 146 55 0 223050 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 900656
[startup+25.5013 s]
/proc/loadavg: 0.39 3.66 15.81 2/414 25573
/proc/meminfo: memFree=253580196/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=1773216 CPUtime=25.48 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 441461 1245 0 0 2461 87 0 0 25 0 1 0 676225903 1815773184 441325 268435456000 4194304 4417452 140737192117856 18446744073709551615 4274340 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 443304 441325 146 55 0 441190 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1773216
[startup+51.1012 s]
/proc/loadavg: 0.71 3.47 15.43 2/414 25573
/proc/meminfo: memFree=252333632/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=3486032 CPUtime=51.07 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 869761 1245 0 0 4934 173 0 0 25 0 1 0 676225903 3569696768 869529 268435456000 4194304 4417452 140737192117856 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 871508 869529 146 55 0 869394 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3486032
[startup+102.334 s]
/proc/loadavg: 0.94 3.07 14.60 2/414 25575
/proc/meminfo: memFree=249631944/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=5714256 CPUtime=102.3 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 1426817 1245 0 0 9944 286 0 0 25 0 1 0 676225903 5851398144 1426585 268435456000 4194304 4417452 140737192117856 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25567/statm: 1428564 1426585 146 55 0 1426450 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 5714256
[startup+162.302 s]
/proc/loadavg: 17.46 7.06 15.23 33/446 25609
/proc/meminfo: memFree=248806772/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=6959624 CPUtime=1396.9 cores=0-31
/proc/25567/stat : 25567 (plingeling) S 25565 25567 25539 0 -1 4202496 3146683 1245 0 0 138110 1580 0 0 18 0 33 0 676225903 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25567/statm: 1739906 1626384 175 55 0 1737792 0
[pid=25567/tid=25576] ppid=25565 vsize=6959624 CPUtime=39.84 cores=0-31
/proc/25567/task/25576/stat : 25576 (plingeling) R 25565 25567 25539 0 -1 4202560 57426 1245 0 0 3941 43 0 0 25 0 33 0 676237964 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25567/tid=25577] ppid=25565 vsize=6959624 CPUtime=39.72 cores=0-31
/proc/25567/task/25577/stat : 25577 (plingeling) R 25565 25567 25539 0 -1 4202560 54752 1245 0 0 3924 48 0 0 25 0 33 0 676237964 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25567/tid=25578] ppid=25565 vsize=6959624 CPUtime=40.05 cores=0-31
/proc/25567/task/25578/stat : 25578 (plingeling) R 25565 25567 25539 0 -1 4202560 37324 1245 0 0 3970 35 0 0 25 0 33 0 676237964 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25567/tid=25579] ppid=25565 vsize=6959624 CPUtime=41.17 cores=0-31
/proc/25567/task/25579/stat : 25579 (plingeling) R 25565 25567 25539 0 -1 4202560 7526 1245 0 0 4106 11 0 0 25 0 33 0 676237964 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25567/tid=25580] ppid=25565 vsize=6959624 CPUtime=40.07 cores=0-31
/proc/25567/task/25580/stat : 25580 (plingeling) R 25565 25567 25539 0 -1 4202560 39339 1245 0 0 3983 24 0 0 25 0 33 0 676237965 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25567/tid=25581] ppid=25565 vsize=6959624 CPUtime=39.5 cores=0-31
/proc/25567/task/25581/stat : 25581 (plingeling) R 25565 25567 25539 0 -1 4202560 38788 1245 0 0 3907 43 0 0 25 0 33 0 676237965 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25567/tid=25582] ppid=25565 vsize=6959624 CPUtime=40.05 cores=0-31
/proc/25567/task/25582/stat : 25582 (plingeling) R 25565 25567 25539 0 -1 4202560 58587 1245 0 0 3934 71 0 0 25 0 33 0 676237965 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4353561 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25567/tid=25583] ppid=25565 vsize=6959624 CPUtime=39.88 cores=0-31
/proc/25567/task/25583/stat : 25583 (plingeling) R 25565 25567 25539 0 -1 4202560 46144 1245 0 0 3956 32 0 0 25 0 33 0 676237966 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25567/tid=25584] ppid=25565 vsize=6959624 CPUtime=40.32 cores=0-31
/proc/25567/task/25584/stat : 25584 (plingeling) R 25565 25567 25539 0 -1 4202560 48366 1245 0 0 3977 55 0 0 25 0 33 0 676237966 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25567/tid=25585] ppid=25565 vsize=6959624 CPUtime=39.71 cores=0-31
/proc/25567/task/25585/stat : 25585 (plingeling) R 25565 25567 25539 0 -1 4202560 57944 1245 0 0 3931 40 0 0 25 0 33 0 676237967 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25567/tid=25586] ppid=25565 vsize=6959624 CPUtime=40.08 cores=0-31
/proc/25567/task/25586/stat : 25586 (plingeling) R 25565 25567 25539 0 -1 4202560 64359 1245 0 0 3963 45 0 0 25 0 33 0 676237967 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25567/tid=25587] ppid=25565 vsize=6959624 CPUtime=40.08 cores=0-31
/proc/25567/task/25587/stat : 25587 (plingeling) R 25565 25567 25539 0 -1 4202560 55210 1245 0 0 3969 39 0 0 25 0 33 0 676237968 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4265025 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25567/tid=25588] ppid=25565 vsize=6959624 CPUtime=39.35 cores=0-31
/proc/25567/task/25588/stat : 25588 (plingeling) R 25565 25567 25539 0 -1 4202560 32866 1245 0 0 3905 30 0 0 25 0 33 0 676237968 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25567/tid=25589] ppid=25565 vsize=6959624 CPUtime=40.22 cores=0-31
/proc/25567/task/25589/stat : 25589 (plingeling) R 25565 25567 25539 0 -1 4202560 29934 1245 0 0 3992 30 0 0 25 0 33 0 676237968 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4250941 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25567/tid=25590] ppid=25565 vsize=6959624 CPUtime=39.55 cores=0-31
/proc/25567/task/25590/stat : 25590 (plingeling) R 25565 25567 25539 0 -1 4202560 48812 1245 0 0 3937 18 0 0 25 0 33 0 676237969 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25567/tid=25591] ppid=25565 vsize=6959624 CPUtime=39.08 cores=0-31
/proc/25567/task/25591/stat : 25591 (plingeling) R 25565 25567 25539 0 -1 4202560 50957 1245 0 0 3871 37 0 0 25 0 33 0 676237969 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25567/tid=25592] ppid=25565 vsize=6959624 CPUtime=40.18 cores=0-31
/proc/25567/task/25592/stat : 25592 (plingeling) R 25565 25567 25539 0 -1 4202560 49403 1245 0 0 3980 38 0 0 25 0 33 0 676237970 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4358080 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25567/tid=25593] ppid=25565 vsize=6959624 CPUtime=40.42 cores=0-31
/proc/25567/task/25593/stat : 25593 (plingeling) R 25565 25567 25539 0 -1 4202560 28552 1245 0 0 4022 20 0 0 25 0 33 0 676237970 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236852 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25567/tid=25594] ppid=25565 vsize=6959624 CPUtime=40.11 cores=0-31
/proc/25567/task/25594/stat : 25594 (plingeling) R 25565 25567 25539 0 -1 4202560 59832 1245 0 0 3943 68 0 0 25 0 33 0 676237970 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25567/tid=25595] ppid=25565 vsize=6959624 CPUtime=40.55 cores=0-31
/proc/25567/task/25595/stat : 25595 (plingeling) R 25565 25567 25539 0 -1 4202560 12233 1245 0 0 4042 13 0 0 25 0 33 0 676237971 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25567/tid=25596] ppid=25565 vsize=6959624 CPUtime=39.89 cores=0-31
/proc/25567/task/25596/stat : 25596 (plingeling) R 25565 25567 25539 0 -1 4202560 35712 1245 0 0 3962 27 0 0 25 0 33 0 676237971 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25567/tid=25597] ppid=25565 vsize=6959624 CPUtime=40.02 cores=0-31
/proc/25567/task/25597/stat : 25597 (plingeling) R 25565 25567 25539 0 -1 4202560 20416 1245 0 0 3985 17 0 0 25 0 33 0 676237972 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25567/tid=25598] ppid=25565 vsize=6959624 CPUtime=39.41 cores=0-31
/proc/25567/task/25598/stat : 25598 (plingeling) R 25565 25567 25539 0 -1 4202560 49355 1245 0 0 3896 45 0 0 25 0 33 0 676237972 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25567/tid=25599] ppid=25565 vsize=6959624 CPUtime=39.58 cores=0-31
/proc/25567/task/25599/stat : 25599 (plingeling) R 25565 25567 25539 0 -1 4202560 53907 1245 0 0 3917 41 0 0 25 0 33 0 676237973 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25567/tid=25600] ppid=25565 vsize=6959624 CPUtime=39.69 cores=0-31
/proc/25567/task/25600/stat : 25600 (plingeling) R 25565 25567 25539 0 -1 4202560 50778 1245 0 0 3911 58 0 0 25 0 33 0 676237974 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25567/tid=25601] ppid=25565 vsize=6959624 CPUtime=39.73 cores=0-31
/proc/25567/task/25601/stat : 25601 (plingeling) R 25565 25567 25539 0 -1 4202560 50202 1245 0 0 3922 51 0 0 25 0 33 0 676237974 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232702 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25567/tid=25602] ppid=25565 vsize=6959624 CPUtime=39.65 cores=0-31
/proc/25567/task/25602/stat : 25602 (plingeling) R 25565 25567 25539 0 -1 4202560 61920 1245 0 0 3911 54 0 0 25 0 33 0 676237975 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25567/tid=25603] ppid=25565 vsize=6959624 CPUtime=40.01 cores=0-31
/proc/25567/task/25603/stat : 25603 (plingeling) R 25565 25567 25539 0 -1 4202560 56134 1245 0 0 3950 51 0 0 25 0 33 0 676237976 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4264911 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25567/tid=25604] ppid=25565 vsize=6959624 CPUtime=39.62 cores=0-31
/proc/25567/task/25604/stat : 25604 (plingeling) R 25565 25567 25539 0 -1 4202560 39541 1245 0 0 3919 43 0 0 25 0 33 0 676237976 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25567/tid=25605] ppid=25565 vsize=6959624 CPUtime=39.73 cores=0-31
/proc/25567/task/25605/stat : 25605 (plingeling) R 25565 25567 25539 0 -1 4202560 47497 1245 0 0 3942 31 0 0 25 0 33 0 676237977 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25567/tid=25606] ppid=25565 vsize=6959624 CPUtime=39.31 cores=0-31
/proc/25567/task/25606/stat : 25606 (plingeling) R 25565 25567 25539 0 -1 4202560 28649 1245 0 0 3909 22 0 0 25 0 33 0 676237978 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25567/tid=25607] ppid=25565 vsize=6959624 CPUtime=39.43 cores=0-31
/proc/25567/task/25607/stat : 25607 (plingeling) R 25565 25567 25539 0 -1 4202560 48094 1245 0 0 3906 37 0 0 25 0 33 0 676237978 7126654976 1626384 268435456000 4194304 4417452 140737192117856 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1396.9
Current children cumulated vsize (KiB) 6959624
################
# More data... #
################
/proc/25567/task/25580/stat : 25580 (plingeling) R 25565 25567 25539 0 -1 4202560 135571 1245 0 0 97667 112 0 0 25 0 33 0 676237965 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25567/tid=25581] ppid=25565 vsize=7932260 CPUtime=977.17 cores=0-31
/proc/25567/task/25581/stat : 25581 (plingeling) R 25565 25567 25539 0 -1 4202560 95866 1245 0 0 97661 56 0 0 25 0 33 0 676237965 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4276911 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25567/tid=25582] ppid=25565 vsize=7932260 CPUtime=978.17 cores=0-31
/proc/25567/task/25582/stat : 25582 (plingeling) R 25565 25567 25539 0 -1 4202560 149967 1245 0 0 97723 94 0 0 25 0 33 0 676237965 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4237136 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25567/tid=25583] ppid=25565 vsize=7932260 CPUtime=977.02 cores=0-31
/proc/25567/task/25583/stat : 25583 (plingeling) R 25565 25567 25539 0 -1 4202560 145059 1245 0 0 97584 118 0 0 25 0 33 0 676237966 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281694 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25567/tid=25584] ppid=25565 vsize=7932260 CPUtime=977.2 cores=0-31
/proc/25567/task/25584/stat : 25584 (plingeling) R 25565 25567 25539 0 -1 4202560 155506 1245 0 0 97590 130 0 0 25 0 33 0 676237966 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25567/tid=25585] ppid=25565 vsize=7932260 CPUtime=977.57 cores=0-31
/proc/25567/task/25585/stat : 25585 (plingeling) R 25565 25567 25539 0 -1 4202560 212784 1245 0 0 97640 117 0 0 25 0 33 0 676237967 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25567/tid=25586] ppid=25565 vsize=7932260 CPUtime=978.13 cores=0-31
/proc/25567/task/25586/stat : 25586 (plingeling) R 25565 25567 25539 0 -1 4202560 186813 1245 0 0 97732 81 0 0 25 0 33 0 676237967 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25567/tid=25587] ppid=25565 vsize=7932260 CPUtime=977.89 cores=0-31
/proc/25567/task/25587/stat : 25587 (plingeling) R 25565 25567 25539 0 -1 4202560 154317 1245 0 0 97663 126 0 0 25 0 33 0 676237968 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25567/tid=25588] ppid=25565 vsize=7932260 CPUtime=971.7 cores=0-31
/proc/25567/task/25588/stat : 25588 (plingeling) R 25565 25567 25539 0 -1 4202560 146935 1245 0 0 97068 102 0 0 25 0 33 0 676237968 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25567/tid=25589] ppid=25565 vsize=7932260 CPUtime=977.92 cores=0-31
/proc/25567/task/25589/stat : 25589 (plingeling) R 25565 25567 25539 0 -1 4202560 140353 1245 0 0 97716 76 0 0 25 0 33 0 676237968 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25567/tid=25590] ppid=25565 vsize=7932260 CPUtime=977.46 cores=0-31
/proc/25567/task/25590/stat : 25590 (plingeling) R 25565 25567 25539 0 -1 4202560 135630 1245 0 0 97656 90 0 0 25 0 33 0 676237969 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25567/tid=25591] ppid=25565 vsize=7932260 CPUtime=974.66 cores=0-31
/proc/25567/task/25591/stat : 25591 (plingeling) R 25565 25567 25539 0 -1 4202560 144098 1245 0 0 97383 83 0 0 25 0 33 0 676237969 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25567/tid=25592] ppid=25565 vsize=7932260 CPUtime=978.13 cores=0-31
/proc/25567/task/25592/stat : 25592 (plingeling) R 25565 25567 25539 0 -1 4202560 245260 1245 0 0 97630 183 0 0 25 0 33 0 676237970 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25567/tid=25593] ppid=25565 vsize=7932260 CPUtime=977.87 cores=0-31
/proc/25567/task/25593/stat : 25593 (plingeling) R 25565 25567 25539 0 -1 4202560 125877 1245 0 0 97680 107 0 0 25 0 33 0 676237970 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25567/tid=25594] ppid=25565 vsize=7932260 CPUtime=976.38 cores=0-31
/proc/25567/task/25594/stat : 25594 (plingeling) R 25565 25567 25539 0 -1 4202560 166857 1245 0 0 97502 136 0 0 25 0 33 0 676237970 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25567/tid=25595] ppid=25565 vsize=7932260 CPUtime=977.01 cores=0-31
/proc/25567/task/25595/stat : 25595 (plingeling) R 25565 25567 25539 0 -1 4202560 210595 1245 0 0 97608 93 0 0 25 0 33 0 676237971 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25567/tid=25596] ppid=25565 vsize=7932260 CPUtime=975.09 cores=0-31
/proc/25567/task/25596/stat : 25596 (plingeling) R 25565 25567 25539 0 -1 4202560 165695 1245 0 0 97445 64 0 0 25 0 33 0 676237971 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25567/tid=25597] ppid=25565 vsize=7932260 CPUtime=977.43 cores=0-31
/proc/25567/task/25597/stat : 25597 (plingeling) R 25565 25567 25539 0 -1 4202560 143800 1245 0 0 97657 86 0 0 25 0 33 0 676237972 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25567/tid=25598] ppid=25565 vsize=7932260 CPUtime=977.61 cores=0-31
/proc/25567/task/25598/stat : 25598 (plingeling) R 25565 25567 25539 0 -1 4202560 164758 1245 0 0 97667 94 0 0 25 0 33 0 676237972 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25567/tid=25599] ppid=25565 vsize=7932260 CPUtime=969.39 cores=0-31
/proc/25567/task/25599/stat : 25599 (plingeling) R 25565 25567 25539 0 -1 4202560 166615 1245 0 0 96799 140 0 0 25 0 33 0 676237973 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25567/tid=25600] ppid=25565 vsize=7932260 CPUtime=977.56 cores=0-31
/proc/25567/task/25600/stat : 25600 (plingeling) R 25565 25567 25539 0 -1 4202560 166209 1245 0 0 97584 172 0 0 25 0 33 0 676237974 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25567/tid=25601] ppid=25565 vsize=7932260 CPUtime=977.3 cores=0-31
/proc/25567/task/25601/stat : 25601 (plingeling) R 25565 25567 25539 0 -1 4202560 232154 1245 0 0 97554 176 0 0 25 0 33 0 676237974 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25567/tid=25602] ppid=25565 vsize=7932260 CPUtime=977.26 cores=0-31
/proc/25567/task/25602/stat : 25602 (plingeling) R 25565 25567 25539 0 -1 4202560 146377 1245 0 0 97651 75 0 0 25 0 33 0 676237975 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25567/tid=25603] ppid=25565 vsize=7932260 CPUtime=977.42 cores=0-31
/proc/25567/task/25603/stat : 25603 (plingeling) R 25565 25567 25539 0 -1 4202560 164751 1245 0 0 97622 120 0 0 25 0 33 0 676237976 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4265415 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25567/tid=25604] ppid=25565 vsize=7932260 CPUtime=977.76 cores=0-31
/proc/25567/task/25604/stat : 25604 (plingeling) R 25565 25567 25539 0 -1 4202560 107916 1245 0 0 97695 81 0 0 25 0 33 0 676237976 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25567/tid=25605] ppid=25565 vsize=7932260 CPUtime=977.64 cores=0-31
/proc/25567/task/25605/stat : 25605 (plingeling) R 25565 25567 25539 0 -1 4202560 231549 1245 0 0 97649 115 0 0 25 0 33 0 676237977 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25567/tid=25606] ppid=25565 vsize=7932260 CPUtime=972.38 cores=0-31
/proc/25567/task/25606/stat : 25606 (plingeling) R 25565 25567 25539 0 -1 4202560 221720 1245 0 0 97107 131 0 0 25 0 33 0 676237978 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25567/tid=25607] ppid=25565 vsize=7932260 CPUtime=977.64 cores=0-31
/proc/25567/task/25607/stat : 25607 (plingeling) R 25565 25567 25539 0 -1 4202560 278161 1245 0 0 97613 151 0 0 25 0 33 0 676237978 8122634240 1852812 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 31379.2
Current children cumulated vsize (KiB) 7932260
[startup+1107.1 s]
/proc/loadavg: 31.97 30.95 25.93 33/446 25642
/proc/meminfo: memFree=247932696/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=7866720 CPUtime=31583.6 cores=0-31
/proc/25567/stat : 25567 (plingeling) S 25565 25567 25539 0 -1 4202496 7124614 1245 0 0 3154540 3818 0 0 18 0 33 0 676225903 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25567/statm: 1966680 1848984 175 55 0 1964566 0
[pid=25567/tid=25576] ppid=25565 vsize=7866720 CPUtime=984.24 cores=0-31
/proc/25567/task/25576/stat : 25576 (plingeling) R 25565 25567 25539 0 -1 4202560 202122 1245 0 0 98327 97 0 0 25 0 33 0 676237964 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25567/tid=25577] ppid=25565 vsize=7866720 CPUtime=983.97 cores=0-31
/proc/25567/task/25577/stat : 25577 (plingeling) R 25565 25567 25539 0 -1 4202560 241973 1245 0 0 98258 139 0 0 25 0 33 0 676237964 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25567/tid=25578] ppid=25565 vsize=7866720 CPUtime=984.52 cores=0-31
/proc/25567/task/25578/stat : 25578 (plingeling) R 25565 25567 25539 0 -1 4202560 173715 1245 0 0 98385 67 0 0 25 0 33 0 676237964 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281633 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25567/tid=25579] ppid=25565 vsize=7866720 CPUtime=984.66 cores=0-31
/proc/25567/task/25579/stat : 25579 (plingeling) R 25565 25567 25539 0 -1 4202560 13073 1245 0 0 98452 14 0 0 25 0 33 0 676237964 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25567/tid=25580] ppid=25565 vsize=7866720 CPUtime=984.19 cores=0-31
/proc/25567/task/25580/stat : 25580 (plingeling) R 25565 25567 25539 0 -1 4202560 135571 1245 0 0 98307 112 0 0 25 0 33 0 676237965 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25567/tid=25581] ppid=25565 vsize=7866720 CPUtime=983.57 cores=0-31
/proc/25567/task/25581/stat : 25581 (plingeling) R 25565 25567 25539 0 -1 4202560 95866 1245 0 0 98301 56 0 0 25 0 33 0 676237965 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25567/tid=25582] ppid=25565 vsize=7866720 CPUtime=984.57 cores=0-31
/proc/25567/task/25582/stat : 25582 (plingeling) R 25565 25567 25539 0 -1 4202560 149967 1245 0 0 98363 94 0 0 25 0 33 0 676237965 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25567/tid=25583] ppid=25565 vsize=7866720 CPUtime=983.42 cores=0-31
/proc/25567/task/25583/stat : 25583 (plingeling) R 25565 25567 25539 0 -1 4202560 145059 1245 0 0 98224 118 0 0 25 0 33 0 676237966 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25567/tid=25584] ppid=25565 vsize=7866720 CPUtime=983.6 cores=0-31
/proc/25567/task/25584/stat : 25584 (plingeling) R 25565 25567 25539 0 -1 4202560 155506 1245 0 0 98230 130 0 0 25 0 33 0 676237966 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4365965 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25567/tid=25585] ppid=25565 vsize=7866720 CPUtime=983.96 cores=0-31
/proc/25567/task/25585/stat : 25585 (plingeling) R 25565 25567 25539 0 -1 4202560 212784 1245 0 0 98279 117 0 0 25 0 33 0 676237967 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25567/tid=25586] ppid=25565 vsize=7866720 CPUtime=984.53 cores=0-31
/proc/25567/task/25586/stat : 25586 (plingeling) R 25565 25567 25539 0 -1 4202560 186813 1245 0 0 98372 81 0 0 25 0 33 0 676237967 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25567/tid=25587] ppid=25565 vsize=7866720 CPUtime=984.28 cores=0-31
/proc/25567/task/25587/stat : 25587 (plingeling) R 25565 25567 25539 0 -1 4202560 154317 1245 0 0 98302 126 0 0 25 0 33 0 676237968 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25567/tid=25588] ppid=25565 vsize=7866720 CPUtime=978.1 cores=0-31
/proc/25567/task/25588/stat : 25588 (plingeling) R 25565 25567 25539 0 -1 4202560 146935 1245 0 0 97708 102 0 0 25 0 33 0 676237968 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25567/tid=25589] ppid=25565 vsize=7866720 CPUtime=984.32 cores=0-31
/proc/25567/task/25589/stat : 25589 (plingeling) R 25565 25567 25539 0 -1 4202560 140353 1245 0 0 98356 76 0 0 25 0 33 0 676237968 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25567/tid=25590] ppid=25565 vsize=7866720 CPUtime=983.86 cores=0-31
/proc/25567/task/25590/stat : 25590 (plingeling) R 25565 25567 25539 0 -1 4202560 135630 1245 0 0 98296 90 0 0 25 0 33 0 676237969 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25567/tid=25591] ppid=25565 vsize=7866720 CPUtime=981.06 cores=0-31
/proc/25567/task/25591/stat : 25591 (plingeling) R 25565 25567 25539 0 -1 4202560 144098 1245 0 0 98023 83 0 0 25 0 33 0 676237969 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25567/tid=25592] ppid=25565 vsize=7866720 CPUtime=984.53 cores=0-31
/proc/25567/task/25592/stat : 25592 (plingeling) R 25565 25567 25539 0 -1 4202560 245260 1245 0 0 98270 183 0 0 25 0 33 0 676237970 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4353632 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25567/tid=25593] ppid=25565 vsize=7866720 CPUtime=984.27 cores=0-31
/proc/25567/task/25593/stat : 25593 (plingeling) R 25565 25567 25539 0 -1 4202560 125877 1245 0 0 98320 107 0 0 25 0 33 0 676237970 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25567/tid=25594] ppid=25565 vsize=7866720 CPUtime=982.59 cores=0-31
/proc/25567/task/25594/stat : 25594 (plingeling) R 25565 25567 25539 0 -1 4202560 166857 1245 0 0 98123 136 0 0 25 0 33 0 676237970 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236742 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25567/tid=25595] ppid=25565 vsize=7866720 CPUtime=983.41 cores=0-31
/proc/25567/task/25595/stat : 25595 (plingeling) R 25565 25567 25539 0 -1 4202560 210595 1245 0 0 98248 93 0 0 25 0 33 0 676237971 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25567/tid=25596] ppid=25565 vsize=7866720 CPUtime=981.48 cores=0-31
/proc/25567/task/25596/stat : 25596 (plingeling) R 25565 25567 25539 0 -1 4202560 165695 1245 0 0 98084 64 0 0 25 0 33 0 676237971 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25567/tid=25597] ppid=25565 vsize=7866720 CPUtime=983.82 cores=0-31
/proc/25567/task/25597/stat : 25597 (plingeling) R 25565 25567 25539 0 -1 4202560 143800 1245 0 0 98296 86 0 0 25 0 33 0 676237972 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25567/tid=25598] ppid=25565 vsize=7866720 CPUtime=984.01 cores=0-31
/proc/25567/task/25598/stat : 25598 (plingeling) R 25565 25567 25539 0 -1 4202560 164758 1245 0 0 98307 94 0 0 25 0 33 0 676237972 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25567/tid=25599] ppid=25565 vsize=7866720 CPUtime=975.79 cores=0-31
/proc/25567/task/25599/stat : 25599 (plingeling) R 25565 25567 25539 0 -1 4202560 166615 1245 0 0 97439 140 0 0 25 0 33 0 676237973 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232615 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25567/tid=25600] ppid=25565 vsize=7866720 CPUtime=983.96 cores=0-31
/proc/25567/task/25600/stat : 25600 (plingeling) R 25565 25567 25539 0 -1 4202560 166209 1245 0 0 98224 172 0 0 25 0 33 0 676237974 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25567/tid=25601] ppid=25565 vsize=7866720 CPUtime=983.69 cores=0-31
/proc/25567/task/25601/stat : 25601 (plingeling) R 25565 25567 25539 0 -1 4202560 232154 1245 0 0 98193 176 0 0 25 0 33 0 676237974 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25567/tid=25602] ppid=25565 vsize=7866720 CPUtime=983.66 cores=0-31
/proc/25567/task/25602/stat : 25602 (plingeling) R 25565 25567 25539 0 -1 4202560 146377 1245 0 0 98291 75 0 0 25 0 33 0 676237975 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25567/tid=25603] ppid=25565 vsize=7866720 CPUtime=983.82 cores=0-31
/proc/25567/task/25603/stat : 25603 (plingeling) R 25565 25567 25539 0 -1 4202560 164751 1245 0 0 98262 120 0 0 25 0 33 0 676237976 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4236772 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25567/tid=25604] ppid=25565 vsize=7866720 CPUtime=984.16 cores=0-31
/proc/25567/task/25604/stat : 25604 (plingeling) R 25565 25567 25539 0 -1 4202560 132494 1245 0 0 98308 108 0 0 25 0 33 0 676237976 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25567/tid=25605] ppid=25565 vsize=7866720 CPUtime=984.04 cores=0-31
/proc/25567/task/25605/stat : 25605 (plingeling) R 25565 25567 25539 0 -1 4202560 231549 1245 0 0 98289 115 0 0 25 0 33 0 676237977 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364442 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25567/tid=25606] ppid=25565 vsize=7866720 CPUtime=978.78 cores=0-31
/proc/25567/task/25606/stat : 25606 (plingeling) R 25565 25567 25539 0 -1 4202560 223556 1245 0 0 97746 132 0 0 25 0 33 0 676237978 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25567/tid=25607] ppid=25565 vsize=7866720 CPUtime=983.83 cores=0-31
/proc/25567/task/25607/stat : 25607 (plingeling) R 25565 25567 25539 0 -1 4202560 278161 1245 0 0 98232 151 0 0 25 0 33 0 676237978 8055521280 1848984 268435456000 4194304 4417452 140737192117856 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 31583.6
Current children cumulated vsize (KiB) 7866720
[startup+1110.3 s]
/proc/loadavg: 31.97 30.95 25.93 33/446 25644
/proc/meminfo: memFree=247926488/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=7878048 CPUtime=31676.2 cores=0-31
/proc/25567/stat : 25567 (plingeling) S 25565 25567 25539 0 -1 4202496 7132808 1245 0 0 3163795 3820 0 0 17 0 2 0 676225903 8067121152 1856923 268435456000 4194304 4417452 140737192117856 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25567/statm: 1969512 1856923 176 55 0 1967398 0
[pid=25567/tid=25581] ppid=25565 vsize=7878048 CPUtime=986.77 cores=0-31
/proc/25567/task/25581/stat : 25581 (plingeling) R 25565 25567 25539 0 -1 4202560 104059 1245 0 0 98619 58 0 0 25 0 2 0 676237965 8067121152 1856923 268435456000 4194304 4417452 140737192117856 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 31676.1
Current children cumulated vsize (KiB) 7878048
[startup+1111.1 s]
/proc/loadavg: 31.97 30.95 25.93 2/415 25644
/proc/meminfo: memFree=247926856/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=7845096 CPUtime=31676.9 cores=0-31
/proc/25567/stat : 25567 (plingeling) S 25565 25567 25539 0 -1 4202496 7132808 1245 0 0 3163874 3821 0 0 17 0 2 0 676225903 8033378304 1848685 268435456000 4194304 4417452 140737192117856 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/25567/statm: 1961274 1848685 176 55 0 1959160 0
[pid=25567/tid=25581] ppid=25565 vsize=7845096 CPUtime=987.56 cores=0-31
/proc/25567/task/25581/stat : 25581 (plingeling) R 25565 25567 25539 0 -1 4202560 104059 1245 0 0 98698 58 0 0 25 0 2 0 676237965 8033378304 1848685 268435456000 4194304 4417452 140737192117856 18446744073709551615 4302015 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 31677
Current children cumulated vsize (KiB) 7845096
[startup+1111.9 s]
/proc/loadavg: 31.97 30.95 25.93 2/415 25644
/proc/meminfo: memFree=247926856/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=2458284 CPUtime=31677.8 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202496 7132808 1245 0 0 3163906 3869 0 0 16 0 1 0 676225903 2517282816 544818 268435456000 4194304 4417452 140737192117856 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25567/statm: 614571 544818 176 55 0 612457 0
Current children cumulated CPU time (s) 31677.8
Current children cumulated vsize (KiB) 2458284
[startup+1112.13 s]
/proc/loadavg: 29.49 30.45 25.80 2/414 25644
/proc/meminfo: memFree=254039444/264257624 swapFree=67111528/67111528
[pid=25567] ppid=25565 vsize=0 CPUtime=31678 cores=0-31
/proc/25567/stat : 25567 (plingeling) R 25565 25567 25539 0 -1 4202500 7132812 1245 0 0 3163906 3892 0 0 16 0 1 0 676225903 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/25567/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 31678
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1112.15
CPU time (s): 31678
CPU user time (s): 31639.1
CPU system time (s): 38.9521
CPU usage (%): 2848.35
Max. virtual memory (cumulated for all children) (KiB): 8301988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31639.1
system time used= 38.9521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7134057
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= 9409
involuntary context switches= 83448
runsolver used 6.10307 second user time and 26.157 second system time
The end
Begin job on node200 at 2011-05-17 17:49:55
IDJOB=3372465
IDBENCH=82399
IDSOLVER=1852
FILE ID=node200/3372465-1305647387
RUNJOBID= node200-1305647377-25553
PBS_JOBID= 13354307
Free space on /tmp= 61868 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372465-1305647387/watcher-3372465-1305647387 -o /tmp/evaluation-result-3372465-1305647387/solver-3372465-1305647387 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372465-1305647387.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=1822182098
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: 255347628 kB
Buffers: 449156 kB
Cached: 8064264 kB
SwapCached: 0 kB
Active: 7581900 kB
Inactive: 1000268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255347628 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 186332 kB
Writeback: 0 kB
AnonPages: 68884 kB
Mapped: 14480 kB
Slab: 253040 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184832 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= 61868 MiB
End job on node200 at 2011-05-17 18:08:27